Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb
MD5SUM49fba7b1c2f3e65c53f8418d126e3ec3
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 benchmark1247.64
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 8868

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        865424 kB
Buffers:         33640 kB
Cached:         106712 kB
SwapCached:        612 kB
Active:          58624 kB
Inactive:        84268 kB
HighTotal:      131008 kB
HighFree:        23772 kB
LowTotal:       903652 kB
LowFree:        841652 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20824 kB
Committed_AS:    64320 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 19:53:31 (client local time) WITH STATUS 143 IN 1247.64 SECONDS
stats: 6899 0 1247.64 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/wulflinc17/normalized-mps-v2-13-7-p2756.opb
c reading problem ... done. Time 3.081 ms.
c #vars     2756
c #constraints  749
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              118980 		Current CPU time: 5.88 ms
c CURRENT OPTIMUM=              102466 		Current CPU time: 6.50 ms
c CURRENT OPTIMUM=               91608 		Current CPU time: 7.02 ms
c CURRENT OPTIMUM=               91300 		Current CPU time: 8.23 ms
c CURRENT OPTIMUM=               87240 		Current CPU time: 8.98 ms
c CURRENT OPTIMUM=                4867 		Current CPU time: 319.50 ms
c CURRENT OPTIMUM=                4806 		Current CPU time: 661.38 ms
c CURRENT OPTIMUM=                4089 		Current CPU time: 685.81 ms
c CURRENT OPTIMUM=                3709 		Current CPU time: 707.85 ms
c starts		: 11
c conflicts		: 239
c decisions		: 54109
c propagations		: 88012
c inspects		: 159485
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 238
c root simplifications	: 45
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 101.91592675328393
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.05

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/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1861110280 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 39 3 38 16 0 23 0
[pid=27484] 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/27484
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=27485
New thread pid=27486
New thread pid=27487
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=27488
New thread pid=27489
New thread pid=27490
New thread pid=27491
New thread pid=27492
New thread pid=27493
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/wulflinc17/normalized-mps-v2-13-7-p2756.opb
New thread pid=27494
One traced child (pid=27494) exited with status: 0
New thread pid=27495
One traced child (pid=27495) exited with status: 0
New thread pid=27496
One traced child (pid=27496) exited with status: 0
New thread pid=27497
One traced child (pid=27497) exited with status: 0
New thread pid=27498

[startup+10.0024 s]
Raw data (loadavg): 0.95 1.01 1.00 2/66 27498
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18189 4 1 0 763 46 0 0 20 0 11 0 1861110280 854982656 20030 4294967295 134512640 134569956 3221224336 3221214624 1131470226 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 208736 20030 13129 16 0 208720 0
[pid=27484] vsize: 834944
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (Kb) 834944
One traced child (pid=27498) exited with status: 0
New thread pid=27499

[startup+20.0021 s]
Raw data (loadavg): 0.96 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18199 4 1 0 1699 47 0 0 20 0 11 0 1861110280 861716480 21597 4294967295 134512640 134569956 3221224336 3221214268 1131063800 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210380 21597 13129 16 0 210364 0
[pid=27484] vsize: 841520
Current children cumulated CPU time (s) 17.46
Current children cumulated vsize (Kb) 841520

[startup+30.0026 s]
Raw data (loadavg): 0.97 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18204 4 1 0 2625 47 0 0 25 0 11 0 1861110280 861274112 21781 4294967295 134512640 134569956 3221224336 3221214416 1131478855 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 21781 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 26.72
Current children cumulated vsize (Kb) 841088

[startup+40.0032 s]
Raw data (loadavg): 0.97 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18210 4 1 0 3566 47 0 0 20 0 11 0 1861110280 861274112 21859 4294967295 134512640 134569956 3221224336 3221214496 1131478576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 21859 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 36.13
Current children cumulated vsize (Kb) 841088

