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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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 benchmark1236.81
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 4178

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-19 05:20:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6394 boxname=wulflinc10 idbench=534 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 6394
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        836352 kB
Buffers:         37256 kB
Cached:         133944 kB
SwapCached:        228 kB
Active:          68236 kB
Inactive:       105936 kB
HighTotal:      131008 kB
HighFree:        39340 kB
LowTotal:       903652 kB
LowFree:        797012 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18580 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 05:40:58 (client local time) WITH STATUS 143 IN 1236.81 SECONDS
stats: 6394 0 1236.81 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/wulflinc10/normalized-mps-v2-20-10-p2756.opb
c reading problem ... done. Time 3.058 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              118980 		Current CPU time: 5.76 ms
c CURRENT OPTIMUM=              102466 		Current CPU time: 6.38 ms
c CURRENT OPTIMUM=               91608 		Current CPU time: 6.89 ms
c CURRENT OPTIMUM=               91300 		Current CPU time: 8.08 ms
c CURRENT OPTIMUM=               87240 		Current CPU time: 8.81 ms
c CURRENT OPTIMUM=                4867 		Current CPU time: 316.63 ms
c CURRENT OPTIMUM=                4806 		Current CPU time: 656.31 ms
c CURRENT OPTIMUM=                4089 		Current CPU time: 680.64 ms
c CURRENT OPTIMUM=                3709 		Current CPU time: 702.62 ms
c starts		: 11
c conflicts		: 239
c decisions		: 54109
c propagations		: 88018
c inspects		: 159781
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 239
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)	: 100.92797254320435
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.02

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/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789136989 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 39 9 38 16 0 23 0
[pid=5770] 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/5770
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=5771
New thread pid=5772
New thread pid=5773
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=5774
New thread pid=5775
New thread pid=5776
New thread pid=5777
New thread pid=5778
New thread pid=5779
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/wulflinc10/normalized-mps-v2-20-10-p2756.opb
New thread pid=5780
One traced child (pid=5780) exited with status: 0
New thread pid=5781
One traced child (pid=5781) exited with status: 0
New thread pid=5782
One traced child (pid=5782) exited with status: 0
New thread pid=5783
One traced child (pid=5783) exited with status: 0
New thread pid=5784

[startup+10.002 s]
Raw data (loadavg): 1.09 0.99 0.92 2/66 5784
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18204 4 1 0 758 48 0 0 21 0 11 0 1789136989 855781376 20124 4294967295 134512640 134569956 3221224336 3221214712 1131372296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 208931 20124 13129 16 0 208915 0
[pid=5770] vsize: 835724
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (Kb) 835724
One traced child (pid=5784) exited with status: 0
New thread pid=5785

[startup+20.0026 s]
Raw data (loadavg): 1.08 0.99 0.92 3/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18213 4 1 0 1685 49 0 0 20 0 11 0 1789136989 861839360 21760 4294967295 134512640 134569956 3221224336 3221214376 1131398934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210410 21760 13129 16 0 210394 0
[pid=5770] vsize: 841640
Current children cumulated CPU time (s) 17.34
Current children cumulated vsize (Kb) 841640

[startup+30.0032 s]
Raw data (loadavg): 1.14 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18218 4 1 0 2613 49 0 0 21 0 11 0 1789136989 860626944 21735 4294967295 134512640 134569956 3221224336 3221214600 1131601859 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210114 21735 13129 16 0 210098 0
[pid=5770] vsize: 840456
Current children cumulated CPU time (s) 26.62
Current children cumulated vsize (Kb) 840456

[startup+40.0037 s]
Raw data (loadavg): 1.12 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18224 4 1 0 3554 49 0 0 23 0 11 0 1789136989 860626944 21813 4294967295 134512640 134569956 3221224336 3221214504 1131443389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210114 21813 13129 16 0 210098 0
[pid=5770] vsize: 840456
Current children cumulated CPU time (s) 36.03
Current children cumulated vsize (Kb) 840456

[startup+50.0043 s]
Raw data (loadavg): 1.10 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18230 4 1 0 4495 50 0 0 25 0 11 0 1789136989 860463104 21811 4294967295 134512640 134569956 3221224336 3221214504 1131443389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 21811 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 45.45
Current children cumulated vsize (Kb) 840296

