Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
MD5SUM49fba7b1c2f3e65c53f8418d126e3ec3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3709
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.91
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 4835

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        873868 kB
Buffers:         33540 kB
Cached:         100016 kB
SwapCached:        812 kB
Active:          79288 kB
Inactive:        56828 kB
HighTotal:      131008 kB
HighFree:        31584 kB
LowTotal:       903652 kB
LowFree:        842284 kB
SwapTotal:     2097892 kB
SwapFree:      2096456 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            19084 kB
Committed_AS:    64332 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 20:33:21 (client local time) WITH STATUS 143 IN 1236.91 SECONDS
stats: 6515 0 1236.91 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/wulflinc21/normalized-mps-v2-20-10-p2756.opb
c reading problem ... done. Time 3.116 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.51 ms
c CURRENT OPTIMUM=               91608 		Current CPU time: 7.03 ms
c CURRENT OPTIMUM=               91300 		Current CPU time: 8.23 ms
c CURRENT OPTIMUM=               87240 		Current CPU time: 8.99 ms
c CURRENT OPTIMUM=                4867 		Current CPU time: 318.84 ms
c CURRENT OPTIMUM=                4806 		Current CPU time: 660.85 ms
c CURRENT OPTIMUM=                4089 		Current CPU time: 685.39 ms
c CURRENT OPTIMUM=                3709 		Current CPU time: 707.57 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.86335637584904
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.047

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/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1729952983 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 39 3 38 16 0 23 0
[pid=5664] 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/5664
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=5665
New thread pid=5666
New thread pid=5667
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=5668
New thread pid=5669
New thread pid=5670
New thread pid=5671
New thread pid=5672
New thread pid=5673
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/wulflinc21/normalized-mps-v2-20-10-p2756.opb
New thread pid=5674
One traced child (pid=5674) exited with status: 0
New thread pid=5675
One traced child (pid=5675) exited with status: 0
New thread pid=5676
One traced child (pid=5676) exited with status: 0
New thread pid=5677
One traced child (pid=5677) exited with status: 0
New thread pid=5678

[startup+10.0026 s]
Raw data (loadavg): 0.87 0.95 0.93 2/67 5678
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18189 4 1 0 766 48 0 0 25 0 11 0 1729952983 856301568 20116 4294967295 134512640 134569956 3221224336 3221214736 1131488055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 209058 20116 13129 16 0 209042 0
[pid=5664] vsize: 836232
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (Kb) 836232
One traced child (pid=5678) exited with status: 0
New thread pid=5679

[startup+20.0032 s]
Raw data (loadavg): 0.96 0.97 0.93 3/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18199 4 1 0 1686 49 0 0 19 0 11 0 1729952983 862593024 21552 4294967295 134512640 134569956 3221224336 3221214480 1131599535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210594 21552 13129 16 0 210578 0
[pid=5664] vsize: 842376
Current children cumulated CPU time (s) 17.35
Current children cumulated vsize (Kb) 842376

[startup+30.0039 s]
Raw data (loadavg): 1.04 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18206 4 1 0 2615 49 0 0 25 0 11 0 1729952983 862167040 21744 4294967295 134512640 134569956 3221224336 3221214600 1131609566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 21744 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (Kb) 841960

[startup+40.0046 s]
Raw data (loadavg): 1.04 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18212 4 1 0 3556 50 0 0 22 0 11 0 1729952983 862167040 21822 4294967295 134512640 134569956 3221224336 3221214504 1131449689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 21822 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (Kb) 841960

[startup+50.0053 s]
Raw data (loadavg): 1.03 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18218 4 1 0 4497 50 0 0 18 0 11 0 1729952983 862167040 21831 4294967295 134512640 134569956 3221224336 3221214504 1131449869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 21831 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 45.47
Current children cumulated vsize (Kb) 841960

[startup+60.005 s]
Raw data (loadavg): 1.02 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18224 4 1 0 5445 50 0 0 25 0 11 0 1729952983 862167040 21831 4294967295 134512640 134569956 3221224336 3221214600 1131616045 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 21831 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 54.95
Current children cumulated vsize (Kb) 841960

[startup+70.0057 s]
Raw data (loadavg): 1.02 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18230 4 1 0 6410 50 0 0 25 0 11 0 1729952983 862167040 22622 4294967295 134512640 134569956 3221224336 3221214644 1131402848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22622 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 64.6
Current children cumulated vsize (Kb) 841960

