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).
    Note that some very long lines in this section may be truncated by your web browser !
  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

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb
MD5SUMcc9b9a1bf5f3e0998bc97d2eed5cbbd9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3709
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 benchmark1203.98
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 8749

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-20 18:13:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6778 boxname=wulflinc31 idbench=918 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 6778
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        818344 kB
Buffers:         33172 kB
Cached:         154980 kB
SwapCached:       1160 kB
Active:          82864 kB
Inactive:       108092 kB
HighTotal:      131008 kB
HighFree:          924 kB
LowTotal:       903652 kB
LowFree:        817420 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19788 kB
Committed_AS:    64344 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:34:20 (client local time) WITH STATUS 143 IN 1203.98 SECONDS
stats: 6778 0 1203.98 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
c reading problem ... done. Time 3.135 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              118980 		Current CPU time: 8.60 ms
c CURRENT OPTIMUM=              102466 		Current CPU time: 9.22 ms
c CURRENT OPTIMUM=               91608 		Current CPU time: 9.73 ms
c CURRENT OPTIMUM=               91300 		Current CPU time: 10.91 ms
c CURRENT OPTIMUM=               87240 		Current CPU time: 11.65 ms
c CURRENT OPTIMUM=                4867 		Current CPU time: 318.30 ms
c CURRENT OPTIMUM=                4806 		Current CPU time: 659.94 ms
c CURRENT OPTIMUM=                4089 		Current CPU time: 684.70 ms
c CURRENT OPTIMUM=                3709 		Current CPU time: 707.10 ms
c starts		: 11
c conflicts		: 239
c decisions		: 54109
c propagations		: 88012
c inspects		: 159485
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 238
c root simplifications	: 45
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 101.77062722409887
c non guided choices	36699
c random choices	0
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 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C1025_bit0 C1026_bit0 -C1028_bit0 -C1040_bit0 -C1041_bit0 -C1043_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C1063_bit0 C1064_bit0 -C1069_bit0 -C1071_bit0 -C1072_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C1118_bit0 C1125_bit0 -C1130_bit0 -C1138_bit0 -C1146_bit0 -C1147_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C1164_bit0 -C1165_bit0 -C1167_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C1202_bit0 -C1203_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C1220_bit0 -C1221_bit0 -C1223_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C1257_bit0 -C1264_bit0 C1269_bit0 -C1277_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 -C1301_bit0 -C1302_bit0 -C1311_bit0 -C1312_bit0 -C1324_bit0 -C1325_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C1346_bit0 -C1350_bit0 -C1355_bit0 -C1364_bit0 -C1365_bit0 -C1378_bit0 -C1379_bit0 -C1388_bit0 -C1389_bit0 -C1401_bit0 -C1402_bit0 -C1413_bit0 -C1414_bit0 -C1427_bit0 -C1455_bit0 -C1462_bit0 -C1477_bit0 -C1478_bit0 -C1487_bit0 -C1488_bit0 -C1504_bit0 -C1505_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C1534_bit0 -C1547_bit0 -C1548_bit0 -C1557_bit0 -C1558_bit0 -C1574_bit0 C1575_bit0 -C1590_bit0 C1591_bit0 -C1604_bit0 -C1632_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C1664_bit0 -C1665_bit0 -C1681_bit0 -C1682_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C1711_bit0 -C1724_bit0 -C1725_bit0 -C1734_bit0 -C1735_bit0 -C1751_bit0 C1752_bit0 -C1767_bit0 C1768_bit0 -C1781_bit0 -C1794_bit0 -C1795_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C1819_bit0 -C1820_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1844_bit0 -C1845_bit0 -C1852_bit0 -C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C1881_bit0 -C1894_bit0 -C1895_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1919_bit0 -C1920_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1944_bit0 -C1945_bit0 -C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C1981_bit0 -C1998_bit0 -C1999_bit0 -C2006_bit0 -C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C2027_bit0 -C2028_bit0 -C2044_bit0 -C2046_bit0 -C2047_bit0 -C2068_bit0 -C2069_bit0 -C2089_bit0 -C2090_bit0 -C2104_bit0 -C2105_bit0 -C2125_bit0 -C2142_bit0 -C2143_bit0 -C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C2171_bit0 -C2172_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C2212_bit0 -C2213_bit0 -C2233_bit0 -C2234_bit0 -C2248_bit0 C2249_bit0 -C2269_bit0 -C2347_bit0 -C2350_bit0 -C2368_bit0 -C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C2400_bit0 -C2403_bit0 -C2421_bit0 -C2439_bit0 -C2454_bit0 -C2456_bit0 C2474_bit0 -C2492_bit0 -C2510_bit0 -C2523_bit0 -C2541_bit0 -C2559_bit0 -C2577_bit0 -C2590_bit0 C2608_bit0 -C2621_bit0 -C2622_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C2645_bit0 -C2646_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C2706_bit0 -C2707_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C2730_bit0 -C2731_bit0 -C2746_bit0 C2747_bit0 -C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C2774_bit0 -C2778_bit0 -C2791_bit0 -C2792_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C2815_bit0 -C2816_bit0 -C2831_bit0 -C2832_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C2863_bit0 -C2876_bit0 -C2877_bit0 -C2887_bit0 -C2888_bit0 -C2900_bit0 -C2901_bit0 -C2916_bit0 -C2917_bit0 -C2931_bit0 C2932_bit0 -C2948_bit0 -C2964_bit0 -C2965_bit0 -C2978_bit0 -C2979_bit0 -C3002_bit0 -C3026_bit0 -C3036_bit0 -C3037_bit0 -C3039_bit0 -C3044_bit0 -C3052_bit0 -C3063_bit0 -C3065_bit0 -C3069_bit0 -C3070_bit0 -C3079_bit0 -C3093_bit0 -C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3119_bit0 -C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3146_bit0 -C3160_bit0 -C3171_bit0 -C3173_bit0 -C3186_bit0 -C3197_bit0 -C3199_bit0 -C3213_bit0 -C3227_bit0 -C3238_bit0 -C3240_bit0 -C3253_bit0 -C3264_bit0 -C3266_bit0 -C3280_bit0 -C3294_bit0 -C3304_bit0 -C3305_bit0 -C3307_bit0 -C3312_bit0 -C3320_bit0 -C3331_bit0 -C3333_bit0 -C3338_bit0 -C3344_bit0 -C3347_bit0 -C3361_bit0 -C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3387_bit0 -C3398_bit0 -C3400_bit0 -C3405_bit0 -C3414_bit0 -C3431_bit0 -C3447_bit0 -C3465_bit0 C3482_bit0 -C3498_bit0 -C3516_bit0 -C3525_bit0 -C3533_bit0 -C3543_bit0 -C3568_bit0 -C3569_bit0 -C3570_bit0 -C3571_bit0 -C3572_bit0 -C3573_bit0 -C3574_bit0 -C3575_bit0 -C3576_bit0 -C3577_bit0 -C3578_bit0 -C3579_bit0 -C3580_bit0 -C3581_bit0 -C3582_bit0 -C3583_bit0 -C3584_bit0 -C3585_bit0 -C3586_bit0 -C3587_bit0 -C3588_bit0 -C3589_bit0 -C3590_bit0 -C3591_bit0 -C3592_bit0 -C3593_bit0 -C3594_bit0 -C3595_bit0 -C3596_bit0 -C3597_bit0 -C3598_bit0 -C3599_bit0 -C3600_bit0 -C3601_bit0 -C3602_bit0 -C3603_bit0 -C3604_bit0 -C3605_bit0 -C3606_bit0 -C3607_bit0 -C3608_bit0 -C3609_bit0 -C3610_bit0 -C3611_bit0 -C3612_bit0 -C3613_bit0 -C3614_bit0 -C3615_bit0 -C3616_bit0 -C3617_bit0 -C3618_bit0 -C3619_bit0 -C3620_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C3624_bit0 -C3625_bit0 -C3626_bit0 -C3627_bit0 -C3628_bit0 -C3629_bit0 -C3630_bit0 -C3631_bit0 -C3632_bit0 -C3633_bit0 -C3634_bit0 -C3635_bit0 -C3636_bit0 -C3637_bit0 -C3638_bit0 -C3639_bit0 -C3640_bit0 -C3641_bit0 -C3642_bit0 -C3643_bit0 -C3644_bit0 -C3645_bit0 -C3646_bit0 -C3647_bit0 -C3648_bit0 -C3649_bit0 -C3650_bit0 -C3651_bit0 -C3652_bit0 -C3653_bit0 -C3654_bit0 -C3655_bit0 -C3656_bit0 -C3657_bit0 -C3658_bit0 -C3659_bit0 -C3660_bit0 -C3661_bit0 -C3662_bit0 -C3663_bit0 -C3664_bit0 -C3665_bit0 -C3666_bit0 -C3667_bit0 -C3668_bit0 -C3669_bit0 -C3670_bit0 -C3671_bit0 -C3672_bit0 -C3673_bit0 -C3674_bit0 -C3675_bit0 -C3676_bit0 -C3677_bit0 -C3678_bit0 -C3679_bit0 -C3680_bit0 -C3681_bit0 -C3682_bit0 -C3683_bit0 -C3684_bit0 -C3685_bit0 -C3686_bit0 -C3687_bit0 -C3688_bit0 -C3689_bit0 -C3690_bit0 -C3691_bit0 -C3692_bit0 -C3693_bit0 -C3694_bit0 -C3695_bit0 -C3696_bit0 -C3697_bit0 -C3698_bit0 -C3699_bit0 -C3700_bit0 -C3701_bit0 -C3702_bit0 -C3703_bit0 -C3704_bit0 -C3705_bit0 -C3706_bit0 -C3707_bit0 -C3708_bit0 -C3709_bit0 -C3710_bit0 -C3711_bit0 -C3712_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 -C3716_bit0 -C3717_bit0 -C3718_bit0 -C3719_bit0 -C3720_bit0 -C3721_bit0 -C3722_bit0 -C3723_bit0 -C3724_bit0 -C3725_bit0 -C3726_bit0 -C3727_bit0 -C3728_bit0 -C3729_bit0 -C3730_bit0 -C3731_bit0 -C3732_bit0 -C3733_bit0 -C3734_bit0 -C3735_bit0 -C3736_bit0 -C3737_bit0 -C3738_bit0 -C3739_bit0 -C3740_bit0 -C3741_bit0 -C3742_bit0 -C3743_bit0 -C3744_bit0 -C3745_bit0 -C3746_bit0 -C3747_bit0 -C3748_bit0 -C3749_bit0 -C3750_bit0 -C3751_bit0 -C3752_bit0 -C3753_bit0 -C3754_bit0 -C3755_bit0 -C3756_bit0 
c objective function=3709
c Total CPU time (ms) : 1239.071

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860569799 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 39 3 38 16 0 23 0
[pid=16102] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/16102
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=16103
New thread pid=16104
New thread pid=16105
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=16106
New thread pid=16107
New thread pid=16108
New thread pid=16109
New thread pid=16110
New thread pid=16111
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
New thread pid=16112
One traced child (pid=16112) exited with status: 0
New thread pid=16113