[startup+60.0048 s]
Raw data (loadavg): 1.08 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18238 4 1 0 5434 50 0 0 24 0 11 0 1789136989 860463104 21812 4294967295 134512640 134569956 3221224336 3221214504 1131443225 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 21812 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 54.84
Current children cumulated vsize (Kb) 840296

[startup+70.0054 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18245 4 1 0 6406 50 0 0 25 0 11 0 1789136989 860463104 22637 4294967295 134512640 134569956 3221224336 3221214640 1131471931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22637 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 64.56
Current children cumulated vsize (Kb) 840296

[startup+80.006 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18254 4 1 0 7382 51 0 0 25 0 11 0 1789136989 860463104 22637 4294967295 134512640 134569956 3221224336 3221214592 1131558033 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22637 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 74.33
Current children cumulated vsize (Kb) 840296

[startup+90.0065 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18260 4 1 0 8357 51 0 0 25 0 11 0 1789136989 860463104 22683 4294967295 134512640 134569956 3221224336 3221214600 1131596057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22683 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 84.08
Current children cumulated vsize (Kb) 840296

[startup+100.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18266 4 1 0 9333 52 0 0 25 0 11 0 1789136989 860463104 22689 4294967295 134512640 134569956 3221224336 3221214512 1131443389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22689 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 93.85
Current children cumulated vsize (Kb) 840296

[startup+110.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18272 4 1 0 10298 52 0 0 25 0 11 0 1789136989 860463104 22689 4294967295 134512640 134569956 3221224336 3221214624 1131700599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22689 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 103.5
Current children cumulated vsize (Kb) 840296

[startup+120.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18278 4 1 0 11264 53 0 0 21 0 11 0 1789136989 860463104 22732 4294967295 134512640 134569956 3221224336 3221214600 1131596057 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 22732 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 113.17
Current children cumulated vsize (Kb) 840296

[startup+130.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18284 4 1 0 12234 53 0 0 25 0 11 0 1789136989 860463104 22907 4294967295 134512640 134569956 3221224336 3221214600 1131602042 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 22907 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 122.87
Current children cumulated vsize (Kb) 840296

[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18289 4 1 0 13213 53 0 0 25 0 11 0 1789136989 860463104 22914 4294967295 134512640 134569956 3221224336 3221214624 1131700540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 22914 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (Kb) 840296

[startup+150.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18295 4 1 0 14189 53 0 0 25 0 11 0 1789136989 860463104 23061 4294967295 134512640 134569956 3221224336 3221214512 1131443169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 23061 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 142.42
Current children cumulated vsize (Kb) 840296

[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18301 4 1 0 15167 54 0 0 18 0 11 0 1789136989 860463104 23192 4294967295 134512640 134569956 3221224336 3221214608 1131589287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 23192 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 152.21
Current children cumulated vsize (Kb) 840296

[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18307 4 1 0 16136 54 0 0 18 0 11 0 1789136989 860463104 23207 4294967295 134512640 134569956 3221224336 3221214488 1131399037 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 23207 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (Kb) 840296

[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18314 4 1 0 17091 54 0 0 25 0 11 0 1789136989 860463104 23251 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 23251 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 171.45
Current children cumulated vsize (Kb) 840296

[startup+190.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) S 5769 5770 22582 0 -1 0 18323 4 1 0 18028 55 0 0 25 0 11 0 1789136989 860463104 23313 4294967295 134512640 134569956 3221224336 3221213280 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 23313 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 180.83
Current children cumulated vsize (Kb) 840296

[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18331 4 1 0 18954 55 0 0 18 0 11 0 1789136989 860463104 23404 4294967295 134512640 134569956 3221224336 3221214724 1131471820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 23404 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 190.09
Current children cumulated vsize (Kb) 840296

[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18338 4 1 0 19894 55 0 0 16 0 11 0 1789136989 860463104 23673 4294967295 134512640 134569956 3221224336 3221214488 1131398951 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 23673 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 199.49
Current children cumulated vsize (Kb) 840296

[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18345 4 1 0 20838 55 0 0 25 0 11 0 1789136989 860463104 23843 4294967295 134512640 134569956 3221224336 3221214640 1131472289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 23843 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 208.93
Current children cumulated vsize (Kb) 840296

[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18353 4 1 0 21757 56 0 0 24 0 11 0 1789136989 860463104 24019 4294967295 134512640 134569956 3221224336 3221214600 1131602102 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 24019 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 218.13
Current children cumulated vsize (Kb) 840296

[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18359 4 1 0 22701 56 0 0 16 0 11 0 1789136989 860463104 24166 4294967295 134512640 134569956 3221224336 3221214640 1131472289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 24166 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 227.57
Current children cumulated vsize (Kb) 840296

[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18365 4 1 0 23653 57 0 0 25 0 11 0 1789136989 860463104 24315 4294967295 134512640 134569956 3221224336 3221214488 1131399092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 24315 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 237.1
Current children cumulated vsize (Kb) 840296

[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18372 4 1 0 24596 58 0 0 25 0 11 0 1789136989 860463104 24398 4294967295 134512640 134569956 3221224336 3221214512 1131443176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 24398 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 246.54
Current children cumulated vsize (Kb) 840296

[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18378 4 1 0 25551 58 0 0 25 0 11 0 1789136989 860463104 24767 4294967295 134512640 134569956 3221224336 3221214600 1131596059 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 24767 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 256.09
Current children cumulated vsize (Kb) 840296

[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18386 4 1 0 26511 58 0 0 22 0 11 0 1789136989 860463104 24863 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 24863 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 265.69
Current children cumulated vsize (Kb) 840296

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18394 4 1 0 27462 59 0 0 25 0 11 0 1789136989 860463104 24946 4294967295 134512640 134569956 3221224336 3221214504 1131444074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 24946 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 275.21
Current children cumulated vsize (Kb) 840296

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18400 4 1 0 28419 59 0 0 23 0 11 0 1789136989 860463104 25027 4294967295 134512640 134569956 3221224336 3221214600 1131602092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 25027 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 284.78
Current children cumulated vsize (Kb) 840296

[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5785
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18406 4 1 0 29384 59 0 0 25 0 11 0 1789136989 860463104 25138 4294967295 134512640 134569956 3221224336 3221214504 1131443225 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25138 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 294.43
Current children cumulated vsize (Kb) 840296
One traced child (pid=5785) exited with status: 0
New thread pid=5786

[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18413 4 1 0 30338 60 0 0 17 0 11 0 1789136989 860463104 25183 4294967295 134512640 134569956 3221224336 3221214488 1131398911 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 25183 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 303.98
Current children cumulated vsize (Kb) 840296

[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18420 4 1 0 31290 60 0 0 25 0 11 0 1789136989 860463104 25331 4294967295 134512640 134569956 3221224336 3221214600 1131596044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25331 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 313.5
Current children cumulated vsize (Kb) 840296

[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18427 4 1 0 32250 61 0 0 24 0 11 0 1789136989 860463104 25477 4294967295 134512640 134569956 3221224336 3221214596 1131631923 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 25477 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 323.11
Current children cumulated vsize (Kb) 840296

[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18432 4 1 0 33222 61 0 0 25 0 11 0 1789136989 860463104 25515 4294967295 134512640 134569956 3221224336 3221214504 1131443389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 25515 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 332.83
Current children cumulated vsize (Kb) 840296

[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18438 4 1 0 34183 61 0 0 25 0 11 0 1789136989 860463104 25515 4294967295 134512640 134569956 3221224336 3221214600 1131602003 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25515 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (Kb) 840296

[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18443 4 1 0 35146 61 0 0 25 0 11 0 1789136989 860463104 25760 4294967295 134512640 134569956 3221224336 3221214616 1131443513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25760 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 352.07
Current children cumulated vsize (Kb) 840296

[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18453 4 1 0 36080 61 0 0 25 0 11 0 1789136989 860463104 25814 4294967295 134512640 134569956 3221224336 3221214640 1131471837 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25814 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 361.41
Current children cumulated vsize (Kb) 840296

[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18461 4 1 0 37033 62 0 0 25 0 11 0 1789136989 860463104 25856 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 25856 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 370.95
Current children cumulated vsize (Kb) 840296

[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.92 1/66 5786
Raw data (/proc/5770/stat): 5770 (java) T 5769 5770 22582 0 -1 0 18469 4 1 0 37989 62 0 0 24 0 11 0 1789136989 860463104 26055 4294967295 134512640 134569956 3221224336 3221213328 1073952481 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26055 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 380.51
Current children cumulated vsize (Kb) 840296

[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18479 4 1 0 38947 62 0 0 25 0 11 0 1789136989 860463104 26262 4294967295 134512640 134569956 3221224336 3221214640 1131472289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26262 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 390.09
Current children cumulated vsize (Kb) 840296

[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18489 4 1 0 39919 63 0 0 25 0 11 0 1789136989 860463104 26263 4294967295 134512640 134569956 3221224336 3221214640 1131471931 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26263 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 399.82
Current children cumulated vsize (Kb) 840296

[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18497 4 1 0 40894 64 0 0 19 0 11 0 1789136989 860463104 26265 4294967295 134512640 134569956 3221224336 3221214504 1131443070 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26265 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 409.58
Current children cumulated vsize (Kb) 840296

[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18503 4 1 0 41874 64 0 0 25 0 11 0 1789136989 860463104 26403 4294967295 134512640 134569956 3221224336 3221214504 1131443451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26403 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 419.38
Current children cumulated vsize (Kb) 840296

[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18510 4 1 0 42855 64 0 0 25 0 11 0 1789136989 860463104 26405 4294967295 134512640 134569956 3221224336 3221214552 1131364784 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26405 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 429.19
Current children cumulated vsize (Kb) 840296

[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18516 4 1 0 43837 64 0 0 21 0 11 0 1789136989 860463104 26405 4294967295 134512640 134569956 3221224336 3221214512 1131443271 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26405 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 439.01
Current children cumulated vsize (Kb) 840296

[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18522 4 1 0 44815 64 0 0 25 0 11 0 1789136989 860463104 26407 4294967295 134512640 134569956 3221224336 3221214512 1131443279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26407 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 448.79
Current children cumulated vsize (Kb) 840296

[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18530 4 1 0 45784 65 0 0 25 0 11 0 1789136989 860463104 26495 4294967295 134512640 134569956 3221224336 3221214640 1131471931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26495 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 458.49
Current children cumulated vsize (Kb) 840296

[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18541 4 1 0 46749 65 0 0 25 0 11 0 1789136989 860463104 26550 4294967295 134512640 134569956 3221224336 3221214728 1131481561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26550 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 468.14
Current children cumulated vsize (Kb) 840296

[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18551 4 1 0 47724 66 0 0 25 0 11 0 1789136989 860463104 26653 4294967295 134512640 134569956 3221224336 3221214640 1131472768 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26653 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 477.9
Current children cumulated vsize (Kb) 840296

[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18562 4 1 0 48703 66 0 0 25 0 11 0 1789136989 860463104 26705 4294967295 134512640 134569956 3221224336 3221214708 1131398880 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26705 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 487.69
Current children cumulated vsize (Kb) 840296

[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18573 4 1 0 49685 67 0 0 25 0 11 0 1789136989 860463104 26705 4294967295 134512640 134569956 3221224336 3221214640 1131472540 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26705 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 497.52
Current children cumulated vsize (Kb) 840296

[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18584 4 1 0 50663 67 0 0 17 0 11 0 1789136989 860463104 26749 4294967295 134512640 134569956 3221224336 3221214600 1131398982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26749 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 507.3
Current children cumulated vsize (Kb) 840296

[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18594 4 1 0 51645 68 0 0 25 0 11 0 1789136989 860463104 26749 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26749 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 517.13
Current children cumulated vsize (Kb) 840296

[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18605 4 1 0 52625 68 0 0 25 0 11 0 1789136989 860463104 26749 4294967295 134512640 134569956 3221224336 3221214592 1131397112 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26749 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 526.93
Current children cumulated vsize (Kb) 840296

[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18615 4 1 0 53614 69 0 0 25 0 11 0 1789136989 860463104 26808 4294967295 134512640 134569956 3221224336 3221214640 1131472027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26808 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 536.83
Current children cumulated vsize (Kb) 840296

[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18625 4 1 0 54608 69 0 0 25 0 11 0 1789136989 860463104 26808 4294967295 134512640 134569956 3221224336 3221214640 1131472698 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26808 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 546.77
Current children cumulated vsize (Kb) 840296

[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18636 4 1 0 55601 69 0 0 16 0 11 0 1789136989 860463104 26808 4294967295 134512640 134569956 3221224336 3221214712 1131372284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26808 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 556.7
Current children cumulated vsize (Kb) 840296

[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18646 4 1 0 56594 70 0 0 25 0 11 0 1789136989 860463104 26809 4294967295 134512640 134569956 3221224336 3221214640 1131471931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26809 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 566.64
Current children cumulated vsize (Kb) 840296

[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18656 4 1 0 57587 71 0 0 25 0 11 0 1789136989 860463104 26811 4294967295 134512640 134569956 3221224336 3221214640 1131472462 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26811 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 576.58
Current children cumulated vsize (Kb) 840296

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18666 4 1 0 58564 71 0 0 25 0 11 0 1789136989 860463104 26811 4294967295 134512640 134569956 3221224336 3221214640 1131472289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26811 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 586.35
Current children cumulated vsize (Kb) 840296

[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18677 4 1 0 59534 73 0 0 25 0 11 0 1789136989 860463104 26812 4294967295 134512640 134569956 3221224336 3221214640 1131472289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26812 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 596.07
Current children cumulated vsize (Kb) 840296

[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18687 4 1 0 60508 73 0 0 25 0 11 0 1789136989 860463104 26813 4294967295 134512640 134569956 3221224336 3221214640 1131471841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26813 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 605.81
Current children cumulated vsize (Kb) 840296

[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18698 4 1 0 61497 74 0 0 21 0 11 0 1789136989 860463104 26946 4294967295 134512640 134569956 3221224336 3221214640 1131472828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26946 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 615.71
Current children cumulated vsize (Kb) 840296

[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5786
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18708 4 1 0 62491 74 0 0 25 0 11 0 1789136989 860463104 26947 4294967295 134512640 134569956 3221224336 3221214704 1131469873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26947 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 625.65
Current children cumulated vsize (Kb) 840296
One traced child (pid=5786) exited with status: 0
New thread pid=5787

[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5787
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18718 4 1 0 63477 75 0 0 22 0 11 0 1789136989 860463104 26947 4294967295 134512640 134569956 3221224336 3221214640 1131472251 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 26947 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 635.52
Current children cumulated vsize (Kb) 840296

[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5787
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18728 4 1 0 64450 76 0 0 25 0 11 0 1789136989 860463104 26948 4294967295 134512640 134569956 3221224336 3221214640 1131472343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26948 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 645.26
Current children cumulated vsize (Kb) 840296

[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5787
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18738 4 1 0 65421 76 0 0 25 0 11 0 1789136989 860463104 26950 4294967295 134512640 134569956 3221224336 3221214640 1131472813 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 26950 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 654.97
Current children cumulated vsize (Kb) 840296
One traced child (pid=5787) exited with status: 0
New thread pid=5788

[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5788
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18749 4 1 0 66383 77 0 0 25 0 11 0 1789136989 860463104 27087 4294967295 134512640 134569956 3221224336 3221214600 1131398967 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27087 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 664.6
Current children cumulated vsize (Kb) 840296

[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5788
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18760 4 1 0 67355 77 0 0 23 0 11 0 1789136989 860463104 27088 4294967295 134512640 134569956 3221224336 3221214640 1131472821 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27088 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 674.32
Current children cumulated vsize (Kb) 840296
One traced child (pid=5788) exited with status: 0
New thread pid=5789

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18770 4 1 0 68325 78 0 0 25 0 11 0 1789136989 860463104 27107 4294967295 134512640 134569956 3221224336 3221214712 1131372284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27107 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 684.03
Current children cumulated vsize (Kb) 840296

[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18781 4 1 0 69301 78 0 0 18 0 11 0 1789136989 860463104 27193 4294967295 134512640 134569956 3221224336 3221214640 1131471874 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27193 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 693.79
Current children cumulated vsize (Kb) 840296

[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18789 4 1 0 70284 78 0 0 25 0 11 0 1789136989 860463104 27193 4294967295 134512640 134569956 3221224336 3221214640 1131471905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27193 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 703.62
Current children cumulated vsize (Kb) 840296

[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18796 4 1 0 71265 78 0 0 25 0 11 0 1789136989 860463104 27260 4294967295 134512640 134569956 3221224336 3221214600 1131595432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27260 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 713.43
Current children cumulated vsize (Kb) 840296

[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18803 4 1 0 72255 79 0 0 24 0 11 0 1789136989 860463104 27261 4294967295 134512640 134569956 3221224336 3221214600 1131398908 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27261 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 723.34
Current children cumulated vsize (Kb) 840296

[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18813 4 1 0 73231 79 0 0 25 0 11 0 1789136989 860463104 27261 4294967295 134512640 134569956 3221224336 3221214640 1131472458 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27261 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 733.1
Current children cumulated vsize (Kb) 840296

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18823 4 1 0 74206 79 0 0 23 0 11 0 1789136989 860463104 27270 4294967295 134512640 134569956 3221224336 3221214640 1131472821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27270 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 742.85
Current children cumulated vsize (Kb) 840296

[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18834 4 1 0 75179 80 0 0 25 0 11 0 1789136989 860463104 27311 4294967295 134512640 134569956 3221224336 3221214640 1131471972 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27311 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 752.59
Current children cumulated vsize (Kb) 840296

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18844 4 1 0 76168 80 0 0 25 0 11 0 1789136989 860463104 27354 4294967295 134512640 134569956 3221224336 3221214640 1131471833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27354 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 762.48
Current children cumulated vsize (Kb) 840296

[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18855 4 1 0 77146 81 0 0 20 0 11 0 1789136989 860463104 27355 4294967295 134512640 134569956 3221224336 3221214640 1131471833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27355 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 772.27
Current children cumulated vsize (Kb) 840296

[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18866 4 1 0 78124 81 0 0 19 0 11 0 1789136989 860463104 27356 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27356 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 782.05
Current children cumulated vsize (Kb) 840296

[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18877 4 1 0 79108 81 0 0 17 0 11 0 1789136989 860463104 27400 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27400 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 791.89
Current children cumulated vsize (Kb) 840296

[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18887 4 1 0 80099 82 0 0 25 0 11 0 1789136989 860463104 27400 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27400 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 801.81
Current children cumulated vsize (Kb) 840296

[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18898 4 1 0 81077 82 0 0 18 0 11 0 1789136989 860463104 27400 4294967295 134512640 134569956 3221224336 3221214712 1131372322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27400 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 811.59
Current children cumulated vsize (Kb) 840296

[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18909 4 1 0 82056 82 0 0 25 0 11 0 1789136989 860463104 27401 4294967295 134512640 134569956 3221224336 3221214640 1131472796 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27401 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 821.38
Current children cumulated vsize (Kb) 840296

[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18919 4 1 0 83039 83 0 0 25 0 11 0 1789136989 860463104 27443 4294967295 134512640 134569956 3221224336 3221214640 1131471852 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27443 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 831.22
Current children cumulated vsize (Kb) 840296

[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18930 4 1 0 84029 83 0 0 25 0 11 0 1789136989 860463104 27444 4294967295 134512640 134569956 3221224336 3221214600 1131398986 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27444 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 841.12
Current children cumulated vsize (Kb) 840296

[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18941 4 1 0 85007 84 0 0 25 0 11 0 1789136989 860463104 27444 4294967295 134512640 134569956 3221224336 3221214640 1131472724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27444 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 850.91
Current children cumulated vsize (Kb) 840296

[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) T 5769 5770 22582 0 -1 0 18952 4 1 0 85987 84 0 0 25 0 11 0 1789136989 860463104 27444 4294967295 134512640 134569956 3221224336 3221213512 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27444 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 860.71
Current children cumulated vsize (Kb) 840296

[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18962 4 1 0 86969 85 0 0 23 0 11 0 1789136989 860463104 27488 4294967295 134512640 134569956 3221224336 3221214728 1131480549 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27488 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 870.54
Current children cumulated vsize (Kb) 840296

[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18973 4 1 0 87959 85 0 0 19 0 11 0 1789136989 860463104 27489 4294967295 134512640 134569956 3221224336 3221214600 1131398908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27489 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 880.44
Current children cumulated vsize (Kb) 840296

[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18984 4 1 0 88938 86 0 0 17 0 11 0 1789136989 860463104 27489 4294967295 134512640 134569956 3221224336 3221214712 1131372291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27489 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 890.24
Current children cumulated vsize (Kb) 840296

[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 18994 4 1 0 89920 86 0 0 25 0 11 0 1789136989 860463104 27489 4294967295 134512640 134569956 3221224336 3221214640 1131472470 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27489 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 900.06
Current children cumulated vsize (Kb) 840296

[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19005 4 1 0 90902 87 0 0 25 0 11 0 1789136989 860463104 27528 4294967295 134512640 134569956 3221224336 3221214600 1131398908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27528 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 909.89
Current children cumulated vsize (Kb) 840296

[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19016 4 1 0 91891 87 0 0 18 0 11 0 1789136989 860463104 27529 4294967295 134512640 134569956 3221224336 3221214640 1131473004 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27529 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 919.78
Current children cumulated vsize (Kb) 840296

[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19027 4 1 0 92870 88 0 0 25 0 11 0 1789136989 860463104 27530 4294967295 134512640 134569956 3221224336 3221214592 1131397126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27530 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 929.58
Current children cumulated vsize (Kb) 840296

[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) S 5769 5770 22582 0 -1 0 19038 4 1 0 93851 88 0 0 25 0 11 0 1789136989 860463104 27530 4294967295 134512640 134569956 3221224336 3221213280 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27530 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 939.39
Current children cumulated vsize (Kb) 840296

[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19048 4 1 0 94834 89 0 0 25 0 11 0 1789136989 860463104 27570 4294967295 134512640 134569956 3221224336 3221214600 1131399516 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27570 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 949.23
Current children cumulated vsize (Kb) 840296

[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19058 4 1 0 95829 89 0 0 25 0 11 0 1789136989 860463104 27570 4294967295 134512640 134569956 3221224336 3221214488 1131398928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27570 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 959.18
Current children cumulated vsize (Kb) 840296

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19066 4 1 0 96821 90 0 0 25 0 11 0 1789136989 860463104 27572 4294967295 134512640 134569956 3221224336 3221214600 1131601958 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27572 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 969.11
Current children cumulated vsize (Kb) 840296

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19073 4 1 0 97813 90 0 0 25 0 11 0 1789136989 860463104 27572 4294967295 134512640 134569956 3221224336 3221214640 1131472470 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27572 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 979.03
Current children cumulated vsize (Kb) 840296

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19083 4 1 0 98793 90 0 0 22 0 11 0 1789136989 860463104 27572 4294967295 134512640 134569956 3221224336 3221214640 1131471852 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27572 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 988.83
Current children cumulated vsize (Kb) 840296

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19094 4 1 0 99771 91 0 0 25 0 11 0 1789136989 860463104 27572 4294967295 134512640 134569956 3221224336 3221214600 1131398908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27572 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 998.62
Current children cumulated vsize (Kb) 840296

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19105 4 1 0 100753 92 0 0 25 0 11 0 1789136989 860463104 27615 4294967295 134512640 134569956 3221224336 3221214640 1131472240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27615 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1008.45
Current children cumulated vsize (Kb) 840296

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19112 4 1 0 101748 92 0 0 25 0 11 0 1789136989 860463104 27615 4294967295 134512640 134569956 3221224336 3221214488 1131399654 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27615 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1018.4
Current children cumulated vsize (Kb) 840296

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19118 4 1 0 102743 92 0 0 25 0 11 0 1789136989 860463104 27616 4294967295 134512640 134569956 3221224336 3221214600 1131595787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27616 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1028.35
Current children cumulated vsize (Kb) 840296

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19125 4 1 0 103738 92 0 0 25 0 11 0 1789136989 860463104 27616 4294967295 134512640 134569956 3221224336 3221214608 1131589384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27616 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1038.3
Current children cumulated vsize (Kb) 840296

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19131 4 1 0 104733 92 0 0 25 0 11 0 1789136989 860463104 27616 4294967295 134512640 134569956 3221224336 3221214512 1131443389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27616 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1048.25
Current children cumulated vsize (Kb) 840296

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19137 4 1 0 105727 93 0 0 25 0 11 0 1789136989 860463104 27617 4294967295 134512640 134569956 3221224336 3221214596 1131562560 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27617 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1058.2
Current children cumulated vsize (Kb) 840296

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19143 4 1 0 106722 93 0 0 25 0 11 0 1789136989 860463104 27618 4294967295 134512640 134569956 3221224336 3221214368 1078034939 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27618 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1068.15
Current children cumulated vsize (Kb) 840296

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19150 4 1 0 107712 93 0 0 17 0 11 0 1789136989 860463104 27618 4294967295 134512640 134569956 3221224336 3221214640 1131472693 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27618 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1078.05
Current children cumulated vsize (Kb) 840296

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19160 4 1 0 108687 94 0 0 25 0 11 0 1789136989 860463104 27630 4294967295 134512640 134569956 3221224336 3221214704 1131469817 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27630 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1087.81
Current children cumulated vsize (Kb) 840296

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19171 4 1 0 109660 94 0 0 25 0 11 0 1789136989 860463104 27630 4294967295 134512640 134569956 3221224336 3221214728 1131481565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27630 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1097.54
Current children cumulated vsize (Kb) 840296

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19182 4 1 0 110637 94 0 0 25 0 11 0 1789136989 860463104 27720 4294967295 134512640 134569956 3221224336 3221214640 1131472188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27720 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1107.31
Current children cumulated vsize (Kb) 840296

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19190 4 1 0 111630 95 0 0 22 0 11 0 1789136989 860463104 27721 4294967295 134512640 134569956 3221224336 3221214512 1131443632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27721 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1117.25
Current children cumulated vsize (Kb) 840296

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19197 4 1 0 112618 95 0 0 25 0 11 0 1789136989 860463104 27721 4294967295 134512640 134569956 3221224336 3221214600 1131595758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27721 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1127.13
Current children cumulated vsize (Kb) 840296

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19204 4 1 0 113605 95 0 0 20 0 11 0 1789136989 860463104 27722 4294967295 134512640 134569956 3221224336 3221214488 1131399650 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27722 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1137
Current children cumulated vsize (Kb) 840296

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19212 4 1 0 114586 95 0 0 25 0 11 0 1789136989 860463104 27723 4294967295 134512640 134569956 3221224336 3221214512 1131443389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27723 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1146.81
Current children cumulated vsize (Kb) 840296

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19218 4 1 0 115572 95 0 0 25 0 11 0 1789136989 860463104 27724 4294967295 134512640 134569956 3221224336 3221214608 1131589443 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27724 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1156.67
Current children cumulated vsize (Kb) 840296

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19227 4 1 0 116546 96 0 0 16 0 11 0 1789136989 860463104 27761 4294967295 134512640 134569956 3221224336 3221214600 1131596252 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27761 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1166.42
Current children cumulated vsize (Kb) 840296

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19233 4 1 0 117529 96 0 0 25 0 11 0 1789136989 860463104 27761 4294967295 134512640 134569956 3221224336 3221214504 1131443351 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27761 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1176.25
Current children cumulated vsize (Kb) 840296

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19241 4 1 0 118502 96 0 0 16 0 11 0 1789136989 860463104 27773 4294967295 134512640 134569956 3221224336 3221214512 1131443225 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27773 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1185.98
Current children cumulated vsize (Kb) 840296

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19248 4 1 0 119480 96 0 0 25 0 11 0 1789136989 860463104 27814 4294967295 134512640 134569956 3221224336 3221214576 1131406287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5770/statm): 210074 27814 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1195.76
Current children cumulated vsize (Kb) 840296

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19255 4 1 0 120458 97 0 0 17 0 11 0 1789136989 860463104 27910 4294967295 134512640 134569956 3221224336 3221214640 1131472420 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27910 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1205.55
Current children cumulated vsize (Kb) 840296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 5789
Raw data (/proc/5770/stat): 5770 (java) R 5769 5770 22582 0 -1 0 19255 4 1 0 120459 97 0 0 17 0 11 0 1789136989 860463104 27910 4294967295 134512640 134569956 3221224336 3221214640 1131472350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5770/statm): 210074 27910 13129 16 0 210058 0
[pid=5770] vsize: 840296
Current children cumulated CPU time (s) 1205.56
Current children cumulated vsize (Kb) 840296

Sending SIGTERM to -5770
Sleeping 2 seconds
New thread pid=5791
New thread pid=5792
One traced child (pid=5792) exited with status: 0
One traced child (pid=5779) exited with status: 0
One traced child (pid=5774) exited with status: 0
One traced child (pid=5771) exited with status: 143
One traced child (pid=5772) exited with status: 143
One traced child (pid=5775) exited with status: 143
One traced child (pid=5778) exited with status: 143
One traced child (pid=5776) exited with status: 143
One traced child (pid=5773) exited with status: 143
One traced child (pid=5777) exited with status: 143
One traced child (pid=5791) exited with status: 143
One traced child (pid=5789) exited with status: 143
One traced child (pid=5770) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.42
CPU time (s): 1236.81
CPU user time (s): 1235.09
CPU system time (s): 1.71274
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (Kb): 841640

Verifier Data

Verifier:	OK	3709