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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.02084
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 29931

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 12:52:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21330 boxname=wulflinc29 idbench=1318 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 21330
/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:        627864 kB
Buffers:         34092 kB
Cached:         347632 kB
SwapCached:        572 kB
Active:          55356 kB
Inactive:       331872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        627612 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            13940 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:13:18 (client local time) WITH STATUS 143 IN 1242.98 SECONDS
stats: 21330 0 1242.98 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/wulflinc29/normalized-mps-v2-13-7-p0282.opb
c reading problem ... done. Time 1.108 ms.
c #vars     282
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              457129 		Current CPU time: 1.31 ms
c CURRENT OPTIMUM=              453986 		Current CPU time: 1.51 ms
c CURRENT OPTIMUM=              415236 		Current CPU time: 3.17 ms
c CURRENT OPTIMUM=              389423 		Current CPU time: 3.78 ms
c CURRENT OPTIMUM=              388893 		Current CPU time: 11.86 ms
c CURRENT OPTIMUM=              388176 		Current CPU time: 19.49 ms
c CURRENT OPTIMUM=              387892 		Current CPU time: 28.46 ms
c CURRENT OPTIMUM=              372732 		Current CPU time: 32.10 ms
c CURRENT OPTIMUM=              372560 		Current CPU time: 183.16 ms
c CURRENT OPTIMUM=              371662 		Current CPU time: 299.93 ms
c CURRENT OPTIMUM=              371401 		Current CPU time: 482.11 ms
c CURRENT OPTIMUM=              359243 		Current CPU time: 519.47 ms
c CURRENT OPTIMUM=              358449 		Current CPU time: 635.50 ms
c CURRENT OPTIMUM=              357993 		Current CPU time: 644.48 ms
c CURRENT OPTIMUM=              353135 		Current CPU time: 654.11 ms
c starts	: 22
c conflicts	: 1006
c decisions	: 12439
c propagations	: 27273
c inspects	: 1243343
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1005
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.263
#### 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): 1.00 1.00 1.00 2/54 1150
Raw data (stat): 1150 (runsolver) R 1149 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839021984 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.16 1.03 1.01 3/64 1164
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18163 3 1 0 577 38 0 0 25 0 11 0 839021984 871735296 22842 4294967295 134512640 134569956 3221224368 3221214528 1131221693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212826 22842 13086 16 0 212810 0
vsize: 851304
[startup+20.002 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 1165
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18164 3 1 0 1492 38 0 0 25 0 11 0 839021984 867700736 22524 4294967295 134512640 134569956 3221224368 3221214716 1131504657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 22524 13086 16 0 211825 0
vsize: 847364
[startup+30.0022 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 1167
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18164 3 1 0 2449 38 0 0 25 0 11 0 839021984 867700736 22779 4294967295 134512640 134569956 3221224368 3221214512 1131208968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 22779 13086 16 0 211825 0
vsize: 847364
[startup+40.0021 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18164 3 1 0 3403 38 0 0 25 0 11 0 839021984 867700736 22910 4294967295 134512640 134569956 3221224368 3221214664 1131513293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 22910 13086 16 0 211825 0
vsize: 847364
[startup+50.0035 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 4354 39 0 0 25 0 11 0 839021984 867700736 23264 4294967295 134512640 134569956 3221224368 3221214560 1131197896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 23264 13086 16 0 211825 0
vsize: 847364
[startup+60.0037 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 5313 39 0 0 25 0 11 0 839021984 867700736 23416 4294967295 134512640 134569956 3221224368 3221214560 1131197237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23416 13086 16 0 211825 0
vsize: 847364
[startup+70.0045 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 6273 39 0 0 25 0 11 0 839021984 867700736 23499 4294967295 134512640 134569956 3221224368 3221214776 1131562779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23499 13086 16 0 211825 0
vsize: 847364
[startup+80.005 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 7231 39 0 0 25 0 11 0 839021984 867700736 23596 4294967295 134512640 134569956 3221224368 3221214560 1131197660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23596 13086 16 0 211825 0
vsize: 847364
[startup+90.005 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 8197 39 0 0 21 0 11 0 839021984 867700736 23755 4294967295 134512640 134569956 3221224368 3221214520 1131209304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23755 13086 16 0 211825 0
vsize: 847364
[startup+100.005 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 9172 39 0 0 25 0 11 0 839021984 867700736 23879 4294967295 134512640 134569956 3221224368 3221214664 1131508579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23879 13086 16 0 211825 0
vsize: 847364
[startup+110.006 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 10153 39 0 0 24 0 11 0 839021984 867700736 23951 4294967295 134512640 134569956 3221224368 3221214560 1131197793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 23951 13086 16 0 211825 0
vsize: 847364
[startup+120.007 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 11135 39 0 0 25 0 11 0 839021984 867700736 24002 4294967295 134512640 134569956 3221224368 3221214560 1131197783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 24002 13086 16 0 211825 0
vsize: 847364
[startup+130.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 12112 39 0 0 25 0 11 0 839021984 867700736 24045 4294967295 134512640 134569956 3221224368 3221214664 1131509842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24045 13086 16 0 211825 0
vsize: 847364
[startup+140.008 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18165 3 1 0 13087 39 0 0 25 0 11 0 839021984 867700736 24105 4294967295 134512640 134569956 3221224368 3221214664 1131508611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24105 13086 16 0 211825 0
vsize: 847364
[startup+150.008 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 14060 40 0 0 25 0 11 0 839021984 867700736 24167 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 24167 13086 16 0 211825 0
vsize: 847364
[startup+160.009 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 15030 40 0 0 25 0 11 0 839021984 867700736 24222 4294967295 134512640 134569956 3221224368 3221214560 1131197221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24222 13086 16 0 211825 0
vsize: 847364
[startup+170.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 16004 41 0 0 24 0 11 0 839021984 867700736 24334 4294967295 134512640 134569956 3221224368 3221214560 1131197925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24334 13086 16 0 211825 0
vsize: 847364
[startup+180.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1168
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 16980 41 0 0 25 0 11 0 839021984 867700736 24381 4294967295 134512640 134569956 3221224368 3221214664 1131508579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 24381 13086 16 0 211825 0
vsize: 847364
[startup+190.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 17955 41 0 0 25 0 11 0 839021984 867700736 24434 4294967295 134512640 134569956 3221224368 3221214616 1131235140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24434 13086 16 0 211825 0
vsize: 847364
[startup+200.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 18931 42 0 0 25 0 11 0 839021984 867700736 24502 4294967295 134512640 134569956 3221224368 3221214560 1131198487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24502 13086 16 0 211825 0
vsize: 847364
[startup+210.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 19913 42 0 0 25 0 11 0 839021984 867700736 24560 4294967295 134512640 134569956 3221224368 3221214560 1131197425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 24560 13086 16 0 211825 0
vsize: 847364
[startup+220.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 20897 43 0 0 25 0 11 0 839021984 867700736 24617 4294967295 134512640 134569956 3221224368 3221214560 1131197828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24617 13086 16 0 211825 0
vsize: 847364
[startup+230.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 21880 43 0 0 25 0 11 0 839021984 867700736 24643 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24643 13086 16 0 211825 0
vsize: 847364
[startup+240.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 22861 43 0 0 25 0 11 0 839021984 867700736 24664 4294967295 134512640 134569956 3221224368 3221214664 1131509777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 24664 13086 16 0 211825 0
vsize: 847364
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 23842 43 0 0 25 0 11 0 839021984 867700736 24710 4294967295 134512640 134569956 3221224368 3221214664 1131513250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24710 13086 16 0 211825 0
vsize: 847364
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 24825 43 0 0 25 0 11 0 839021984 867700736 24759 4294967295 134512640 134569956 3221224368 3221214360 1131374665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24759 13086 16 0 211825 0
vsize: 847364
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 25805 44 0 0 25 0 11 0 839021984 867700736 24802 4294967295 134512640 134569956 3221224368 3221214580 1131381107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24802 13086 16 0 211825 0
vsize: 847364
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 26789 44 0 0 25 0 11 0 839021984 867700736 24844 4294967295 134512640 134569956 3221224368 3221214560 1131197856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24844 13086 16 0 211825 0
vsize: 847364
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 27770 44 0 0 25 0 11 0 839021984 867700736 24876 4294967295 134512640 134569956 3221224368 3221214560 1131197394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24876 13086 16 0 211825 0
vsize: 847364
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1169
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 28752 44 0 0 25 0 11 0 839021984 867700736 24914 4294967295 134512640 134569956 3221224368 3221214560 1131197224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24914 13086 16 0 211825 0
vsize: 847364
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 29736 44 0 0 25 0 11 0 839021984 867700736 24954 4294967295 134512640 134569956 3221224368 3221214560 1131197690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24954 13086 16 0 211825 0
vsize: 847364
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 30717 45 0 0 24 0 11 0 839021984 867700736 24994 4294967295 134512640 134569956 3221224368 3221214660 1131197203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 24994 13086 16 0 211825 0
vsize: 847364
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 31700 45 0 0 25 0 11 0 839021984 867700736 25026 4294967295 134512640 134569956 3221224368 3221214560 1131198407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25026 13086 16 0 211825 0
vsize: 847364
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 32686 45 0 0 25 0 11 0 839021984 867700736 25058 4294967295 134512640 134569956 3221224368 3221214520 1131209258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25058 13086 16 0 211825 0
vsize: 847364
[startup+350.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 33670 45 0 0 25 0 11 0 839021984 867700736 25091 4294967295 134512640 134569956 3221224368 3221214536 1131593320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25091 13086 16 0 211825 0
vsize: 847364
[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 34653 46 0 0 25 0 11 0 839021984 867700736 25115 4294967295 134512640 134569956 3221224368 3221214560 1131197249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25115 13086 16 0 211825 0
vsize: 847364
[startup+370.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 35636 46 0 0 25 0 11 0 839021984 867700736 25150 4294967295 134512640 134569956 3221224368 3221214664 1131508615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25150 13086 16 0 211825 0
vsize: 847364
[startup+380.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 36619 46 0 0 25 0 11 0 839021984 867700736 25204 4294967295 134512640 134569956 3221224368 3221214664 1131513293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25204 13086 16 0 211825 0
vsize: 847364
[startup+390.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 37600 46 0 0 25 0 11 0 839021984 867700736 25240 4294967295 134512640 134569956 3221224368 3221214560 1131197593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 25240 13086 16 0 211825 0
vsize: 847364
[startup+400.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 38579 47 0 0 25 0 11 0 839021984 867700736 25283 4294967295 134512640 134569956 3221224368 3221214668 1131234771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25283 13086 16 0 211825 0
vsize: 847364
[startup+410.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 39559 47 0 0 25 0 11 0 839021984 867700736 25335 4294967295 134512640 134569956 3221224368 3221214560 1131197547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25335 13086 16 0 211825 0
vsize: 847364
[startup+420.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 40541 48 0 0 25 0 11 0 839021984 867700736 25381 4294967295 134512640 134569956 3221224368 3221214664 1131509686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25381 13086 16 0 211825 0
vsize: 847364
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1170
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 41523 48 0 0 25 0 11 0 839021984 867700736 25410 4294967295 134512640 134569956 3221224368 3221214248 1131589634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25410 13086 16 0 211825 0
vsize: 847364
[startup+440.022 s]
Raw data (loadavg): 1.08 1.02 1.01 3/67 1205
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 42501 51 0 0 25 0 11 0 839021984 867700736 25438 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 25438 13086 16 0 211825 0
vsize: 847364
[startup+450.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1223
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 43479 52 0 0 25 0 11 0 839021984 867700736 25475 4294967295 134512640 134569956 3221224368 3221214560 1131197217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25475 13086 16 0 211825 0
vsize: 847364
[startup+460.022 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1223
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 44460 52 0 0 25 0 11 0 839021984 867700736 25535 4294967295 134512640 134569956 3221224368 3221214560 1131198493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25535 13086 16 0 211825 0
vsize: 847364
[startup+470.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1223
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 45443 52 0 0 25 0 11 0 839021984 867700736 25566 4294967295 134512640 134569956 3221224368 3221214560 1131197435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25566 13086 16 0 211825 0
vsize: 847364
[startup+480.024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1223
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 46428 52 0 0 25 0 11 0 839021984 867700736 25626 4294967295 134512640 134569956 3221224368 3221214560 1131197531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25626 13086 16 0 211825 0
vsize: 847364
[startup+490.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1224
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 47413 52 0 0 25 0 11 0 839021984 867700736 25647 4294967295 134512640 134569956 3221224368 3221214560 1131197217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25647 13086 16 0 211825 0
vsize: 847364
[startup+500.026 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1224
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 48397 53 0 0 25 0 11 0 839021984 867700736 25667 4294967295 134512640 134569956 3221224368 3221214536 1131221616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25667 13086 16 0 211825 0
vsize: 847364
[startup+510.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1224
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 49380 53 0 0 25 0 11 0 839021984 867700736 25684 4294967295 134512640 134569956 3221224368 3221214664 1131508579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25684 13086 16 0 211825 0
vsize: 847364
[startup+520.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1226
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 50358 54 0 0 25 0 11 0 839021984 867700736 25705 4294967295 134512640 134569956 3221224368 3221214560 1131197736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 25705 13086 16 0 211825 0
vsize: 847364
[startup+530.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 51336 54 0 0 25 0 11 0 839021984 867700736 25756 4294967295 134512640 134569956 3221224368 3221214560 1131198414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25756 13086 16 0 211825 0
vsize: 847364
[startup+540.027 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 52316 55 0 0 25 0 11 0 839021984 867700736 25803 4294967295 134512640 134569956 3221224368 3221214520 1131209528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25803 13086 16 0 211825 0
vsize: 847364
[startup+550.027 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 53295 55 0 0 25 0 11 0 839021984 867700736 25852 4294967295 134512640 134569956 3221224368 3221214560 1131197239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25852 13086 16 0 211825 0
vsize: 847364
[startup+560.028 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 54277 55 0 0 25 0 11 0 839021984 867700736 25885 4294967295 134512640 134569956 3221224368 3221214560 1131198390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25885 13086 16 0 211825 0
vsize: 847364
[startup+570.028 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 55259 55 0 0 25 0 11 0 839021984 867700736 25930 4294967295 134512640 134569956 3221224368 3221214560 1131198447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25930 13086 16 0 211825 0
vsize: 847364
[startup+580.028 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 56241 56 0 0 25 0 11 0 839021984 867700736 25973 4294967295 134512640 134569956 3221224368 3221214560 1131198159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 25973 13086 16 0 211825 0
vsize: 847364
[startup+590.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 57222 56 0 0 25 0 11 0 839021984 867700736 26004 4294967295 134512640 134569956 3221224368 3221214664 1131508611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26004 13086 16 0 211825 0
vsize: 847364
[startup+600.029 s]
Raw data (loadavg): 1.03 1.02 1.00 3/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 58205 56 0 0 25 0 11 0 839021984 867700736 26033 4294967295 134512640 134569956 3221224368 3221214520 1131209005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26033 13086 16 0 211825 0
vsize: 847364
[startup+610.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 59188 57 0 0 25 0 11 0 839021984 867700736 26067 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26067 13086 16 0 211825 0
vsize: 847364
[startup+620.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 60168 57 0 0 25 0 11 0 839021984 867700736 26103 4294967295 134512640 134569956 3221224368 3221214660 1131197203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26103 13086 16 0 211825 0
vsize: 847364
[startup+630.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1227
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 61148 57 0 0 25 0 11 0 839021984 867700736 26139 4294967295 134512640 134569956 3221224368 3221214560 1131197719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26139 13086 16 0 211825 0
vsize: 847364
[startup+640.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1228
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 62130 58 0 0 25 0 11 0 839021984 867700736 26188 4294967295 134512640 134569956 3221224368 3221214664 1131508579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26188 13086 16 0 211825 0
vsize: 847364
[startup+650.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1229
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 63115 58 0 0 25 0 11 0 839021984 867700736 26217 4294967295 134512640 134569956 3221224368 3221214368 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26217 13086 16 0 211825 0
vsize: 847364
[startup+660.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 64099 58 0 0 25 0 11 0 839021984 867700736 26250 4294967295 134512640 134569956 3221224368 3221214660 1131198580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26250 13086 16 0 211825 0
vsize: 847364
[startup+670.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 65080 58 0 0 25 0 11 0 839021984 867700736 26274 4294967295 134512640 134569956 3221224368 3221214560 1131197521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26274 13086 16 0 211825 0
vsize: 847364
[startup+680.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 66061 58 0 0 25 0 11 0 839021984 867700736 26308 4294967295 134512640 134569956 3221224368 3221214560 1131197860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26308 13086 16 0 211825 0
vsize: 847364
[startup+690.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 67041 59 0 0 25 0 11 0 839021984 867700736 26346 4294967295 134512640 134569956 3221224368 3221214528 1131209485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26346 13086 16 0 211825 0
vsize: 847364
[startup+700.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 68022 59 0 0 25 0 11 0 839021984 867700736 26396 4294967295 134512640 134569956 3221224368 3221214560 1131197547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26396 13086 16 0 211825 0
vsize: 847364
[startup+710.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 69003 59 0 0 25 0 11 0 839021984 867700736 26417 4294967295 134512640 134569956 3221224368 3221214560 1131197327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26417 13086 16 0 211825 0
vsize: 847364
[startup+720.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 69987 59 0 0 25 0 11 0 839021984 867700736 26448 4294967295 134512640 134569956 3221224368 3221214624 1131235089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26448 13086 16 0 211825 0
vsize: 847364
[startup+730.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 70974 60 0 0 25 0 11 0 839021984 867700736 26482 4294967295 134512640 134569956 3221224368 3221214448 1131591822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26482 13086 16 0 211825 0
vsize: 847364
[startup+740.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 71954 60 0 0 25 0 11 0 839021984 867700736 26540 4294967295 134512640 134569956 3221224368 3221214560 1131197586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26540 13086 16 0 211825 0
vsize: 847364
[startup+750.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 72936 60 0 0 25 0 11 0 839021984 867700736 26561 4294967295 134512640 134569956 3221224368 3221214528 1131209524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26561 13086 16 0 211825 0
vsize: 847364
[startup+760.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1230
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 73916 61 0 0 25 0 11 0 839021984 867700736 26609 4294967295 134512640 134569956 3221224368 3221214560 1131197947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26609 13086 16 0 211825 0
vsize: 847364
[startup+770.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 74899 61 0 0 25 0 11 0 839021984 867700736 26689 4294967295 134512640 134569956 3221224368 3221214664 1131508538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26689 13086 16 0 211825 0
vsize: 847364
[startup+780.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 75879 61 0 0 25 0 11 0 839021984 867700736 26763 4294967295 134512640 134569956 3221224368 3221214664 1131509547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26763 13086 16 0 211825 0
vsize: 847364
[startup+790.037 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 76850 62 0 0 25 0 11 0 839021984 867700736 26812 4294967295 134512640 134569956 3221224368 3221214664 1131508572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26812 13086 16 0 211825 0
vsize: 847364
[startup+800.039 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 77825 62 0 0 25 0 11 0 839021984 867700736 26888 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26888 13086 16 0 211825 0
vsize: 847364
[startup+810.039 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 78801 62 0 0 25 0 11 0 839021984 867700736 26965 4294967295 134512640 134569956 3221224368 3221214664 1131513220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 26965 13086 16 0 211825 0
vsize: 847364
[startup+820.039 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 79778 63 0 0 25 0 11 0 839021984 867700736 27043 4294967295 134512640 134569956 3221224368 3221214560 1131197856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27043 13086 16 0 211825 0
vsize: 847364
[startup+830.039 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 80758 63 0 0 25 0 11 0 839021984 867700736 27071 4294967295 134512640 134569956 3221224368 3221214560 1131197896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27071 13086 16 0 211825 0
vsize: 847364
[startup+840.039 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 81738 63 0 0 25 0 11 0 839021984 867700736 27118 4294967295 134512640 134569956 3221224368 3221214520 1131209307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27118 13086 16 0 211825 0
vsize: 847364
[startup+850.039 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 82723 63 0 0 25 0 11 0 839021984 867700736 27163 4294967295 134512640 134569956 3221224368 3221214560 1131197719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27163 13086 16 0 211825 0
vsize: 847364
[startup+860.149 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 83718 63 0 0 25 0 11 0 839021984 867700736 27184 4294967295 134512640 134569956 3221224368 3221214664 1131508611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27184 13086 16 0 211825 0
vsize: 847364
[startup+870.15 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 84703 63 0 0 25 0 11 0 839021984 867700736 27215 4294967295 134512640 134569956 3221224368 3221214560 1131197856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27215 13086 16 0 211825 0
vsize: 847364
[startup+880.149 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 85689 64 0 0 25 0 11 0 839021984 867700736 27228 4294967295 134512640 134569956 3221224368 3221214560 1131197828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27228 13086 16 0 211825 0
vsize: 847364
[startup+890.15 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 86671 64 0 0 25 0 11 0 839021984 867700736 27256 4294967295 134512640 134569956 3221224368 3221214664 1131513205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27256 13086 16 0 211825 0
vsize: 847364
[startup+900.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 87656 65 0 0 25 0 11 0 839021984 867700736 27287 4294967295 134512640 134569956 3221224368 3221214560 1131198462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27287 13086 16 0 211825 0
vsize: 847364
[startup+910.151 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 88639 65 0 0 25 0 11 0 839021984 867700736 27306 4294967295 134512640 134569956 3221224368 3221214560 1131197400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27306 13086 16 0 211825 0
vsize: 847364
[startup+920.151 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 89621 66 0 0 25 0 11 0 839021984 867700736 27327 4294967295 134512640 134569956 3221224368 3221214664 1131508611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27327 13086 16 0 211825 0
vsize: 847364
[startup+930.15 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 90602 66 0 0 25 0 11 0 839021984 867700736 27357 4294967295 134512640 134569956 3221224368 3221214560 1131197735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27357 13086 16 0 211825 0
vsize: 847364
[startup+940.151 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 91583 66 0 0 24 0 11 0 839021984 867700736 27392 4294967295 134512640 134569956 3221224368 3221214560 1131197435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27392 13086 16 0 211825 0
vsize: 847364
[startup+950.151 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 92571 67 0 0 25 0 11 0 839021984 867700736 27408 4294967295 134512640 134569956 3221224368 3221214664 1131513282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27408 13086 16 0 211825 0
vsize: 847364
[startup+960.152 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 93551 68 0 0 25 0 11 0 839021984 867700736 27451 4294967295 134512640 134569956 3221224368 3221214604 1131201568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27451 13086 16 0 211825 0
vsize: 847364
[startup+970.152 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 94532 68 0 0 25 0 11 0 839021984 867700736 27475 4294967295 134512640 134569956 3221224368 3221214024 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27475 13086 16 0 211825 0
vsize: 847364
[startup+980.152 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 95512 68 0 0 25 0 11 0 839021984 867700736 27519 4294967295 134512640 134569956 3221224368 3221214664 1131513293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27519 13086 16 0 211825 0
vsize: 847364
[startup+990.152 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 96496 68 0 0 25 0 11 0 839021984 867700736 27540 4294967295 134512640 134569956 3221224368 3221214560 1131197635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27540 13086 16 0 211825 0
vsize: 847364
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 97476 68 0 0 25 0 11 0 839021984 867700736 27585 4294967295 134512640 134569956 3221224368 3221214560 1131198452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27585 13086 16 0 211825 0
vsize: 847364
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 98459 69 0 0 25 0 11 0 839021984 867700736 27618 4294967295 134512640 134569956 3221224368 3221214528 1131209304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27618 13086 16 0 211825 0
vsize: 847364
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 99442 69 0 0 25 0 11 0 839021984 867700736 27633 4294967295 134512640 134569956 3221224368 3221214664 1131508588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27633 13086 16 0 211825 0
vsize: 847364
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 100424 70 0 0 25 0 11 0 839021984 867700736 27670 4294967295 134512640 134569956 3221224368 3221214352 1131590764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27670 13086 16 0 211825 0
vsize: 847364
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 101405 70 0 0 24 0 11 0 839021984 867700736 27688 4294967295 134512640 134569956 3221224368 3221214560 1131197660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27688 13086 16 0 211825 0
vsize: 847364
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 102384 71 0 0 25 0 11 0 839021984 867700736 27726 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27726 13086 16 0 211825 0
vsize: 847364
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 103361 71 0 0 25 0 11 0 839021984 867700736 27755 4294967295 134512640 134569956 3221224368 3221214560 1131197209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27755 13086 16 0 211825 0
vsize: 847364
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 104340 71 0 0 25 0 11 0 839021984 867700736 27777 4294967295 134512640 134569956 3221224368 3221214496 1131208995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27777 13086 16 0 211825 0
vsize: 847364
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 105314 71 0 0 25 0 11 0 839021984 867700736 27824 4294967295 134512640 134569956 3221224368 3221214228 1131575696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27824 13086 16 0 211825 0
vsize: 847364
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 106290 72 0 0 25 0 11 0 839021984 867700736 27886 4294967295 134512640 134569956 3221224368 3221214560 1131197868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211841 27886 13086 16 0 211825 0
vsize: 847364
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 107269 72 0 0 25 0 11 0 839021984 867700736 27952 4294967295 134512640 134569956 3221224368 3221214560 1131197294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27952 13086 16 0 211825 0
vsize: 847364
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 108254 72 0 0 25 0 11 0 839021984 867700736 27993 4294967295 134512640 134569956 3221224368 3221214664 1131513282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 27993 13086 16 0 211825 0
vsize: 847364
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 109237 73 0 0 24 0 11 0 839021984 867700736 28035 4294967295 134512640 134569956 3221224368 3221214560 1131197663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28035 13086 16 0 211825 0
vsize: 847364
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 110222 73 0 0 25 0 11 0 839021984 867700736 28053 4294967295 134512640 134569956 3221224368 3221214560 1131197828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28053 13086 16 0 211825 0
vsize: 847364
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 111204 74 0 0 25 0 11 0 839021984 867700736 28072 4294967295 134512640 134569956 3221224368 3221214496 1131209503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28072 13086 16 0 211825 0
vsize: 847364
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 112186 74 0 0 25 0 11 0 839021984 867700736 28123 4294967295 134512640 134569956 3221224368 3221214560 1131197237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28123 13086 16 0 211825 0
vsize: 847364
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 113170 74 0 0 25 0 11 0 839021984 867700736 28164 4294967295 134512640 134569956 3221224368 3221214560 1131197908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28164 13086 16 0 211825 0
vsize: 847364
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 114155 75 0 0 25 0 11 0 839021984 867700736 28181 4294967295 134512640 134569956 3221224368 3221214320 1131575672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28181 13086 16 0 211825 0
vsize: 847364
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 115138 75 0 0 25 0 11 0 839021984 867700736 28195 4294967295 134512640 134569956 3221224368 3221214560 1131198390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28195 13086 16 0 211825 0
vsize: 847364
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 116118 76 0 0 24 0 11 0 839021984 867700736 28235 4294967295 134512640 134569956 3221224368 3221214552 1131576661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28235 13086 16 0 211825 0
vsize: 847364
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 117096 76 0 0 25 0 11 0 839021984 867700736 28261 4294967295 134512640 134569956 3221224368 3221214560 1131197740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28261 13086 16 0 211825 0
vsize: 847364
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 118073 77 0 0 25 0 11 0 839021984 867700736 28327 4294967295 134512640 134569956 3221224368 3221214136 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28327 13086 16 0 211825 0
vsize: 847364
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 119051 77 0 0 25 0 11 0 839021984 867700736 28364 4294967295 134512640 134569956 3221224368 3221214664 1131509735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28364 13086 16 0 211825 0
vsize: 847364
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1232
Raw data (stat): 1150 (java) R 1149 20001 20000 0 -1 0 18166 3 1 0 120028 77 0 0 25 0 11 0 839021984 867700736 28428 4294967295 134512640 134569956 3221224368 3221214552 1131268771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211841 28428 13086 16 0 211825 0
vsize: 847364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1234
Raw data (stat): 1150 (java) Z 1149 20001 20000 0 -1 1036 18166 15784 1 0 120032 82 4129 52 25 0 1 0 839021984 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.27
CPU time (s): 1242.98
CPU user time (s): 1241.62
CPU system time (s): 1.35879
CPU usage (%): 101.033
Max. virtual memory (Kb): 851304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	353135
#### END VERIFIER DATA ####