[startup+10.0028 s]
Raw data (loadavg): 1.16 1.03 0.94 2/67 16113
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 17935 3 1 0 653 46 0 0 18 0 11 0 1860569799 869879808 21935 4294967295 134512640 134569956 3221224336 3221214616 1131609219 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212373 21937 13129 16 0 212357 0
[pid=16102] vsize: 849492
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (Kb) 849492
One traced child (pid=16113) exited with status: 0
New thread pid=16114
One traced child (pid=16114) exited with status: 0
New thread pid=16115
One traced child (pid=16115) exited with status: 0
New thread pid=16116
One traced child (pid=16116) exited with status: 0
New thread pid=16117

[startup+20.0027 s]
Raw data (loadavg): 1.21 1.05 0.94 2/67 16117
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18217 3 1 0 1575 48 0 0 17 0 11 0 1860569799 869576704 23848 4294967295 134512640 134569956 3221224336 3221214504 1131642596 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 23848 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 16.23
Current children cumulated vsize (Kb) 849196

[startup+30.0026 s]
Raw data (loadavg): 1.25 1.06 0.95 2/67 16117
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18223 3 1 0 2493 48 0 0 19 0 11 0 1860569799 869576704 23955 4294967295 134512640 134569956 3221224336 3221214424 1131656692 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 23955 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (Kb) 849196

