Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
MD5SUM10547c6c0f11ab5df74fcaff6ba6d160
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18719
Optimality of the best value was proved NO
Number of terms in the objective function 416
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 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.09
Number of variables548
Total number of constraints724
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints134
Minimum length of a constraint1
Maximum length of a constraint143

Trace number 8867

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        819328 kB
Buffers:         34248 kB
Cached:         153632 kB
SwapCached:        888 kB
Active:          80676 kB
Inactive:       109868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819076 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19224 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 19:53:30 (client local time) WITH STATUS 143 IN 1235.79 SECONDS
stats: 6898 0 1235.79 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/wulflinc25/normalized-mps-v2-13-7-p0548.opb
c reading problem ... done. Time 1.295 ms.
c #vars     548
c #constraints  166
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               40874 		Current CPU time: 2.75 ms
c CURRENT OPTIMUM=               36913 		Current CPU time: 19.51 ms
c CURRENT OPTIMUM=               36593 		Current CPU time: 20.89 ms
c CURRENT OPTIMUM=               30935 		Current CPU time: 23.48 ms
c CURRENT OPTIMUM=               30243 		Current CPU time: 24.30 ms
c starts		: 11
c conflicts		: 1063
c decisions		: 14699
c propagations		: 43048
c inspects		: 929539
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1063
c root simplifications	: 17
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 13101
c speed (decisions/second)	: 12.101916596479008
c non guided choices	2481
c random choices	0
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1008_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1019_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1038_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1049_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1058_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1087_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 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 C1128_bit0 C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1137_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1205_bit0 -C1206_bit0 C1207_bit0 C1208_bit0 C1209_bit0 -C1210_bit0 C1211_bit0 C1212_bit0 -C1213_bit0 C1214_bit0 C1215_bit0 C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 C1220_bit0 C1221_bit0 -C1224_bit0 -C1225_bit0 C1226_bit0 C1227_bit0 C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 C1232_bit0 C1233_bit0 -C1236_bit0 -C1237_bit0 C1238_bit0 -C1239_bit0 C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 C1257_bit0 C1258_bit0 -C1259_bit0 -C1262_bit0 -C1263_bit0 -C1264_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1269_bit0 -C1270_bit0 C1271_bit0 C1272_bit0 -C1273_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1282_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 -C1311_bit0 C1312_bit0 C1313_bit0 -C1314_bit0 -C1316_bit0 -C1317_bit0 C1318_bit0 C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 C1324_bit0 C1325_bit0 -C1326_bit0 C1327_bit0 -C1328_bit0 C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 C1333_bit0 C1334_bit0 C1335_bit0 C1336_bit0 C1337_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1342_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1346_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 C1353_bit0 C1354_bit0 -C1355_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 C1359_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 C1366_bit0 C1367_bit0 -C1368_bit0 C1369_bit0 C1370_bit0 -C1371_bit0 -C1374_bit0 C1375_bit0 C1376_bit0 C1377_bit0 C1378_bit0 -C1379_bit0 C1380_bit0 C1381_bit0 C1382_bit0 C1383_bit0 -C1384_bit0 -C1387_bit0 -C1388_bit0 C1389_bit0 C1390_bit0 C1391_bit0 -C1392_bit0 -C1393_bit0 C1394_bit0 C1395_bit0 -C1396_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 C1402_bit0 C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 C1407_bit0 C1408_bit0 -C1409_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 C1418_bit0 -C1419_bit0 C1420_bit0 C1421_bit0 -C1422_bit0 -C1425_bit0 -C1426_bit0 -C1427_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 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 C1445_bit0 -C1446_bit0 C1447_bit0 -C1449_bit0 -C1450_bit0 C1451_bit0 C1452_bit0 C1453_bit0 C1454_bit0 -C1455_bit0 C1457_bit0 C1458_bit0 C1459_bit0 C1460_bit0 C1461_bit0 -C1462_bit0 -C1463_bit0 -C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 C1477_bit0 C1478_bit0 -C1479_bit0 -C1480_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1487_bit0 -C1488_bit0 -C1490_bit0 -C1491_bit0 C1492_bit0 -C1493_bit0 -C1494_bit0 C1495_bit0 C1496_bit0 C1497_bit0 -C1498_bit0 -C1499_bit0 -C1006_bit0 -C1007_bit0 -C1009_bit0 -C1017_bit0 C1018_bit0 -C1020_bit0 -C1027_bit0 -C1028_bit0 -C1036_bit0 -C1037_bit0 -C1039_bit0 -C1047_bit0 -C1048_bit0 -C1050_bit0 -C1056_bit0 -C1057_bit0 -C1059_bit0 -C1065_bit0 -C1071_bit0 -C1078_bit0 -C1085_bit0 -C1086_bit0 -C1088_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C1106_bit0 C1107_bit0 -C1115_bit0 -C1116_bit0 -C1118_bit0 -C1126_bit0 C1127_bit0 -C1129_bit0 -C1135_bit0 -C1136_bit0 -C1138_bit0 -C1144_bit0 -C1150_bit0 -C1157_bit0 -C1165_bit0 C1166_bit0 -C1177_bit0 -C1178_bit0 -C1189_bit0 -C1190_bit0 -C1203_bit0 C1204_bit0 -C1222_bit0 C1223_bit0 -C1234_bit0 C1235_bit0 -C1247_bit0 C1248_bit0 -C1260_bit0 C1261_bit0 -C1274_bit0 C1275_bit0 -C1287_bit0 C1288_bit0 -C1301_bit0 C1302_bit0 C1315_bit0 C1341_bit0 C1350_bit0 -C1360_bit0 -C1372_bit0 C1373_bit0 -C1385_bit0 C1386_bit0 -C1397_bit0 C1398_bit0 -C1410_bit0 -C1411_bit0 -C1423_bit0 C1424_bit0 C1440_bit0 C1448_bit0 C1456_bit0 -C1464_bit0 C1473_bit0 C1481_bit0 C1489_bit0 -C1500_bit0 C1501_bit0 -C1502_bit0 -C1503_bit0 -C1504_bit0 -C1505_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 C1518_bit0 -C1519_bit0 -C1520_bit0 -C1521_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 C1534_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 -C1547_bit0 C1548_bit0 
c objective function=30243
c Total CPU time (ms) : 1239.061

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/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1861112388 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 39 3 38 16 0 23 0
[pid=8406] 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/8406
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=8407
New thread pid=8408
New thread pid=8409
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=8410
New thread pid=8411
New thread pid=8412
New thread pid=8413
New thread pid=8414
New thread pid=8415
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/wulflinc25/normalized-mps-v2-13-7-p0548.opb
New thread pid=8416
One traced child (pid=8416) exited with status: 0
New thread pid=8417

