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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
MD5SUM49fba7b1c2f3e65c53f8418d126e3ec3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4605
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06684
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 28225

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 01:16:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13743 boxname=wulflinc9 idbench=1058 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  49fba7b1c2f3e65c53f8418d126e3ec3  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 13743
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        634396 kB
Buffers:         20460 kB
Cached:         359296 kB
SwapCached:        364 kB
Active:          88504 kB
Inactive:       293840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634144 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6352 kB
Slab:            12176 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:36:17 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 13743 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2756 variables and 749 constraints.
c After prepocess the problem consists of 2723 variables and 771 constraints.
c preprocess terminated 12.835 s
c Initial Lower Bound: 1572
c Lower Bound Elapsed time: 0.20775
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 47547 @ 674.364
c NEW SOLUTION FOUND: 47540 @ 674.453
c NEW SOLUTION FOUND: 47538 @ 674.569
c NEW SOLUTION FOUND: 47536 @ 675.152
c NEW SOLUTION FOUND: 47535 @ 675.668
c NEW SOLUTION FOUND: 47533 @ 676.27
c NEW SOLUTION FOUND: 47531 @ 677.756
c NEW SOLUTION FOUND: 47530 @ 679.738
c NEW SOLUTION FOUND: 47529 @ 687.136
c NEW SOLUTION FOUND: 47528 @ 690.373
c NEW SOLUTION FOUND: 47527 @ 693.273
c NEW SOLUTION FOUND: 47526 @ 724.249
c NEW SOLUTION FOUND: 47524 @ 724.959
c NEW SOLUTION FOUND: 47523 @ 726.926
c NEW SOLUTION FOUND: 47522 @ 786.45
c NEW SOLUTION FOUND: 47521 @ 922.519
c NEW SOLUTION FOUND: 47520 @ 1019.14
c NEW SOLUTION FOUND: 47519 @ 1121.14
c NEW SOLUTION FOUND: 47518 @ 1166.81
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1042_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 C1067_bit0 C1068_bit0 C1070_bit0 -C1073_bit0 C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1126_bit0 -C1127_bit0 C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 C1140_bit0 C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 C1153_bit0 -C1156_bit0 C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 C1162_bit0 -C1163_bit0 -C1166_bit0 C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 C1209_bit0 -C1212_bit0 -C1213_bit0 C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 C1259_bit0 -C1260_bit0 C1261_bit0 -C1262_bit0 C1263_bit0 C1265_bit0 C1266_bit0 C1267_bit0 -C1268_bit0 C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 C1291_bit0 C1292_bit0 -C1293_bit0 -C1294_bit0 C1295_bit0 C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1366_bit0 -C1367_bit0 C1368_bit0 C1369_bit0 C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 C1412_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 C1421_bit0 -C1422_bit0 C1423_bit0 -C1424_bit0 -C1425_bit0 C1426_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 C1461_bit0 -C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1479_bit0 -C1480_bit0 C1481_bit0 C1482_bit0 C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 C1519_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 C1528_bit0 -C1529_bit0 C1530_bit0 -C1531_bit0 -C1532_bit0 C1533_bit0 -C1535_bit0 -C1536_bit0 -C1537_bit0 C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 C1589_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 -C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 C1642_bit0 -C1643_bit0 -C1644_bit0 C1645_bit0 C1646_bit0 -C1647_bit0 C1648_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 C1653_bit0 -C1656_bit0 C1657_bit0 C1658_bit0 C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 C1696_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 C1710_bit0 -C1712_bit0 -C1713_bit0 C1714_bit0 C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 C1766_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 C1799_bit0 C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 -C1847_bit0 C1848_bit0 C1849_bit0 -C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 C1875_bit0 -C1876_bit0 C1877_bit0 -C1878_bit0 -C1879_bit0 C1880_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1896_bit0 -C1897_bit0 C1898_bit0 C1899_bit0 -C1900_bit0 C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 C1924_bit0 -C1925_bit0 -C1926_bit0 C1929_bit0 -C1933_bit0 C1937_bit0 -C1938_bit0 C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1946_bit0 -C1947_bit0 C1948_bit0 C1949_bit0 C1950_bit0 C1951_bit0 -C1952_bit0 -C1954_bit0 C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 -C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 C1975_bit0 -C1976_bit0 C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1982_bit0 -C1983_bit0 C1984_bit0 C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 C1991_bit0 C1992_bit0 C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C2000_bit0 -C2001_bit0 -C2002_bit0 C2003_bit0 -C2004_bit0 C2005_bit0 C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2029_bit0 -C2030_bit0 C2031_bit0 C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 C2042_bit0 -C2043_bit0 C2045_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 C2061_bit0 -C2062_bit0 C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2070_bit0 C2071_bit0 -C2072_bit0 C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 C2083_bit0 C2084_bit0 C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2091_bit0 C2092_bit0 C2093_bit0 C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 C2103_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 C2119_bit0 -C2120_bit0 C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2126_bit0 -C2127_bit0 C2128_bit0 C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 C2135_bit0 C2136_bit0 C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 -C2141_bit0 -C2144_bit0 C2145_bit0 -C2146_bit0 C2147_bit0 -C2148_bit0 C2149_bit0 C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2173_bit0 C2174_bit0 -C2175_bit0 C2176_bit0 -C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 C2186_bit0 C2187_bit0 C2189_bit0 -C2192_bit0 C2193_bit0 C2194_bit0 C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 -C2232_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 C2247_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 C2263_bit0 -C2264_bit0 C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2270_bit0 C2271_bit0 C2272_bit0 C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 C2289_bit0 C2290_bit0 C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 C2335_bit0 C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2348_bit0 C2349_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 C2365_bit0 -C2366_bit0 -C2367_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2440_bit0 C2441_bit0 -C2442_bit0 C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 C2455_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 C2472_bit0 -C2473_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2511_bit0 C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 C2521_bit0 C2522_bit0 -C2524_bit0 -C2525_bit0 C2526_bit0 C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 -C2556_bit0 -C2557_bit0 -C2558_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 -C2576_bit0 -C2578_bit0 -C2579_bit0 C2580_bit0 C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 C2589_bit0 -C2591_bit0 C2592_bit0 C2593_bit0 C2594_bit0 C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2748_bit0 C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2779_bit0 -C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 -C2784_bit0 -C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 -C2790_bit0 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 -C2814_bit0 -C2817_bit0 -C2818_bit0 -C2819_bit0 -C2820_bit0 -C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 -C2827_bit0 -C2828_bit0 -C2829_bit0 -C2830_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 C2845_bit0 -C2848_bit0 -C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 -C2854_bit0 -C2855_bit0 -C2856_bit0 -C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_bit0 -C2902_bit0 -C2903_bit0 -C2904_bit0 -C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 -C2909_bit0 -C2910_bit0 -C2911_bit0 -C2912_bit0 -C2913_bit0 -C2914_bit0 -C2915_bit0 -C2918_bit0 -C2919_bit0 C2920_bit0 C2921_bit0 -C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 -C2929_bit0 C2930_bit0 -C2933_bit0 -C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 -C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 -C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 -C2947_bit0 -C2949_bit0 -C2950_bit0 -C2951_bit0 -C2952_bit0 -C2953_bit0 -C2954_bit0 -C2955_bit0 -C2956_bit0 -C2957_bit0 -C2958_bit0 -C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 -C2963_bit0 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 C2977_bit0 -C2980_bit0 -C2981_bit0 -C2982_bit0 -C2983_bit0 -C2984_bit0 -C2985_bit0 -C2986_bit0 -C2987_bit0 -C2988_bit0 -C2989_bit0 -C2990_bit0 -C2991_bit0 -C2992_bit0 C2993_bit0 -C2994_bit0 -C2995_bit0 -C2996_bit0 -C2997_bit0 -C2998_bit0 -C2999_bit0 C3000_bit0 -C3001_bit0 C3003_bit0 -C3004_bit0 C3005_bit0 C3006_bit0 -C3007_bit0 -C3008_bit0 -C3009_bit0 -C3010_bit0 -C3011_bit0 -C3012_bit0 -C3013_bit0 -C3014_bit0 -C3015_bit0 -C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 -C3020_bit0 -C3021_bit0 -C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 -C3027_bit0 -C3028_bit0 -C3029_bit0 C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 C3048_bit0 -C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 -C3055_bit0 C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 C3078_bit0 -C3080_bit0 -C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 -C3087_bit0 -C3088_bit0 C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 -C3094_bit0 -C3095_bit0 C3096_bit0 C3097_bit0 C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 -C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 -C3154_bit0 -C3155_bit0 C3156_bit0 C3157_bit0 -C3158_bit0 -C3159_bit0 -C3161_bit0 -C3162_bit0 -C3163_bit0 C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 C3170_bit0 C3172_bit0 -C3174_bit0 -C3175_bit0 -C3176_bit0 -C3177_bit0 -C3178_bit0 -C3179_bit0 -C3180_bit0 -C3181_bit0 -C3182_bit0 C3183_bit0 -C3184_bit0 -C3185_bit0 -C3187_bit0 -C3188_bit0 -C3189_bit0 C3190_bit0 C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 C3198_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 -C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 -C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 -C3214_bit0 -C3215_bit0 -C3216_bit0 -C3217_bit0 -C3218_bit0 -C3219_bit0 -C3220_bit0 -C3221_bit0 -C3222_bit0 -C3223_bit0 C3224_bit0 -C3225_bit0 -C3226_bit0 -C3228_bit0 -C3229_bit0 C3230_bit0 C3231_bit0 C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 C3237_bit0 C3239_bit0 -C3241_bit0 -C3242_bit0 C3243_bit0 C3244_bit0 -C3245_bit0 -C3246_bit0 -C3247_bit0 -C3248_bit0 -C3249_bit0 -C3250_bit0 -C3251_bit0 -C3252_bit0 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 C3265_bit0 -C3267_bit0 -C3268_bit0 C3269_bit0 C3270_bit0 -C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 -C3291_bit0 -C3292_bit0 -C3293_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 C3323_bit0 -C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 C3346_bit0 -C3348_bit0 -C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 -C3355_bit0 -C3356_bit0 C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 -C3362_bit0 -C3363_bit0 C3364_bit0 C3365_bit0 C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 -C3422_bit0 -C3423_bit0 -C3424_bit0 -C3425_bit0 -C3426_bit0 -C3427_bit0 -C3428_bit0 -C3429_bit0 -C3430_bit0 -C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 -C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 -C3443_bit0 -C3444_bit0 -C3445_bit0 C3446_bit0 -C3448_bit0 -C3449_bit0 -C3450_bit0 -C3451_bit0 -C3452_bit0 -C3453_bit0 -C3454_bit0 -C3455_bit0 -C3456_bit0 -C3457_bit0 -C3458_bit0 -C3459_bit0 -C3460_bit0 -C3461_bit0 -C3462_bit0 -C3463_bit0 -C3464_bit0 -C3466_bit0 -C3467_bit0 C3468_bit0 -C3469_bit0 C3470_bit0 -C3471_bit0 -C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 -C3476_bit0 -C3477_bit0 -C3478_bit0 -C3479_bit0 -C3480_bit0 -C3481_bit0 -C3483_bit0 -C3484_bit0 -C3485_bit0 -C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 -C3490_bit0 -C3491_bit0 -C3492_bit0 -C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 -C3497_bit0 -C3499_bit0 -C3500_bit0 -C3501_bit0 -C3502_bit0 -C3503_bit0 -C3504_bit0 -C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 -C3510_bit0 -C3511_bit0 -C3512_bit0 -C3513_bit0 -C3514_bit0 -C3515_bit0 -C3517_bit0 -C3518_bit0 -C3519_bit0 -C3520_bit0 -C3521_bit0 C3522_bit0 -C3523_bit0 -C3524_bit0 -C3526_bit0 -C3527_bit0 C3528_bit0 C3529_bit0 -C3530_bit0 C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 -C3536_bit0 C3537_bit0 C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_bit0 -C3544_bit0 -C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 C3549_bit0 -C3550_bit0 -C3551_bit0 -C3552_bit0 -C3553_bit0 C3554_bit0 -C3555_bit0 C3556_bit0 C3557_bit0 C3558_bit0 -C3559_bit0 -C3560_bit0 C3561_bit0 C3562_bit0 C3563_bit0 -C3564_bit0 -C3565_bit0 -C3566_bit0 -C3567_bit0 C1007_bit0 -C1008_bit0 -C3568_bit0 C1012_bit0 C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C3569_bit0 -C1025_bit0 C1026_bit0 -C1028_bit0 -C3570_bit0 -C1040_bit0 -C1041_bit0 -C1043_bit0 -C3571_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C3572_bit0 -C1063_bit0 C1064_bit0 -C3573_bit0 C1069_bit0 -C1071_bit0 -C1072_bit0 C3574_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C3575_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C3576_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C3577_bit0 -C1118_bit0 -C3578_bit0 -C1125_bit0 -C3579_bit0 -C1130_bit0 -C3580_bit0 -C1138_bit0 -C3581_bit0 C1146_bit0 -C1147_bit0 C3582_bit0 C1151_bit0 C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C3583_bit0 -C1164_bit0 -C1165_bit0 -C1167_bit0 C3584_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C3585_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C3586_bit0 -C1202_bit0 -C1203_bit0 -C3587_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C3588_bit0 C1220_bit0 -C1221_bit0 -C1223_bit0 C3589_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C3590_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C3591_bit0 -C1257_bit0 -C3592_bit0 -C1264_bit0 C3593_bit0 -C1269_bit0 -C3594_bit0 -C1277_bit0 -C3595_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 C3596_bit0 C1301_bit0 -C1302_bit0 C3597_bit0 -C1311_bit0 -C1312_bit0 -C3598_bit0 -C1324_bit0 -C1325_bit0 -C3599_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C3600_bit0 -C1346_bit0 C1350_bit0 -C1355_bit0 C3601_bit0 -C1364_bit0 -C1365_bit0 C3602_bit0 -C1378_bit0 -C1379_bit0 -C3603_bit0 -C1388_bit0 -C1389_bit0 -C3604_bit0 -C1401_bit0 -C1402_bit0 -C3605_bit0 -C1413_bit0 -C1414_bit0 -C3606_bit0 C1427_bit0 C3607_bit0 -C3608_bit0 -C3609_bit0 -C1455_bit0 -C3610_bit0 -C1462_bit0 -C3611_bit0 C1477_bit0 -C1478_bit0 C3612_bit0 -C1487_bit0 -C1488_bit0 -C3613_bit0 -C1504_bit0 -C1505_bit0 -C3614_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C3615_bit0 C1534_bit0 C3616_bit0 -C1547_bit0 -C1548_bit0 -C3617_bit0 -C1557_bit0 -C1558_bit0 -C3618_bit0 C1574_bit0 -C1575_bit0 -C3619_bit0 -C1590_bit0 C1591_bit0 -C3620_bit0 -C1604_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C1632_bit0 -C3624_bit0 C3625_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 C3626_bit0 -C1664_bit0 -C1665_bit0 -C3627_bit0 -C1681_bit0 -C1682_bit0 -C3628_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C3629_bit0 C1711_bit0 C3630_bit0 -C1724_bit0 -C1725_bit0 -C3631_bit0 -C1734_bit0 -C1735_bit0 -C3632_bit0 -C1751_bit0 C1752_bit0 -C3633_bit0 -C1767_bit0 -C1768_bit0 -C3634_bit0 -C1781_bit0 -C3635_bit0 -C1794_bit0 -C1795_bit0 C3636_bit0 -C1801_bit0 C1802_bit0 C1803_bit0 C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C3637_bit0 -C1819_bit0 C1820_bit0 C3638_bit0 -C1826_bit0 -C1827_bit0 C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C3639_bit0 -C1844_bit0 -C1845_bit0 C3640_bit0 -C1852_bit0 C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C3641_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C3642_bit0 C1881_bit0 C3643_bit0 -C1894_bit0 -C1895_bit0 C3644_bit0 -C1901_bit0 C1902_bit0 C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C3645_bit0 -C1919_bit0 -C1920_bit0 C3646_bit0 -C1927_bit0 C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C3647_bit0 -C1944_bit0 -C1945_bit0 C3648_bit0 C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C3649_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C3650_bit0 C1981_bit0 C3651_bit0 C1998_bit0 -C1999_bit0 C3652_bit0 C2006_bit0 C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C3653_bit0 -C2027_bit0 -C2028_bit0 C3654_bit0 C2044_bit0 -C2046_bit0 -C2047_bit0 -C3655_bit0 -C2068_bit0 -C2069_bit0 C3656_bit0 -C2089_bit0 -C2090_bit0 C3657_bit0 -C2104_bit0 -C2105_bit0 -C3658_bit0 C2125_bit0 C3659_bit0 -C2142_bit0 -C2143_bit0 C3660_bit0 C2150_bit0 C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C3661_bit0 -C2171_bit0 -C2172_bit0 C3662_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 C3663_bit0 -C2212_bit0 -C2213_bit0 -C3664_bit0 -C2233_bit0 -C2234_bit0 -C3665_bit0 -C2248_bit0 C2249_bit0 -C3666_bit0 C2269_bit0 C3667_bit0 C3668_bit0 -C3669_bit0 -C3670_bit0 C3671_bit0 -C2347_bit0 -C2350_bit0 -C3672_bit0 C2368_bit0 C3673_bit0 C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C3674_bit0 -C2400_bit0 -C2403_bit0 -C3675_bit0 C2421_bit0 C3676_bit0 C2439_bit0 C3677_bit0 C2454_bit0 -C2456_bit0 -C3678_bit0 C2474_bit0 -C3679_bit0 -C2492_bit0 -C3680_bit0 -C2510_bit0 C3681_bit0 C2523_bit0 C3682_bit0 -C2541_bit0 -C3683_bit0 C2559_bit0 C3684_bit0 C2577_bit0 C3685_bit0 C2590_bit0 C3686_bit0 C2608_bit0 -C3687_bit0 -C2621_bit0 -C2622_bit0 -C3688_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C3689_bit0 -C2645_bit0 -C2646_bit0 -C3690_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C3691_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C3692_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C3693_bit0 -C2706_bit0 -C2707_bit0 -C3694_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C3695_bit0 -C2730_bit0 -C2731_bit0 -C3696_bit0 -C2746_bit0 -C2747_bit0 -C3697_bit0 C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C3698_bit0 -C2774_bit0 -C2778_bit0 -C3699_bit0 -C2791_bit0 -C2792_bit0 -C3700_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C3701_bit0 -C2815_bit0 -C2816_bit0 -C3702_bit0 -C2831_bit0 -C2832_bit0 -C3703_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C3704_bit0 -C2863_bit0 -C3705_bit0 -C2876_bit0 -C2877_bit0 -C3706_bit0 -C2887_bit0 -C2888_bit0 -C3707_bit0 -C2900_bit0 -C2901_bit0 -C3708_bit0 -C2916_bit0 -C2917_bit0 C3709_bit0 -C2931_bit0 C2932_bit0 -C3710_bit0 -C2948_bit0 -C3711_bit0 -C2964_bit0 -C2965_bit0 -C3712_bit0 -C2978_bit0 -C2979_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 C3002_bit0 C3716_bit0 -C3717_bit0 C3026_bit0 C3718_bit0 C3036_bit0 C3037_bit0 -C3039_bit0 -C3044_bit0 -C3719_bit0 C3052_bit0 C3720_bit0 C3063_bit0 -C3065_bit0 -C3069_bit0 -C3070_bit0 -C3721_bit0 -C3079_bit0 -C3722_bit0 C3093_bit0 C3723_bit0 C3103_bit0 C3104_bit0 -C3106_bit0 -C3111_bit0 -C3724_bit0 -C3119_bit0 -C3725_bit0 C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3726_bit0 -C3146_bit0 -C3727_bit0 C3160_bit0 C3728_bit0 C3171_bit0 -C3173_bit0 -C3729_bit0 C3186_bit0 C3730_bit0 -C3197_bit0 C3199_bit0 C3731_bit0 -C3213_bit0 -C3732_bit0 C3227_bit0 C3733_bit0 -C3238_bit0 C3240_bit0 C3734_bit0 -C3253_bit0 -C3735_bit0 -C3264_bit0 C3266_bit0 C3736_bit0 -C3280_bit0 -C3737_bit0 C3294_bit0 C3738_bit0 C3304_bit0 C3305_bit0 -C3307_bit0 -C3312_bit0 -C3739_bit0 C3320_bit0 C3740_bit0 C3331_bit0 -C3333_bit0 -C3338_bit0 -C3741_bit0 -C3344_bit0 -C3347_bit0 -C3742_bit0 C3361_bit0 C3743_bit0 C3371_bit0 C3372_bit0 -C3374_bit0 -C3379_bit0 -C3744_bit0 -C3387_bit0 -C3745_bit0 C3398_bit0 -C3400_bit0 -C3405_bit0 -C3746_bit0 -C3414_bit0 -C3747_bit0 -C3431_bit0 -C3748_bit0 -C3447_bit0 -C3749_bit0 C3465_bit0 C3750_bit0 C3482_bit0 -C3751_bit0 C3498_bit0 C3752_bit0 -C3516_bit0 -C3753_bit0 C3525_bit0 C3754_bit0 C3533_bit0 C3755_bit0 -C3543_bit0 -C3756_bit0 
c Exit Code: 10
c Total time: 1175.02 s
#### 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
Raw data (loadavg): 0.68 0.88 0.89 2/54 14588
Raw data (stat): 14588 (runsolver) R 14587 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776627105 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.73 0.89 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 17930 0 0 0 960 37 0 0 25 0 1 0 776627105 76578816 17845 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18696 17845 1111 63 0 18633 0
vsize: 74784
[startup+20.0021 s]
Raw data (loadavg): 0.77 0.89 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 20698 0 1 0 1953 43 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+30.0026 s]
Raw data (loadavg): 0.81 0.89 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 24099 0 1 0 2944 53 0 0 25 0 1 0 776627105 77918208 18292 4294967295 134512640 134714508 3221224592 3221221712 1074866114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19023 18292 1111 63 0 18960 0
vsize: 76092
[startup+40.0031 s]
Raw data (loadavg): 0.84 0.90 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 27373 0 1 0 3936 60 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+50.0032 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 30600 0 1 0 4929 68 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+60.0039 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 33482 0 1 0 5921 75 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222760 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+70.0044 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 36915 0 1 0 6915 83 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+80.0045 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 40365 0 1 0 7906 91 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+90.0043 s]
Raw data (loadavg): 0.93 0.91 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 44395 0 1 0 8894 103 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222496 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+100.004 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 48947 0 1 0 9884 113 0 0 25 0 1 0 776627105 77737984 18279 4294967295 134512640 134714508 3221224592 3221223008 1074116666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18979 18279 1111 63 0 18916 0
vsize: 75916
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 53234 0 1 0 10874 124 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+120.006 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 57812 0 1 0 11862 136 0 0 25 0 1 0 776627105 78135296 18304 4294967295 134512640 134714508 3221224592 3221222240 1075818300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18304 1111 63 0 19013 0
vsize: 76304
[startup+130.005 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 62412 0 1 0 12850 148 0 0 25 0 1 0 776627105 77733888 18278 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18978 18278 1111 63 0 18915 0
vsize: 75912
[startup+140.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 66508 0 1 0 13838 160 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+150.006 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 70937 0 1 0 14826 172 0 0 25 0 1 0 776627105 77680640 18265 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18265 1111 63 0 18902 0
vsize: 75860
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 75440 0 1 0 15815 184 0 0 25 0 1 0 776627105 77680640 18266 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18266 1111 63 0 18902 0
vsize: 75860
[startup+170.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 80127 0 1 0 16803 196 0 0 25 0 1 0 776627105 77680640 18266 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18266 1111 63 0 18902 0
vsize: 75860
[startup+180.006 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 86042 0 1 0 17787 212 0 0 25 0 1 0 776627105 77844480 18306 4294967295 134512640 134714508 3221224592 3221223208 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19005 18306 1111 63 0 18942 0
vsize: 76020
[startup+190.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 92033 0 1 0 18771 228 0 0 25 0 1 0 776627105 77680640 18267 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 18267 1111 63 0 18902 0
vsize: 75860
[startup+200.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 98442 0 1 0 19755 244 0 0 25 0 1 0 776627105 77791232 18294 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18992 18294 1111 63 0 18929 0
vsize: 75968
[startup+210.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 103287 0 1 0 20743 256 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+220.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 106570 0 1 0 21735 265 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+230.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 109774 0 1 0 22727 273 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+240.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 112893 0 1 0 23719 281 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+250.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 115920 0 1 0 24711 289 0 0 25 0 1 0 776627105 77914112 18324 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19022 18324 1111 63 0 18959 0
vsize: 76088
[startup+260.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 118911 0 1 0 25702 299 0 0 25 0 1 0 776627105 77914112 18324 4294967295 134512640 134714508 3221224592 3221221936 1074839062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19022 18324 1111 63 0 18959 0
vsize: 76088
[startup+270.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 122197 0 1 0 26692 309 0 0 25 0 1 0 776627105 78528512 18349 4294967295 134512640 134714508 3221224592 3221221576 1074831841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19172 18349 1111 63 0 19109 0
vsize: 76688
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 125365 0 1 0 27683 318 0 0 25 0 1 0 776627105 78192640 18348 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19090 18348 1111 63 0 19027 0
vsize: 76360
[startup+290.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 129308 0 1 0 28674 328 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+300.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 134277 0 1 0 29662 339 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+310.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 139296 0 1 0 30651 351 0 0 25 0 1 0 776627105 78024704 18344 4294967295 134512640 134714508 3221224592 3221222592 1074918335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19049 18344 1111 63 0 18986 0
vsize: 76196
[startup+320.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 144416 0 1 0 31640 362 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+330.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 149061 0 1 0 32629 374 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+340.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 153559 0 1 0 33618 384 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+350.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 157318 0 1 0 34609 394 0 0 25 0 1 0 776627105 77881344 18316 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19014 18316 1111 63 0 18951 0
vsize: 76056
[startup+360.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 161770 0 1 0 35598 406 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+370.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 165189 0 1 0 36590 414 0 0 25 0 1 0 776627105 78790656 18416 4294967295 134512640 134714508 3221224592 3221221512 1074950077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19236 18416 1111 63 0 19173 0
vsize: 76944
[startup+380.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 168391 0 1 0 37584 420 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221223088 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+390.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 171480 0 1 0 38575 429 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+400.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 174697 0 1 0 39569 436 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+410.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 177775 0 1 0 40561 444 0 0 25 0 1 0 776627105 78635008 18352 4294967295 134512640 134714508 3221224592 3221221360 1076083827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19198 18352 1111 63 0 19135 0
vsize: 76792
[startup+420.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 180993 0 1 0 41553 452 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+430.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 184227 0 1 0 42543 462 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222664 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+440.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 187393 0 1 0 43535 471 0 0 25 0 1 0 776627105 78032896 18348 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18348 1111 63 0 18988 0
vsize: 76204
[startup+450.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 190579 0 1 0 44526 480 0 0 25 0 1 0 776627105 78639104 18355 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19199 18355 1111 63 0 19136 0
vsize: 76796
[startup+460.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 193564 0 1 0 45518 488 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+470.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 196530 0 1 0 46510 496 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+480.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 199813 0 1 0 47502 504 0 0 25 0 1 0 776627105 77942784 18331 4294967295 134512640 134714508 3221224592 3221223008 1074117062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19029 18331 1111 63 0 18966 0
vsize: 76116
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 204707 0 1 0 48491 516 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 209812 0 1 0 49479 528 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 215042 0 1 0 50465 542 0 0 25 0 1 0 776627105 78258176 18338 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19106 18338 1111 63 0 19043 0
vsize: 76424
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 220323 0 1 0 51451 556 0 0 25 0 1 0 776627105 77910016 18323 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18323 1111 63 0 18958 0
vsize: 76084
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 225303 0 1 0 52437 570 0 0 25 0 1 0 776627105 78217216 18330 4294967295 134512640 134714508 3221224592 3221222656 1075961744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19096 18330 1111 63 0 19033 0
vsize: 76384
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 229789 0 1 0 53426 582 0 0 25 0 1 0 776627105 78610432 18345 4294967295 134512640 134714508 3221224592 3221221632 1075971447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19192 18345 1111 63 0 19129 0
vsize: 76768
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 234418 0 1 0 54414 594 0 0 25 0 1 0 776627105 78196736 18392 4294967295 134512640 134714508 3221224592 3221222320 1075635580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19091 18392 1111 63 0 19028 0
vsize: 76364
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 239180 0 1 0 55402 606 0 0 25 0 1 0 776627105 77967360 18337 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19035 18337 1111 63 0 18972 0
vsize: 76140
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 244615 0 1 0 56388 620 0 0 25 0 1 0 776627105 78086144 18366 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19064 18366 1111 63 0 19001 0
vsize: 76256
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 249801 0 1 0 57373 635 0 0 25 0 1 0 776627105 78143488 18380 4294967295 134512640 134714508 3221224592 3221222492 1074057995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19078 18380 1111 63 0 19015 0
vsize: 76312
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 255643 0 1 0 58359 649 0 0 25 0 1 0 776627105 78143488 18380 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19078 18380 1111 63 0 19015 0
vsize: 76312
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 261698 0 1 0 59343 665 0 0 25 0 1 0 776627105 78745600 18469 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19225 18473 1111 63 0 19162 0
vsize: 76900
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 267183 0 1 0 60330 678 0 0 25 0 1 0 776627105 78446592 18454 4294967295 134512640 134714508 3221224592 3221222616 1077377854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 18454 1111 63 0 19089 0
vsize: 76608
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 272278 0 1 0 61317 692 0 0 25 0 1 0 776627105 78589952 18471 4294967295 134512640 134714508 3221224592 3221222592 1074918544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 18471 1111 63 0 19124 0
vsize: 76748
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 276896 0 1 0 62305 704 0 0 25 0 1 0 776627105 78508032 18469 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19167 18469 1111 63 0 19104 0
vsize: 76668
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 282999 0 1 0 63288 721 0 0 25 0 1 0 776627105 78610432 18494 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19192 18494 1111 63 0 19129 0
vsize: 76768
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 289787 0 1 0 64271 739 0 0 25 0 1 0 776627105 78782464 18536 4294967295 134512640 134714508 3221224592 3221222784 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19234 18536 1111 63 0 19171 0
vsize: 76936
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 299934 0 1 0 65243 767 0 0 25 0 1 0 776627105 80191488 18773 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19578 18773 1111 63 0 19515 0
vsize: 78312
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 313631 0 1 0 66213 796 0 0 25 0 1 0 776627105 80404480 18933 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19630 18933 1111 63 0 19567 0
vsize: 78520
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 326463 0 1 0 67183 826 0 0 25 0 1 0 776627105 83283968 19637 4294967295 134512640 134714508 3221224592 3221223136 1073987681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20333 19637 1111 63 0 20270 0
vsize: 81332
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 329256 0 1 0 68169 840 0 0 25 0 1 0 776627105 83283968 19637 4294967295 134512640 134714508 3221224592 3221222864 1074056231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20333 19637 1111 63 0 20270 0
vsize: 81332
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 332047 0 1 0 69153 856 0 0 25 0 1 0 776627105 83283968 19637 4294967295 134512640 134714508 3221224592 3221222512 1075799533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20333 19637 1111 63 0 20270 0
vsize: 81332
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 334867 0 1 0 70138 871 0 0 25 0 1 0 776627105 83283968 19637 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20333 19637 1111 63 0 20270 0
vsize: 81332
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 341915 0 1 0 71112 897 0 0 25 0 1 0 776627105 83419136 19670 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20366 19670 1111 63 0 20303 0
vsize: 81464
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 351594 0 1 0 72081 928 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222992 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 354292 0 1 0 73068 941 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 357142 0 1 0 74054 956 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 360388 0 1 0 75039 970 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222872 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 362688 0 1 0 76027 983 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 365194 0 1 0 77015 995 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222320 1075635647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 368271 0 1 0 78000 1010 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 371078 0 1 0 78985 1025 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 374896 0 1 0 79968 1043 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 378672 0 1 0 80950 1061 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221222828 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 382873 0 1 0 81930 1081 0 0 25 0 1 0 776627105 83841024 19760 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20469 19760 1111 63 0 20406 0
vsize: 81876
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 389237 0 1 0 82905 1107 0 0 25 0 1 0 776627105 83787776 19760 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19760 1111 63 0 20393 0
vsize: 81824
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 396176 0 1 0 83884 1128 0 0 25 0 1 0 776627105 84082688 19832 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19832 1111 63 0 20465 0
vsize: 82112
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 399160 0 1 0 84872 1140 0 0 25 0 1 0 776627105 84082688 19832 4294967295 134512640 134714508 3221224592 3221222856 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19832 1111 63 0 20465 0
vsize: 82112
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 402708 0 1 0 85856 1156 0 0 25 0 1 0 776627105 84082688 19832 4294967295 134512640 134714508 3221224592 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19832 1111 63 0 20465 0
vsize: 82112
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 411823 0 1 0 86828 1184 0 0 25 0 1 0 776627105 84086784 19833 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20529 19833 1111 63 0 20466 0
vsize: 82116
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 417377 0 1 0 87810 1203 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19918 1111 63 0 20551 0
vsize: 82456
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 419516 0 1 0 88799 1213 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19918 1111 63 0 20551 0
vsize: 82456
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 421645 0 1 0 89788 1225 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19918 1111 63 0 20551 0
vsize: 82456
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 423829 0 1 0 90776 1237 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19918 1111 63 0 20551 0
vsize: 82456
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 426415 0 1 0 91761 1252 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20614 19918 1111 63 0 20551 0
vsize: 82456
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 429157 0 1 0 92749 1264 0 0 25 0 1 0 776627105 84434944 19918 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20697 19921 1111 63 0 20634 0
vsize: 82456
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 433252 0 1 0 93734 1279 0 0 25 0 1 0 776627105 84537344 19943 4294967295 134512640 134714508 3221224592 3221222940 1074152822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20639 19943 1111 63 0 20576 0
vsize: 82556
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 438248 0 1 0 94714 1299 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221222908 1074064528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 441697 0 1 0 95697 1316 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 445103 0 1 0 96681 1333 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221223164 134535680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 448552 0 1 0 97665 1349 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 452111 0 1 0 98649 1365 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 456238 0 1 0 99631 1383 0 0 25 0 1 0 776627105 84611072 19961 4294967295 134512640 134714508 3221224592 3221222752 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19961 1111 63 0 20594 0
vsize: 82628
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 461745 0 1 0 100609 1405 0 0 25 0 1 0 776627105 84799488 20007 4294967295 134512640 134714508 3221224592 3221222560 1075809056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 20007 1111 63 0 20640 0
vsize: 82812
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 465341 0 1 0 101596 1419 0 0 25 0 1 0 776627105 84799488 20007 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 20007 1111 63 0 20640 0
vsize: 82812
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 470167 0 1 0 102579 1436 0 0 25 0 1 0 776627105 85159936 20055 4294967295 134512640 134714508 3221224592 3221222120 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20791 20055 1111 63 0 20728 0
vsize: 83164
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 473294 0 1 0 103564 1451 0 0 25 0 1 0 776627105 84987904 20053 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20749 20053 1111 63 0 20686 0
vsize: 82996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 476438 0 1 0 104548 1468 0 0 25 0 1 0 776627105 84987904 20053 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20749 20053 1111 63 0 20686 0
vsize: 82996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 479524 0 1 0 105532 1484 0 0 25 0 1 0 776627105 85123072 20054 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20782 20054 1111 63 0 20719 0
vsize: 83128
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 483454 0 1 0 106513 1502 0 0 25 0 1 0 776627105 84987904 20053 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20749 20053 1111 63 0 20686 0
vsize: 82996
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 487294 0 1 0 107497 1519 0 0 25 0 1 0 776627105 84987904 20053 4294967295 134512640 134714508 3221224592 3221223184 134696061 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20749 20053 1111 63 0 20686 0
vsize: 82996
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 491161 0 1 0 108479 1537 0 0 25 0 1 0 776627105 84987904 20053 4294967295 134512640 134714508 3221224592 3221222464 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20749 20053 1111 63 0 20686 0
vsize: 82996
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 495605 0 1 0 109460 1556 0 0 25 0 1 0 776627105 85147648 20064 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20788 20064 1111 63 0 20725 0
vsize: 83152
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 503627 0 1 0 110437 1580 0 0 25 0 1 0 776627105 85164032 20096 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20792 20096 1111 63 0 20729 0
vsize: 83168
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 510237 0 1 0 111414 1602 0 0 25 0 1 0 776627105 85622784 20168 4294967295 134512640 134714508 3221224592 3221222176 1075860307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20904 20168 1111 63 0 20841 0
vsize: 83616
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 512520 0 1 0 112404 1613 0 0 25 0 1 0 776627105 85450752 20166 4294967295 134512640 134714508 3221224592 3221222944 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20862 20166 1111 63 0 20799 0
vsize: 83448
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 514817 0 1 0 113392 1625 0 0 25 0 1 0 776627105 85450752 20166 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20862 20166 1111 63 0 20799 0
vsize: 83448
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 517440 0 1 0 114379 1638 0 0 25 0 1 0 776627105 85450752 20166 4294967295 134512640 134714508 3221224592 3221222888 1077377259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20862 20166 1111 63 0 20799 0
vsize: 83448
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 524002 0 1 0 115357 1661 0 0 25 0 1 0 776627105 85770240 20202 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20940 20202 1111 63 0 20877 0
vsize: 83760
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14588
Raw data (stat): 14588 (bsolo_lpr_cuts) R 14587 3944 3943 0 -1 0 524002 0 1 0 115357 1661 0 0 25 0 1 0 776627105 85770240 20202 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20940 20202 1111 63 0 20877 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.06
CPU user time (s): 1158.33
CPU system time (s): 16.7275
CPU usage (%): 100.012
Max. virtual memory (Kb): 83760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	47518
#### END VERIFIER DATA ####