[startup+40.0046 s]
Raw data (loadavg): 1.21 1.06 0.95 2/67 16117
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18228 3 1 0 3443 49 0 0 25 0 11 0 1860569799 869576704 24033 4294967295 134512640 134569956 3221224336 3221214448 1131426293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 24033 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 34.92
Current children cumulated vsize (Kb) 849196

[startup+50.0055 s]
Raw data (loadavg): 1.26 1.07 0.95 3/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18234 3 1 0 4381 49 0 0 25 0 11 0 1860569799 869576704 24041 4294967295 134512640 134569956 3221224336 3221214632 1131642713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24041 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 44.3
Current children cumulated vsize (Kb) 849196

[startup+60.0064 s]
Raw data (loadavg): 1.22 1.07 0.95 2/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18243 3 1 0 5318 49 0 0 25 0 11 0 1860569799 869576704 24043 4294967295 134512640 134569956 3221224336 3221214528 1131426629 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 24043 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 53.67
Current children cumulated vsize (Kb) 849196

[startup+70.0074 s]
Raw data (loadavg): 1.18 1.07 0.95 2/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18249 3 1 0 6277 49 0 0 25 0 11 0 1860569799 869576704 24824 4294967295 134512640 134569956 3221224336 3221214624 1131646762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24824 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 63.26
Current children cumulated vsize (Kb) 849196

[startup+80.0083 s]
Raw data (loadavg): 1.16 1.06 0.95 2/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18257 3 1 0 7251 50 0 0 25 0 11 0 1860569799 869576704 24828 4294967295 134512640 134569956 3221224336 3221214372 1076478135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24828 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 73.01
Current children cumulated vsize (Kb) 849196

[startup+90.0092 s]
Raw data (loadavg): 1.13 1.06 0.95 2/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18263 3 1 0 8226 50 0 0 25 0 11 0 1860569799 869576704 24875 4294967295 134512640 134569956 3221224336 3221214536 1131426286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24875 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 82.76
Current children cumulated vsize (Kb) 849196

[startup+100.01 s]
Raw data (loadavg): 1.11 1.06 0.95 2/67 16119
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18268 3 1 0 9203 51 0 0 25 0 11 0 1860569799 869576704 24875 4294967295 134512640 134569956 3221224336 3221214624 1131646827 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24875 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 92.54
Current children cumulated vsize (Kb) 849196

[startup+110.011 s]
Raw data (loadavg): 1.09 1.06 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18276 3 1 0 10162 51 0 0 16 0 11 0 1860569799 869576704 24880 4294967295 134512640 134569956 3221224336 3221214536 1131426423 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 24880 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (Kb) 849196

[startup+120.012 s]
Raw data (loadavg): 1.08 1.05 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18282 3 1 0 11126 51 0 0 25 0 11 0 1860569799 869576704 24923 4294967295 134512640 134569956 3221224336 3221214536 1131657527 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 24923 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 111.77
Current children cumulated vsize (Kb) 849196

[startup+130.012 s]
Raw data (loadavg): 1.07 1.05 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18287 3 1 0 12097 52 0 0 25 0 11 0 1860569799 869576704 25098 4294967295 134512640 134569956 3221224336 3221214536 1131426461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25098 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (Kb) 849196

[startup+140.013 s]
Raw data (loadavg): 1.06 1.05 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18293 3 1 0 13071 52 0 0 25 0 11 0 1860569799 869576704 25098 4294967295 134512640 134569956 3221224336 3221214536 1131656331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25098 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 131.23
Current children cumulated vsize (Kb) 849196

[startup+150.014 s]
Raw data (loadavg): 1.05 1.05 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18299 3 1 0 14047 52 0 0 25 0 11 0 1860569799 869576704 25252 4294967295 134512640 134569956 3221224336 3221214536 1131656569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25252 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 140.99
Current children cumulated vsize (Kb) 849196

[startup+160.015 s]
Raw data (loadavg): 1.04 1.05 0.95 2/67 16121
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18305 3 1 0 15025 52 0 0 24 0 11 0 1860569799 869576704 25377 4294967295 134512640 134569956 3221224336 3221214528 1131479667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25377 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 150.77
Current children cumulated vsize (Kb) 849196

[startup+170.016 s]
Raw data (loadavg): 1.03 1.04 0.95 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18311 3 1 0 15994 53 0 0 18 0 11 0 1860569799 869576704 25390 4294967295 134512640 134569956 3221224336 3221214536 1131426635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25390 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 160.47
Current children cumulated vsize (Kb) 849196

[startup+180.017 s]
Raw data (loadavg): 1.03 1.04 0.95 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18318 3 1 0 16950 53 0 0 21 0 11 0 1860569799 869576704 25442 4294967295 134512640 134569956 3221224336 3221214616 1131598005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 25442 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 849196

[startup+190.019 s]
Raw data (loadavg): 1.02 1.04 0.95 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18326 3 1 0 17889 55 0 0 25 0 11 0 1860569799 869576704 25504 4294967295 134512640 134569956 3221224336 3221214616 1131601640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25504 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 179.44
Current children cumulated vsize (Kb) 849196

[startup+200.018 s]
Raw data (loadavg): 1.10 1.06 0.96 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18334 3 1 0 18821 56 0 0 25 0 11 0 1860569799 869576704 25586 4294967295 134512640 134569956 3221224336 3221214432 1131426461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 25586 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 188.77
Current children cumulated vsize (Kb) 849196

[startup+210.019 s]
Raw data (loadavg): 1.08 1.05 0.96 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18342 3 1 0 19748 56 0 0 25 0 11 0 1860569799 869576704 25864 4294967295 134512640 134569956 3221224336 3221214536 1131426461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25864 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 198.04
Current children cumulated vsize (Kb) 849196

