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-p0282.opb
MD5SUM1a8deb577df7e72871b7e1004c098336
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 258411
Optimality of the best value was proved YES
Number of terms in the objective function 282
Biggest coefficient in the objective function 160646
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 1302615
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 160646
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1302615
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark50.1794
Number of variables282
Total number of constraints523
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)282
Number of constraints which are nor clauses,nor cardinality constraints64
Minimum length of a constraint1
Maximum length of a constraint57

Trace number 8865

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 19:32:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6897 boxname=wulflinc29 idbench=1037 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 6897
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        613256 kB
Buffers:         41596 kB
Cached:         348228 kB
SwapCached:        768 kB
Active:         246464 kB
Inactive:       145868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        613004 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23428 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 19:53:05 (client local time) WITH STATUS 143 IN 1237.79 SECONDS
stats: 6897 0 1237.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/wulflinc29/normalized-mps-v2-13-7-p0282.opb
c reading problem ... done. Time 1.07 ms.
c #vars     282
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              457129 		Current CPU time: 1.36 ms
c CURRENT OPTIMUM=              453986 		Current CPU time: 1.51 ms
c CURRENT OPTIMUM=              415236 		Current CPU time: 3.45 ms
c CURRENT OPTIMUM=              413972 		Current CPU time: 4.22 ms
c CURRENT OPTIMUM=              412188 		Current CPU time: 8.33 ms
c CURRENT OPTIMUM=              411247 		Current CPU time: 8.91 ms
c CURRENT OPTIMUM=              410805 		Current CPU time: 9.17 ms
c CURRENT OPTIMUM=              409125 		Current CPU time: 12.34 ms
c CURRENT OPTIMUM=              408041 		Current CPU time: 21.85 ms
c CURRENT OPTIMUM=              352831 		Current CPU time: 30.03 ms
c CURRENT OPTIMUM=              325096 		Current CPU time: 30.95 ms
c CURRENT OPTIMUM=              316650 		Current CPU time: 32.84 ms
c CURRENT OPTIMUM=              311842 		Current CPU time: 34.15 ms
c CURRENT OPTIMUM=              310295 		Current CPU time: 38.66 ms
c CURRENT OPTIMUM=              309164 		Current CPU time: 44.49 ms
c starts		: 19
c conflicts		: 840
c decisions		: 12910
c propagations		: 22403
c inspects		: 504134
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 839
c root simplifications	: 19
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 8039
c speed (decisions/second)	: 10.900696428692052
c non guided choices	3962
c random choices	0
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_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 -C1203_bit0 -C1204_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 -C1222_bit0 -C1223_bit0 C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1235_bit0 C1237_bit0 -C1239_bit0 -C1241_bit0 C1243_bit0 C1245_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 C1256_bit0 -C1257_bit0 -C1258_bit0 C1259_bit0 -C1260_bit0 -C1261_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 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 C1281_bit0 -C1282_bit0 C1283_bit0 C1284_bit0 C1285_bit0 -C1286_bit0 -C1287_bit0 C1288_bit0 C1289_bit0 
c objective function=309164
c Total CPU time (ms) : 1228.835

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/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1861073117 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 39 3 38 16 0 23 0
[pid=15415] 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/15415
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=15416
New thread pid=15417
New thread pid=15418
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=15419
New thread pid=15420
New thread pid=15421
New thread pid=15422
New thread pid=15423
New thread pid=15424
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/wulflinc29/normalized-mps-v2-13-7-p0282.opb
New thread pid=15425
One traced child (pid=15425) exited with status: 0
New thread pid=15426
One traced child (pid=15426) exited with status: 0
New thread pid=15427
One traced child (pid=15427) exited with status: 0
New thread pid=15428
One traced child (pid=15428) exited with status: 0
New thread pid=15429
One traced child (pid=15429) exited with status: 0
New thread pid=15430

[startup+10.003 s]
Raw data (loadavg): 1.14 1.03 1.01 3/66 15430
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18207 4 1 0 643 47 0 0 17 0 11 0 1861073117 859475968 20117 4294967295 134512640 134569956 3221224336 3221214480 1131400332 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209833 20117 13129 16 0 209817 0
[pid=15415] vsize: 839332
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (Kb) 839332
One traced child (pid=15430) exited with status: 0
New thread pid=15431
One traced child (pid=15431) exited with status: 0
New thread pid=15432
One traced child (pid=15432) exited with status: 0
New thread pid=15433

