PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUM	a733e9fa1e4e3ac90baf85249f7c3e9a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
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 numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 29546

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 08:46:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20946 boxname=wulflinc28 idbench=934 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 20946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        683752 kB
Buffers:         25380 kB
Cached:         304320 kB
SwapCached:       1052 kB
Active:          39164 kB
Inactive:       293040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        683500 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            12876 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:07:23 (client local time) WITH STATUS 143 IN 1227 SECONDS
stats: 20946 0 1227 143
#### END LAUNCHER DATA ####
#### BEGIN 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 Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0282.opb
c reading problem ... done. Time 1.151 ms.
c #vars     282
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              457129 		Current CPU time: 1.42 ms
c CURRENT OPTIMUM=              453986 		Current CPU time: 1.61 ms
c CURRENT OPTIMUM=              415236 		Current CPU time: 3.20 ms
c CURRENT OPTIMUM=              389423 		Current CPU time: 3.85 ms
c CURRENT OPTIMUM=              388893 		Current CPU time: 9.99 ms
c CURRENT OPTIMUM=              388176 		Current CPU time: 18.08 ms
c CURRENT OPTIMUM=              387892 		Current CPU time: 27.65 ms
c CURRENT OPTIMUM=              372732 		Current CPU time: 31.52 ms
c CURRENT OPTIMUM=              372560 		Current CPU time: 192.28 ms
c CURRENT OPTIMUM=              371662 		Current CPU time: 317.72 ms
c CURRENT OPTIMUM=              371401 		Current CPU time: 513.07 ms
c CURRENT OPTIMUM=              359243 		Current CPU time: 552.51 ms
c CURRENT OPTIMUM=              358449 		Current CPU time: 676.13 ms
c CURRENT OPTIMUM=              357993 		Current CPU time: 685.60 ms
c CURRENT OPTIMUM=              353135 		Current CPU time: 695.75 ms
c starts	: 22
c conflicts	: 947
c decisions	: 11598
c propagations	: 26188
c inspects	: 1176438
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 947
c root simplifications	: 22
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 objectif function=353135
c Total CPU time (ms) : 1229.102
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/54 4059
Raw data (stat): 4059 (runsolver) R 4058 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837557027 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99986 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 4073
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18134 3 1 0 645 41 0 0 25 0 11 0 837557027 862375936 20834 4294967295 134512640 134569956 3221224368 3221214392 1130895213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210541 20834 13086 16 0 210525 0
vsize: 842164
[startup+20.0001 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 4075
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18135 3 1 0 1595 42 0 0 25 0 11 0 837557027 862212096 21077 4294967295 134512640 134569956 3221224368 3221214576 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210501 21077 13086 16 0 210485 0
vsize: 842004
[startup+30.0008 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 4076
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18135 3 1 0 2553 43 0 0 25 0 11 0 837557027 862081024 21270 4294967295 134512640 134569956 3221224368 3221214576 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 21270 13086 16 0 210453 0
vsize: 841876
[startup+40.0019 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18135 3 1 0 3511 43 0 0 25 0 11 0 837557027 862081024 21384 4294967295 134512640 134569956 3221224368 3221214668 1131187781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 21384 13086 16 0 210453 0
vsize: 841876
[startup+50.0021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18135 3 1 0 4466 43 0 0 25 0 11 0 837557027 862081024 21717 4294967295 134512640 134569956 3221224368 3221214576 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 21717 13086 16 0 210453 0
vsize: 841876
[startup+60.0018 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18135 3 1 0 5425 44 0 0 25 0 11 0 837557027 862081024 21872 4294967295 134512640 134569956 3221224368 3221214672 1131302965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 21872 13086 16 0 210453 0
vsize: 841876
[startup+70.0032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 6389 44 0 0 25 0 11 0 837557027 862081024 21957 4294967295 134512640 134569956 3221224368 3221214576 1131211120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 21957 13086 16 0 210453 0
vsize: 841876
[startup+80.0032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 7347 44 0 0 25 0 11 0 837557027 862081024 22050 4294967295 134512640 134569956 3221224368 3221214648 1131307524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22050 13086 16 0 210453 0
vsize: 841876
[startup+90.0038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 8313 44 0 0 25 0 11 0 837557027 862081024 22198 4294967295 134512640 134569956 3221224368 3221214548 1131224681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22198 13086 16 0 210453 0
vsize: 841876
[startup+100.004 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 9285 44 0 0 25 0 11 0 837557027 862081024 22326 4294967295 134512640 134569956 3221224368 3221214648 1131306706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22326 13086 16 0 210453 0
vsize: 841876
[startup+110.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 10267 44 0 0 25 0 11 0 837557027 862081024 22418 4294967295 134512640 134569956 3221224368 3221214648 1131301221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22418 13086 16 0 210453 0
vsize: 841876
[startup+120.005 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 11248 44 0 0 25 0 11 0 837557027 862081024 22458 4294967295 134512640 134569956 3221224368 3221214648 1131302544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22458 13086 16 0 210453 0
vsize: 841876
[startup+130.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 12228 44 0 0 25 0 11 0 837557027 862081024 22503 4294967295 134512640 134569956 3221224368 3221214648 1131302863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22503 13086 16 0 210453 0
vsize: 841876
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 13209 44 0 0 25 0 11 0 837557027 862081024 22548 4294967295 134512640 134569956 3221224368 3221214448 1131220239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22548 13086 16 0 210453 0
vsize: 841876
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 14183 44 0 0 25 0 11 0 837557027 862081024 22596 4294967295 134512640 134569956 3221224368 3221214440 1131219995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22596 13086 16 0 210453 0
vsize: 841876
[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 15157 45 0 0 25 0 11 0 837557027 862081024 22653 4294967295 134512640 134569956 3221224368 3221214552 1131210800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22653 13086 16 0 210453 0
vsize: 841876
[startup+170.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 16131 45 0 0 25 0 11 0 837557027 862081024 22719 4294967295 134512640 134569956 3221224368 3221214648 1131306844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22719 13086 16 0 210453 0
vsize: 841876
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) S 4058 24821 24820 0 -1 0 18136 3 1 0 17110 45 0 0 25 0 11 0 837557027 862081024 22822 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22824 13086 16 0 210453 0
vsize: 841876
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4077
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 18090 45 0 0 25 0 11 0 837557027 862081024 22862 4294967295 134512640 134569956 3221224368 3221214648 1131301131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22862 13086 16 0 210453 0
vsize: 841876
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 19068 45 0 0 25 0 11 0 837557027 862081024 22913 4294967295 134512640 134569956 3221224368 3221214560 1131203933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22913 13086 16 0 210453 0
vsize: 841876
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 20047 45 0 0 25 0 11 0 837557027 862081024 22970 4294967295 134512640 134569956 3221224368 3221214440 1131220156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 22970 13086 16 0 210453 0
vsize: 841876
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 21029 45 0 0 25 0 11 0 837557027 862081024 23039 4294967295 134512640 134569956 3221224368 3221214648 1131307524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23039 13086 16 0 210453 0
vsize: 841876
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 22015 45 0 0 25 0 11 0 837557027 862081024 23088 4294967295 134512640 134569956 3221224368 3221214552 1131210934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23088 13086 16 0 210453 0
vsize: 841876
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 23001 45 0 0 25 0 11 0 837557027 862081024 23117 4294967295 134512640 134569956 3221224368 3221214484 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23117 13086 16 0 210453 0
vsize: 841876
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 23987 45 0 0 25 0 11 0 837557027 862081024 23136 4294967295 134512640 134569956 3221224368 3221214472 1131220369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23136 13086 16 0 210453 0
vsize: 841876
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 24968 45 0 0 25 0 11 0 837557027 862081024 23174 4294967295 134512640 134569956 3221224368 3221214644 1131204964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23174 13086 16 0 210453 0
vsize: 841876
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 25951 45 0 0 25 0 11 0 837557027 862081024 23223 4294967295 134512640 134569956 3221224368 3221214648 1131301131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23223 13086 16 0 210453 0
vsize: 841876
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 26936 46 0 0 25 0 11 0 837557027 862081024 23252 4294967295 134512640 134569956 3221224368 3221214488 1131287260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23252 13086 16 0 210453 0
vsize: 841876
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 27919 46 0 0 25 0 11 0 837557027 862081024 23299 4294967295 134512640 134569956 3221224368 3221214552 1131212071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23299 13086 16 0 210453 0
vsize: 841876
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 28904 46 0 0 25 0 11 0 837557027 862081024 23332 4294967295 134512640 134569956 3221224368 3221214552 1131210830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23332 13086 16 0 210453 0
vsize: 841876
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4078
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 29887 46 0 0 24 0 11 0 837557027 862081024 23368 4294967295 134512640 134569956 3221224368 3221214648 1131302117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23368 13086 16 0 210453 0
vsize: 841876
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 30873 46 0 0 25 0 11 0 837557027 862081024 23410 4294967295 134512640 134569956 3221224368 3221214648 1131308404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23410 13086 16 0 210453 0
vsize: 841876
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 31856 46 0 0 25 0 11 0 837557027 862081024 23439 4294967295 134512640 134569956 3221224368 3221214648 1131303020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23439 13086 16 0 210453 0
vsize: 841876
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 32840 46 0 0 25 0 11 0 837557027 862081024 23474 4294967295 134512640 134569956 3221224368 3221214552 1131210725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23474 13086 16 0 210453 0
vsize: 841876
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 33824 46 0 0 25 0 11 0 837557027 862081024 23506 4294967295 134512640 134569956 3221224368 3221214640 1131187772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23506 13086 16 0 210453 0
vsize: 841876
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 34811 46 0 0 25 0 11 0 837557027 862081024 23538 4294967295 134512640 134569956 3221224368 3221214648 1131302544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23538 13086 16 0 210453 0
vsize: 841876
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 35798 46 0 0 25 0 11 0 837557027 862081024 23570 4294967295 134512640 134569956 3221224368 3221214508 1131205920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23570 13086 16 0 210453 0
vsize: 841876
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 36784 46 0 0 25 0 11 0 837557027 862081024 23589 4294967295 134512640 134569956 3221224368 3221214448 1131230803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23589 13086 16 0 210453 0
vsize: 841876
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 37767 46 0 0 25 0 11 0 837557027 862081024 23627 4294967295 134512640 134569956 3221224368 3221214640 1131187746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23627 13086 16 0 210453 0
vsize: 841876
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 38751 47 0 0 25 0 11 0 837557027 862081024 23672 4294967295 134512640 134569956 3221224368 3221214648 1131307732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23672 13086 16 0 210453 0
vsize: 841876
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 39735 47 0 0 25 0 11 0 837557027 862081024 23705 4294967295 134512640 134569956 3221224368 3221214640 1131187772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23705 13086 16 0 210453 0
vsize: 841876
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 40719 47 0 0 25 0 11 0 837557027 862081024 23736 4294967295 134512640 134569956 3221224368 3221214648 1131301124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23736 13086 16 0 210453 0
vsize: 841876
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 41699 47 0 0 24 0 11 0 837557027 862081024 23787 4294967295 134512640 134569956 3221224368 3221214648 1131302677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23787 13086 16 0 210453 0
vsize: 841876
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 42683 47 0 0 25 0 11 0 837557027 862081024 23833 4294967295 134512640 134569956 3221224368 3221214432 1131514680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23833 13086 16 0 210453 0
vsize: 841876
[startup+450.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 43667 47 0 0 25 0 11 0 837557027 862081024 23872 4294967295 134512640 134569956 3221224368 3221214544 1131214951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23872 13086 16 0 210453 0
vsize: 841876
[startup+460.024 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 44651 47 0 0 25 0 11 0 837557027 862081024 23896 4294967295 134512640 134569956 3221224368 3221214552 1131211710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23896 13086 16 0 210453 0
vsize: 841876
[startup+470.024 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 45633 47 0 0 25 0 11 0 837557027 862081024 23936 4294967295 134512640 134569956 3221224368 3221214648 1131301167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23936 13086 16 0 210453 0
vsize: 841876
[startup+480.024 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 46616 48 0 0 25 0 11 0 837557027 862081024 23961 4294967295 134512640 134569956 3221224368 3221214648 1131307524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 23961 13086 16 0 210453 0
vsize: 841876
[startup+490.025 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 47599 48 0 0 25 0 11 0 837557027 862081024 24015 4294967295 134512640 134569956 3221224368 3221214648 1131309709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 24015 13086 16 0 210453 0
vsize: 841876
[startup+500.025 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 48583 48 0 0 25 0 11 0 837557027 862081024 24046 4294967295 134512640 134569956 3221224368 3221214552 1131211674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24046 13086 16 0 210453 0
vsize: 841876
[startup+510.025 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 4079
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 49569 48 0 0 25 0 11 0 837557027 862081024 24106 4294967295 134512640 134569956 3221224368 3221214520 1131232456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24106 13086 16 0 210453 0
vsize: 841876
[startup+520.026 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 4080
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 50556 48 0 0 25 0 11 0 837557027 862081024 24127 4294967295 134512640 134569956 3221224368 3221214544 1131214900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24127 13086 16 0 210453 0
vsize: 841876
[startup+530.026 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 4080
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 51543 48 0 0 25 0 11 0 837557027 862081024 24139 4294967295 134512640 134569956 3221224368 3221214648 1131307008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24139 13086 16 0 210453 0
vsize: 841876
[startup+540.027 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 4080
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 52527 48 0 0 25 0 11 0 837557027 862081024 24154 4294967295 134512640 134569956 3221224368 3221214296 1131516092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24154 13086 16 0 210453 0
vsize: 841876
[startup+550.028 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 4080
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 53507 48 0 0 25 0 11 0 837557027 862081024 24179 4294967295 134512640 134569956 3221224368 3221214648 1131301167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24179 13086 16 0 210453 0
vsize: 841876
[startup+560.028 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 54488 48 0 0 25 0 11 0 837557027 862081024 24211 4294967295 134512640 134569956 3221224368 3221214648 1131301197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24211 13086 16 0 210453 0
vsize: 841876
[startup+570.029 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 55470 48 0 0 25 0 11 0 837557027 862081024 24264 4294967295 134512640 134569956 3221224368 3221214648 1131307732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24264 13086 16 0 210453 0
vsize: 841876
[startup+580.029 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 56452 48 0 0 25 0 11 0 837557027 862081024 24315 4294967295 134512640 134569956 3221224368 3221214520 1131220347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24315 13086 16 0 210453 0
vsize: 841876
[startup+590.029 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 57433 48 0 0 23 0 11 0 837557027 862081024 24346 4294967295 134512640 134569956 3221224368 3221214576 1131530915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24346 13086 16 0 210453 0
vsize: 841876
[startup+600.032 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) S 4058 24821 24820 0 -1 0 18136 3 1 0 58417 48 0 0 25 0 11 0 837557027 862081024 24380 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24380 13086 16 0 210453 0
vsize: 841876
[startup+610.032 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 59401 48 0 0 25 0 11 0 837557027 862081024 24416 4294967295 134512640 134569956 3221224368 3221214648 1131303204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24416 13086 16 0 210453 0
vsize: 841876
[startup+620.033 s]
Raw data (loadavg): 1.10 1.04 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 60383 48 0 0 25 0 11 0 837557027 862081024 24459 4294967295 134512640 134569956 3221224368 3221214648 1131301167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24459 13086 16 0 210453 0
vsize: 841876
[startup+630.033 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 61367 48 0 0 25 0 11 0 837557027 862081024 24492 4294967295 134512640 134569956 3221224368 3221214644 1131210688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24492 13086 16 0 210453 0
vsize: 841876
[startup+640.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 62351 48 0 0 25 0 11 0 837557027 862081024 24521 4294967295 134512640 134569956 3221224368 3221214648 1131302147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24521 13086 16 0 210453 0
vsize: 841876
[startup+650.034 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 63336 49 0 0 25 0 11 0 837557027 862081024 24551 4294967295 134512640 134569956 3221224368 3221214520 1131230688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24551 13086 16 0 210453 0
vsize: 841876
[startup+660.034 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 64317 49 0 0 25 0 11 0 837557027 862081024 24588 4294967295 134512640 134569956 3221224368 3221214592 1131205977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24588 13086 16 0 210453 0
vsize: 841876
[startup+670.035 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 4081
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 65299 49 0 0 25 0 11 0 837557027 862081024 24619 4294967295 134512640 134569956 3221224368 3221214560 1131204945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24619 13086 16 0 210453 0
vsize: 841876
[startup+680.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4082
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 66283 49 0 0 25 0 11 0 837557027 862081024 24664 4294967295 134512640 134569956 3221224368 3221214560 1131203896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24664 13086 16 0 210453 0
vsize: 841876
[startup+690.036 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4083
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 67268 49 0 0 25 0 11 0 837557027 862081024 24691 4294967295 134512640 134569956 3221224368 3221214148 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24691 13086 16 0 210453 0
vsize: 841876
[startup+700.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 68255 49 0 0 25 0 11 0 837557027 862081024 24719 4294967295 134512640 134569956 3221224368 3221214600 1131216332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24719 13086 16 0 210453 0
vsize: 841876
[startup+710.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 69237 49 0 0 25 0 11 0 837557027 862081024 24750 4294967295 134512640 134569956 3221224368 3221214648 1131307008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24750 13086 16 0 210453 0
vsize: 841876
[startup+720.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 70217 49 0 0 25 0 11 0 837557027 862081024 24768 4294967295 134512640 134569956 3221224368 3221214648 1131301197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24768 13086 16 0 210453 0
vsize: 841876
[startup+730.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 71201 49 0 0 25 0 11 0 837557027 862081024 24805 4294967295 134512640 134569956 3221224368 3221214592 1131238548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24805 13086 16 0 210453 0
vsize: 841876
[startup+740.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 72183 49 0 0 25 0 11 0 837557027 862081024 24853 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24853 13086 16 0 210453 0
vsize: 841876
[startup+750.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 73164 50 0 0 25 0 11 0 837557027 862081024 24885 4294967295 134512640 134569956 3221224368 3221214648 1131307662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24885 13086 16 0 210453 0
vsize: 841876
[startup+760.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 74147 50 0 0 25 0 11 0 837557027 862081024 24920 4294967295 134512640 134569956 3221224368 3221214648 1131302530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24920 13086 16 0 210453 0
vsize: 841876
[startup+770.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 75133 50 0 0 25 0 11 0 837557027 862081024 24953 4294967295 134512640 134569956 3221224368 3221214520 1131230692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24953 13086 16 0 210453 0
vsize: 841876
[startup+780.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 76118 50 0 0 25 0 11 0 837557027 862081024 24993 4294967295 134512640 134569956 3221224368 3221214384 1078033246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 24993 13086 16 0 210453 0
vsize: 841876
[startup+790.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4084
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 77101 50 0 0 25 0 11 0 837557027 862081024 25025 4294967295 134512640 134569956 3221224368 3221214520 1131230904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 25025 13086 16 0 210453 0
vsize: 841876
[startup+800.039 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 78075 56 0 0 25 0 11 0 837557027 862081024 25052 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25052 13086 16 0 210453 0
vsize: 841876
[startup+810.039 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 79060 57 0 0 25 0 11 0 837557027 862081024 25089 4294967295 134512640 134569956 3221224368 3221214512 1131220017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25089 13086 16 0 210453 0
vsize: 841876
[startup+820.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 80039 57 0 0 25 0 11 0 837557027 862081024 25205 4294967295 134512640 134569956 3221224368 3221214560 1131205977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25205 13086 16 0 210453 0
vsize: 841876
[startup+830.041 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 81023 57 0 0 25 0 11 0 837557027 862081024 25243 4294967295 134512640 134569956 3221224368 3221214632 1131220387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25243 13086 16 0 210453 0
vsize: 841876
[startup+840.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 82002 57 0 0 19 0 11 0 837557027 862081024 25305 4294967295 134512640 134569956 3221224368 3221214648 1131303020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25305 13086 16 0 210453 0
vsize: 841876
[startup+850.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 82978 57 0 0 25 0 11 0 837557027 862081024 25380 4294967295 134512640 134569956 3221224368 3221214544 1131214920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25380 13086 16 0 210453 0
vsize: 841876
[startup+860.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4137
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 83960 57 0 0 25 0 11 0 837557027 862081024 25442 4294967295 134512640 134569956 3221224368 3221214648 1131307132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 25442 13086 16 0 210453 0
vsize: 841876
[startup+870.043 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 84939 57 0 0 25 0 11 0 837557027 862081024 25513 4294967295 134512640 134569956 3221224368 3221214648 1131307812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25513 13086 16 0 210453 0
vsize: 841876
[startup+880.043 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 85919 57 0 0 25 0 11 0 837557027 862081024 25548 4294967295 134512640 134569956 3221224368 3221214552 1131211615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25548 13086 16 0 210453 0
vsize: 841876
[startup+890.044 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 86901 57 0 0 24 0 11 0 837557027 862081024 25580 4294967295 134512640 134569956 3221224368 3221214648 1131307781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25580 13086 16 0 210453 0
vsize: 841876
[startup+900.044 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 87887 57 0 0 25 0 11 0 837557027 862081024 25629 4294967295 134512640 134569956 3221224368 3221214552 1131210934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25629 13086 16 0 210453 0
vsize: 841876
[startup+910.044 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 88873 57 0 0 25 0 11 0 837557027 862081024 25654 4294967295 134512640 134569956 3221224368 3221214552 1131210877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25654 13086 16 0 210453 0
vsize: 841876
[startup+920.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 89860 57 0 0 25 0 11 0 837557027 862081024 25675 4294967295 134512640 134569956 3221224368 3221214648 1131307008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 25675 13086 16 0 210453 0
vsize: 841876
[startup+930.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 90846 57 0 0 24 0 11 0 837557027 862081024 25699 4294967295 134512640 134569956 3221224368 3221214648 1131301124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25699 13086 16 0 210453 0
vsize: 841876
[startup+940.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 91833 57 0 0 25 0 11 0 837557027 862081024 25717 4294967295 134512640 134569956 3221224368 3221214288 1131529744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25717 13086 16 0 210453 0
vsize: 841876
[startup+950.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 92818 57 0 0 25 0 11 0 837557027 862081024 25744 4294967295 134512640 134569956 3221224368 3221214648 1131301131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25744 13086 16 0 210453 0
vsize: 841876
[startup+960.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 93804 57 0 0 25 0 11 0 837557027 862081024 25764 4294967295 134512640 134569956 3221224368 3221214552 1131210769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25764 13086 16 0 210453 0
vsize: 841876
[startup+970.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 94788 58 0 0 25 0 11 0 837557027 862081024 25792 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25792 13086 16 0 210453 0
vsize: 841876
[startup+980.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 95773 58 0 0 25 0 11 0 837557027 862081024 25809 4294967295 134512640 134569956 3221224368 3221214644 1131210688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25809 13086 16 0 210453 0
vsize: 841876
[startup+990.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 96756 58 0 0 25 0 11 0 837557027 862081024 25834 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25834 13086 16 0 210453 0
vsize: 841876
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 97741 58 0 0 25 0 11 0 837557027 862081024 25864 4294967295 134512640 134569956 3221224368 3221214648 1131306674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25864 13086 16 0 210453 0
vsize: 841876
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 98728 58 0 0 25 0 11 0 837557027 862081024 25885 4294967295 134512640 134569956 3221224368 3221214644 1131215570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25885 13086 16 0 210453 0
vsize: 841876
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 99711 58 0 0 25 0 11 0 837557027 862081024 25923 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25923 13086 16 0 210453 0
vsize: 841876
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 100695 58 0 0 25 0 11 0 837557027 862081024 25945 4294967295 134512640 134569956 3221224368 3221214648 1131307369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25945 13086 16 0 210453 0
vsize: 841876
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 101677 58 0 0 25 0 11 0 837557027 862081024 25968 4294967295 134512640 134569956 3221224368 3221214560 1131203896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 25968 13086 16 0 210453 0
vsize: 841876
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 102661 58 0 0 25 0 11 0 837557027 862081024 26005 4294967295 134512640 134569956 3221224368 3221214640 1131187769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26005 13086 16 0 210453 0
vsize: 841876
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 103645 58 0 0 25 0 11 0 837557027 862081024 26048 4294967295 134512640 134569956 3221224368 3221214544 1131214839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26048 13086 16 0 210453 0
vsize: 841876
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 104628 58 0 0 24 0 11 0 837557027 862081024 26073 4294967295 134512640 134569956 3221224368 3221214624 1131226816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26073 13086 16 0 210453 0
vsize: 841876
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 105614 58 0 0 25 0 11 0 837557027 862081024 26101 4294967295 134512640 134569956 3221224368 3221214648 1131301059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26101 13086 16 0 210453 0
vsize: 841876
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 106599 58 0 0 25 0 11 0 837557027 862081024 26111 4294967295 134512640 134569956 3221224368 3221214552 1131211035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26111 13086 16 0 210453 0
vsize: 841876
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 107581 58 0 0 25 0 11 0 837557027 862081024 26148 4294967295 134512640 134569956 3221224368 3221214640 1131187760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26148 13086 16 0 210453 0
vsize: 841876
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 108565 58 0 0 25 0 11 0 837557027 862081024 26165 4294967295 134512640 134569956 3221224368 3221214632 1131210807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26165 13086 16 0 210453 0
vsize: 841876
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 109545 59 0 0 25 0 11 0 837557027 862081024 26203 4294967295 134512640 134569956 3221224368 3221214544 1131214829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26203 13086 16 0 210453 0
vsize: 841876
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4139
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 110526 59 0 0 25 0 11 0 837557027 862081024 26232 4294967295 134512640 134569956 3221224368 3221214648 1131301167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26232 13086 16 0 210453 0
vsize: 841876
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 111505 59 0 0 25 0 11 0 837557027 862081024 26245 4294967295 134512640 134569956 3221224368 3221214576 1131533740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26245 13086 16 0 210453 0
vsize: 841876
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 112482 59 0 0 25 0 11 0 837557027 862081024 26298 4294967295 134512640 134569956 3221224368 3221214544 1131214963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26298 13086 16 0 210453 0
vsize: 841876
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 113460 59 0 0 25 0 11 0 837557027 862081024 26356 4294967295 134512640 134569956 3221224368 3221214648 1131301171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210469 26356 13086 16 0 210453 0
vsize: 841876
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 114441 59 0 0 25 0 11 0 837557027 862081024 26418 4294967295 134512640 134569956 3221224368 3221214648 1131303020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26418 13086 16 0 210453 0
vsize: 841876
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 115426 59 0 0 25 0 11 0 837557027 862081024 26450 4294967295 134512640 134569956 3221224368 3221214648 1131302706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26450 13086 16 0 210453 0
vsize: 841876
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 116411 59 0 0 25 0 11 0 837557027 862081024 26502 4294967295 134512640 134569956 3221224368 3221214648 1131303208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26502 13086 16 0 210453 0
vsize: 841876
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 117398 59 0 0 25 0 11 0 837557027 862081024 26521 4294967295 134512640 134569956 3221224368 3221214648 1131307008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26521 13086 16 0 210453 0
vsize: 841876
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 118382 59 0 0 25 0 11 0 837557027 862081024 26536 4294967295 134512640 134569956 3221224368 3221214640 1131187748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26536 13086 16 0 210453 0
vsize: 841876
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 119366 59 0 0 25 0 11 0 837557027 862081024 26562 4294967295 134512640 134569956 3221224368 3221214648 1131301128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26562 13086 16 0 210453 0
vsize: 841876
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4141
Raw data (stat): 4059 (java) R 4058 24821 24820 0 -1 0 18136 3 1 0 120351 59 0 0 25 0 11 0 837557027 862081024 26600 4294967295 134512640 134569956 3221224368 3221214552 1131210849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210469 26600 13086 16 0 210453 0
vsize: 841876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4143
Raw data (stat): 4059 (java) Z 4058 24821 24820 0 -1 1036 18136 6237 1 0 120357 59 2256 27 25 0 1 0 837557027 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1227
CPU user time (s): 1226.13
CPU system time (s): 0.870867
CPU usage (%): 99.7428
Max. virtual memory (Kb): 842164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	353135
#### END VERIFIER DATA ####