[startup+220.021 s]
Raw data (loadavg): 1.07 1.05 0.96 2/67 16123
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18349 3 1 0 20691 57 0 0 20 0 11 0 1860569799 869576704 25997 4294967295 134512640 134569956 3221224336 3221214528 1131479557 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 25997 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 207.48
Current children cumulated vsize (Kb) 849196

[startup+230.021 s]
Raw data (loadavg): 1.06 1.05 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18357 3 1 0 21610 58 0 0 16 0 11 0 1860569799 869576704 26173 4294967295 134512640 134569956 3221224336 3221214632 1131642765 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 26173 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 216.68
Current children cumulated vsize (Kb) 849196

[startup+240.022 s]
Raw data (loadavg): 1.05 1.05 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18362 3 1 0 22561 58 0 0 25 0 11 0 1860569799 869576704 26285 4294967295 134512640 134569956 3221224336 3221214616 1131598895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 26285 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 226.19
Current children cumulated vsize (Kb) 849196

[startup+250.023 s]
Raw data (loadavg): 1.04 1.05 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18369 3 1 0 23503 59 0 0 25 0 11 0 1860569799 869576704 26469 4294967295 134512640 134569956 3221224336 3221214536 1131426328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 26469 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 849196

[startup+260.024 s]
Raw data (loadavg): 1.03 1.04 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18377 3 1 0 24437 59 0 0 25 0 11 0 1860569799 869576704 26590 4294967295 134512640 134569956 3221224336 3221214536 1131656569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 26590 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 244.96
Current children cumulated vsize (Kb) 849196

[startup+270.025 s]
Raw data (loadavg): 1.03 1.04 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) S 16101 16102 9102 0 -1 0 18383 3 1 0 25394 59 0 0 25 0 11 0 1860569799 869576704 26886 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 26886 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 254.53
Current children cumulated vsize (Kb) 849196

[startup+280.026 s]
Raw data (loadavg): 1.02 1.04 0.96 2/67 16125
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18390 3 1 0 26356 59 0 0 25 0 11 0 1860569799 869576704 27055 4294967295 134512640 134569956 3221224336 3221214528 1131479655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 27055 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 264.15
Current children cumulated vsize (Kb) 849196

[startup+290.027 s]
Raw data (loadavg): 1.02 1.04 0.96 2/67 16127
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18399 3 1 0 27302 60 0 0 25 0 11 0 1860569799 869576704 27138 4294967295 134512640 134569956 3221224336 3221214624 1131647316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27138 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 273.62
Current children cumulated vsize (Kb) 849196

[startup+300.027 s]
Raw data (loadavg): 1.02 1.04 0.96 2/67 16127
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18404 3 1 0 28266 60 0 0 25 0 11 0 1860569799 869576704 27182 4294967295 134512640 134569956 3221224336 3221214600 1131377689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 27182 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 283.26
Current children cumulated vsize (Kb) 849196

[startup+310.029 s]
Raw data (loadavg): 1.01 1.03 0.96 2/67 16127
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18410 3 1 0 29229 60 0 0 24 0 11 0 1860569799 869576704 27330 4294967295 134512640 134569956 3221224336 3221214596 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27330 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 292.89
Current children cumulated vsize (Kb) 849196
One traced child (pid=16117) exited with status: 0
New thread pid=16128

[startup+320.03 s]
Raw data (loadavg): 1.01 1.03 0.96 2/67 16128
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18416 3 1 0 30193 60 0 0 18 0 11 0 1860569799 869576704 27336 4294967295 134512640 134569956 3221224336 3221214616 1131601555 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27336 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 302.53
Current children cumulated vsize (Kb) 849196

[startup+330.03 s]
Raw data (loadavg): 1.01 1.03 0.96 2/67 16128
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18424 3 1 0 31134 61 0 0 18 0 11 0 1860569799 869576704 27448 4294967295 134512640 134569956 3221224336 3221214536 1131426423 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 27448 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 311.95
Current children cumulated vsize (Kb) 849196

[startup+340.032 s]
Raw data (loadavg): 1.01 1.03 0.96 2/67 16128
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18431 3 1 0 32091 61 0 0 25 0 11 0 1860569799 869576704 27668 4294967295 134512640 134569956 3221224336 3221214536 1131426293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 27668 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 321.52
Current children cumulated vsize (Kb) 849196

[startup+350.031 s]
Raw data (loadavg): 1.01 1.03 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18437 3 1 0 33055 62 0 0 25 0 11 0 1860569799 869576704 27706 4294967295 134512640 134569956 3221224336 3221214624 1131647124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27706 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 331.17
Current children cumulated vsize (Kb) 849196

[startup+360.032 s]
Raw data (loadavg): 1.00 1.03 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18442 3 1 0 34023 62 0 0 25 0 11 0 1860569799 869576704 27708 4294967295 134512640 134569956 3221224336 3221214624 1131646886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27708 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 340.85
Current children cumulated vsize (Kb) 849196

[startup+370.033 s]
Raw data (loadavg): 1.00 1.03 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18448 3 1 0 34978 62 0 0 25 0 11 0 1860569799 869576704 27952 4294967295 134512640 134569956 3221224336 3221214752 1131493356 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27952 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 350.4
Current children cumulated vsize (Kb) 849196

