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/miplib3/normalized-mps-v2-20-10-p0282.opb
MD5SUM	1a8deb577df7e72871b7e1004c098336
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 29666

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 10:11:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21068 boxname=wulflinc8 idbench=1056 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 21068
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        418576 kB
Buffers:         37676 kB
Cached:         552224 kB
SwapCached:          0 kB
Active:          27728 kB
Inactive:       569080 kB
HighTotal:      131008 kB
HighFree:        41804 kB
LowTotal:       903652 kB
LowFree:        376772 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13592 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:31:40 (client local time) WITH STATUS 143 IN 1239.58 SECONDS
stats: 21068 0 1239.58 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/wulflinc8/normalized-mps-v2-20-10-p0282.opb
c reading problem ... done. Time 1.085 ms.
c #vars     282
c #constraints  221
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              457129 		Current CPU time: 1.36 ms
c CURRENT OPTIMUM=              453986 		Current CPU time: 1.55 ms
c CURRENT OPTIMUM=              415236 		Current CPU time: 3.16 ms
c CURRENT OPTIMUM=              389423 		Current CPU time: 3.57 ms
c CURRENT OPTIMUM=              388893 		Current CPU time: 10.02 ms
c CURRENT OPTIMUM=              388176 		Current CPU time: 18.12 ms
c CURRENT OPTIMUM=              387892 		Current CPU time: 27.70 ms
c CURRENT OPTIMUM=              372732 		Current CPU time: 31.60 ms
c CURRENT OPTIMUM=              372560 		Current CPU time: 194.52 ms
c CURRENT OPTIMUM=              371662 		Current CPU time: 321.94 ms
c CURRENT OPTIMUM=              371401 		Current CPU time: 520.43 ms
c CURRENT OPTIMUM=              359243 		Current CPU time: 560.50 ms
c CURRENT OPTIMUM=              358449 		Current CPU time: 686.24 ms
c CURRENT OPTIMUM=              357993 		Current CPU time: 695.82 ms
c CURRENT OPTIMUM=              353135 		Current CPU time: 706.13 ms
c starts	: 22
c conflicts	: 944
c decisions	: 11472
c propagations	: 25991
c inspects	: 1163664
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 943
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.129
#### 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.87 0.97 0.99 2/54 16877
Raw data (stat): 16877 (runsolver) R 16876 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 766269234 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.0004 s]
Raw data (loadavg): 1.11 1.02 1.01 2/64 16891
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18157 3 1 0 659 41 0 0 25 0 11 0 766269234 863014912 20988 4294967295 134512640 134569956 3221224368 3221214592 1131154256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210697 20988 13086 16 0 210681 0
vsize: 842788
[startup+20.0016 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 16893
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 1614 41 0 0 25 0 11 0 766269234 862916608 21276 4294967295 134512640 134569956 3221224368 3221214576 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210673 21276 13086 16 0 210657 0
vsize: 842692
[startup+30.0029 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 16894
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 2574 41 0 0 24 0 11 0 766269234 860545024 20915 4294967295 134512640 134569956 3221224368 3221214672 1131297345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 20915 13086 16 0 210078 0
vsize: 840376
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 3532 41 0 0 25 0 11 0 766269234 860545024 21029 4294967295 134512640 134569956 3221224368 3221214672 1131298184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210094 21029 13086 16 0 210078 0
vsize: 840376
[startup+50.0029 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 4487 41 0 0 25 0 11 0 766269234 860545024 21362 4294967295 134512640 134569956 3221224368 3221214664 1131180860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21362 13086 16 0 210078 0
vsize: 840376
[startup+60.0064 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) S 16876 3132 3131 0 -1 0 18158 3 1 0 5449 42 0 0 25 0 11 0 766269234 860545024 21496 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21496 13086 16 0 210078 0
vsize: 840376
[startup+70.0081 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 6411 42 0 0 25 0 11 0 766269234 860545024 21590 4294967295 134512640 134569956 3221224368 3221214832 1131197465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21590 13086 16 0 210078 0
vsize: 840376
[startup+80.0081 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 7372 42 0 0 25 0 11 0 766269234 860545024 21682 4294967295 134512640 134569956 3221224368 3221214544 1131531424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21682 13086 16 0 210078 0
vsize: 840376
[startup+90.0085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 8335 42 0 0 25 0 11 0 766269234 860545024 21831 4294967295 134512640 134569956 3221224368 3221214672 1131298184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21831 13086 16 0 210078 0
vsize: 840376
[startup+100.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 9310 42 0 0 25 0 11 0 766269234 860545024 21944 4294967295 134512640 134569956 3221224368 3221214672 1131296378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21944 13086 16 0 210078 0
vsize: 840376
[startup+110.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 10290 42 0 0 25 0 11 0 766269234 860545024 22050 4294967295 134512640 134569956 3221224368 3221214624 1131198317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22050 13086 16 0 210078 0
vsize: 840376
[startup+120.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 11272 42 0 0 24 0 11 0 766269234 860545024 22089 4294967295 134512640 134569956 3221224368 3221214576 1131205739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22089 13086 16 0 210078 0
vsize: 840376
[startup+130.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 12254 42 0 0 25 0 11 0 766269234 860545024 22125 4294967295 134512640 134569956 3221224368 3221214576 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22125 13086 16 0 210078 0
vsize: 840376
[startup+140.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 13232 43 0 0 25 0 11 0 766269234 860545024 22175 4294967295 134512640 134569956 3221224368 3221214632 1131211600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22175 13086 16 0 210078 0
vsize: 840376
[startup+150.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18158 3 1 0 14206 43 0 0 25 0 11 0 766269234 860545024 22225 4294967295 134512640 134569956 3221224368 3221214528 1131224246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22225 13086 16 0 210078 0
vsize: 840376
[startup+160.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 15182 43 0 0 25 0 11 0 766269234 860545024 22281 4294967295 134512640 134569956 3221224368 3221214128 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22281 13086 16 0 210078 0
vsize: 840376
[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 16156 43 0 0 25 0 11 0 766269234 860545024 22336 4294967295 134512640 134569956 3221224368 3221214576 1131205736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210094 22336 13086 16 0 210078 0
vsize: 840376
[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) S 16876 3132 3131 0 -1 0 18159 3 1 0 17134 43 0 0 25 0 11 0 766269234 860545024 22442 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22442 13086 16 0 210078 0
vsize: 840376
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16895
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 18112 44 0 0 25 0 11 0 766269234 860545024 22492 4294967295 134512640 134569956 3221224368 3221214832 1131197465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22492 13086 16 0 210078 0
vsize: 840376
[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 19090 44 0 0 25 0 11 0 766269234 860545024 22532 4294967295 134512640 134569956 3221224368 3221214672 1131297872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22532 13086 16 0 210078 0
vsize: 840376
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 20068 44 0 0 25 0 11 0 766269234 860545024 22591 4294967295 134512640 134569956 3221224368 3221214576 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22591 13086 16 0 210078 0
vsize: 840376
[startup+220.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 21049 44 0 0 25 0 11 0 766269234 860545024 22658 4294967295 134512640 134569956 3221224368 3221214672 1131302074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22658 13086 16 0 210078 0
vsize: 840376
[startup+230.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 22036 44 0 0 25 0 11 0 766269234 860545024 22719 4294967295 134512640 134569956 3221224368 3221214528 1131214292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22719 13086 16 0 210078 0
vsize: 840376
[startup+240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 23021 44 0 0 25 0 11 0 766269234 860545024 22736 4294967295 134512640 134569956 3221224368 3221214668 1131180869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22736 13086 16 0 210078 0
vsize: 840376
[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 24005 44 0 0 25 0 11 0 766269234 860545024 22764 4294967295 134512640 134569956 3221224368 3221214624 1131198328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22764 13086 16 0 210078 0
vsize: 840376
[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 24988 44 0 0 25 0 11 0 766269234 860545024 22797 4294967295 134512640 134569956 3221224368 3221214672 1131302172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22797 13086 16 0 210078 0
vsize: 840376
[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 25972 44 0 0 25 0 11 0 766269234 860545024 22831 4294967295 134512640 134569956 3221224368 3221214576 1131207041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22831 13086 16 0 210078 0
vsize: 840376
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 26955 44 0 0 25 0 11 0 766269234 860545024 22873 4294967295 134512640 134569956 3221224368 3221214576 1131205871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22873 13086 16 0 210078 0
vsize: 840376
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 27940 44 0 0 25 0 11 0 766269234 860545024 22915 4294967295 134512640 134569956 3221224368 3221214576 1131206144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22915 13086 16 0 210078 0
vsize: 840376
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 28923 45 0 0 25 0 11 0 766269234 860545024 22957 4294967295 134512640 134569956 3221224368 3221214672 1131296117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22957 13086 16 0 210078 0
vsize: 840376
[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 29907 45 0 0 25 0 11 0 766269234 860545024 22977 4294967295 134512640 134569956 3221224368 3221214576 1131206601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 22977 13086 16 0 210078 0
vsize: 840376
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16896
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 30890 45 0 0 25 0 11 0 766269234 860545024 23018 4294967295 134512640 134569956 3221224368 3221214576 1131207015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23018 13086 16 0 210078 0
vsize: 840376
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 31874 45 0 0 25 0 11 0 766269234 860545024 23061 4294967295 134512640 134569956 3221224368 3221214664 1131180828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23061 13086 16 0 210078 0
vsize: 840376
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 32857 45 0 0 25 0 11 0 766269234 860545024 23093 4294967295 134512640 134569956 3221224368 3221214576 1131205663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23093 13086 16 0 210078 0
vsize: 840376
[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 33841 45 0 0 25 0 11 0 766269234 860545024 23127 4294967295 134512640 134569956 3221224368 3221214672 1131296335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23127 13086 16 0 210078 0
vsize: 840376
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 34829 45 0 0 25 0 11 0 766269234 860545024 23157 4294967295 134512640 134569956 3221224368 3221214672 1131297305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23157 13086 16 0 210078 0
vsize: 840376
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 35814 45 0 0 25 0 11 0 766269234 860545024 23187 4294967295 134512640 134569956 3221224368 3221214832 1131197465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23187 13086 16 0 210078 0
vsize: 840376
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 36799 45 0 0 24 0 11 0 766269234 860545024 23216 4294967295 134512640 134569956 3221224368 3221214624 1131198342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23216 13086 16 0 210078 0
vsize: 840376
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 37784 46 0 0 25 0 11 0 766269234 860545024 23244 4294967295 134512640 134569956 3221224368 3221214536 1131213930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23244 13086 16 0 210078 0
vsize: 840376
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 38769 46 0 0 25 0 11 0 766269234 860545024 23278 4294967295 134512640 134569956 3221224368 3221214624 1131198713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23278 13086 16 0 210078 0
vsize: 840376
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 39754 46 0 0 25 0 11 0 766269234 860545024 23317 4294967295 134512640 134569956 3221224368 3221214352 1131531051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23317 13086 16 0 210078 0
vsize: 840376
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 40737 46 0 0 24 0 11 0 766269234 860545024 23352 4294967295 134512640 134569956 3221224368 3221214672 1131302659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23352 13086 16 0 210078 0
vsize: 840376
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 41720 46 0 0 25 0 11 0 766269234 860545024 23384 4294967295 134512640 134569956 3221224368 3221214576 1131206644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23384 13086 16 0 210078 0
vsize: 840376
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 42702 46 0 0 25 0 11 0 766269234 860545024 23425 4294967295 134512640 134569956 3221224368 3221214672 1131298184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23425 13086 16 0 210078 0
vsize: 840376
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 43684 46 0 0 25 0 11 0 766269234 860545024 23478 4294967295 134512640 134569956 3221224368 3221214672 1131297708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23478 13086 16 0 210078 0
vsize: 840376
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 44670 46 0 0 25 0 11 0 766269234 860545024 23511 4294967295 134512640 134569956 3221224368 3221214576 1131205982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23511 13086 16 0 210078 0
vsize: 840376
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 45653 46 0 0 25 0 11 0 766269234 860545024 23534 4294967295 134512640 134569956 3221224368 3221214528 1131214459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23534 13086 16 0 210078 0
vsize: 840376
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 46634 46 0 0 24 0 11 0 766269234 860545024 23569 4294967295 134512640 134569956 3221224368 3221214576 1131206599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23569 13086 16 0 210078 0
vsize: 840376
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 47617 46 0 0 25 0 11 0 766269234 860545024 23605 4294967295 134512640 134569956 3221224368 3221214672 1131298160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23605 13086 16 0 210078 0
vsize: 840376
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 48599 46 0 0 25 0 11 0 766269234 860545024 23663 4294967295 134512640 134569956 3221224368 3221214672 1131298184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23663 13086 16 0 210078 0
vsize: 840376
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 49585 46 0 0 25 0 11 0 766269234 860545024 23704 4294967295 134512640 134569956 3221224368 3221214672 1131296342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23704 13086 16 0 210078 0
vsize: 840376
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16897
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 50573 46 0 0 25 0 11 0 766269234 860545024 23733 4294967295 134512640 134569956 3221224368 3221214576 1131206453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23733 13086 16 0 210078 0
vsize: 840376
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16898
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 51560 46 0 0 25 0 11 0 766269234 860545024 23760 4294967295 134512640 134569956 3221224368 3221214672 1131302523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23760 13086 16 0 210078 0
vsize: 840376
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16898
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 52546 46 0 0 25 0 11 0 766269234 860545024 23774 4294967295 134512640 134569956 3221224368 3221214624 1131198342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23774 13086 16 0 210078 0
vsize: 840376
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16898
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 53529 47 0 0 25 0 11 0 766269234 860545024 23791 4294967295 134512640 134569956 3221224368 3221214856 1131437516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23791 13086 16 0 210078 0
vsize: 840376
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16898
Raw data (stat): 16877 (java) S 16876 3132 3131 0 -1 0 18159 3 1 0 54509 47 0 0 25 0 11 0 766269234 860545024 23812 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23812 13086 16 0 210078 0
vsize: 840376
[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 55492 47 0 0 25 0 11 0 766269234 860545024 23843 4294967295 134512640 134569956 3221224368 3221214576 1131197465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23843 13086 16 0 210078 0
vsize: 840376
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 56472 47 0 0 25 0 11 0 766269234 860545024 23892 4294967295 134512640 134569956 3221224368 3221214536 1131214054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23892 13086 16 0 210078 0
vsize: 840376
[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 57455 47 0 0 25 0 11 0 766269234 860545024 23942 4294967295 134512640 134569956 3221224368 3221214448 1131532484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23942 13086 16 0 210078 0
vsize: 840376
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 58437 47 0 0 25 0 11 0 766269234 860545024 23981 4294967295 134512640 134569956 3221224368 3221214672 1131302172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 23981 13086 16 0 210078 0
vsize: 840376
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 59421 47 0 0 25 0 11 0 766269234 860545024 24013 4294967295 134512640 134569956 3221224368 3221214204 1131515787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24013 13086 16 0 210078 0
vsize: 840376
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 60404 47 0 0 25 0 11 0 766269234 860545024 24049 4294967295 134512640 134569956 3221224368 3221214632 1131211603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24049 13086 16 0 210078 0
vsize: 840376
[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 61388 47 0 0 25 0 11 0 766269234 860545024 24086 4294967295 134512640 134569956 3221224368 3221214672 1131296285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24086 13086 16 0 210078 0
vsize: 840376
[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 62371 47 0 0 25 0 11 0 766269234 860545024 24119 4294967295 134512640 134569956 3221224368 3221214624 1131198756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24119 13086 16 0 210078 0
vsize: 840376
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 63355 47 0 0 25 0 11 0 766269234 860545024 24148 4294967295 134512640 134569956 3221224368 3221214672 1131302172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24148 13086 16 0 210078 0
vsize: 840376
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 64338 47 0 0 25 0 11 0 766269234 860545024 24183 4294967295 134512640 134569956 3221224368 3221214576 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24183 13086 16 0 210078 0
vsize: 840376
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 65320 47 0 0 25 0 11 0 766269234 860545024 24215 4294967295 134512640 134569956 3221224368 3221214600 1131218757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24215 13086 16 0 210078 0
vsize: 840376
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16899
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 66302 48 0 0 25 0 11 0 766269234 860545024 24246 4294967295 134512640 134569956 3221224368 3221214576 1131205681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24246 13086 16 0 210078 0
vsize: 840376
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16900
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 67285 48 0 0 25 0 11 0 766269234 860545024 24291 4294967295 134512640 134569956 3221224368 3221214568 1131209791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24291 13086 16 0 210078 0
vsize: 840376
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16901
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 68270 48 0 0 25 0 11 0 766269234 860545024 24318 4294967295 134512640 134569956 3221224368 3221214576 1131205835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24318 13086 16 0 210078 0
vsize: 840376
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 69256 48 0 0 25 0 11 0 766269234 860545024 24346 4294967295 134512640 134569956 3221224368 3221214672 1131296335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24346 13086 16 0 210078 0
vsize: 840376
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 70240 48 0 0 25 0 11 0 766269234 860545024 24371 4294967295 134512640 134569956 3221224368 3221214312 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24371 13086 16 0 210078 0
vsize: 840376
[startup+730.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 71220 48 0 0 25 0 11 0 766269234 860545024 24395 4294967295 134512640 134569956 3221224368 3221214528 1131223068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24395 13086 16 0 210078 0
vsize: 840376
[startup+740.044 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 72200 48 0 0 24 0 11 0 766269234 860545024 24432 4294967295 134512640 134569956 3221224368 3221214672 1131302704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24432 13086 16 0 210078 0
vsize: 840376
[startup+750.045 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 73184 48 0 0 25 0 11 0 766269234 860545024 24479 4294967295 134512640 134569956 3221224368 3221214672 1131296335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24479 13086 16 0 210078 0
vsize: 840376
[startup+760.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 74165 48 0 0 25 0 11 0 766269234 860545024 24509 4294967295 134512640 134569956 3221224368 3221214632 1131211603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24509 13086 16 0 210078 0
vsize: 840376
[startup+770.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 75150 48 0 0 25 0 11 0 766269234 860545024 24528 4294967295 134512640 134569956 3221224368 3221214576 1131205920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24528 13086 16 0 210078 0
vsize: 840376
[startup+780.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 76134 48 0 0 25 0 11 0 766269234 860545024 24561 4294967295 134512640 134569956 3221224368 3221214536 1131214113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24561 13086 16 0 210078 0
vsize: 840376
[startup+790.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 77121 48 0 0 25 0 11 0 766269234 860545024 24620 4294967295 134512640 134569956 3221224368 3221214120 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24620 13086 16 0 210078 0
vsize: 840376
[startup+800.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 78102 48 0 0 25 0 11 0 766269234 860545024 24652 4294967295 134512640 134569956 3221224368 3221214616 1131212849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24652 13086 16 0 210078 0
vsize: 840376
[startup+810.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 79084 48 0 0 24 0 11 0 766269234 860545024 24679 4294967295 134512640 134569956 3221224368 3221214672 1131296315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24679 13086 16 0 210078 0
vsize: 840376
[startup+820.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 80066 49 0 0 25 0 11 0 766269234 860545024 24716 4294967295 134512640 134569956 3221224368 3221214616 1131208786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24716 13086 16 0 210078 0
vsize: 840376
[startup+830.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 81050 49 0 0 25 0 11 0 766269234 860545024 24811 4294967295 134512640 134569956 3221224368 3221214536 1131214347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24811 13086 16 0 210078 0
vsize: 840376
[startup+840.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 82033 49 0 0 25 0 11 0 766269234 860545024 24870 4294967295 134512640 134569956 3221224368 3221214672 1131302620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24870 13086 16 0 210078 0
vsize: 840376
[startup+850.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 83005 49 0 0 25 0 11 0 766269234 860545024 24991 4294967295 134512640 134569956 3221224368 3221214672 1131296378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24991 13086 16 0 210078 0
vsize: 840376
[startup+860.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 83982 49 0 0 25 0 11 0 766269234 860545024 24993 4294967295 134512640 134569956 3221224368 3221214672 1131302172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 24993 13086 16 0 210078 0
vsize: 840376
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 84959 50 0 0 25 0 11 0 766269234 860545024 25081 4294967295 134512640 134569956 3221224368 3221214080 1076874447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25081 13086 16 0 210078 0
vsize: 840376
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 85938 50 0 0 24 0 11 0 766269234 860545024 25151 4294967295 134512640 134569956 3221224368 3221214576 1131205793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25151 13086 16 0 210078 0
vsize: 840376
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 86919 50 0 0 25 0 11 0 766269234 860545024 25181 4294967295 134512640 134569956 3221224368 3221214672 1131302704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25181 13086 16 0 210078 0
vsize: 840376
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 87900 50 0 0 25 0 11 0 766269234 860545024 25203 4294967295 134512640 134569956 3221224368 3221214672 1131296342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25203 13086 16 0 210078 0
vsize: 840376
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 88883 50 0 0 25 0 11 0 766269234 860545024 25262 4294967295 134512640 134569956 3221224368 3221214672 1131296339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25262 13086 16 0 210078 0
vsize: 840376
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 89870 50 0 0 25 0 11 0 766269234 860545024 25287 4294967295 134512640 134569956 3221224368 3221214672 1131298057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25287 13086 16 0 210078 0
vsize: 840376
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 90856 50 0 0 25 0 11 0 766269234 860545024 25306 4294967295 134512640 134569956 3221224368 3221214528 1131214225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25306 13086 16 0 210078 0
vsize: 840376
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 91842 50 0 0 25 0 11 0 766269234 860545024 25331 4294967295 134512640 134569956 3221224368 3221214576 1131205739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25331 13086 16 0 210078 0
vsize: 840376
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 92829 50 0 0 25 0 11 0 766269234 860545024 25350 4294967295 134512640 134569956 3221224368 3221214672 1131302036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210094 25350 13086 16 0 210078 0
vsize: 840376
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 93813 50 0 0 25 0 11 0 766269234 860545024 25372 4294967295 134512640 134569956 3221224368 3221214668 1131198304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25372 13086 16 0 210078 0
vsize: 840376
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 94798 50 0 0 25 0 11 0 766269234 860545024 25403 4294967295 134512640 134569956 3221224368 3221214672 1131298438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25403 13086 16 0 210078 0
vsize: 840376
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 95783 50 0 0 25 0 11 0 766269234 860545024 25422 4294967295 134512640 134569956 3221224368 3221214672 1131296342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25422 13086 16 0 210078 0
vsize: 840376
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 96766 50 0 0 25 0 11 0 766269234 860545024 25437 4294967295 134512640 134569956 3221224368 3221214576 1131205942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25437 13086 16 0 210078 0
vsize: 840376
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 97749 50 0 0 25 0 11 0 766269234 860545024 25463 4294967295 134512640 134569956 3221224368 3221214672 1131299204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25463 13086 16 0 210078 0
vsize: 840376
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 98733 50 0 0 25 0 11 0 766269234 860545024 25497 4294967295 134512640 134569956 3221224368 3221214576 1131206064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25497 13086 16 0 210078 0
vsize: 840376
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 99718 51 0 0 25 0 11 0 766269234 860545024 25524 4294967295 134512640 134569956 3221224368 3221214528 1131214140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25524 13086 16 0 210078 0
vsize: 840376
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 100702 51 0 0 24 0 11 0 766269234 860545024 25553 4294967295 134512640 134569956 3221224368 3221214672 1131296342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25553 13086 16 0 210078 0
vsize: 840376
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 101686 51 0 0 25 0 11 0 766269234 860545024 25575 4294967295 134512640 134569956 3221224368 3221214528 1131214341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25575 13086 16 0 210078 0
vsize: 840376
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 102668 51 0 0 25 0 11 0 766269234 860545024 25601 4294967295 134512640 134569956 3221224368 3221214672 1131297401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25601 13086 16 0 210078 0
vsize: 840376
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 103650 51 0 0 25 0 11 0 766269234 860545024 25635 4294967295 134512640 134569956 3221224368 3221214576 1131206523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25635 13086 16 0 210078 0
vsize: 840376
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 104633 51 0 0 25 0 11 0 766269234 860545024 25663 4294967295 134512640 134569956 3221224368 3221214576 1131205914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25663 13086 16 0 210078 0
vsize: 840376
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 105617 51 0 0 25 0 11 0 766269234 860545024 25701 4294967295 134512640 134569956 3221224368 3221214576 1131205774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25701 13086 16 0 210078 0
vsize: 840376
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 106600 51 0 0 25 0 11 0 766269234 860545024 25734 4294967295 134512640 134569956 3221224368 3221214528 1131258313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25734 13086 16 0 210078 0
vsize: 840376
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 107586 52 0 0 25 0 11 0 766269234 860545024 25749 4294967295 134512640 134569956 3221224368 3221214568 1131209834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25749 13086 16 0 210078 0
vsize: 840376
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 108567 52 0 0 25 0 11 0 766269234 860545024 25780 4294967295 134512640 134569956 3221224368 3221214576 1131205744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25780 13086 16 0 210078 0
vsize: 840376
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 109551 52 0 0 25 0 11 0 766269234 860545024 25804 4294967295 134512640 134569956 3221224368 3221214576 1131206005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25804 13086 16 0 210078 0
vsize: 840376
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 110533 52 0 0 25 0 11 0 766269234 860545024 25826 4294967295 134512640 134569956 3221224368 3221214576 1131207515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210094 25826 13086 16 0 210078 0
vsize: 840376
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 111512 52 0 0 25 0 11 0 766269234 860545024 25865 4294967295 134512640 134569956 3221224368 3221214672 1131297708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25865 13086 16 0 210078 0
vsize: 840376
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 112489 52 0 0 25 0 11 0 766269234 860545024 25884 4294967295 134512640 134569956 3221224368 3221214668 1131180780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25884 13086 16 0 210078 0
vsize: 840376
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 113468 52 0 0 25 0 11 0 766269234 860545024 25926 4294967295 134512640 134569956 3221224368 3221214648 1131297708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25926 13086 16 0 210078 0
vsize: 840376
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 114445 52 0 0 25 0 11 0 766269234 860545024 25973 4294967295 134512640 134569956 3221224368 3221214648 1131298318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 25973 13086 16 0 210078 0
vsize: 840376
[startup+1180.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 115424 52 0 0 25 0 11 0 766269234 860545024 26039 4294967295 134512640 134569956 3221224368 3221214448 1131400117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26039 13086 16 0 210078 0
vsize: 840376
[startup+1190.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 116407 52 0 0 25 0 11 0 766269234 860545024 26082 4294967295 134512640 134569956 3221224368 3221214584 1131211616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26082 13086 16 0 210078 0
vsize: 840376
[startup+1200.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 117393 53 0 0 24 0 11 0 766269234 860545024 26120 4294967295 134512640 134569956 3221224368 3221214648 1131302704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26120 13086 16 0 210078 0
vsize: 840376
[startup+1210.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 118378 53 0 0 25 0 11 0 766269234 860545024 26151 4294967295 134512640 134569956 3221224368 3221214328 1078830561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26151 13086 16 0 210078 0
vsize: 840376
[startup+1220.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 119363 53 0 0 25 0 11 0 766269234 860545024 26169 4294967295 134512640 134569956 3221224368 3221214552 1131206500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26169 13086 16 0 210078 0
vsize: 840376
[startup+1230.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16902
Raw data (stat): 16877 (java) R 16876 3132 3131 0 -1 0 18159 3 1 0 120346 53 0 0 25 0 11 0 766269234 860545024 26188 4294967295 134512640 134569956 3221224368 3221214552 1131218759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 26188 13086 16 0 210078 0
vsize: 840376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.03 1.01 1.00 1/54 16904
Raw data (stat): 16877 (java) Z 16876 3132 3131 0 -1 1036 18159 12329 1 0 120351 58 3511 36 25 0 1 0 766269234 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.19
CPU time (s): 1239.58
CPU user time (s): 1238.63
CPU system time (s): 0.951855
CPU usage (%): 100.763
Max. virtual memory (Kb): 842788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	353135
#### END VERIFIER DATA ####