[startup+80.0063 s]
Raw data (loadavg): 1.02 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18238 4 1 0 7388 50 0 0 25 0 11 0 1729952983 862167040 22624 4294967295 134512640 134569956 3221224336 3221214496 1131406759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 22624 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 74.38
Current children cumulated vsize (Kb) 841960

[startup+90.0071 s]
Raw data (loadavg): 1.01 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18245 4 1 0 8364 50 0 0 25 0 11 0 1729952983 862167040 22676 4294967295 134512640 134569956 3221224336 3221214504 1131450028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22676 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 84.14
Current children cumulated vsize (Kb) 841960

[startup+100.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18251 4 1 0 9335 51 0 0 25 0 11 0 1729952983 862167040 22676 4294967295 134512640 134569956 3221224336 3221214512 1131449815 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22676 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 93.86
Current children cumulated vsize (Kb) 841960

[startup+110.008 s]
Raw data (loadavg): 1.01 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18257 4 1 0 10302 51 0 0 22 0 11 0 1729952983 862167040 22676 4294967295 134512640 134569956 3221224336 3221214600 1131609395 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22676 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 103.53
Current children cumulated vsize (Kb) 841960

[startup+120.009 s]
Raw data (loadavg): 1.01 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18262 4 1 0 11273 51 0 0 25 0 11 0 1729952983 862167040 22719 4294967295 134512640 134569956 3221224336 3221214496 1131406719 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22719 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 113.24
Current children cumulated vsize (Kb) 841960

[startup+130.009 s]
Raw data (loadavg): 1.01 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18268 4 1 0 12241 51 0 0 25 0 11 0 1729952983 862167040 22894 4294967295 134512640 134569956 3221224336 3221214608 1131603865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 22894 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 122.92
Current children cumulated vsize (Kb) 841960

[startup+140.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18274 4 1 0 13215 51 0 0 25 0 11 0 1729952983 862167040 22901 4294967295 134512640 134569956 3221224336 3221214608 1131603865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 22901 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (Kb) 841960

[startup+150.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18280 4 1 0 14192 51 0 0 17 0 11 0 1729952983 862167040 23048 4294967295 134512640 134569956 3221224336 3221214608 1131603858 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23048 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 142.43
Current children cumulated vsize (Kb) 841960

[startup+160.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18285 4 1 0 15175 51 0 0 25 0 11 0 1729952983 862167040 23173 4294967295 134512640 134569956 3221224336 3221214648 1131479045 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 23173 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 152.26
Current children cumulated vsize (Kb) 841960

[startup+170.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18291 4 1 0 16145 52 0 0 22 0 11 0 1729952983 862167040 23186 4294967295 134512640 134569956 3221224336 3221214608 1131603703 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23186 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (Kb) 841960

[startup+180.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18298 4 1 0 17102 52 0 0 21 0 11 0 1729952983 862167040 23238 4294967295 134512640 134569956 3221224336 3221214728 1131408968 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23238 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 171.54
Current children cumulated vsize (Kb) 841960

[startup+190.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18306 4 1 0 18044 53 0 0 23 0 11 0 1729952983 862167040 23300 4294967295 134512640 134569956 3221224336 3221214648 1131479832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23300 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 180.97
Current children cumulated vsize (Kb) 841960

[startup+200.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18315 4 1 0 18969 53 0 0 17 0 11 0 1729952983 862167040 23382 4294967295 134512640 134569956 3221224336 3221214716 1131406688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23382 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 190.22
Current children cumulated vsize (Kb) 841960

[startup+210.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18322 4 1 0 19906 53 0 0 24 0 11 0 1729952983 862167040 23660 4294967295 134512640 134569956 3221224336 3221214600 1131609684 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 23660 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 199.59
Current children cumulated vsize (Kb) 841960

[startup+220.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18329 4 1 0 20851 53 0 0 22 0 11 0 1729952983 862167040 23793 4294967295 134512640 134569956 3221224336 3221214720 1131397948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 23793 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 209.04
Current children cumulated vsize (Kb) 841960

[startup+230.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18337 4 1 0 21772 53 0 0 17 0 11 0 1729952983 862167040 23969 4294967295 134512640 134569956 3221224336 3221214512 1131449853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 23969 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 218.25
Current children cumulated vsize (Kb) 841960

[startup+240.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18342 4 1 0 22724 54 0 0 20 0 11 0 1729952983 862167040 24080 4294967295 134512640 134569956 3221224336 3221214648 1131479643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24080 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 227.78
Current children cumulated vsize (Kb) 841960

[startup+250.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18349 4 1 0 23666 54 0 0 25 0 11 0 1729952983 862167040 24264 4294967295 134512640 134569956 3221224336 3221214608 1131603873 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24264 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 237.2
Current children cumulated vsize (Kb) 841960

[startup+260.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18357 4 1 0 24602 54 0 0 16 0 11 0 1729952983 862167040 24385 4294967295 134512640 134569956 3221224336 3221214576 1131371353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24385 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 246.56
Current children cumulated vsize (Kb) 841960

[startup+270.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18362 4 1 0 25564 55 0 0 25 0 11 0 1729952983 862167040 24611 4294967295 134512640 134569956 3221224336 3221214512 1131449497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24611 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 256.19
Current children cumulated vsize (Kb) 841960

[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18369 4 1 0 26527 55 0 0 25 0 11 0 1729952983 862167040 24850 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 24850 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 265.82
Current children cumulated vsize (Kb) 841960

[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18378 4 1 0 27476 55 0 0 22 0 11 0 1729952983 862167040 24933 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24933 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 275.31
Current children cumulated vsize (Kb) 841960

[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18384 4 1 0 28433 55 0 0 21 0 11 0 1729952983 862167040 24977 4294967295 134512640 134569956 3221224336 3221214608 1131603639 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 24977 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 284.88
Current children cumulated vsize (Kb) 841960

[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18390 4 1 0 29397 56 0 0 25 0 11 0 1729952983 862167040 25125 4294967295 134512640 134569956 3221224336 3221214576 1131408973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25125 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 294.53
Current children cumulated vsize (Kb) 841960

[startup+320.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5679
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18396 4 1 0 30363 56 0 0 25 0 11 0 1729952983 862167040 25131 4294967295 134512640 134569956 3221224336 3221214720 1131397955 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 25131 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 304.19
Current children cumulated vsize (Kb) 841960
One traced child (pid=5679) exited with status: 0
New thread pid=5680

[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18403 4 1 0 31311 56 0 0 25 0 11 0 1729952983 862167040 25206 4294967295 134512640 134569956 3221224336 3221214504 1131449853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25206 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 313.67
Current children cumulated vsize (Kb) 841960

[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18410 4 1 0 32268 56 0 0 25 0 11 0 1729952983 862167040 25463 4294967295 134512640 134569956 3221224336 3221214608 1131599417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25463 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 323.24
Current children cumulated vsize (Kb) 841960

[startup+350.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18416 4 1 0 33235 57 0 0 25 0 11 0 1729952983 862167040 25501 4294967295 134512640 134569956 3221224336 3221214504 1131449689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25501 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 332.92
Current children cumulated vsize (Kb) 841960

[startup+360.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18421 4 1 0 34206 57 0 0 25 0 11 0 1729952983 862167040 25502 4294967295 134512640 134569956 3221224336 3221214600 1131609662 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25502 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 342.63
Current children cumulated vsize (Kb) 841960

[startup+370.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18427 4 1 0 35159 58 0 0 25 0 11 0 1729952983 862167040 25616 4294967295 134512640 134569956 3221224336 3221214524 1131477984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25616 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 352.17
Current children cumulated vsize (Kb) 841960

[startup+380.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18436 4 1 0 36099 58 0 0 25 0 11 0 1729952983 862167040 25748 4294967295 134512640 134569956 3221224336 3221214720 1131397955 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 25748 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 361.57
Current children cumulated vsize (Kb) 841960

[startup+390.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18444 4 1 0 37051 59 0 0 25 0 11 0 1729952983 862167040 25839 4294967295 134512640 134569956 3221224336 3221214716 1131406688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 25839 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 371.1
Current children cumulated vsize (Kb) 841960

[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18452 4 1 0 38005 59 0 0 24 0 11 0 1729952983 862167040 26000 4294967295 134512640 134569956 3221224336 3221214648 1131479508 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26000 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 380.64
Current children cumulated vsize (Kb) 841960

[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.94 3/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18461 4 1 0 38962 59 0 0 25 0 11 0 1729952983 862167040 26249 4294967295 134512640 134569956 3221224336 3221214720 1131397987 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26249 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 390.21
Current children cumulated vsize (Kb) 841960

[startup+420.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18472 4 1 0 39932 60 0 0 18 0 11 0 1729952983 862167040 26250 4294967295 134512640 134569956 3221224336 3221214648 1131479277 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26250 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 399.92
Current children cumulated vsize (Kb) 841960

[startup+430.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18480 4 1 0 40908 60 0 0 21 0 11 0 1729952983 862167040 26252 4294967295 134512640 134569956 3221224336 3221214736 1131487749 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26252 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 409.68
Current children cumulated vsize (Kb) 841960

[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18487 4 1 0 41884 60 0 0 25 0 11 0 1729952983 862167040 26390 4294967295 134512640 134569956 3221224336 3221214608 1131604013 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26390 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 419.44
Current children cumulated vsize (Kb) 841960

[startup+450.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18493 4 1 0 42869 60 0 0 25 0 11 0 1729952983 862167040 26391 4294967295 134512640 134569956 3221224336 3221214504 1131449689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26391 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 429.29
Current children cumulated vsize (Kb) 841960

[startup+460.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18499 4 1 0 43849 61 0 0 21 0 11 0 1729952983 862167040 26392 4294967295 134512640 134569956 3221224336 3221214616 1131449630 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26392 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 439.1
Current children cumulated vsize (Kb) 841960

[startup+470.028 s]
Raw data (loadavg): 1.00 0.99 0.94 3/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18506 4 1 0 44826 61 0 0 17 0 11 0 1729952983 862167040 26394 4294967295 134512640 134569956 3221224336 3221214496 1131406784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26394 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 448.87
Current children cumulated vsize (Kb) 841960

[startup+480.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18513 4 1 0 45799 61 0 0 22 0 11 0 1729952983 862167040 26438 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26438 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 458.6
Current children cumulated vsize (Kb) 841960

[startup+490.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18523 4 1 0 46766 61 0 0 21 0 11 0 1729952983 862167040 26527 4294967295 134512640 134569956 3221224336 3221214648 1131479123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26527 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 468.27
Current children cumulated vsize (Kb) 841960

[startup+500.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18534 4 1 0 47737 62 0 0 25 0 11 0 1729952983 862167040 26640 4294967295 134512640 134569956 3221224336 3221214648 1131479600 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26640 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 477.99
Current children cumulated vsize (Kb) 841960

[startup+510.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18544 4 1 0 48717 62 0 0 18 0 11 0 1729952983 862167040 26692 4294967295 134512640 134569956 3221224336 3221214648 1131479481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26692 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 487.79
Current children cumulated vsize (Kb) 841960

[startup+520.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18555 4 1 0 49698 62 0 0 17 0 11 0 1729952983 862167040 26692 4294967295 134512640 134569956 3221224336 3221214720 1131397952 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26692 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 497.6
Current children cumulated vsize (Kb) 841960

[startup+530.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18565 4 1 0 50679 63 0 0 25 0 11 0 1729952983 862167040 26692 4294967295 134512640 134569956 3221224336 3221214608 1131406709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26692 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 507.42
Current children cumulated vsize (Kb) 841960

[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18576 4 1 0 51659 63 0 0 25 0 11 0 1729952983 862167040 26736 4294967295 134512640 134569956 3221224336 3221214648 1131479936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26736 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 517.22
Current children cumulated vsize (Kb) 841960

[startup+550.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18587 4 1 0 52639 63 0 0 24 0 11 0 1729952983 862167040 26736 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26736 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 527.02
Current children cumulated vsize (Kb) 841960

[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18596 4 1 0 53625 64 0 0 25 0 11 0 1729952983 862167040 26795 4294967295 134512640 134569956 3221224336 3221214648 1131479269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26795 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 536.89
Current children cumulated vsize (Kb) 841960

[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18606 4 1 0 54618 64 0 0 25 0 11 0 1729952983 862167040 26795 4294967295 134512640 134569956 3221224336 3221214648 1131479031 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26795 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 546.82
Current children cumulated vsize (Kb) 841960

[startup+580.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18616 4 1 0 55612 64 0 0 24 0 11 0 1729952983 862167040 26795 4294967295 134512640 134569956 3221224336 3221214648 1131479588 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26795 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 556.76
Current children cumulated vsize (Kb) 841960

[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18627 4 1 0 56605 64 0 0 25 0 11 0 1729952983 862167040 26796 4294967295 134512640 134569956 3221224336 3221214736 1131487734 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26796 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 566.69
Current children cumulated vsize (Kb) 841960

[startup+600.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18637 4 1 0 57599 65 0 0 22 0 11 0 1729952983 862167040 26798 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26798 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 576.64
Current children cumulated vsize (Kb) 841960

[startup+610.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18647 4 1 0 58583 65 0 0 19 0 11 0 1729952983 862167040 26798 4294967295 134512640 134569956 3221224336 3221214648 1131479043 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26798 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 586.48
Current children cumulated vsize (Kb) 841960

[startup+620.034 s]
Raw data (loadavg): 1.00 0.99 0.94 3/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18658 4 1 0 59555 66 0 0 23 0 11 0 1729952983 862167040 26799 4294967295 134512640 134569956 3221224336 3221214720 1131397960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26799 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 596.21
Current children cumulated vsize (Kb) 841960

[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18668 4 1 0 60529 66 0 0 20 0 11 0 1729952983 862167040 26800 4294967295 134512640 134569956 3221224336 3221214608 1131406716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26800 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 605.95
Current children cumulated vsize (Kb) 841960

[startup+640.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18679 4 1 0 61511 66 0 0 17 0 11 0 1729952983 862167040 26933 4294967295 134512640 134569956 3221224336 3221214716 1131406688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26933 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 615.77
Current children cumulated vsize (Kb) 841960

[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18689 4 1 0 62505 67 0 0 25 0 11 0 1729952983 862167040 26933 4294967295 134512640 134569956 3221224336 3221214608 1131406716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26933 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 625.72
Current children cumulated vsize (Kb) 841960

[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5680
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18698 4 1 0 63499 67 0 0 24 0 11 0 1729952983 862167040 26934 4294967295 134512640 134569956 3221224336 3221214648 1131478956 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26934 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 635.66
Current children cumulated vsize (Kb) 841960
One traced child (pid=5680) exited with status: 0
New thread pid=5681

[startup+670.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5681
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18708 4 1 0 64475 67 0 0 22 0 11 0 1729952983 862167040 26935 4294967295 134512640 134569956 3221224336 3221214736 1131487950 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26935 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 645.42
Current children cumulated vsize (Kb) 841960

[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5681
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18719 4 1 0 65444 68 0 0 17 0 11 0 1729952983 862167040 26937 4294967295 134512640 134569956 3221224336 3221214648 1131478949 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 26937 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 655.12
Current children cumulated vsize (Kb) 841960
One traced child (pid=5681) exited with status: 0
New thread pid=5682

[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5682
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18729 4 1 0 66412 68 0 0 25 0 11 0 1729952983 862167040 26938 4294967295 134512640 134569956 3221224336 3221214716 1131406688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 26938 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 664.8
Current children cumulated vsize (Kb) 841960

[startup+700.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5682
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18739 4 1 0 67383 68 0 0 25 0 11 0 1729952983 862167040 27075 4294967295 134512640 134569956 3221224336 3221214736 1131487846 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27075 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 674.51
Current children cumulated vsize (Kb) 841960
One traced child (pid=5682) exited with status: 0
New thread pid=5683

[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18750 4 1 0 68354 68 0 0 17 0 11 0 1729952983 862167040 27075 4294967295 134512640 134569956 3221224336 3221214648 1131479117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27075 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 684.22
Current children cumulated vsize (Kb) 841960

[startup+720.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18760 4 1 0 69327 69 0 0 25 0 11 0 1729952983 862167040 27180 4294967295 134512640 134569956 3221224336 3221214648 1131479277 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27180 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 693.96
Current children cumulated vsize (Kb) 841960

[startup+730.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18771 4 1 0 70304 69 0 0 19 0 11 0 1729952983 862167040 27180 4294967295 134512640 134569956 3221224336 3221214512 1131449853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27180 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 703.73
Current children cumulated vsize (Kb) 841960

[startup+740.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18778 4 1 0 71287 70 0 0 25 0 11 0 1729952983 862167040 27180 4294967295 134512640 134569956 3221224336 3221214600 1131609446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27180 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 713.57
Current children cumulated vsize (Kb) 841960

[startup+750.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18784 4 1 0 72274 70 0 0 25 0 11 0 1729952983 862167040 27247 4294967295 134512640 134569956 3221224336 3221214504 1131449853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27247 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 723.44
Current children cumulated vsize (Kb) 841960

[startup+760.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18792 4 1 0 73259 70 0 0 23 0 11 0 1729952983 862167040 27248 4294967295 134512640 134569956 3221224336 3221214648 1131479471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27248 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 733.29
Current children cumulated vsize (Kb) 841960

[startup+770.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18803 4 1 0 74232 70 0 0 24 0 11 0 1729952983 862167040 27248 4294967295 134512640 134569956 3221224336 3221214648 1131479372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27248 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 743.02
Current children cumulated vsize (Kb) 841960

[startup+780.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18813 4 1 0 75207 70 0 0 25 0 11 0 1729952983 862167040 27257 4294967295 134512640 134569956 3221224336 3221214648 1131478956 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27257 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 752.77
Current children cumulated vsize (Kb) 841960

[startup+790.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18824 4 1 0 76188 71 0 0 25 0 11 0 1729952983 862167040 27341 4294967295 134512640 134569956 3221224336 3221214648 1131479020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27341 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 762.59
Current children cumulated vsize (Kb) 841960

[startup+800.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18834 4 1 0 77171 71 0 0 25 0 11 0 1729952983 862167040 27341 4294967295 134512640 134569956 3221224336 3221214648 1131479423 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27341 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 772.42
Current children cumulated vsize (Kb) 841960

[startup+810.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18845 4 1 0 78149 72 0 0 17 0 11 0 1729952983 862167040 27342 4294967295 134512640 134569956 3221224336 3221214736 1131487749 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27342 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 782.21
Current children cumulated vsize (Kb) 841960

[startup+820.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18855 4 1 0 79129 72 0 0 25 0 11 0 1729952983 862167040 27344 4294967295 134512640 134569956 3221224336 3221214648 1131479024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27344 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 792.01
Current children cumulated vsize (Kb) 841960

[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18866 4 1 0 80118 72 0 0 19 0 11 0 1729952983 862167040 27387 4294967295 134512640 134569956 3221224336 3221214720 1131397955 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27387 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 801.9
Current children cumulated vsize (Kb) 841960

[startup+840.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18876 4 1 0 81103 73 0 0 21 0 11 0 1729952983 862167040 27387 4294967295 134512640 134569956 3221224336 3221214648 1131479020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27387 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 811.76
Current children cumulated vsize (Kb) 841960

[startup+850.048 s]
Raw data (loadavg): 1.07 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18887 4 1 0 82082 73 0 0 18 0 11 0 1729952983 862167040 27387 4294967295 134512640 134569956 3221224336 3221214648 1131479801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27387 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 821.55
Current children cumulated vsize (Kb) 841960

[startup+860.048 s]
Raw data (loadavg): 1.06 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18898 4 1 0 83061 74 0 0 16 0 11 0 1729952983 862167040 27388 4294967295 134512640 134569956 3221224336 3221214736 1131488068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27388 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 831.35
Current children cumulated vsize (Kb) 841960

[startup+870.048 s]
Raw data (loadavg): 1.05 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18908 4 1 0 84050 74 0 0 21 0 11 0 1729952983 862167040 27431 4294967295 134512640 134569956 3221224336 3221214720 1131397980 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27431 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 841.24
Current children cumulated vsize (Kb) 841960

[startup+880.049 s]
Raw data (loadavg): 1.04 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18919 4 1 0 85035 74 0 0 17 0 11 0 1729952983 862167040 27431 4294967295 134512640 134569956 3221224336 3221214648 1131478941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27431 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 851.09
Current children cumulated vsize (Kb) 841960

[startup+890.049 s]
Raw data (loadavg): 1.04 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18929 4 1 0 86016 75 0 0 25 0 11 0 1729952983 862167040 27431 4294967295 134512640 134569956 3221224336 3221214648 1131478941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27431 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 860.91
Current children cumulated vsize (Kb) 841960

[startup+900.049 s]
Raw data (loadavg): 1.03 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18940 4 1 0 86995 75 0 0 25 0 11 0 1729952983 862167040 27431 4294967295 134512640 134569956 3221224336 3221214600 1131402884 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27431 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 870.7
Current children cumulated vsize (Kb) 841960

[startup+910.05 s]
Raw data (loadavg): 1.02 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18951 4 1 0 87984 75 0 0 17 0 11 0 1729952983 862167040 27475 4294967295 134512640 134569956 3221224336 3221214648 1131479372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27475 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 880.59
Current children cumulated vsize (Kb) 841960

[startup+920.051 s]
Raw data (loadavg): 1.02 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18961 4 1 0 88970 76 0 0 25 0 11 0 1729952983 862167040 27476 4294967295 134512640 134569956 3221224336 3221214608 1131406723 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27476 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 890.46
Current children cumulated vsize (Kb) 841960

[startup+930.05 s]
Raw data (loadavg): 1.02 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18972 4 1 0 89950 76 0 0 18 0 11 0 1729952983 862167040 27476 4294967295 134512640 134569956 3221224336 3221214648 1131479924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27476 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 900.26
Current children cumulated vsize (Kb) 841960

[startup+940.051 s]
Raw data (loadavg): 1.01 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18983 4 1 0 90929 76 0 0 23 0 11 0 1729952983 862167040 27476 4294967295 134512640 134569956 3221224336 3221214648 1131479652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27476 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 910.05
Current children cumulated vsize (Kb) 841960

[startup+950.052 s]
Raw data (loadavg): 1.01 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 18993 4 1 0 91917 77 0 0 22 0 11 0 1729952983 862167040 27516 4294967295 134512640 134569956 3221224336 3221214648 1131479427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27516 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 919.94
Current children cumulated vsize (Kb) 841960

[startup+960.051 s]
Raw data (loadavg): 1.01 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19004 4 1 0 92902 77 0 0 25 0 11 0 1729952983 862167040 27517 4294967295 134512640 134569956 3221224336 3221214648 1131478945 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27517 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 929.79
Current children cumulated vsize (Kb) 841960

[startup+970.052 s]
Raw data (loadavg): 1.01 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19014 4 1 0 93884 78 0 0 23 0 11 0 1729952983 862167040 27517 4294967295 134512640 134569956 3221224336 3221214600 1131402861 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27517 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 939.62
Current children cumulated vsize (Kb) 841960

[startup+980.052 s]
Raw data (loadavg): 1.01 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19025 4 1 0 94862 78 0 0 21 0 11 0 1729952983 862167040 27517 4294967295 134512640 134569956 3221224336 3221214648 1131479245 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27517 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 949.4
Current children cumulated vsize (Kb) 841960

[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19036 4 1 0 95849 78 0 0 18 0 11 0 1729952983 862167040 27557 4294967295 134512640 134569956 3221224336 3221214600 1131403850 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27557 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 959.27
Current children cumulated vsize (Kb) 841960

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 3/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19045 4 1 0 96844 78 0 0 24 0 11 0 1729952983 862167040 27558 4294967295 134512640 134569956 3221224336 3221214604 1131406688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27558 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 969.22
Current children cumulated vsize (Kb) 841960

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19052 4 1 0 97837 79 0 0 25 0 11 0 1729952983 862167040 27559 4294967295 134512640 134569956 3221224336 3221214600 1131609662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27559 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 979.16
Current children cumulated vsize (Kb) 841960

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19061 4 1 0 98824 79 0 0 16 0 11 0 1729952983 862167040 27559 4294967295 134512640 134569956 3221224336 3221214716 1131406688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27559 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 989.03
Current children cumulated vsize (Kb) 841960

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19071 4 1 0 99805 79 0 0 25 0 11 0 1729952983 862167040 27559 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27559 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 998.84
Current children cumulated vsize (Kb) 841960

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19082 4 1 0 100783 80 0 0 18 0 11 0 1729952983 862167040 27559 4294967295 134512640 134569956 3221224336 3221214648 1131478978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27559 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1008.63
Current children cumulated vsize (Kb) 841960

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19092 4 1 0 101769 80 0 0 25 0 11 0 1729952983 862167040 27602 4294967295 134512640 134569956 3221224336 3221214608 1131603858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27602 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1018.49
Current children cumulated vsize (Kb) 841960

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19098 4 1 0 102764 80 0 0 25 0 11 0 1729952983 862167040 27602 4294967295 134512640 134569956 3221224336 3221214496 1131406784 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27602 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1028.44
Current children cumulated vsize (Kb) 841960

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19104 4 1 0 103760 81 0 0 25 0 11 0 1729952983 862167040 27603 4294967295 134512640 134569956 3221224336 3221214512 1131449771 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27603 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1038.41
Current children cumulated vsize (Kb) 841960

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19111 4 1 0 104755 81 0 0 25 0 11 0 1729952983 862167040 27603 4294967295 134512640 134569956 3221224336 3221214512 1131449689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27603 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1048.36
Current children cumulated vsize (Kb) 841960

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19117 4 1 0 105749 81 0 0 25 0 11 0 1729952983 862167040 27603 4294967295 134512640 134569956 3221224336 3221214608 1131603865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27603 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1058.3
Current children cumulated vsize (Kb) 841960

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19123 4 1 0 106744 81 0 0 19 0 11 0 1729952983 862167040 27605 4294967295 134512640 134569956 3221224336 3221214600 1131609684 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27605 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1068.25
Current children cumulated vsize (Kb) 841960

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19129 4 1 0 107739 81 0 0 25 0 11 0 1729952983 862167040 27605 4294967295 134512640 134569956 3221224336 3221214608 1131603858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27605 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1078.2
Current children cumulated vsize (Kb) 841960

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19136 4 1 0 108727 82 0 0 18 0 11 0 1729952983 862167040 27605 4294967295 134512640 134569956 3221224336 3221214648 1131479364 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27605 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1088.09
Current children cumulated vsize (Kb) 841960

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19146 4 1 0 109702 82 0 0 25 0 11 0 1729952983 862167040 27617 4294967295 134512640 134569956 3221224336 3221214648 1131479397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27617 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1097.84
Current children cumulated vsize (Kb) 841960

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19157 4 1 0 110675 83 0 0 19 0 11 0 1729952983 862167040 27617 4294967295 134512640 134569956 3221224336 3221214648 1131479337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27617 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1107.58
Current children cumulated vsize (Kb) 841960

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19168 4 1 0 111654 83 0 0 17 0 11 0 1729952983 862167040 27708 4294967295 134512640 134569956 3221224336 3221214648 1131478956 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27708 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1117.37
Current children cumulated vsize (Kb) 841960

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19175 4 1 0 112646 83 0 0 25 0 11 0 1729952983 862167040 27708 4294967295 134512640 134569956 3221224336 3221214552 1131451009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27708 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1127.29
Current children cumulated vsize (Kb) 841960

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19182 4 1 0 113635 83 0 0 25 0 11 0 1729952983 862167040 27708 4294967295 134512640 134569956 3221224336 3221214512 1131449504 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27708 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1137.18
Current children cumulated vsize (Kb) 841960

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19189 4 1 0 114621 84 0 0 20 0 11 0 1729952983 862167040 27709 4294967295 134512640 134569956 3221224336 3221214496 1131406904 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27709 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1147.05
Current children cumulated vsize (Kb) 841960

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19197 4 1 0 115603 84 0 0 17 0 11 0 1729952983 862167040 27710 4294967295 134512640 134569956 3221224336 3221214496 1131406752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27710 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1156.87
Current children cumulated vsize (Kb) 841960

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19203 4 1 0 116589 84 0 0 25 0 11 0 1729952983 862167040 27711 4294967295 134512640 134569956 3221224336 3221214596 1131371296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27711 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1166.73
Current children cumulated vsize (Kb) 841960

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19211 4 1 0 117566 84 0 0 25 0 11 0 1729952983 862167040 27748 4294967295 134512640 134569956 3221224336 3221214512 1131449815 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27748 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1176.5
Current children cumulated vsize (Kb) 841960

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19218 4 1 0 118546 84 0 0 24 0 11 0 1729952983 862167040 27748 4294967295 134512640 134569956 3221224336 3221214496 1131406794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27748 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1186.3
Current children cumulated vsize (Kb) 841960

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19225 4 1 0 119522 85 0 0 22 0 11 0 1729952983 862167040 27760 4294967295 134512640 134569956 3221224336 3221214512 1131449815 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/5664/statm): 210490 27760 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1196.07
Current children cumulated vsize (Kb) 841960

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19232 4 1 0 120501 85 0 0 25 0 11 0 1729952983 862167040 27801 4294967295 134512640 134569956 3221224336 3221214608 1131603945 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27801 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1205.86
Current children cumulated vsize (Kb) 841960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/67 5683
Raw data (/proc/5664/stat): 5664 (java) R 5663 5664 20602 0 -1 0 19232 4 1 0 120501 85 0 0 25 0 11 0 1729952983 862167040 27801 4294967295 134512640 134569956 3221224336 3221214512 1131449853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/5664/statm): 210490 27801 13129 16 0 210474 0
[pid=5664] vsize: 841960
Current children cumulated CPU time (s) 1205.86
Current children cumulated vsize (Kb) 841960

Sending SIGTERM to -5664
Sleeping 2 seconds
New thread pid=5685
New thread pid=5686
One traced child (pid=5686) exited with status: 0
One traced child (pid=5673) exited with status: 0
One traced child (pid=5668) exited with status: 0
One traced child (pid=5665) exited with status: 143
One traced child (pid=5669) exited with status: 143
One traced child (pid=5671) exited with status: 143
One traced child (pid=5666) exited with status: 143
One traced child (pid=5667) exited with status: 143
One traced child (pid=5683) exited with status: 143
One traced child (pid=5670) exited with status: 143
One traced child (pid=5685) exited with status: 143
One traced child (pid=5672) exited with status: 143
One traced child (pid=5664) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.43
CPU time (s): 1236.91
CPU user time (s): 1235.31
CPU system time (s): 1.60076
CPU usage (%): 99.7157
Max. virtual memory (cumulated for all children) (Kb): 842376

Verifier Data

Verifier:	OK	3709