[startup+10.0069 s]
Raw data (loadavg): 1.32 1.07 1.02 2/66 8417
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18185 3 1 0 659 46 0 0 25 0 11 0 1861112388 862670848 20632 4294967295 134512640 134569956 3221224336 3221214464 1131576676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210613 20632 13129 16 0 210597 0
[pid=8406] vsize: 842452
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (Kb) 842452

[startup+20.0145 s]
Raw data (loadavg): 1.27 1.06 1.02 2/66 8417
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18196 3 1 0 1607 47 0 0 25 0 11 0 1861112388 861298688 21041 4294967295 134512640 134569956 3221224336 3221214544 1131062552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 21041 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 16.54
Current children cumulated vsize (Kb) 841112
One traced child (pid=8417) exited with status: 0
New thread pid=8418
One traced child (pid=8418) exited with status: 0
New thread pid=8419
One traced child (pid=8419) exited with status: 0
New thread pid=8420
One traced child (pid=8420) exited with status: 0
New thread pid=8421

[startup+30.0151 s]
Raw data (loadavg): 1.23 1.06 1.02 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) S 8405 8406 4419 0 -1 0 18206 3 1 0 2561 48 0 0 25 0 11 0 1861112388 861298688 21445 4294967295 134512640 134569956 3221224336 3221213016 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 21445 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 26.09
Current children cumulated vsize (Kb) 841112

[startup+40.0157 s]
Raw data (loadavg): 1.19 1.06 1.02 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18211 3 1 0 3503 48 0 0 25 0 11 0 1861112388 861298688 22099 4294967295 134512640 134569956 3221224336 3221214640 1131430264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 22099 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 35.51
Current children cumulated vsize (Kb) 841112

[startup+50.0153 s]
Raw data (loadavg): 1.16 1.06 1.02 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18218 3 1 0 4438 49 0 0 24 0 11 0 1861112388 861298688 22237 4294967295 134512640 134569956 3221224336 3221214512 1131475486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 22237 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 44.87
Current children cumulated vsize (Kb) 841112

[startup+60.0159 s]
Raw data (loadavg): 1.14 1.05 1.02 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18225 3 1 0 5370 49 0 0 18 0 11 0 1861112388 861298688 22338 4294967295 134512640 134569956 3221224336 3221214536 1131394759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 22338 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 54.19
Current children cumulated vsize (Kb) 841112

[startup+70.0165 s]
Raw data (loadavg): 1.12 1.05 1.02 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18234 3 1 0 6284 49 0 0 18 0 11 0 1861112388 861298688 22526 4294967295 134512640 134569956 3221224336 3221214520 1131445123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 22526 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 63.33
Current children cumulated vsize (Kb) 841112