[startup+50.0048 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18216 4 1 0 4506 48 0 0 17 0 11 0 1861110280 861274112 21867 4294967295 134512640 134569956 3221224336 3221214608 1131602062 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 21867 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 45.54
Current children cumulated vsize (Kb) 841088

[startup+60.0054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18222 4 1 0 5456 48 0 0 25 0 11 0 1861110280 861274112 21867 4294967295 134512640 134569956 3221224336 3221214600 1131612070 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 21867 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 55.04
Current children cumulated vsize (Kb) 841088

[startup+70.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18229 4 1 0 6416 49 0 0 25 0 11 0 1861110280 861274112 22655 4294967295 134512640 134569956 3221224336 3221214708 1131468710 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 22655 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 64.65
Current children cumulated vsize (Kb) 841088

[startup+80.0066 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18238 4 1 0 7394 49 0 0 25 0 11 0 1861110280 861274112 22655 4294967295 134512640 134569956 3221224336 3221214608 1131602131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 22655 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 74.43
Current children cumulated vsize (Kb) 841088

[startup+90.0062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18244 4 1 0 8369 50 0 0 25 0 11 0 1861110280 861274112 22701 4294967295 134512640 134569956 3221224336 3221214496 1131478587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 22701 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 84.19
Current children cumulated vsize (Kb) 841088

[startup+100.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18250 4 1 0 9340 50 0 0 25 0 11 0 1861110280 861274112 22706 4294967295 134512640 134569956 3221224336 3221214504 1131478642 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 22706 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 93.9
Current children cumulated vsize (Kb) 841088

[startup+110.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18257 4 1 0 10306 50 0 0 25 0 11 0 1861110280 861274112 22706 4294967295 134512640 134569956 3221224336 3221214608 1131606260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 22706 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 103.56
Current children cumulated vsize (Kb) 841088

[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18262 4 1 0 11277 51 0 0 25 0 11 0 1861110280 861274112 22749 4294967295 134512640 134569956 3221224336 3221214504 1131478576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 22749 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 113.28
Current children cumulated vsize (Kb) 841088

[startup+130.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18268 4 1 0 12245 51 0 0 25 0 11 0 1861110280 861274112 22924 4294967295 134512640 134569956 3221224336 3221214608 1131602173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 22924 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 122.96
Current children cumulated vsize (Kb) 841088

[startup+140.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18274 4 1 0 13218 52 0 0 25 0 11 0 1861110280 861274112 22931 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 22931 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 132.7
Current children cumulated vsize (Kb) 841088

[startup+150.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18279 4 1 0 14199 52 0 0 25 0 11 0 1861110280 861274112 23078 4294967295 134512640 134569956 3221224336 3221214608 1131606224 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 23078 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 142.51
Current children cumulated vsize (Kb) 841088

[startup+160.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18285 4 1 0 15177 53 0 0 25 0 11 0 1861110280 861274112 23203 4294967295 134512640 134569956 3221224336 3221214576 1131404304 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 23203 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 152.3
Current children cumulated vsize (Kb) 841088

[startup+170.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18291 4 1 0 16146 54 0 0 25 0 11 0 1861110280 861274112 23216 4294967295 134512640 134569956 3221224336 3221214504 1131479044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23216 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 162
Current children cumulated vsize (Kb) 841088

[startup+180.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18298 4 1 0 17103 54 0 0 21 0 11 0 1861110280 861274112 23268 4294967295 134512640 134569956 3221224336 3221214624 1131470039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23268 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 171.57
Current children cumulated vsize (Kb) 841088

[startup+190.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18306 4 1 0 18044 55 0 0 25 0 11 0 1861110280 861274112 23330 4294967295 134512640 134569956 3221224336 3221214624 1131469715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23330 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 180.99
Current children cumulated vsize (Kb) 841088

[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18314 4 1 0 18979 55 0 0 25 0 11 0 1861110280 861274112 23412 4294967295 134512640 134569956 3221224336 3221214624 1131470501 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23412 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 190.34
Current children cumulated vsize (Kb) 841088

[startup+210.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18322 4 1 0 19907 56 0 0 25 0 11 0 1861110280 861274112 23690 4294967295 134512640 134569956 3221224336 3221214600 1131612047 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23690 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 199.63
Current children cumulated vsize (Kb) 841088

[startup+220.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18329 4 1 0 20853 56 0 0 25 0 11 0 1861110280 861274112 23823 4294967295 134512640 134569956 3221224336 3221214712 1131503766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 23823 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 209.09
Current children cumulated vsize (Kb) 841088

[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18336 4 1 0 21783 57 0 0 25 0 11 0 1861110280 861274112 23962 4294967295 134512640 134569956 3221224336 3221214496 1131408109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 23962 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 218.4
Current children cumulated vsize (Kb) 841088

[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18342 4 1 0 22724 57 0 0 18 0 11 0 1861110280 861274112 24110 4294967295 134512640 134569956 3221224336 3221214624 1131469764 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 24110 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 227.81
Current children cumulated vsize (Kb) 841088

[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18349 4 1 0 23667 58 0 0 25 0 11 0 1861110280 861274112 24294 4294967295 134512640 134569956 3221224336 3221214608 1131602143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 24294 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 237.25
Current children cumulated vsize (Kb) 841088

[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18356 4 1 0 24611 58 0 0 22 0 11 0 1861110280 861274112 24377 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 24377 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 246.69
Current children cumulated vsize (Kb) 841088

[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18362 4 1 0 25564 58 0 0 22 0 11 0 1861110280 861274112 24641 4294967295 134512640 134569956 3221224336 3221214504 1131480734 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 24641 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 256.22
Current children cumulated vsize (Kb) 841088

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18369 4 1 0 26527 59 0 0 25 0 11 0 1861110280 861274112 24880 4294967295 134512640 134569956 3221224336 3221214624 1131469612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 24880 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 265.86
Current children cumulated vsize (Kb) 841088

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18378 4 1 0 27475 59 0 0 25 0 11 0 1861110280 861274112 24963 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 24963 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 275.34
Current children cumulated vsize (Kb) 841088

[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18384 4 1 0 28432 59 0 0 17 0 11 0 1861110280 861274112 25007 4294967295 134512640 134569956 3221224336 3221214496 1131478688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25007 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 284.91
Current children cumulated vsize (Kb) 841088

[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18389 4 1 0 29402 60 0 0 25 0 11 0 1861110280 861274112 25155 4294967295 134512640 134569956 3221224336 3221214496 1131478973 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 25155 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 294.62
Current children cumulated vsize (Kb) 841088

[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27499
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18396 4 1 0 30362 60 0 0 25 0 11 0 1861110280 861274112 25161 4294967295 134512640 134569956 3221224336 3221214784 1131357017 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25161 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 304.22
Current children cumulated vsize (Kb) 841088
One traced child (pid=27499) exited with status: 0
New thread pid=27500

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18403 4 1 0 31310 61 0 0 25 0 11 0 1861110280 861274112 25237 4294967295 134512640 134569956 3221224336 3221214608 1131606253 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 25237 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 313.71
Current children cumulated vsize (Kb) 841088

[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18410 4 1 0 32267 61 0 0 25 0 11 0 1861110280 861274112 25494 4294967295 134512640 134569956 3221224336 3221214504 1131479007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 25494 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (Kb) 841088

[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18416 4 1 0 33234 61 0 0 16 0 11 0 1861110280 861274112 25532 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25532 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 332.95
Current children cumulated vsize (Kb) 841088

[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18421 4 1 0 34205 62 0 0 24 0 11 0 1861110280 861274112 25532 4294967295 134512640 134569956 3221224336 3221214752 1131496323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25532 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 342.67
Current children cumulated vsize (Kb) 841088

[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18427 4 1 0 35159 62 0 0 25 0 11 0 1861110280 861274112 25645 4294967295 134512640 134569956 3221224336 3221214596 1131577188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25645 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 352.21
Current children cumulated vsize (Kb) 841088

[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18435 4 1 0 36105 62 0 0 25 0 11 0 1861110280 861274112 25778 4294967295 134512640 134569956 3221224336 3221214600 1131408210 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 25778 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 361.67
Current children cumulated vsize (Kb) 841088

[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18444 4 1 0 37050 63 0 0 25 0 11 0 1861110280 861274112 25869 4294967295 134512640 134569956 3221224336 3221214784 1131357017 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 25869 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 371.13
Current children cumulated vsize (Kb) 841088

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18452 4 1 0 38003 63 0 0 25 0 11 0 1861110280 861274112 26030 4294967295 134512640 134569956 3221224336 3221214592 1131577175 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26030 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 380.66
Current children cumulated vsize (Kb) 841088

[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) S 27483 27484 19316 0 -1 0 18460 4 1 0 38962 63 0 0 25 0 11 0 1861110280 861274112 26242 4294967295 134512640 134569956 3221224336 3221213328 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26242 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 390.25
Current children cumulated vsize (Kb) 841088

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18471 4 1 0 39933 63 0 0 25 0 11 0 1861110280 861274112 26279 4294967295 134512640 134569956 3221224336 3221214624 1131469691 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26279 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 399.96
Current children cumulated vsize (Kb) 841088

[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18479 4 1 0 40910 63 0 0 25 0 11 0 1861110280 861274112 26281 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26281 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 841088

[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18486 4 1 0 41885 63 0 0 25 0 11 0 1861110280 861274112 26419 4294967295 134512640 134569956 3221224336 3221214600 1131612492 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26419 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 419.48
Current children cumulated vsize (Kb) 841088

[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18493 4 1 0 42867 64 0 0 25 0 11 0 1861110280 861274112 26421 4294967295 134512640 134569956 3221224336 3221214608 1131602023 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26421 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 429.31
Current children cumulated vsize (Kb) 841088

[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18498 4 1 0 43851 64 0 0 25 0 11 0 1861110280 861274112 26422 4294967295 134512640 134569956 3221224336 3221214608 1131602041 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26422 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 439.15
Current children cumulated vsize (Kb) 841088

[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18505 4 1 0 44828 65 0 0 25 0 11 0 1861110280 861274112 26423 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26423 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 448.93
Current children cumulated vsize (Kb) 841088

[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18511 4 1 0 45805 65 0 0 25 0 11 0 1861110280 861274112 26468 4294967295 134512640 134569956 3221224336 3221214624 1131469601 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26468 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (Kb) 841088

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18522 4 1 0 46767 65 0 0 25 0 11 0 1861110280 861274112 26557 4294967295 134512640 134569956 3221224336 3221214712 1131502433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26557 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 468.32
Current children cumulated vsize (Kb) 841088

[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18532 4 1 0 47739 65 0 0 25 0 11 0 1861110280 861274112 26615 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26615 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 478.04
Current children cumulated vsize (Kb) 841088

[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) S 27483 27484 19316 0 -1 0 18542 4 1 0 48717 65 0 0 25 0 11 0 1861110280 861274112 26722 4294967295 134512640 134569956 3221224336 3221213328 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26722 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 487.82
Current children cumulated vsize (Kb) 841088

[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18553 4 1 0 49699 66 0 0 25 0 11 0 1861110280 861274112 26722 4294967295 134512640 134569956 3221224336 3221214600 1131408870 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26722 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 497.65
Current children cumulated vsize (Kb) 841088

[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18564 4 1 0 50678 66 0 0 25 0 11 0 1861110280 861274112 26722 4294967295 134512640 134569956 3221224336 3221214624 1131470212 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26722 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 507.44
Current children cumulated vsize (Kb) 841088

[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18575 4 1 0 51658 66 0 0 18 0 11 0 1861110280 861274112 26766 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26766 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 517.24
Current children cumulated vsize (Kb) 841088

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18585 4 1 0 52640 66 0 0 24 0 11 0 1861110280 861274112 26766 4294967295 134512640 134569956 3221224336 3221214624 1131469612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26766 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 527.06
Current children cumulated vsize (Kb) 841088

[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18595 4 1 0 53622 66 0 0 25 0 11 0 1861110280 861274112 26825 4294967295 134512640 134569956 3221224336 3221214624 1131469605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26825 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 536.88
Current children cumulated vsize (Kb) 841088

[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18605 4 1 0 54615 67 0 0 22 0 11 0 1861110280 861274112 26825 4294967295 134512640 134569956 3221224336 3221214624 1131470461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26825 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 546.82
Current children cumulated vsize (Kb) 841088

[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18615 4 1 0 55609 68 0 0 25 0 11 0 1861110280 861274112 26825 4294967295 134512640 134569956 3221224336 3221214624 1131469891 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26825 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 556.77
Current children cumulated vsize (Kb) 841088

[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18626 4 1 0 56602 68 0 0 25 0 11 0 1861110280 861274112 26826 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26826 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 566.7
Current children cumulated vsize (Kb) 841088

[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18636 4 1 0 57596 68 0 0 25 0 11 0 1861110280 861274112 26827 4294967295 134512640 134569956 3221224336 3221214624 1131470204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26827 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 576.64
Current children cumulated vsize (Kb) 841088

[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18646 4 1 0 58582 69 0 0 25 0 11 0 1861110280 861274112 26828 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26828 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 586.51
Current children cumulated vsize (Kb) 841088

[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18657 4 1 0 59555 69 0 0 18 0 11 0 1861110280 861274112 26829 4294967295 134512640 134569956 3221224336 3221214624 1131470180 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26829 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 596.24
Current children cumulated vsize (Kb) 841088

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18667 4 1 0 60529 69 0 0 25 0 11 0 1861110280 861274112 26829 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26829 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 605.98
Current children cumulated vsize (Kb) 841088

[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18678 4 1 0 61509 69 0 0 25 0 11 0 1861110280 861274112 26963 4294967295 134512640 134569956 3221224336 3221214600 1131408237 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26963 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 615.78
Current children cumulated vsize (Kb) 841088

[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18688 4 1 0 62503 70 0 0 22 0 11 0 1861110280 861274112 26963 4294967295 134512640 134569956 3221224336 3221214600 1131408124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26963 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 625.73
Current children cumulated vsize (Kb) 841088

[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27500
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18698 4 1 0 63496 70 0 0 25 0 11 0 1861110280 861274112 26964 4294967295 134512640 134569956 3221224336 3221214624 1131469985 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26964 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 635.66
Current children cumulated vsize (Kb) 841088
One traced child (pid=27500) exited with status: 0
New thread pid=27501

[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27501
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18708 4 1 0 64472 70 0 0 25 0 11 0 1861110280 861274112 26965 4294967295 134512640 134569956 3221224336 3221214600 1131408117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 26965 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 645.42
Current children cumulated vsize (Kb) 841088

[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27501
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18718 4 1 0 65444 71 0 0 25 0 11 0 1861110280 861274112 26966 4294967295 134512640 134569956 3221224336 3221214624 1131469605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26966 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 655.15
Current children cumulated vsize (Kb) 841088
One traced child (pid=27501) exited with status: 0
New thread pid=27502

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27502
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18728 4 1 0 66412 71 0 0 25 0 11 0 1861110280 861274112 26968 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 26968 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 664.83
Current children cumulated vsize (Kb) 841088

[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27502
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18739 4 1 0 67379 72 0 0 25 0 11 0 1861110280 861274112 27105 4294967295 134512640 134569956 3221224336 3221214708 1131408096 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27105 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 674.51
Current children cumulated vsize (Kb) 841088
One traced child (pid=27502) exited with status: 0
New thread pid=27503

[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18749 4 1 0 68353 72 0 0 25 0 11 0 1861110280 861274112 27105 4294967295 134512640 134569956 3221224336 3221214576 1131404280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27105 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 684.25
Current children cumulated vsize (Kb) 841088

[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18760 4 1 0 69323 73 0 0 25 0 11 0 1861110280 861274112 27210 4294967295 134512640 134569956 3221224336 3221214624 1131469650 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27210 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 693.96
Current children cumulated vsize (Kb) 841088

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18771 4 1 0 70300 73 0 0 25 0 11 0 1861110280 861274112 27210 4294967295 134512640 134569956 3221224336 3221214576 1131357017 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27210 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 703.73
Current children cumulated vsize (Kb) 841088

[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18778 4 1 0 71282 73 0 0 18 0 11 0 1861110280 861274112 27210 4294967295 134512640 134569956 3221224336 3221214600 1131612070 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27210 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 713.55
Current children cumulated vsize (Kb) 841088

[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18784 4 1 0 72270 74 0 0 25 0 11 0 1861110280 861274112 27277 4294967295 134512640 134569956 3221224336 3221214600 1131612070 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27277 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 723.44
Current children cumulated vsize (Kb) 841088

[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18792 4 1 0 73254 75 0 0 18 0 11 0 1861110280 861274112 27278 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27278 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 733.29
Current children cumulated vsize (Kb) 841088

[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18802 4 1 0 74228 76 0 0 25 0 11 0 1861110280 861274112 27278 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27278 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 743.04
Current children cumulated vsize (Kb) 841088

[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18813 4 1 0 75201 76 0 0 25 0 11 0 1861110280 861274112 27287 4294967295 134512640 134569956 3221224336 3221214600 1131408117 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27287 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 752.77
Current children cumulated vsize (Kb) 841088

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18823 4 1 0 76182 77 0 0 25 0 11 0 1861110280 861274112 27371 4294967295 134512640 134569956 3221224336 3221214600 1131408124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27371 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 762.59
Current children cumulated vsize (Kb) 841088

[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18834 4 1 0 77164 77 0 0 25 0 11 0 1861110280 861274112 27371 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27371 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 772.41
Current children cumulated vsize (Kb) 841088

[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18844 4 1 0 78144 78 0 0 25 0 11 0 1861110280 861274112 27372 4294967295 134512640 134569956 3221224336 3221214600 1131408134 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27372 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 782.22
Current children cumulated vsize (Kb) 841088

[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18855 4 1 0 79122 78 0 0 25 0 11 0 1861110280 861274112 27374 4294967295 134512640 134569956 3221224336 3221214624 1131469931 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27374 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 792
Current children cumulated vsize (Kb) 841088

[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18866 4 1 0 80110 78 0 0 25 0 11 0 1861110280 861274112 27417 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27417 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 801.88
Current children cumulated vsize (Kb) 841088

[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18876 4 1 0 81096 79 0 0 25 0 11 0 1861110280 861274112 27417 4294967295 134512640 134569956 3221224336 3221214624 1131470003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27417 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 811.75
Current children cumulated vsize (Kb) 841088

[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18887 4 1 0 82074 79 0 0 25 0 11 0 1861110280 861274112 27417 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27417 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 821.53
Current children cumulated vsize (Kb) 841088

[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18898 4 1 0 83052 80 0 0 24 0 11 0 1861110280 861274112 27418 4294967295 134512640 134569956 3221224336 3221214600 1131408124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27418 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 831.32
Current children cumulated vsize (Kb) 841088

[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18908 4 1 0 84041 80 0 0 25 0 11 0 1861110280 861274112 27461 4294967295 134512640 134569956 3221224336 3221214600 1131408109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27461 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 841.21
Current children cumulated vsize (Kb) 841088

[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18919 4 1 0 85026 80 0 0 25 0 11 0 1861110280 861274112 27461 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27461 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 851.06
Current children cumulated vsize (Kb) 841088

[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18930 4 1 0 86004 81 0 0 24 0 11 0 1861110280 861274112 27461 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27461 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 860.85
Current children cumulated vsize (Kb) 841088

[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18940 4 1 0 86984 81 0 0 25 0 11 0 1861110280 861274112 27461 4294967295 134512640 134569956 3221224336 3221214712 1131503876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27461 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 870.65
Current children cumulated vsize (Kb) 841088

[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18951 4 1 0 87972 81 0 0 25 0 11 0 1861110280 861274112 27505 4294967295 134512640 134569956 3221224336 3221214624 1131470157 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27505 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 880.53
Current children cumulated vsize (Kb) 841088

[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18962 4 1 0 88955 82 0 0 24 0 11 0 1861110280 861274112 27506 4294967295 134512640 134569956 3221224336 3221214624 1131469707 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27506 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 890.37
Current children cumulated vsize (Kb) 841088

[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18972 4 1 0 89936 82 0 0 23 0 11 0 1861110280 861274112 27506 4294967295 134512640 134569956 3221224336 3221214624 1131469597 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27506 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 900.18
Current children cumulated vsize (Kb) 841088

[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18983 4 1 0 90915 82 0 0 21 0 11 0 1861110280 861274112 27506 4294967295 134512640 134569956 3221224336 3221214624 1131470476 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27506 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 909.97
Current children cumulated vsize (Kb) 841088

[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 18994 4 1 0 91903 82 0 0 25 0 11 0 1861110280 861274112 27546 4294967295 134512640 134569956 3221224336 3221214712 1131502184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27546 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 919.85
Current children cumulated vsize (Kb) 841088

[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19004 4 1 0 92888 83 0 0 25 0 11 0 1861110280 861274112 27547 4294967295 134512640 134569956 3221224336 3221214600 1131408121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27547 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 929.71
Current children cumulated vsize (Kb) 841088

[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19015 4 1 0 93867 84 0 0 25 0 11 0 1861110280 861274112 27547 4294967295 134512640 134569956 3221224336 3221214576 1131404317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27547 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 939.51
Current children cumulated vsize (Kb) 841088

[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19026 4 1 0 94846 84 0 0 20 0 11 0 1861110280 861274112 27547 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27547 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 949.3
Current children cumulated vsize (Kb) 841088

[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19037 4 1 0 95834 85 0 0 25 0 11 0 1861110280 861274112 27587 4294967295 134512640 134569956 3221224336 3221214624 1131469612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27587 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 959.19
Current children cumulated vsize (Kb) 841088

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19046 4 1 0 96828 85 0 0 25 0 11 0 1861110280 861274112 27588 4294967295 134512640 134569956 3221224336 3221214608 1131602194 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27588 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 969.13
Current children cumulated vsize (Kb) 841088

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19053 4 1 0 97823 85 0 0 23 0 11 0 1861110280 861274112 27589 4294967295 134512640 134569956 3221224336 3221214496 1131478474 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27589 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 979.08
Current children cumulated vsize (Kb) 841088

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19061 4 1 0 98810 86 0 0 25 0 11 0 1861110280 861274112 27589 4294967295 134512640 134569956 3221224336 3221214624 1131470067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27589 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 988.96
Current children cumulated vsize (Kb) 841088

[startup+1030.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19072 4 1 0 99789 86 0 0 25 0 11 0 1861110280 861274112 27589 4294967295 134512640 134569956 3221224336 3221214624 1131469634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27589 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 841088

[startup+1040.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19083 4 1 0 100766 87 0 0 17 0 11 0 1861110280 861274112 27589 4294967295 134512640 134569956 3221224336 3221214624 1131469996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27589 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1008.53
Current children cumulated vsize (Kb) 841088

[startup+1050.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19093 4 1 0 101752 88 0 0 25 0 11 0 1861110280 861274112 27632 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27632 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1018.4
Current children cumulated vsize (Kb) 841088

[startup+1060.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19099 4 1 0 102748 88 0 0 25 0 11 0 1861110280 861274112 27633 4294967295 134512640 134569956 3221224336 3221214496 1131408131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27633 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1028.36
Current children cumulated vsize (Kb) 841088

[startup+1070.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19105 4 1 0 103744 88 0 0 25 0 11 0 1861110280 861274112 27633 4294967295 134512640 134569956 3221224336 3221214576 1131357052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27633 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1038.32
Current children cumulated vsize (Kb) 841088

[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19112 4 1 0 104738 89 0 0 25 0 11 0 1861110280 861274112 27633 4294967295 134512640 134569956 3221224336 3221214600 1131612034 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27633 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1048.27
Current children cumulated vsize (Kb) 841088

[startup+1090.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19118 4 1 0 105733 89 0 0 24 0 11 0 1861110280 861274112 27633 4294967295 134512640 134569956 3221224336 3221214600 1131612308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27633 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1058.22
Current children cumulated vsize (Kb) 841088

[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19124 4 1 0 106727 89 0 0 23 0 11 0 1861110280 861274112 27635 4294967295 134512640 134569956 3221224336 3221214504 1131478712 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27635 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1068.16
Current children cumulated vsize (Kb) 841088

[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19130 4 1 0 107721 89 0 0 25 0 11 0 1861110280 861274112 27635 4294967295 134512640 134569956 3221224336 3221214504 1131478602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27635 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1078.1
Current children cumulated vsize (Kb) 841088

[startup+1120.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19138 4 1 0 108705 90 0 0 25 0 11 0 1861110280 861274112 27635 4294967295 134512640 134569956 3221224336 3221214624 1131469627 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27635 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1087.95
Current children cumulated vsize (Kb) 841088

[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19149 4 1 0 109678 90 0 0 25 0 11 0 1861110280 861274112 27647 4294967295 134512640 134569956 3221224336 3221214624 1131469612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27647 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1097.68
Current children cumulated vsize (Kb) 841088

[startup+1140.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19160 4 1 0 110650 91 0 0 24 0 11 0 1861110280 861274112 27647 4294967295 134512640 134569956 3221224336 3221214576 1131404317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27647 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1107.41
Current children cumulated vsize (Kb) 841088

[startup+1150.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19170 4 1 0 111635 91 0 0 25 0 11 0 1861110280 861274112 27738 4294967295 134512640 134569956 3221224336 3221214624 1131469691 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27738 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1117.26
Current children cumulated vsize (Kb) 841088

[startup+1160.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19177 4 1 0 112627 91 0 0 20 0 11 0 1861110280 861274112 27738 4294967295 134512640 134569956 3221224336 3221214572 1131057221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27738 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1127.18
Current children cumulated vsize (Kb) 841088

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19184 4 1 0 113613 92 0 0 23 0 11 0 1861110280 861274112 27738 4294967295 134512640 134569956 3221224336 3221214504 1131479048 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27738 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1137.05
Current children cumulated vsize (Kb) 841088

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19191 4 1 0 114600 92 0 0 25 0 11 0 1861110280 861274112 27739 4294967295 134512640 134569956 3221224336 3221214600 1131408124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27739 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1146.92
Current children cumulated vsize (Kb) 841088

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19199 4 1 0 115580 92 0 0 24 0 11 0 1861110280 861274112 27740 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27740 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1156.72
Current children cumulated vsize (Kb) 841088

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19206 4 1 0 116562 93 0 0 25 0 11 0 1861110280 861274112 27741 4294967295 134512640 134569956 3221224336 3221214624 1131470589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27741 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1166.55
Current children cumulated vsize (Kb) 841088

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19213 4 1 0 117540 93 0 0 25 0 11 0 1861110280 861274112 27778 4294967295 134512640 134569956 3221224336 3221214608 1131606500 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27778 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1176.33
Current children cumulated vsize (Kb) 841088

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19220 4 1 0 118518 93 0 0 25 0 11 0 1861110280 861274112 27778 4294967295 134512640 134569956 3221224336 3221214496 1131408866 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27778 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1186.11
Current children cumulated vsize (Kb) 841088

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19227 4 1 0 119495 94 0 0 25 0 11 0 1861110280 861274112 27831 4294967295 134512640 134569956 3221224336 3221214504 1131478422 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/27484/statm): 210272 27831 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1195.89
Current children cumulated vsize (Kb) 841088

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19235 4 1 0 120470 94 0 0 25 0 11 0 1861110280 861274112 27831 4294967295 134512640 134569956 3221224336 3221214504 1131478816 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27831 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 841088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 27503
Raw data (/proc/27484/stat): 27484 (java) R 27483 27484 19316 0 -1 0 19235 4 1 0 120470 94 0 0 25 0 11 0 1861110280 861274112 27831 4294967295 134512640 134569956 3221224336 3221214504 1131478727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/27484/statm): 210272 27831 13129 16 0 210256 0
[pid=27484] vsize: 841088
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 841088

Sending SIGTERM to -27484
Sleeping 2 seconds
New thread pid=27505
New thread pid=27506
One traced child (pid=27506) exited with status: 0
One traced child (pid=27493) exited with status: 0
One traced child (pid=27488) exited with status: 0
One traced child (pid=27485) exited with status: 143
One traced child (pid=27489) exited with status: 143
One traced child (pid=27492) exited with status: 143
One traced child (pid=27490) exited with status: 143
One traced child (pid=27486) exited with status: 143
One traced child (pid=27487) exited with status: 143
One traced child (pid=27503) exited with status: 143
One traced child (pid=27491) exited with status: 143
One traced child (pid=27505) exited with status: 143
One traced child (pid=27484) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.41
CPU time (s): 1247.64
CPU user time (s): 1245.75
CPU system time (s): 1.88771
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (Kb): 841520

Verifier Data

Verifier:	OK	3709