[startup+380.033 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18457 3 1 0 35917 63 0 0 25 0 11 0 1860569799 869576704 27953 4294967295 134512640 134569956 3221224336 3221214616 1131598945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 27953 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 359.8
Current children cumulated vsize (Kb) 849196

[startup+390.034 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18465 3 1 0 36870 63 0 0 20 0 11 0 1860569799 869576704 28048 4294967295 134512640 134569956 3221224336 3221214784 1131377689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28048 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 369.33
Current children cumulated vsize (Kb) 849196

[startup+400.036 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16130
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18472 3 1 0 37828 63 0 0 25 0 11 0 1860569799 869576704 28205 4294967295 134512640 134569956 3221224336 3221214616 1131594212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 28205 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 378.91
Current children cumulated vsize (Kb) 849196

[startup+410.037 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18482 3 1 0 38782 63 0 0 25 0 11 0 1860569799 869576704 28454 4294967295 134512640 134569956 3221224336 3221214616 1131596368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 28454 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 388.45
Current children cumulated vsize (Kb) 849196

[startup+420.038 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18492 3 1 0 39754 64 0 0 25 0 11 0 1860569799 869576704 28455 4294967295 134512640 134569956 3221224336 3221214616 1131598847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28455 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 398.18
Current children cumulated vsize (Kb) 849196

[startup+430.039 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18501 3 1 0 40726 64 0 0 25 0 11 0 1860569799 869576704 28457 4294967295 134512640 134569956 3221224336 3221214616 1131606869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28457 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (Kb) 849196

[startup+440.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18507 3 1 0 41705 64 0 0 25 0 11 0 1860569799 869576704 28595 4294967295 134512640 134569956 3221224336 3221214536 1131656331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28595 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 417.69
Current children cumulated vsize (Kb) 849196

[startup+450.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18513 3 1 0 42689 64 0 0 25 0 11 0 1860569799 869576704 28596 4294967295 134512640 134569956 3221224336 3221214536 1131657331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28596 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 427.53
Current children cumulated vsize (Kb) 849196

[startup+460.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16132
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18519 3 1 0 43669 65 0 0 25 0 11 0 1860569799 869576704 28597 4294967295 134512640 134569956 3221224336 3221214616 1131594316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 28597 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 437.34
Current children cumulated vsize (Kb) 849196

[startup+470.043 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18526 3 1 0 44645 65 0 0 25 0 11 0 1860569799 869576704 28599 4294967295 134512640 134569956 3221224336 3221214392 1078034836 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28599 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 447.1
Current children cumulated vsize (Kb) 849196

[startup+480.043 s]
Raw data (loadavg): 1.00 1.02 0.96 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18534 3 1 0 45613 65 0 0 16 0 11 0 1860569799 869576704 28687 4294967295 134512640 134569956 3221224336 3221214616 1131594184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28687 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 456.78
Current children cumulated vsize (Kb) 849196

[startup+490.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18544 3 1 0 46580 66 0 0 20 0 11 0 1860569799 869576704 28732 4294967295 134512640 134569956 3221224336 3221214528 1131393564 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28732 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 466.46
Current children cumulated vsize (Kb) 849196

[startup+500.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18554 3 1 0 47553 66 0 0 25 0 11 0 1860569799 869576704 28845 4294967295 134512640 134569956 3221224336 3221214616 1131594251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 28845 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 476.19
Current children cumulated vsize (Kb) 849196

[startup+510.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18565 3 1 0 48530 66 0 0 24 0 11 0 1860569799 869576704 28897 4294967295 134512640 134569956 3221224336 3221214616 1131597750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28897 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 485.96
Current children cumulated vsize (Kb) 849196

[startup+520.048 s]
Raw data (loadavg): 1.07 1.03 0.97 2/67 16134
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18575 3 1 0 49513 67 0 0 25 0 11 0 1860569799 869576704 28897 4294967295 134512640 134569956 3221224336 3221214616 1131605795 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28897 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 495.8
Current children cumulated vsize (Kb) 849196

[startup+530.048 s]
Raw data (loadavg): 1.06 1.03 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18586 3 1 0 50491 67 0 0 25 0 11 0 1860569799 869576704 28898 4294967295 134512640 134569956 3221224336 3221214616 1131598050 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28898 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 505.58
Current children cumulated vsize (Kb) 849196

[startup+540.049 s]
Raw data (loadavg): 1.05 1.03 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18597 3 1 0 51471 67 0 0 24 0 11 0 1860569799 869576704 28941 4294967295 134512640 134569956 3221224336 3221214616 1131595321 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 28941 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 515.38
Current children cumulated vsize (Kb) 849196

[startup+550.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18607 3 1 0 52452 68 0 0 25 0 11 0 1860569799 869576704 28941 4294967295 134512640 134569956 3221224336 3221214528 1131479407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 28941 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 525.2
Current children cumulated vsize (Kb) 849196

[startup+560.051 s]
Raw data (loadavg): 1.04 1.02 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18617 3 1 0 53436 68 0 0 25 0 11 0 1860569799 869576704 29000 4294967295 134512640 134569956 3221224336 3221214612 1131392480 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29000 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 535.04
Current children cumulated vsize (Kb) 849196

[startup+570.052 s]
Raw data (loadavg): 1.03 1.02 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18627 3 1 0 54429 69 0 0 18 0 11 0 1860569799 869576704 29000 4294967295 134512640 134569956 3221224336 3221214616 1131599017 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29000 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 544.98
Current children cumulated vsize (Kb) 849196

[startup+580.053 s]
Raw data (loadavg): 1.02 1.02 0.97 2/67 16136
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18637 3 1 0 55423 69 0 0 25 0 11 0 1860569799 869576704 29000 4294967295 134512640 134569956 3221224336 3221214616 1131601640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29000 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 554.92
Current children cumulated vsize (Kb) 849196

[startup+590.054 s]
Raw data (loadavg): 1.02 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18648 3 1 0 56415 70 0 0 25 0 11 0 1860569799 869576704 29001 4294967295 134512640 134569956 3221224336 3221214616 1131596408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29001 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 564.85
Current children cumulated vsize (Kb) 849196

[startup+600.055 s]
Raw data (loadavg): 1.02 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18658 3 1 0 57409 70 0 0 20 0 11 0 1860569799 869576704 29003 4294967295 134512640 134569956 3221224336 3221214528 1131479743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29003 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 574.79
Current children cumulated vsize (Kb) 849196

[startup+610.057 s]
Raw data (loadavg): 1.01 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18668 3 1 0 58391 71 0 0 25 0 11 0 1860569799 869576704 29003 4294967295 134512640 134569956 3221224336 3221214528 1131481238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29003 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 584.62
Current children cumulated vsize (Kb) 849196

[startup+620.058 s]
Raw data (loadavg): 1.01 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18678 3 1 0 59365 71 0 0 25 0 11 0 1860569799 869576704 29004 4294967295 134512640 134569956 3221224336 3221214616 1131606067 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29004 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 594.36
Current children cumulated vsize (Kb) 849196

[startup+630.059 s]
Raw data (loadavg): 1.01 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18689 3 1 0 60336 71 0 0 25 0 11 0 1860569799 869576704 29005 4294967295 134512640 134569956 3221224336 3221214616 1131606067 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29005 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 604.07
Current children cumulated vsize (Kb) 849196

[startup+640.059 s]
Raw data (loadavg): 1.01 1.02 0.97 2/67 16138
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18699 3 1 0 61320 72 0 0 24 0 11 0 1860569799 869576704 29138 4294967295 134512640 134569956 3221224336 3221214616 1131594039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29138 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 613.92
Current children cumulated vsize (Kb) 849196

[startup+650.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/67 16140
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18709 3 1 0 62313 72 0 0 25 0 11 0 1860569799 869576704 29138 4294967295 134512640 134569956 3221224336 3221214616 1131596211 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29138 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 623.85
Current children cumulated vsize (Kb) 849196

[startup+660.062 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16140
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18719 3 1 0 63306 73 0 0 24 0 11 0 1860569799 869576704 29139 4294967295 134512640 134569956 3221224336 3221214616 1131601528 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29139 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 633.79
Current children cumulated vsize (Kb) 849196
One traced child (pid=16128) exited with status: 0
New thread pid=16141

[startup+670.063 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16141
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18729 3 1 0 64280 73 0 0 25 0 11 0 1860569799 869576704 29140 4294967295 134512640 134569956 3221224336 3221214616 1131607964 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29140 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 643.53
Current children cumulated vsize (Kb) 849196

[startup+680.064 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16141
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18739 3 1 0 65252 74 0 0 25 0 11 0 1860569799 869576704 29142 4294967295 134512640 134569956 3221224336 3221214616 1131595279 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29142 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 653.26
Current children cumulated vsize (Kb) 849196
One traced child (pid=16141) exited with status: 0
New thread pid=16142

[startup+690.065 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16142
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18749 3 1 0 66218 74 0 0 25 0 11 0 1860569799 869576704 29143 4294967295 134512640 134569956 3221224336 3221214616 1131598046 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29143 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 662.92
Current children cumulated vsize (Kb) 849196

[startup+700.066 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16142
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18760 3 1 0 67185 75 0 0 18 0 11 0 1860569799 869576704 29280 4294967295 134512640 134569956 3221224336 3221214616 1131596211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29280 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 672.6
Current children cumulated vsize (Kb) 849196
One traced child (pid=16142) exited with status: 0
New thread pid=16145

[startup+710.067 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18770 3 1 0 68157 75 0 0 20 0 11 0 1860569799 869576704 29280 4294967295 134512640 134569956 3221224336 3221214616 1131594316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29280 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 682.32
Current children cumulated vsize (Kb) 849196

[startup+720.068 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18781 3 1 0 69128 75 0 0 25 0 11 0 1860569799 869576704 29385 4294967295 134512640 134569956 3221224336 3221214616 1131600403 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29385 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 692.03
Current children cumulated vsize (Kb) 849196

[startup+730.068 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18791 3 1 0 70106 76 0 0 25 0 11 0 1860569799 869576704 29385 4294967295 134512640 134569956 3221224336 3221214536 1131427122 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29385 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (Kb) 849196

[startup+740.069 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18798 3 1 0 71088 76 0 0 25 0 11 0 1860569799 869576704 29385 4294967295 134512640 134569956 3221224336 3221214536 1131426461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29385 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 711.64
Current children cumulated vsize (Kb) 849196

[startup+750.07 s]
Raw data (loadavg): 1.00 1.01 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18804 3 1 0 72076 76 0 0 25 0 11 0 1860569799 869576704 29452 4294967295 134512640 134569956 3221224336 3221214528 1131426293 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29452 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 721.52
Current children cumulated vsize (Kb) 849196

[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16145
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18812 3 1 0 73060 77 0 0 25 0 11 0 1860569799 869576704 29453 4294967295 134512640 134569956 3221224336 3221214616 1131606104 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29453 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 731.37
Current children cumulated vsize (Kb) 849196

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18823 3 1 0 74033 77 0 0 17 0 11 0 1860569799 869576704 29453 4294967295 134512640 134569956 3221224336 3221214616 1131594316 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29453 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 741.1
Current children cumulated vsize (Kb) 849196

[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18833 3 1 0 75008 78 0 0 25 0 11 0 1860569799 869576704 29462 4294967295 134512640 134569956 3221224336 3221214528 1131479549 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29462 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 849196

[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18844 3 1 0 75988 78 0 0 25 0 11 0 1860569799 869576704 29546 4294967295 134512640 134569956 3221224336 3221214528 1131479476 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29546 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 760.66
Current children cumulated vsize (Kb) 849196

[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18854 3 1 0 76971 79 0 0 18 0 11 0 1860569799 869576704 29546 4294967295 134512640 134569956 3221224336 3221214616 1131594027 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29546 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 770.5
Current children cumulated vsize (Kb) 849196

[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18864 3 1 0 77949 80 0 0 25 0 11 0 1860569799 869576704 29547 4294967295 134512640 134569956 3221224336 3221214616 1131594316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29547 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 780.29
Current children cumulated vsize (Kb) 849196

[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16147
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18875 3 1 0 78927 80 0 0 25 0 11 0 1860569799 869576704 29549 4294967295 134512640 134569956 3221224336 3221214528 1131479490 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29549 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 790.07
Current children cumulated vsize (Kb) 849196

[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18886 3 1 0 79913 82 0 0 25 0 11 0 1860569799 869576704 29592 4294967295 134512640 134569956 3221224336 3221214616 1131606178 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29592 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 799.95
Current children cumulated vsize (Kb) 849196

[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18896 3 1 0 80899 83 0 0 20 0 11 0 1860569799 869576704 29592 4294967295 134512640 134569956 3221224336 3221214616 1131594251 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29592 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 809.82
Current children cumulated vsize (Kb) 849196

[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18907 3 1 0 81877 83 0 0 25 0 11 0 1860569799 869576704 29592 4294967295 134512640 134569956 3221224336 3221214616 1131596211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29592 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 819.6
Current children cumulated vsize (Kb) 849196

[startup+860.083 s]
Raw data (loadavg): 1.08 1.02 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18917 3 1 0 82856 83 0 0 25 0 11 0 1860569799 869576704 29593 4294967295 134512640 134569956 3221224336 3221214616 1131598895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29593 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (Kb) 849196

[startup+870.084 s]
Raw data (loadavg): 1.07 1.02 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18928 3 1 0 83843 84 0 0 25 0 11 0 1860569799 869576704 29636 4294967295 134512640 134569956 3221224336 3221214616 1131597844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29636 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 839.27
Current children cumulated vsize (Kb) 849196

[startup+880.085 s]
Raw data (loadavg): 1.06 1.01 0.97 2/67 16149
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18939 3 1 0 84827 84 0 0 24 0 11 0 1860569799 869576704 29636 4294967295 134512640 134569956 3221224336 3221214616 1131594027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29636 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 849.11
Current children cumulated vsize (Kb) 849196

[startup+890.087 s]
Raw data (loadavg): 1.05 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18949 3 1 0 85806 85 0 0 21 0 11 0 1860569799 869576704 29636 4294967295 134512640 134569956 3221224336 3221214616 1131607276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29636 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 858.91
Current children cumulated vsize (Kb) 849196

[startup+900.088 s]
Raw data (loadavg): 1.04 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18960 3 1 0 86785 86 0 0 18 0 11 0 1860569799 869576704 29636 4294967295 134512640 134569956 3221224336 3221214616 1131605861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29636 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 868.71
Current children cumulated vsize (Kb) 849196

[startup+910.088 s]
Raw data (loadavg): 1.03 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18970 3 1 0 87774 86 0 0 25 0 11 0 1860569799 869576704 29680 4294967295 134512640 134569956 3221224336 3221214616 1131594039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29680 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 878.6
Current children cumulated vsize (Kb) 849196

[startup+920.088 s]
Raw data (loadavg): 1.03 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18981 3 1 0 88759 86 0 0 25 0 11 0 1860569799 869576704 29681 4294967295 134512640 134569956 3221224336 3221214616 1131600718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29681 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 888.45
Current children cumulated vsize (Kb) 849196

[startup+930.09 s]
Raw data (loadavg): 1.02 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 18992 3 1 0 89737 87 0 0 24 0 11 0 1860569799 869576704 29681 4294967295 134512640 134569956 3221224336 3221214616 1131594251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29681 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 898.24
Current children cumulated vsize (Kb) 849196

[startup+940.09 s]
Raw data (loadavg): 1.02 1.01 0.97 2/67 16151
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19002 3 1 0 90718 87 0 0 25 0 11 0 1860569799 869576704 29681 4294967295 134512640 134569956 3221224336 3221214616 1131601606 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29681 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 908.05
Current children cumulated vsize (Kb) 849196

[startup+950.091 s]
Raw data (loadavg): 1.02 1.01 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19013 3 1 0 91705 88 0 0 25 0 11 0 1860569799 869576704 29721 4294967295 134512640 134569956 3221224336 3221214528 1131479476 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29721 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 917.93
Current children cumulated vsize (Kb) 849196

[startup+960.092 s]
Raw data (loadavg): 1.01 1.01 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19023 3 1 0 92692 88 0 0 23 0 11 0 1860569799 869576704 29722 4294967295 134512640 134569956 3221224336 3221214616 1131598828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29722 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 927.8
Current children cumulated vsize (Kb) 849196

[startup+970.093 s]
Raw data (loadavg): 1.01 1.01 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19034 3 1 0 93672 88 0 0 19 0 11 0 1860569799 869576704 29722 4294967295 134512640 134569956 3221224336 3221214616 1131607184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29722 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 937.6
Current children cumulated vsize (Kb) 849196

[startup+980.094 s]
Raw data (loadavg): 1.01 1.00 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19045 3 1 0 94651 88 0 0 24 0 11 0 1860569799 869576704 29722 4294967295 134512640 134569956 3221224336 3221214528 1131479553 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29722 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 947.39
Current children cumulated vsize (Kb) 849196

[startup+990.095 s]
Raw data (loadavg): 1.01 1.00 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19055 3 1 0 95638 89 0 0 25 0 11 0 1860569799 869576704 29762 4294967295 134512640 134569956 3221224336 3221214528 1131392549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29762 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 957.27
Current children cumulated vsize (Kb) 849196

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16153
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19065 3 1 0 96632 89 0 0 25 0 11 0 1860569799 869576704 29763 4294967295 134512640 134569956 3221224336 3221214536 1131656676 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29763 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 967.21
Current children cumulated vsize (Kb) 849196

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19072 3 1 0 97625 90 0 0 24 0 11 0 1860569799 869576704 29764 4294967295 134512640 134569956 3221224336 3221214528 1131426461 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29764 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 977.15
Current children cumulated vsize (Kb) 849196

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19080 3 1 0 98614 90 0 0 25 0 11 0 1860569799 869576704 29764 4294967295 134512640 134569956 3221224336 3221214528 1131479417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29764 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 987.04
Current children cumulated vsize (Kb) 849196

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19090 3 1 0 99594 91 0 0 22 0 11 0 1860569799 869576704 29764 4294967295 134512640 134569956 3221224336 3221214616 1131598046 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29764 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 996.85
Current children cumulated vsize (Kb) 849196

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19101 3 1 0 100572 92 0 0 25 0 11 0 1860569799 869576704 29764 4294967295 134512640 134569956 3221224336 3221214616 1131600742 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29764 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1006.64
Current children cumulated vsize (Kb) 849196

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19111 3 1 0 101555 92 0 0 25 0 11 0 1860569799 869576704 29807 4294967295 134512640 134569956 3221224336 3221214616 1131594202 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29807 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1016.47
Current children cumulated vsize (Kb) 849196

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16155
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19118 3 1 0 102550 93 0 0 25 0 11 0 1860569799 869576704 29807 4294967295 134512640 134569956 3221224336 3221214624 1131377689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29807 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1026.43
Current children cumulated vsize (Kb) 849196

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19124 3 1 0 103545 93 0 0 25 0 11 0 1860569799 869576704 29808 4294967295 134512640 134569956 3221224336 3221214536 1131426423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29808 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1036.38
Current children cumulated vsize (Kb) 849196

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19131 3 1 0 104539 94 0 0 25 0 11 0 1860569799 869576704 29808 4294967295 134512640 134569956 3221224336 3221214632 1131464738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29808 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1046.33
Current children cumulated vsize (Kb) 849196

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19138 3 1 0 105532 94 0 0 25 0 11 0 1860569799 869576704 29808 4294967295 134512640 134569956 3221224336 3221214536 1131426123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29808 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1056.26
Current children cumulated vsize (Kb) 849196

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19144 3 1 0 106527 94 0 0 25 0 11 0 1860569799 869576704 29810 4294967295 134512640 134569956 3221224336 3221214536 1131658324 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29810 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1066.21
Current children cumulated vsize (Kb) 849196

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19150 3 1 0 107522 95 0 0 25 0 11 0 1860569799 869576704 29810 4294967295 134512640 134569956 3221224336 3221214536 1131656331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29810 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1076.17
Current children cumulated vsize (Kb) 849196

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16157
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19158 3 1 0 108505 95 0 0 25 0 11 0 1860569799 869576704 29810 4294967295 134512640 134569956 3221224336 3221214616 1131596163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29810 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1086
Current children cumulated vsize (Kb) 849196

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16159
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19168 3 1 0 109479 96 0 0 25 0 11 0 1860569799 869576704 29822 4294967295 134512640 134569956 3221224336 3221214616 1131598895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29822 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1095.75
Current children cumulated vsize (Kb) 849196

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16159
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19179 3 1 0 110453 96 0 0 25 0 11 0 1860569799 869576704 29822 4294967295 134512640 134569956 3221224336 3221214616 1131606142 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29822 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1105.49
Current children cumulated vsize (Kb) 849196

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.97 1/67 16159
Raw data (/proc/16102/stat): 16102 (java) T 16101 16102 9102 0 -1 0 19189 3 1 0 111434 97 0 0 25 0 11 0 1860569799 869576704 29913 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29913 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1115.31
Current children cumulated vsize (Kb) 849196

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16159
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19196 3 1 0 112427 97 0 0 25 0 11 0 1860569799 869576704 29913 4294967295 134512640 134569956 3221224336 3221214572 1131057201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29913 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1125.24
Current children cumulated vsize (Kb) 849196

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16159
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19204 3 1 0 113412 97 0 0 25 0 11 0 1860569799 869576704 29913 4294967295 134512640 134569956 3221224336 3221214536 1131426328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29913 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1135.09
Current children cumulated vsize (Kb) 849196

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16159
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19211 3 1 0 114399 97 0 0 25 0 11 0 1860569799 869576704 29914 4294967295 134512640 134569956 3221224336 3221214616 1131596211 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29914 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1144.96
Current children cumulated vsize (Kb) 849196

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19218 3 1 0 115381 98 0 0 25 0 11 0 1860569799 869576704 29915 4294967295 134512640 134569956 3221224336 3221214536 1131426295 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29915 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1154.79
Current children cumulated vsize (Kb) 849196

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19226 3 1 0 116362 98 0 0 25 0 11 0 1860569799 869576704 29916 4294967295 134512640 134569956 3221224336 3221214616 1131594316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29916 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (Kb) 849196

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19234 3 1 0 117338 98 0 0 16 0 11 0 1860569799 869576704 29953 4294967295 134512640 134569956 3221224336 3221214632 1131642640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/16102/statm): 212299 29953 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1174.36
Current children cumulated vsize (Kb) 849196

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19241 3 1 0 118315 98 0 0 24 0 11 0 1860569799 869576704 29953 4294967295 134512640 134569956 3221224336 3221214536 1131657628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 29953 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1184.13
Current children cumulated vsize (Kb) 849196

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19248 3 1 0 119292 99 0 0 25 0 11 0 1860569799 869576704 30006 4294967295 134512640 134569956 3221224336 3221214536 1131426700 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 30006 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1193.91
Current children cumulated vsize (Kb) 849196

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19255 3 1 0 120269 99 0 0 25 0 11 0 1860569799 869576704 30006 4294967295 134512640 134569956 3221224336 3221214536 1131426461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 30006 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1203.68
Current children cumulated vsize (Kb) 849196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/67 16161
Raw data (/proc/16102/stat): 16102 (java) R 16101 16102 9102 0 -1 0 19255 3 1 0 120269 99 0 0 25 0 11 0 1860569799 869576704 30006 4294967295 134512640 134569956 3221224336 3221214624 1131646819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/16102/statm): 212299 30006 13129 16 0 212283 0
[pid=16102] vsize: 849196
Current children cumulated CPU time (s) 1203.68
Current children cumulated vsize (Kb) 849196

Sending SIGTERM to -16102
Sleeping 2 seconds
New thread pid=16163
New thread pid=16164
One traced child (pid=16164) exited with status: 0
One traced child (pid=16111) exited with status: 0
One traced child (pid=16106) exited with status: 0
One traced child (pid=16110) exited with status: 143
One traced child (pid=16103) exited with status: 143
One traced child (pid=16109) exited with status: 143
One traced child (pid=16107) exited with status: 143
One traced child (pid=16104) exited with status: 143
One traced child (pid=16105) exited with status: 143
One traced child (pid=16145) exited with status: 143
One traced child (pid=16108) exited with status: 143
One traced child (pid=16163) exited with status: 143
One traced child (pid=16102) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.45
CPU time (s): 1203.98
CPU user time (s): 1202.97
CPU system time (s): 1.00885
CPU usage (%): 97.0594
Max. virtual memory (cumulated for all children) (Kb): 849492

Verifier Data

Verifier:	OK	3709