[startup+80.0181 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18242 3 1 0 7222 49 0 0 24 0 11 0 1861112388 861298688 22772 4294967295 134512640 134569956 3221224336 3221214216 1131674477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 22772 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 72.71
Current children cumulated vsize (Kb) 841112

[startup+90.0187 s]
Raw data (loadavg): 1.08 1.05 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18250 3 1 0 8169 49 0 0 23 0 11 0 1861112388 861298688 23148 4294967295 134512640 134569956 3221224336 3221214144 1080338984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23148 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 82.18
Current children cumulated vsize (Kb) 841112

[startup+100.019 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18258 3 1 0 9121 50 0 0 25 0 11 0 1861112388 861298688 23236 4294967295 134512640 134569956 3221224336 3221214520 1131445170 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23236 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 91.71
Current children cumulated vsize (Kb) 841112

[startup+110.02 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18265 3 1 0 10080 51 0 0 25 0 11 0 1861112388 861298688 23338 4294967295 134512640 134569956 3221224336 3221214624 1131490735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 23338 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (Kb) 841112

[startup+120.02 s]
Raw data (loadavg): 1.05 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18273 3 1 0 11031 51 0 0 25 0 11 0 1861112388 861298688 23451 4294967295 134512640 134569956 3221224336 3221214392 1131579001 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23451 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 110.82
Current children cumulated vsize (Kb) 841112

[startup+130.021 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18281 3 1 0 11977 52 0 0 18 0 11 0 1861112388 861298688 23618 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23618 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 120.29
Current children cumulated vsize (Kb) 841112

[startup+140.022 s]
Raw data (loadavg): 1.03 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18286 3 1 0 12943 54 0 0 25 0 11 0 1861112388 861298688 23717 4294967295 134512640 134569956 3221224336 3221214624 1131490919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23717 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 841112

[startup+150.024 s]
Raw data (loadavg): 1.03 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18296 3 1 0 13886 54 0 0 25 0 11 0 1861112388 861298688 23834 4294967295 134512640 134569956 3221224336 3221214616 1131387487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 23834 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (Kb) 841112

[startup+160.025 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18306 3 1 0 14843 54 0 0 25 0 11 0 1861112388 861298688 24027 4294967295 134512640 134569956 3221224336 3221214536 1131394475 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24027 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 148.97
Current children cumulated vsize (Kb) 841112

[startup+170.025 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18316 3 1 0 15811 55 0 0 25 0 11 0 1861112388 861298688 24234 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24234 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 841112

[startup+180.026 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18325 3 1 0 16791 55 0 0 23 0 11 0 1861112388 861298688 24271 4294967295 134512640 134569956 3221224336 3221214528 1131385164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24271 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 168.46
Current children cumulated vsize (Kb) 841112

[startup+190.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18335 3 1 0 17768 56 0 0 18 0 11 0 1861112388 861298688 24325 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24325 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 178.24
Current children cumulated vsize (Kb) 841112

[startup+200.026 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18344 3 1 0 18749 57 0 0 25 0 11 0 1861112388 861298688 24377 4294967295 134512640 134569956 3221224336 3221214568 1131446951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24377 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 188.06
Current children cumulated vsize (Kb) 841112

[startup+210.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18354 3 1 0 19730 57 0 0 25 0 11 0 1861112388 861298688 24415 4294967295 134512640 134569956 3221224336 3221214624 1131484463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24415 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 197.87
Current children cumulated vsize (Kb) 841112

[startup+220.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18363 3 1 0 20710 57 0 0 25 0 11 0 1861112388 861298688 24459 4294967295 134512640 134569956 3221224336 3221214624 1131490752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24459 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 207.67
Current children cumulated vsize (Kb) 841112

[startup+230.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18373 3 1 0 21690 58 0 0 24 0 11 0 1861112388 861298688 24496 4294967295 134512640 134569956 3221224336 3221214624 1131490752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24496 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 217.48
Current children cumulated vsize (Kb) 841112

[startup+240.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18382 3 1 0 22671 58 0 0 24 0 11 0 1861112388 861298688 24517 4294967295 134512640 134569956 3221224336 3221214536 1131394724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24517 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 227.29
Current children cumulated vsize (Kb) 841112

[startup+250.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18392 3 1 0 23649 58 0 0 18 0 11 0 1861112388 861298688 24582 4294967295 134512640 134569956 3221224336 3221214536 1131394513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24582 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 237.07
Current children cumulated vsize (Kb) 841112

[startup+260.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18400 3 1 0 24629 58 0 0 25 0 11 0 1861112388 861298688 24615 4294967295 134512640 134569956 3221224336 3221214472 1131578975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24615 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 246.87
Current children cumulated vsize (Kb) 841112

[startup+270.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18409 3 1 0 25606 59 0 0 20 0 11 0 1861112388 861298688 24651 4294967295 134512640 134569956 3221224336 3221214536 1131394463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24651 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 256.65
Current children cumulated vsize (Kb) 841112

[startup+280.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18418 3 1 0 26580 60 0 0 21 0 11 0 1861112388 861298688 24692 4294967295 134512640 134569956 3221224336 3221214600 1131445155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24692 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 266.4
Current children cumulated vsize (Kb) 841112

[startup+290.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18426 3 1 0 27555 60 0 0 25 0 11 0 1861112388 861298688 24750 4294967295 134512640 134569956 3221224336 3221214616 1131385158 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24750 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 276.15
Current children cumulated vsize (Kb) 841112

[startup+300.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18435 3 1 0 28530 61 0 0 25 0 11 0 1861112388 861298688 24815 4294967295 134512640 134569956 3221224336 3221214624 1131484316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24815 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 285.91
Current children cumulated vsize (Kb) 841112

[startup+310.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18444 3 1 0 29506 61 0 0 18 0 11 0 1861112388 861298688 24869 4294967295 134512640 134569956 3221224336 3221214624 1131484316 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24869 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 295.67
Current children cumulated vsize (Kb) 841112

[startup+320.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18453 3 1 0 30482 62 0 0 20 0 11 0 1861112388 861298688 24944 4294967295 134512640 134569956 3221224336 3221214216 1131676073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 24944 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 305.44
Current children cumulated vsize (Kb) 841112

[startup+330.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18462 3 1 0 31455 62 0 0 20 0 11 0 1861112388 861298688 24979 4294967295 134512640 134569956 3221224336 3221214168 1131387484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 24979 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 315.17
Current children cumulated vsize (Kb) 841112

[startup+340.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18471 3 1 0 32423 63 0 0 22 0 11 0 1861112388 861298688 25030 4294967295 134512640 134569956 3221224336 3221214624 1131484316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25030 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 324.86
Current children cumulated vsize (Kb) 841112

[startup+350.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18479 3 1 0 33396 63 0 0 25 0 11 0 1861112388 861298688 25084 4294967295 134512640 134569956 3221224336 3221214624 1131485748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25084 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 334.59
Current children cumulated vsize (Kb) 841112

[startup+360.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18488 3 1 0 34365 63 0 0 25 0 11 0 1861112388 861298688 25170 4294967295 134512640 134569956 3221224336 3221214624 1131486240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25170 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 344.28
Current children cumulated vsize (Kb) 841112

[startup+370.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18497 3 1 0 35337 65 0 0 25 0 11 0 1861112388 861298688 25262 4294967295 134512640 134569956 3221224336 3221214624 1131394612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25262 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 354.02
Current children cumulated vsize (Kb) 841112

[startup+380.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18506 3 1 0 36308 65 0 0 24 0 11 0 1861112388 861298688 25325 4294967295 134512640 134569956 3221224336 3221214536 1131394469 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25325 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 363.73
Current children cumulated vsize (Kb) 841112

[startup+390.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18515 3 1 0 37278 65 0 0 25 0 11 0 1861112388 861298688 25390 4294967295 134512640 134569956 3221224336 3221214664 1131390449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25390 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 373.43
Current children cumulated vsize (Kb) 841112

[startup+400.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18524 3 1 0 38246 66 0 0 25 0 11 0 1861112388 861298688 25452 4294967295 134512640 134569956 3221224336 3221214576 1131390119 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25452 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 383.12
Current children cumulated vsize (Kb) 841112

[startup+410.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18532 3 1 0 39216 67 0 0 18 0 11 0 1861112388 861298688 25521 4294967295 134512640 134569956 3221224336 3221214536 1131394736 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25521 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 392.83
Current children cumulated vsize (Kb) 841112

[startup+420.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18541 3 1 0 40185 67 0 0 25 0 11 0 1861112388 861298688 25601 4294967295 134512640 134569956 3221224336 3221214536 1131394689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25601 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 402.52
Current children cumulated vsize (Kb) 841112

[startup+430.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18549 3 1 0 41159 68 0 0 25 0 11 0 1861112388 861298688 25662 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25662 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 412.27
Current children cumulated vsize (Kb) 841112

[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18558 3 1 0 42136 68 0 0 20 0 11 0 1861112388 861298688 25761 4294967295 134512640 134569956 3221224336 3221214624 1131484316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25761 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 422.04
Current children cumulated vsize (Kb) 841112

[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18568 3 1 0 43116 68 0 0 16 0 11 0 1861112388 861298688 25826 4294967295 134512640 134569956 3221224336 3221214536 1131394652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25826 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 431.84
Current children cumulated vsize (Kb) 841112

[startup+460.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18577 3 1 0 44093 69 0 0 19 0 11 0 1861112388 861298688 25859 4294967295 134512640 134569956 3221224336 3221214624 1131484375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 25859 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 441.62
Current children cumulated vsize (Kb) 841112

[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18586 3 1 0 45072 69 0 0 25 0 11 0 1861112388 861298688 25876 4294967295 134512640 134569956 3221224336 3221214216 1131675952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25876 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 451.41
Current children cumulated vsize (Kb) 841112

[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18595 3 1 0 46050 70 0 0 25 0 11 0 1861112388 861298688 25913 4294967295 134512640 134569956 3221224336 3221214624 1131486478 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 25913 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 461.2
Current children cumulated vsize (Kb) 841112

[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18605 3 1 0 47031 70 0 0 17 0 11 0 1861112388 861298688 26001 4294967295 134512640 134569956 3221224336 3221214536 1131394540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26001 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 471.01
Current children cumulated vsize (Kb) 841112

[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18614 3 1 0 48016 71 0 0 19 0 11 0 1861112388 861298688 26036 4294967295 134512640 134569956 3221224336 3221214536 1131394510 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26036 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 480.87
Current children cumulated vsize (Kb) 841112

[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18624 3 1 0 48999 71 0 0 16 0 11 0 1861112388 861298688 26068 4294967295 134512640 134569956 3221224336 3221214312 1085806301 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26068 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 490.7
Current children cumulated vsize (Kb) 841112

[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18633 3 1 0 49983 71 0 0 25 0 11 0 1861112388 861298688 26087 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26087 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 500.54
Current children cumulated vsize (Kb) 841112

[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18642 3 1 0 50967 72 0 0 25 0 11 0 1861112388 861298688 26107 4294967295 134512640 134569956 3221224336 3221214624 1131486240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26107 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 510.39
Current children cumulated vsize (Kb) 841112

[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18651 3 1 0 51952 72 0 0 23 0 11 0 1861112388 861298688 26146 4294967295 134512640 134569956 3221224336 3221214616 1131387506 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26146 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (Kb) 841112

[startup+550.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18661 3 1 0 52934 73 0 0 19 0 11 0 1861112388 861298688 26174 4294967295 134512640 134569956 3221224336 3221214624 1131486055 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26174 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 530.07
Current children cumulated vsize (Kb) 841112

[startup+560.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18670 3 1 0 53919 73 0 0 22 0 11 0 1861112388 861298688 26192 4294967295 134512640 134569956 3221224336 3221214624 1131486074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26192 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 539.92
Current children cumulated vsize (Kb) 841112

[startup+570.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18680 3 1 0 54910 73 0 0 17 0 11 0 1861112388 861298688 26218 4294967295 134512640 134569956 3221224336 3221214624 1131484504 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26218 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 549.83
Current children cumulated vsize (Kb) 841112

[startup+580.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18689 3 1 0 55894 74 0 0 25 0 11 0 1861112388 861298688 26252 4294967295 134512640 134569956 3221224336 3221214528 1131385069 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26252 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 559.68
Current children cumulated vsize (Kb) 841112

[startup+590.137 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18698 3 1 0 56879 74 0 0 24 0 11 0 1861112388 861298688 26279 4294967295 134512640 134569956 3221224336 3221214536 1131394803 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26279 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (Kb) 841112

[startup+600.137 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18708 3 1 0 57860 74 0 0 16 0 11 0 1861112388 861298688 26296 4294967295 134512640 134569956 3221224336 3221214536 1131394795 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26296 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (Kb) 841112

[startup+610.138 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18717 3 1 0 58844 75 0 0 25 0 11 0 1861112388 861298688 26336 4294967295 134512640 134569956 3221224336 3221214624 1131484127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26336 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 589.19
Current children cumulated vsize (Kb) 841112

[startup+620.139 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18726 3 1 0 59824 75 0 0 24 0 11 0 1861112388 861298688 26361 4294967295 134512640 134569956 3221224336 3221214624 1131486240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26361 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 598.99
Current children cumulated vsize (Kb) 841112

[startup+630.139 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18736 3 1 0 60803 76 0 0 25 0 11 0 1861112388 861298688 26388 4294967295 134512640 134569956 3221224336 3221214624 1131491243 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26388 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 608.79
Current children cumulated vsize (Kb) 841112

[startup+640.14 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18746 3 1 0 61783 76 0 0 18 0 11 0 1861112388 861298688 26421 4294967295 134512640 134569956 3221224336 3221214624 1131485624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26421 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 618.59
Current children cumulated vsize (Kb) 841112

[startup+650.14 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18755 3 1 0 62767 77 0 0 25 0 11 0 1861112388 861298688 26473 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26473 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 628.44
Current children cumulated vsize (Kb) 841112

[startup+660.141 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18764 3 1 0 63754 77 0 0 22 0 11 0 1861112388 861298688 26490 4294967295 134512640 134569956 3221224336 3221214536 1131394871 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26490 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 638.31
Current children cumulated vsize (Kb) 841112

[startup+670.142 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18773 3 1 0 64740 77 0 0 25 0 11 0 1861112388 861298688 26506 4294967295 134512640 134569956 3221224336 3221214616 1131387503 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26506 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 648.17
Current children cumulated vsize (Kb) 841112

[startup+680.142 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18783 3 1 0 65723 78 0 0 25 0 11 0 1861112388 861298688 26536 4294967295 134512640 134569956 3221224336 3221214624 1131485748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26536 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 658.01
Current children cumulated vsize (Kb) 841112

[startup+690.142 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) S 8405 8406 4419 0 -1 0 18792 3 1 0 66706 78 0 0 25 0 11 0 1861112388 861298688 26549 4294967295 134512640 134569956 3221224336 3221213200 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26549 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 667.84
Current children cumulated vsize (Kb) 841112

[startup+700.142 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18802 3 1 0 67688 78 0 0 25 0 11 0 1861112388 861298688 26568 4294967295 134512640 134569956 3221224336 3221214528 1131385187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26568 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 677.66
Current children cumulated vsize (Kb) 841112

[startup+710.143 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18812 3 1 0 68665 79 0 0 25 0 11 0 1861112388 861298688 26598 4294967295 134512640 134569956 3221224336 3221214536 1131395446 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26598 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 687.44
Current children cumulated vsize (Kb) 841112

[startup+720.144 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18821 3 1 0 69645 79 0 0 25 0 11 0 1861112388 861298688 26625 4294967295 134512640 134569956 3221224336 3221214620 1131387436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26625 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 697.24
Current children cumulated vsize (Kb) 841112

[startup+730.145 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18831 3 1 0 70620 79 0 0 25 0 11 0 1861112388 861298688 26671 4294967295 134512640 134569956 3221224336 3221214624 1131484316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26671 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 706.99
Current children cumulated vsize (Kb) 841112

[startup+740.146 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18840 3 1 0 71596 81 0 0 24 0 11 0 1861112388 861298688 26707 4294967295 134512640 134569956 3221224336 3221214576 1131390119 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26707 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 716.77
Current children cumulated vsize (Kb) 841112

[startup+750.145 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18850 3 1 0 72574 82 0 0 25 0 11 0 1861112388 861298688 26766 4294967295 134512640 134569956 3221224336 3221214576 1131391068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26766 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 726.56
Current children cumulated vsize (Kb) 841112

[startup+760.146 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18860 3 1 0 73556 83 0 0 24 0 11 0 1861112388 861298688 26796 4294967295 134512640 134569956 3221224336 3221214536 1131395899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26796 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 736.39
Current children cumulated vsize (Kb) 841112

[startup+770.147 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18869 3 1 0 74539 83 0 0 22 0 11 0 1861112388 861298688 26826 4294967295 134512640 134569956 3221224336 3221214536 1131394867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26826 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 746.22
Current children cumulated vsize (Kb) 841112

[startup+780.147 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18879 3 1 0 75521 83 0 0 17 0 11 0 1861112388 861298688 26847 4294967295 134512640 134569956 3221224336 3221214536 1131396395 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26847 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 756.04
Current children cumulated vsize (Kb) 841112

[startup+790.148 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18888 3 1 0 76503 84 0 0 25 0 11 0 1861112388 861298688 26863 4294967295 134512640 134569956 3221224336 3221214624 1131484398 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26863 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 765.87
Current children cumulated vsize (Kb) 841112

[startup+800.148 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18898 3 1 0 77485 85 0 0 25 0 11 0 1861112388 861298688 26897 4294967295 134512640 134569956 3221224336 3221214624 1131485567 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26897 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 775.7
Current children cumulated vsize (Kb) 841112

[startup+810.149 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18907 3 1 0 78469 86 0 0 23 0 11 0 1861112388 861298688 26919 4294967295 134512640 134569956 3221224336 3221214536 1131394863 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 26919 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 785.55
Current children cumulated vsize (Kb) 841112

[startup+820.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18917 3 1 0 79450 87 0 0 19 0 11 0 1861112388 861298688 26937 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26937 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 795.37
Current children cumulated vsize (Kb) 841112

[startup+830.151 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18927 3 1 0 80427 87 0 0 16 0 11 0 1861112388 861298688 26961 4294967295 134512640 134569956 3221224336 3221214472 1131579842 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26961 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 805.14
Current children cumulated vsize (Kb) 841112

[startup+840.152 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18936 3 1 0 81406 88 0 0 25 0 11 0 1861112388 861298688 26980 4294967295 134512640 134569956 3221224336 3221214624 1131484375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 26980 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 814.94
Current children cumulated vsize (Kb) 841112

[startup+850.152 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18945 3 1 0 82387 88 0 0 25 0 11 0 1861112388 861298688 27037 4294967295 134512640 134569956 3221224336 3221214496 1131419630 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27037 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 824.75
Current children cumulated vsize (Kb) 841112

[startup+860.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18955 3 1 0 83366 88 0 0 24 0 11 0 1861112388 861298688 27063 4294967295 134512640 134569956 3221224336 3221214624 1131490752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27063 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 834.54
Current children cumulated vsize (Kb) 841112

[startup+870.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18964 3 1 0 84346 89 0 0 25 0 11 0 1861112388 861298688 27093 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27093 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 844.35
Current children cumulated vsize (Kb) 841112

[startup+880.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18974 3 1 0 85323 90 0 0 18 0 11 0 1861112388 861298688 27123 4294967295 134512640 134569956 3221224336 3221214536 1131394452 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27123 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 854.13
Current children cumulated vsize (Kb) 841112

[startup+890.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18983 3 1 0 86300 90 0 0 25 0 11 0 1861112388 861298688 27148 4294967295 134512640 134569956 3221224336 3221214600 1131445224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27148 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 863.9
Current children cumulated vsize (Kb) 841112

[startup+900.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 18991 3 1 0 87283 90 0 0 20 0 11 0 1861112388 861298688 27191 4294967295 134512640 134569956 3221224336 3221214536 1131396437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27191 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 873.73
Current children cumulated vsize (Kb) 841112

[startup+910.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19000 3 1 0 88264 90 0 0 25 0 11 0 1861112388 861298688 27231 4294967295 134512640 134569956 3221224336 3221214624 1131484327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27231 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 883.54
Current children cumulated vsize (Kb) 841112

[startup+920.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19009 3 1 0 89245 91 0 0 25 0 11 0 1861112388 861298688 27271 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27271 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 893.36
Current children cumulated vsize (Kb) 841112

[startup+930.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19018 3 1 0 90227 91 0 0 23 0 11 0 1861112388 861298688 27290 4294967295 134512640 134569956 3221224336 3221214536 1131394759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27290 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 903.18
Current children cumulated vsize (Kb) 841112

[startup+940.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19026 3 1 0 91210 92 0 0 25 0 11 0 1861112388 861298688 27313 4294967295 134512640 134569956 3221224336 3221214620 1131387436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27313 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 913.02
Current children cumulated vsize (Kb) 841112

[startup+950.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19035 3 1 0 92191 92 0 0 24 0 11 0 1861112388 861298688 27341 4294967295 134512640 134569956 3221224336 3221214624 1131486240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27341 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 922.83
Current children cumulated vsize (Kb) 841112

[startup+960.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19044 3 1 0 93171 92 0 0 25 0 11 0 1861112388 861298688 27377 4294967295 134512640 134569956 3221224336 3221214620 1131394432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27377 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 932.63
Current children cumulated vsize (Kb) 841112

[startup+970.161 s]
Raw data (loadavg): 1.15 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19054 3 1 0 94151 93 0 0 25 0 11 0 1861112388 861298688 27409 4294967295 134512640 134569956 3221224336 3221214528 1131385069 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27409 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 942.44
Current children cumulated vsize (Kb) 841112

[startup+980.162 s]
Raw data (loadavg): 1.13 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19063 3 1 0 95131 93 0 0 25 0 11 0 1861112388 861298688 27436 4294967295 134512640 134569956 3221224336 3221214536 1131394724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27436 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 841112

[startup+990.163 s]
Raw data (loadavg): 1.11 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19071 3 1 0 96113 94 0 0 25 0 11 0 1861112388 861298688 27479 4294967295 134512640 134569956 3221224336 3221214536 1131394612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27479 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 962.07
Current children cumulated vsize (Kb) 841112

[startup+1000.16 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19080 3 1 0 97094 94 0 0 25 0 11 0 1861112388 861298688 27503 4294967295 134512640 134569956 3221224336 3221214624 1131491517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27503 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 971.88
Current children cumulated vsize (Kb) 841112

[startup+1010.16 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19089 3 1 0 98075 95 0 0 25 0 11 0 1861112388 861298688 27541 4294967295 134512640 134569956 3221224336 3221214536 1131394584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27541 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 981.7
Current children cumulated vsize (Kb) 841112

[startup+1020.16 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19098 3 1 0 99055 95 0 0 25 0 11 0 1861112388 861298688 27565 4294967295 134512640 134569956 3221224336 3221214536 1131394578 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27565 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 991.5
Current children cumulated vsize (Kb) 841112

[startup+1030.17 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19108 3 1 0 100034 96 0 0 25 0 11 0 1861112388 861298688 27591 4294967295 134512640 134569956 3221224336 3221214624 1131491529 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27591 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1001.3
Current children cumulated vsize (Kb) 841112

[startup+1040.17 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19117 3 1 0 101013 96 0 0 25 0 11 0 1861112388 861298688 27623 4294967295 134512640 134569956 3221224336 3221214624 1131486240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27623 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1011.09
Current children cumulated vsize (Kb) 841112

[startup+1050.17 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19127 3 1 0 101988 97 0 0 25 0 11 0 1861112388 861298688 27651 4294967295 134512640 134569956 3221224336 3221214472 1131577945 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27651 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1020.85
Current children cumulated vsize (Kb) 841112

[startup+1060.17 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19135 3 1 0 102968 98 0 0 25 0 11 0 1861112388 861298688 27681 4294967295 134512640 134569956 3221224336 3221214400 1131674594 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27681 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1030.66
Current children cumulated vsize (Kb) 841112

[startup+1070.17 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19144 3 1 0 103943 98 0 0 25 0 11 0 1861112388 861298688 27720 4294967295 134512640 134569956 3221224336 3221214624 1131486468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27720 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1040.41
Current children cumulated vsize (Kb) 841112

[startup+1080.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19154 3 1 0 104917 98 0 0 19 0 11 0 1861112388 861298688 27767 4294967295 134512640 134569956 3221224336 3221214536 1131395388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27767 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1050.15
Current children cumulated vsize (Kb) 841112

[startup+1090.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19164 3 1 0 105892 98 0 0 17 0 11 0 1861112388 861298688 27806 4294967295 134512640 134569956 3221224336 3221214536 1131394724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27806 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1059.9
Current children cumulated vsize (Kb) 841112

[startup+1100.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19173 3 1 0 106870 98 0 0 25 0 11 0 1861112388 861298688 27867 4294967295 134512640 134569956 3221224336 3221214624 1131485748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27867 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1069.68
Current children cumulated vsize (Kb) 841112

[startup+1110.17 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19182 3 1 0 107851 99 0 0 25 0 11 0 1861112388 861298688 27906 4294967295 134512640 134569956 3221224336 3221214536 1131394578 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27906 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1079.5
Current children cumulated vsize (Kb) 841112

[startup+1120.17 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19191 3 1 0 108830 99 0 0 25 0 11 0 1861112388 861298688 27932 4294967295 134512640 134569956 3221224336 3221214488 1131419868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 27932 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1089.29
Current children cumulated vsize (Kb) 841112

[startup+1130.17 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19201 3 1 0 109808 100 0 0 19 0 11 0 1861112388 861298688 27972 4294967295 134512640 134569956 3221224336 3221214536 1131394759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27972 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1099.08
Current children cumulated vsize (Kb) 841112

[startup+1140.17 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19210 3 1 0 110787 100 0 0 25 0 11 0 1861112388 861298688 27989 4294967295 134512640 134569956 3221224336 3221214624 1131484375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 27989 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1108.87
Current children cumulated vsize (Kb) 841112

[startup+1150.17 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19219 3 1 0 111767 101 0 0 25 0 11 0 1861112388 861298688 28023 4294967295 134512640 134569956 3221224336 3221214536 1131394759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28023 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1118.68
Current children cumulated vsize (Kb) 841112

[startup+1160.17 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19229 3 1 0 112744 101 0 0 25 0 11 0 1861112388 861298688 28056 4294967295 134512640 134569956 3221224336 3221214536 1131395345 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 28056 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1128.45
Current children cumulated vsize (Kb) 841112

[startup+1170.17 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19238 3 1 0 113723 102 0 0 20 0 11 0 1861112388 861298688 28091 4294967295 134512640 134569956 3221224336 3221214532 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28091 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1138.25
Current children cumulated vsize (Kb) 841112

[startup+1180.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19247 3 1 0 114703 102 0 0 17 0 11 0 1861112388 861298688 28121 4294967295 134512640 134569956 3221224336 3221214528 1131385087 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28121 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1148.05
Current children cumulated vsize (Kb) 841112

[startup+1190.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19255 3 1 0 115683 102 0 0 23 0 11 0 1861112388 861298688 28149 4294967295 134512640 134569956 3221224336 3221214624 1131491410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 28149 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1157.85
Current children cumulated vsize (Kb) 841112

[startup+1200.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19261 3 1 0 116667 102 0 0 25 0 11 0 1861112388 861298688 28175 4294967295 134512640 134569956 3221224336 3221214528 1131385079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 28175 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1167.69
Current children cumulated vsize (Kb) 841112

[startup+1210.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) S 8405 8406 4419 0 -1 0 19265 3 1 0 117654 103 0 0 25 0 11 0 1861112388 861298688 28179 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28179 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1177.57
Current children cumulated vsize (Kb) 841112

[startup+1220.18 s]
Raw data (loadavg): 1.15 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19270 3 1 0 118627 103 0 0 25 0 11 0 1861112388 861298688 28201 4294967295 134512640 134569956 3221224336 3221214528 1131385140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28201 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1187.3
Current children cumulated vsize (Kb) 841112

[startup+1230.18 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19279 3 1 0 119581 104 0 0 25 0 11 0 1861112388 861298688 28247 4294967295 134512640 134569956 3221224336 3221214536 1131394825 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8406/statm): 210278 28247 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1196.85
Current children cumulated vsize (Kb) 841112

[startup+1240.18 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19289 3 1 0 120533 105 0 0 25 0 11 0 1861112388 861298688 28301 4294967295 134512640 134569956 3221224336 3221214528 1131385095 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28301 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 841112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.18 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 8421
Raw data (/proc/8406/stat): 8406 (java) R 8405 8406 4419 0 -1 0 19289 3 1 0 120533 105 0 0 25 0 11 0 1861112388 861298688 28301 4294967295 134512640 134569956 3221224336 3221214624 1131484375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8406/statm): 210278 28301 13129 16 0 210262 0
[pid=8406] vsize: 841112
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 841112

Sending SIGTERM to -8406
Sleeping 2 seconds
New thread pid=8423
New thread pid=8424
One traced child (pid=8424) exited with status: 0
One traced child (pid=8415) exited with status: 0
One traced child (pid=8410) exited with status: 0
One traced child (pid=8407) exited with status: 143
One traced child (pid=8408) exited with status: 143
One traced child (pid=8409) exited with status: 143
One traced child (pid=8414) exited with status: 143
One traced child (pid=8412) exited with status: 143
One traced child (pid=8411) exited with status: 143
One traced child (pid=8421) exited with status: 143
One traced child (pid=8423) exited with status: 143
One traced child (pid=8413) exited with status: 143
One traced child (pid=8406) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.43
CPU time (s): 1235.79
CPU user time (s): 1233.89
CPU system time (s): 1.89971
CPU usage (%): 99.6265
Max. virtual memory (cumulated for all children) (Kb): 842452

Verifier Data

Verifier:	OK	30243