[startup+20.0038 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 15433
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18222 4 1 0 1594 48 0 0 18 0 11 0 1861073117 858509312 20249 4294967295 134512640 134569956 3221224336 3221214480 1131547330 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 20249 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 16.42
Current children cumulated vsize (Kb) 838388
One traced child (pid=15433) exited with status: 0
New thread pid=15434

[startup+30.0036 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 15434
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18232 4 1 0 2550 49 0 0 23 0 11 0 1861073117 858509312 20447 4294967295 134512640 134569956 3221224336 3221214572 1131395024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 20447 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (Kb) 838388
One traced child (pid=15434) exited with status: 0
New thread pid=15435
One traced child (pid=15435) exited with status: 0
New thread pid=15436
One traced child (pid=15436) exited with status: 0
New thread pid=15437
One traced child (pid=15437) exited with status: 0
New thread pid=15438
One traced child (pid=15438) exited with status: 0
New thread pid=15439

[startup+40.0043 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 15439
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18242 4 1 0 3492 49 1 1 25 0 11 0 1861073117 858509312 20662 4294967295 134512640 134569956 3221224336 3221214528 1131389291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 20662 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 35.43
Current children cumulated vsize (Kb) 838388
One traced child (pid=15439) exited with status: 0
New thread pid=15440

[startup+50.0041 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18253 4 1 0 4431 50 1 1 25 0 11 0 1861073117 858509312 21145 4294967295 134512640 134569956 3221224336 3221214416 1131400345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 21145 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 44.83
Current children cumulated vsize (Kb) 838388

[startup+60.0039 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18266 4 1 0 5384 50 1 1 18 0 11 0 1861073117 858509312 21291 4294967295 134512640 134569956 3221224336 3221214528 1131388842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21291 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 54.36
Current children cumulated vsize (Kb) 838388

[startup+70.0047 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18274 4 1 0 6344 50 1 1 19 0 11 0 1861073117 858509312 21359 4294967295 134512640 134569956 3221224336 3221214528 1131389249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21359 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 63.96
Current children cumulated vsize (Kb) 838388

[startup+80.0055 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18282 4 1 0 7304 50 1 1 24 0 11 0 1861073117 858509312 21540 4294967295 134512640 134569956 3221224336 3221214624 1131432740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21540 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 73.56
Current children cumulated vsize (Kb) 838388

[startup+90.0062 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18292 4 1 0 8261 51 1 1 25 0 11 0 1861073117 858509312 21638 4294967295 134512640 134569956 3221224336 3221214512 1131426575 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21638 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 83.14
Current children cumulated vsize (Kb) 838388

[startup+100.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18300 4 1 0 9226 51 1 1 25 0 11 0 1861073117 858509312 21750 4294967295 134512640 134569956 3221224336 3221214528 1131389336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21750 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 92.79
Current children cumulated vsize (Kb) 838388

[startup+110.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18309 4 1 0 10184 51 1 1 25 0 11 0 1861073117 858509312 21855 4294967295 134512640 134569956 3221224336 3221214528 1131388827 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 21855 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (Kb) 838388

[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18318 4 1 0 11144 51 1 1 25 0 11 0 1861073117 858509312 21969 4294967295 134512640 134569956 3221224336 3221214528 1131388827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 21969 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (Kb) 838388

[startup+130.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18327 4 1 0 12103 52 1 1 25 0 11 0 1861073117 858509312 22068 4294967295 134512640 134569956 3221224336 3221214408 1131400585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22068 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (Kb) 838388

[startup+140.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18337 4 1 0 13061 52 1 1 22 0 11 0 1861073117 858509312 22228 4294967295 134512640 134569956 3221224336 3221214784 1131381273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22228 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 131.15
Current children cumulated vsize (Kb) 838388

[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18348 4 1 0 14021 53 1 1 25 0 11 0 1861073117 858509312 22332 4294967295 134512640 134569956 3221224336 3221214528 1131388853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22332 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 140.76
Current children cumulated vsize (Kb) 838388

[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18358 4 1 0 14985 54 1 1 18 0 11 0 1861073117 858509312 22443 4294967295 134512640 134569956 3221224336 3221214528 1131388842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22443 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 150.41
Current children cumulated vsize (Kb) 838388

[startup+170.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18367 4 1 0 15957 54 1 1 25 0 11 0 1861073117 858509312 22523 4294967295 134512640 134569956 3221224336 3221214324 1131058596 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 22523 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 160.13
Current children cumulated vsize (Kb) 838388

[startup+180.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18377 4 1 0 16930 55 1 1 25 0 11 0 1861073117 858509312 22602 4294967295 134512640 134569956 3221224336 3221214528 1131389141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 22602 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 169.87
Current children cumulated vsize (Kb) 838388

[startup+190.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18387 4 1 0 17907 55 1 1 21 0 11 0 1861073117 858509312 22676 4294967295 134512640 134569956 3221224336 3221214624 1131436891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22676 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 179.64
Current children cumulated vsize (Kb) 838388

[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18397 4 1 0 18884 56 1 1 25 0 11 0 1861073117 858509312 22725 4294967295 134512640 134569956 3221224336 3221214528 1131389291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 22725 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 838388

[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18406 4 1 0 19861 56 1 1 25 0 11 0 1861073117 858509312 22760 4294967295 134512640 134569956 3221224336 3221214528 1131389237 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22760 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 199.19
Current children cumulated vsize (Kb) 838388

[startup+220.013 s]
Raw data (loadavg): 1.00 1.01 1.00 3/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18415 4 1 0 20836 56 1 1 18 0 11 0 1861073117 858509312 22812 4294967295 134512640 134569956 3221224336 3221214624 1131433777 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22812 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 208.94
Current children cumulated vsize (Kb) 838388

[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18424 4 1 0 21809 57 1 1 19 0 11 0 1861073117 858509312 22861 4294967295 134512640 134569956 3221224336 3221214408 1131400205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 22861 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 218.68
Current children cumulated vsize (Kb) 838388

[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18432 4 1 0 22781 57 1 1 25 0 11 0 1861073117 858509312 22914 4294967295 134512640 134569956 3221224336 3221214512 1131427084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 22914 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 228.4
Current children cumulated vsize (Kb) 838388

[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18441 4 1 0 23749 58 1 1 18 0 11 0 1861073117 858509312 23000 4294967295 134512640 134569956 3221224336 3221213784 1131364410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23000 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 238.09
Current children cumulated vsize (Kb) 838388

[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18449 4 1 0 24722 58 1 1 21 0 11 0 1861073117 858509312 23061 4294967295 134512640 134569956 3221224336 3221214528 1131389291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23061 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 247.82
Current children cumulated vsize (Kb) 838388

[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18454 4 1 0 25704 58 1 1 25 0 11 0 1861073117 858509312 23109 4294967295 134512640 134569956 3221224336 3221214376 1131611527 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23109 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 257.64
Current children cumulated vsize (Kb) 838388

[startup+280.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18457 4 1 0 26695 58 1 1 25 0 11 0 1861073117 858509312 23145 4294967295 134512640 134569956 3221224336 3221214528 1131388827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23145 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 267.55
Current children cumulated vsize (Kb) 838388

[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18464 4 1 0 27670 59 1 1 25 0 11 0 1861073117 858509312 23214 4294967295 134512640 134569956 3221224336 3221214624 1131434701 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23214 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 277.31
Current children cumulated vsize (Kb) 838388

[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18473 4 1 0 28634 59 1 1 24 0 11 0 1861073117 858509312 23299 4294967295 134512640 134569956 3221224336 3221214408 1131400345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23299 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 286.95
Current children cumulated vsize (Kb) 838388

[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18481 4 1 0 29603 59 1 1 25 0 11 0 1861073117 858509312 23369 4294967295 134512640 134569956 3221224336 3221214384 1131594610 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23369 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 296.64
Current children cumulated vsize (Kb) 838388

[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18487 4 1 0 30580 59 1 1 25 0 11 0 1861073117 858509312 23444 4294967295 134512640 134569956 3221224336 3221214456 1131519756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23444 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 306.41
Current children cumulated vsize (Kb) 838388

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18492 4 1 0 31561 60 1 1 17 0 11 0 1861073117 858509312 23560 4294967295 134512640 134569956 3221224336 3221214512 1131426917 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23560 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 316.23
Current children cumulated vsize (Kb) 838388

[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18495 4 1 0 32550 60 1 1 25 0 11 0 1861073117 858509312 23691 4294967295 134512640 134569956 3221224336 3221214456 1131519819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23691 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 326.12
Current children cumulated vsize (Kb) 838388

[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18498 4 1 0 33541 60 1 1 20 0 11 0 1861073117 858509312 23723 4294967295 134512640 134569956 3221224336 3221214528 1131390110 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23723 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 336.03
Current children cumulated vsize (Kb) 838388

[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18502 4 1 0 34528 60 1 1 25 0 11 0 1861073117 858509312 23778 4294967295 134512640 134569956 3221224336 3221214272 1131676677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23778 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 345.9
Current children cumulated vsize (Kb) 838388

[startup+370.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18505 4 1 0 35520 60 1 1 25 0 11 0 1861073117 858509312 23797 4294967295 134512640 134569956 3221224336 3221214624 1131432744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 23797 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 355.82
Current children cumulated vsize (Kb) 838388

[startup+380.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18511 4 1 0 36501 60 1 1 25 0 11 0 1861073117 858509312 23847 4294967295 134512640 134569956 3221224336 3221214432 1131607230 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23847 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 365.63
Current children cumulated vsize (Kb) 838388

[startup+390.024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18517 4 1 0 37483 60 1 1 24 0 11 0 1861073117 858509312 23920 4294967295 134512640 134569956 3221224336 3221214624 1131432805 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23920 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 375.45
Current children cumulated vsize (Kb) 838388

[startup+400.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) S 15414 15415 19818 0 -1 0 18523 4 1 0 38463 61 1 1 25 0 11 0 1861073117 858509312 23965 4294967295 134512640 134569956 3221224336 3221213016 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 23965 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 385.26
Current children cumulated vsize (Kb) 838388

[startup+410.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18529 4 1 0 39441 61 1 1 25 0 11 0 1861073117 858509312 24056 4294967295 134512640 134569956 3221224336 3221214272 1131676039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24056 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 395.04
Current children cumulated vsize (Kb) 838388

[startup+420.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18532 4 1 0 40431 61 1 1 25 0 11 0 1861073117 858509312 24186 4294967295 134512640 134569956 3221224336 3221214408 1131400515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24186 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 404.94
Current children cumulated vsize (Kb) 838388

[startup+430.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18535 4 1 0 41422 61 1 1 25 0 11 0 1861073117 858509312 24239 4294967295 134512640 134569956 3221224336 3221214328 1131663875 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24239 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 414.85
Current children cumulated vsize (Kb) 838388

[startup+440.028 s]
Raw data (loadavg): 1.02 1.01 1.00 3/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18535 4 1 0 42421 62 1 1 25 0 11 0 1861073117 858509312 24239 4294967295 134512640 134569956 3221224336 3221214328 1131664087 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24239 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 424.85
Current children cumulated vsize (Kb) 838388

[startup+450.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18535 4 1 0 43421 62 1 1 25 0 11 0 1861073117 858509312 24239 4294967295 134512640 134569956 3221224336 3221214376 1131611576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24239 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 434.85
Current children cumulated vsize (Kb) 838388

[startup+460.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18537 4 1 0 44415 62 1 1 25 0 11 0 1861073117 858509312 24283 4294967295 134512640 134569956 3221224336 3221214528 1131389945 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24283 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 444.79
Current children cumulated vsize (Kb) 838388

[startup+470.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18544 4 1 0 45395 62 1 1 17 0 11 0 1861073117 858509312 24369 4294967295 134512640 134569956 3221224336 3221214408 1131400306 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24369 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 454.59
Current children cumulated vsize (Kb) 838388

[startup+480.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18549 4 1 0 46382 63 1 1 25 0 11 0 1861073117 858509312 24443 4294967295 134512640 134569956 3221224336 3221214408 1131400496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24443 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 464.47
Current children cumulated vsize (Kb) 838388

[startup+490.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18553 4 1 0 47372 63 1 1 25 0 11 0 1861073117 858509312 24502 4294967295 134512640 134569956 3221224336 3221214528 1131389167 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24502 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 474.37
Current children cumulated vsize (Kb) 838388

[startup+500.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18556 4 1 0 48364 63 1 1 25 0 11 0 1861073117 858509312 24583 4294967295 134512640 134569956 3221224336 3221214304 1131676833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24583 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 484.29
Current children cumulated vsize (Kb) 838388

[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18561 4 1 0 49351 63 1 1 25 0 11 0 1861073117 858509312 24658 4294967295 134512640 134569956 3221224336 3221214624 1131433759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24658 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 494.16
Current children cumulated vsize (Kb) 838388

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18566 4 1 0 50339 64 1 1 25 0 11 0 1861073117 858509312 24665 4294967295 134512640 134569956 3221224336 3221214416 1131400496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24665 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 504.05
Current children cumulated vsize (Kb) 838388

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18569 4 1 0 51333 64 1 1 25 0 11 0 1861073117 858509312 24710 4294967295 134512640 134569956 3221224336 3221214408 1131400496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24710 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 513.99
Current children cumulated vsize (Kb) 838388

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18576 4 1 0 52316 64 1 1 21 0 11 0 1861073117 858509312 24742 4294967295 134512640 134569956 3221224336 3221214328 1131611679 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24742 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 523.82
Current children cumulated vsize (Kb) 838388

[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18579 4 1 0 53308 65 1 1 25 0 11 0 1861073117 858509312 24791 4294967295 134512640 134569956 3221224336 3221214328 1131664109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24791 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 533.75
Current children cumulated vsize (Kb) 838388

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18586 4 1 0 54290 66 1 1 25 0 11 0 1861073117 858509312 24886 4294967295 134512640 134569956 3221224336 3221214272 1131676884 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24886 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 543.58
Current children cumulated vsize (Kb) 838388

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18588 4 1 0 55285 66 1 1 25 0 11 0 1861073117 858509312 24931 4294967295 134512640 134569956 3221224336 3221214328 1131664057 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24931 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 553.53
Current children cumulated vsize (Kb) 838388

[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18593 4 1 0 56273 67 1 1 24 0 11 0 1861073117 858509312 24966 4294967295 134512640 134569956 3221224336 3221214304 1131676803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 24966 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 563.42
Current children cumulated vsize (Kb) 838388

[startup+590.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18597 4 1 0 57262 67 1 1 25 0 11 0 1861073117 858509312 24966 4294967295 134512640 134569956 3221224336 3221214408 1131400436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 24966 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 573.31
Current children cumulated vsize (Kb) 838388

[startup+600.038 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18602 4 1 0 58249 67 1 1 25 0 11 0 1861073117 858509312 25044 4294967295 134512640 134569956 3221224336 3221214456 1131519812 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25044 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 583.18
Current children cumulated vsize (Kb) 838388

[startup+610.038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18606 4 1 0 59239 67 1 1 25 0 11 0 1861073117 858509312 25079 4294967295 134512640 134569956 3221224336 3221214304 1131676760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25079 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 593.08
Current children cumulated vsize (Kb) 838388

[startup+620.039 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18609 4 1 0 60232 67 1 1 25 0 11 0 1861073117 858509312 25100 4294967295 134512640 134569956 3221224336 3221214456 1131519742 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25100 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 603.01
Current children cumulated vsize (Kb) 838388

[startup+630.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18610 4 1 0 61230 68 1 1 25 0 11 0 1861073117 858509312 25100 4294967295 134512640 134569956 3221224336 3221214328 1131663920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25100 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 613
Current children cumulated vsize (Kb) 838388

[startup+640.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18613 4 1 0 62223 68 1 1 25 0 11 0 1861073117 858509312 25130 4294967295 134512640 134569956 3221224336 3221214408 1131400432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25130 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 622.93
Current children cumulated vsize (Kb) 838388

[startup+650.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18615 4 1 0 63218 68 1 1 25 0 11 0 1861073117 858509312 25154 4294967295 134512640 134569956 3221224336 3221214408 1131400570 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25154 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 632.88
Current children cumulated vsize (Kb) 838388

[startup+660.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18618 4 1 0 64211 68 1 1 25 0 11 0 1861073117 858509312 25237 4294967295 134512640 134569956 3221224336 3221214376 1131611532 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25237 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 642.81
Current children cumulated vsize (Kb) 838388

[startup+670.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18620 4 1 0 65206 69 1 1 25 0 11 0 1861073117 858509312 25237 4294967295 134512640 134569956 3221224336 3221214456 1131519742 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25237 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 652.77
Current children cumulated vsize (Kb) 838388

[startup+680.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18621 4 1 0 66204 69 1 1 25 0 11 0 1861073117 858509312 25237 4294967295 134512640 134569956 3221224336 3221214272 1131676905 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25237 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 662.75
Current children cumulated vsize (Kb) 838388

[startup+690.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18624 4 1 0 67196 69 1 1 25 0 11 0 1861073117 858509312 25330 4294967295 134512640 134569956 3221224336 3221214512 1131519819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25330 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 672.67
Current children cumulated vsize (Kb) 838388

[startup+700.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18631 4 1 0 68179 69 1 1 25 0 11 0 1861073117 858509312 25330 4294967295 134512640 134569956 3221224336 3221214408 1131400461 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25330 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 682.5
Current children cumulated vsize (Kb) 838388

[startup+710.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18636 4 1 0 69165 69 1 1 25 0 11 0 1861073117 858509312 25330 4294967295 134512640 134569956 3221224336 3221214416 1131400306 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25330 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 692.36
Current children cumulated vsize (Kb) 838388

[startup+720.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18639 4 1 0 70156 70 1 1 25 0 11 0 1861073117 858509312 25330 4294967295 134512640 134569956 3221224336 3221214456 1131519899 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25330 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (Kb) 838388

[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18642 4 1 0 71148 70 1 1 25 0 11 0 1861073117 858509312 25454 4294967295 134512640 134569956 3221224336 3221214456 1131519916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25454 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 712.2
Current children cumulated vsize (Kb) 838388

[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18648 4 1 0 72131 70 1 1 25 0 11 0 1861073117 858509312 25574 4294967295 134512640 134569956 3221224336 3221214624 1131436891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25574 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 722.03
Current children cumulated vsize (Kb) 838388

[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18653 4 1 0 73116 70 1 1 24 0 11 0 1861073117 858509312 25601 4294967295 134512640 134569956 3221224336 3221214528 1131388861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25601 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 731.88
Current children cumulated vsize (Kb) 838388

[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18661 4 1 0 74098 70 1 1 25 0 11 0 1861073117 858509312 25803 4294967295 134512640 134569956 3221224336 3221214548 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25803 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 741.7
Current children cumulated vsize (Kb) 838388

[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18665 4 1 0 75086 70 1 1 25 0 11 0 1861073117 858509312 25829 4294967295 134512640 134569956 3221224336 3221214528 1131389276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 25829 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 751.58
Current children cumulated vsize (Kb) 838388

[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18672 4 1 0 76065 71 1 1 19 0 11 0 1861073117 858509312 25900 4294967295 134512640 134569956 3221224336 3221214528 1131389291 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 25900 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 761.38
Current children cumulated vsize (Kb) 838388

[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18677 4 1 0 77051 71 1 1 25 0 11 0 1861073117 858509312 26016 4294967295 134512640 134569956 3221224336 3221214528 1131390103 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26016 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 771.24
Current children cumulated vsize (Kb) 838388

[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18683 4 1 0 78035 72 1 1 20 0 11 0 1861073117 858509312 26086 4294967295 134512640 134569956 3221224336 3221214536 1131519916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26086 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 781.09
Current children cumulated vsize (Kb) 838388

[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18688 4 1 0 79022 72 1 1 25 0 11 0 1861073117 858509312 26130 4294967295 134512640 134569956 3221224336 3221214408 1131663867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26130 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 790.96
Current children cumulated vsize (Kb) 838388

[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18693 4 1 0 80010 72 1 1 25 0 11 0 1861073117 858509312 26252 4294967295 134512640 134569956 3221224336 3221214488 1131400306 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26252 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 800.84
Current children cumulated vsize (Kb) 838388

[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18697 4 1 0 80998 73 1 1 25 0 11 0 1861073117 858509312 26302 4294967295 134512640 134569956 3221224336 3221214384 1131676667 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26302 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 810.73
Current children cumulated vsize (Kb) 838388

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18698 4 1 0 81996 73 1 1 25 0 11 0 1861073117 858509312 26308 4294967295 134512640 134569956 3221224336 3221214488 1131400436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26308 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 820.71
Current children cumulated vsize (Kb) 838388

[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18701 4 1 0 82987 74 1 1 25 0 11 0 1861073117 858509312 26331 4294967295 134512640 134569956 3221224336 3221214592 1131519826 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26331 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 830.63
Current children cumulated vsize (Kb) 838388

[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18703 4 1 0 83981 74 1 1 25 0 11 0 1861073117 858509312 26336 4294967295 134512640 134569956 3221224336 3221214384 1131676640 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26336 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 840.57
Current children cumulated vsize (Kb) 838388

[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18708 4 1 0 84966 75 1 1 25 0 11 0 1861073117 858509312 26366 4294967295 134512640 134569956 3221224336 3221214488 1131400306 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26366 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 850.43
Current children cumulated vsize (Kb) 838388

[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18715 4 1 0 85943 75 1 1 25 0 11 0 1861073117 858509312 26412 4294967295 134512640 134569956 3221224336 3221214408 1131663216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26412 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 860.2
Current children cumulated vsize (Kb) 838388

[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18721 4 1 0 86921 75 1 1 25 0 11 0 1861073117 858509312 26469 4294967295 134512640 134569956 3221224336 3221214040 1131702820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 26469 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 869.98
Current children cumulated vsize (Kb) 838388

[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18730 4 1 0 87888 76 1 1 22 0 11 0 1861073117 858509312 26664 4294967295 134512640 134569956 3221224336 3221214528 1131389392 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26664 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 879.66
Current children cumulated vsize (Kb) 838388

[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18740 4 1 0 88858 77 1 1 24 0 11 0 1861073117 858509312 26866 4294967295 134512640 134569956 3221224336 3221214624 1131432885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 26866 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 889.37
Current children cumulated vsize (Kb) 838388

[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18748 4 1 0 89835 77 1 1 25 0 11 0 1861073117 858509312 27003 4294967295 134512640 134569956 3221224336 3221214528 1131388861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27003 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 899.14
Current children cumulated vsize (Kb) 838388

[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18756 4 1 0 90813 77 1 1 25 0 11 0 1861073117 858509312 27059 4294967295 134512640 134569956 3221224336 3221214488 1131400570 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27059 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 908.92
Current children cumulated vsize (Kb) 838388

[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18765 4 1 0 91787 78 1 1 24 0 11 0 1861073117 858509312 27100 4294967295 134512640 134569956 3221224336 3221214528 1131390060 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27100 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 918.67
Current children cumulated vsize (Kb) 838388

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) S 15414 15415 19818 0 -1 0 18772 4 1 0 92762 78 1 1 17 0 11 0 1861073117 858509312 27138 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27138 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 928.42
Current children cumulated vsize (Kb) 838388

[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18780 4 1 0 93737 79 1 1 25 0 11 0 1861073117 858509312 27201 4294967295 134512640 134569956 3221224336 3221214528 1131389453 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27201 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 938.18
Current children cumulated vsize (Kb) 838388

[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18788 4 1 0 94711 79 1 1 25 0 11 0 1861073117 858509312 27256 4294967295 134512640 134569956 3221224336 3221214528 1131389291 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27256 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 947.92
Current children cumulated vsize (Kb) 838388

[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18796 4 1 0 95686 80 1 1 22 0 11 0 1861073117 858509312 27332 4294967295 134512640 134569956 3221224336 3221214528 1131389016 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27332 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 957.68
Current children cumulated vsize (Kb) 838388

[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18804 4 1 0 96661 80 1 1 25 0 11 0 1861073117 858509312 27393 4294967295 134512640 134569956 3221224336 3221214488 1131400306 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27393 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 967.43
Current children cumulated vsize (Kb) 838388

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18812 4 1 0 97636 80 1 1 25 0 11 0 1861073117 858509312 27456 4294967295 134512640 134569956 3221224336 3221214336 1076637329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27456 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 977.18
Current children cumulated vsize (Kb) 838388

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18819 4 1 0 98615 80 1 1 25 0 11 0 1861073117 858509312 27513 4294967295 134512640 134569956 3221224336 3221214488 1131400326 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27513 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 986.97
Current children cumulated vsize (Kb) 838388

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18826 4 1 0 99593 81 1 1 25 0 11 0 1861073117 858509312 27566 4294967295 134512640 134569956 3221224336 3221214620 1131388812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27566 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 996.76
Current children cumulated vsize (Kb) 838388

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18834 4 1 0 100570 81 1 1 25 0 11 0 1861073117 858509312 27626 4294967295 134512640 134569956 3221224336 3221214488 1131400436 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27626 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1006.53
Current children cumulated vsize (Kb) 838388

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18840 4 1 0 101551 81 1 1 25 0 11 0 1861073117 858509312 27685 4294967295 134512640 134569956 3221224336 3221214592 1131426935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27685 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1016.34
Current children cumulated vsize (Kb) 838388

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18846 4 1 0 102533 81 1 1 25 0 11 0 1861073117 858509312 27734 4294967295 134512640 134569956 3221224336 3221214084 1131705417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27734 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1026.16
Current children cumulated vsize (Kb) 838388

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18854 4 1 0 103508 82 1 1 17 0 11 0 1861073117 858509312 27805 4294967295 134512640 134569956 3221224336 3221214784 1131627617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27805 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1035.92
Current children cumulated vsize (Kb) 838388

[startup+1070.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18861 4 1 0 104485 82 1 1 25 0 11 0 1861073117 858509312 27871 4294967295 134512640 134569956 3221224336 3221214408 1131664020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27871 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1045.69
Current children cumulated vsize (Kb) 838388

[startup+1080.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18865 4 1 0 105472 82 1 1 25 0 11 0 1861073117 858509312 27909 4294967295 134512640 134569956 3221224336 3221214496 1131400580 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 27909 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1055.56
Current children cumulated vsize (Kb) 838388

[startup+1090.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18868 4 1 0 106462 83 1 1 25 0 11 0 1861073117 858509312 27931 4294967295 134512640 134569956 3221224336 3221214528 1131389457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 27931 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1065.47
Current children cumulated vsize (Kb) 838388

[startup+1100.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18873 4 1 0 107444 83 1 1 25 0 11 0 1861073117 858509312 28005 4294967295 134512640 134569956 3221224336 3221214408 1131664074 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28005 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1075.29
Current children cumulated vsize (Kb) 838388

[startup+1110.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18875 4 1 0 108436 83 1 1 25 0 11 0 1861073117 858509312 28005 4294967295 134512640 134569956 3221224336 3221214624 1131433884 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28005 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1085.21
Current children cumulated vsize (Kb) 838388

[startup+1120.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18878 4 1 0 109424 83 1 1 25 0 11 0 1861073117 858509312 28048 4294967295 134512640 134569956 3221224336 3221214536 1131519730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28048 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1095.09
Current children cumulated vsize (Kb) 838388

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18881 4 1 0 110412 83 1 1 25 0 11 0 1861073117 858509312 28080 4294967295 134512640 134569956 3221224336 3221214408 1131663867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28080 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1104.97
Current children cumulated vsize (Kb) 838388

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18886 4 1 0 111394 83 1 1 17 0 11 0 1861073117 858509312 28130 4294967295 134512640 134569956 3221224336 3221214624 1131433839 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28130 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1114.79
Current children cumulated vsize (Kb) 838388

[startup+1150.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18892 4 1 0 112369 85 1 1 25 0 11 0 1861073117 858509312 28211 4294967295 134512640 134569956 3221224336 3221214488 1131400531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28211 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1124.56
Current children cumulated vsize (Kb) 838388

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18895 4 1 0 113357 86 1 1 25 0 11 0 1861073117 858509312 28211 4294967295 134512640 134569956 3221224336 3221214408 1131664049 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28211 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1134.45
Current children cumulated vsize (Kb) 838388

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18897 4 1 0 114349 87 1 1 25 0 11 0 1861073117 858509312 28267 4294967295 134512640 134569956 3221224336 3221214408 1131664087 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28267 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1144.38
Current children cumulated vsize (Kb) 838388

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18899 4 1 0 115341 87 1 1 25 0 11 0 1861073117 858509312 28381 4294967295 134512640 134569956 3221224336 3221214528 1131389336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28381 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1154.3
Current children cumulated vsize (Kb) 838388

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18907 4 1 0 116315 88 1 1 25 0 11 0 1861073117 858509312 28524 4294967295 134512640 134569956 3221224336 3221214452 1131522977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15415/statm): 209597 28524 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1164.05
Current children cumulated vsize (Kb) 838388

[startup+1200.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18914 4 1 0 117294 88 1 1 25 0 11 0 1861073117 858509312 28632 4294967295 134512640 134569956 3221224336 3221214488 1131400474 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28632 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1173.84
Current children cumulated vsize (Kb) 838388

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18921 4 1 0 118273 89 1 1 24 0 11 0 1861073117 858509312 28729 4294967295 134512640 134569956 3221224336 3221214784 1131381273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28729 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1183.64
Current children cumulated vsize (Kb) 838388

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18928 4 1 0 119252 89 1 1 25 0 11 0 1861073117 858509312 28739 4294967295 134512640 134569956 3221224336 3221214488 1131400531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28739 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1193.43
Current children cumulated vsize (Kb) 838388

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18936 4 1 0 120226 90 1 1 17 0 11 0 1861073117 858509312 28849 4294967295 134512640 134569956 3221224336 3221214456 1131611598 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28849 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1203.18
Current children cumulated vsize (Kb) 838388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15440
Raw data (/proc/15415/stat): 15415 (java) R 15414 15415 19818 0 -1 0 18936 4 1 0 120226 90 1 1 17 0 11 0 1861073117 858509312 28849 4294967295 134512640 134569956 3221224336 3221214592 1131426905 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15415/statm): 209597 28849 13129 16 0 209581 0
[pid=15415] vsize: 838388
Current children cumulated CPU time (s) 1203.18
Current children cumulated vsize (Kb) 838388

Sending SIGTERM to -15415
Sleeping 2 seconds
New thread pid=15442
New thread pid=15443
One traced child (pid=15443) exited with status: 0
One traced child (pid=15424) exited with status: 0
One traced child (pid=15419) exited with status: 0
One traced child (pid=15417) exited with status: 143
One traced child (pid=15416) exited with status: 143
One traced child (pid=15418) exited with status: 143
One traced child (pid=15423) exited with status: 143
One traced child (pid=15420) exited with status: 143
One traced child (pid=15422) exited with status: 143
One traced child (pid=15421) exited with status: 143
One traced child (pid=15440) exited with status: 143
One traced child (pid=15442) exited with status: 143
One traced child (pid=15415) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.2
CPU time (s): 1237.79
CPU user time (s): 1236.08
CPU system time (s): 1.71674
CPU usage (%): 100.617
Max. virtual memory (cumulated for all children) (Kb): 839332

Verifier Data

Verifier:	OK	309164