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/miplib3/normalized-mps-v2-13-7-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 30047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 14:11:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21451 boxname=wulflinc8 idbench=1439 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 21451
/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:        353928 kB
Buffers:         37956 kB
Cached:         616544 kB
SwapCached:          0 kB
Active:          45040 kB
Inactive:       616356 kB
HighTotal:      131008 kB
HighFree:          980 kB
LowTotal:       903652 kB
LowFree:        352948 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13652 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:31:40 (client local time) WITH STATUS 143 IN 1226.73 SECONDS
stats: 21451 0 1226.73 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-13-7-p0201.opb
c reading problem ... done. Time 0.999 ms.
c #vars     201
c #constraints  133
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                2210 		Current CPU time: 1.38 ms
c CURRENT OPTIMUM=                1627 		Current CPU time: 22.96 ms
c starts	: 8
c conflicts	: 1138
c decisions	: 10124
c propagations	: 39590
c inspects	: 2334119
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1138
c root simplifications	: 145
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 
c objectif function=1627
c Total CPU time (ms) : 1229.157
#### 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.80 0.95 0.98 2/54 18897
Raw data (stat): 18897 (runsolver) R 18896 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767709496 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0382 s]
Raw data (loadavg): 0.98 0.99 0.99 4/64 18908
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18161 3 1 0 653 37 0 0 25 0 11 0 767709496 866050048 21421 4294967295 134512640 134569956 3221224368 3221213152 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211438 21421 13086 16 0 211422 0
vsize: 845752
[startup+20.0395 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 18908
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 1580 37 0 0 25 0 11 0 767709496 865656832 21823 4294967295 134512640 134569956 3221224368 3221214688 1131204065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 21823 13086 16 0 211326 0
vsize: 845368
[startup+30.0411 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 2528 37 0 0 25 0 11 0 767709496 865656832 22053 4294967295 134512640 134569956 3221224368 3221214792 1131509733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 22053 13086 16 0 211326 0
vsize: 845368
[startup+40.0416 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 3469 38 0 0 25 0 11 0 767709496 865656832 22126 4294967295 134512640 134569956 3221224368 3221214688 1131204383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 22126 13086 16 0 211326 0
vsize: 845368
[startup+50.0428 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 4424 38 0 0 25 0 11 0 767709496 865656832 22499 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 22499 13086 16 0 211326 0
vsize: 845368
[startup+60.0432 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 5398 38 0 0 25 0 11 0 767709496 865656832 22669 4294967295 134512640 134569956 3221224368 3221214688 1131204104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 22669 13086 16 0 211326 0
vsize: 845368
[startup+70.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 6374 39 0 0 25 0 11 0 767709496 865656832 22710 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 22710 13086 16 0 211326 0
vsize: 845368
[startup+80.0452 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 7349 39 0 0 25 0 11 0 767709496 865656832 22791 4294967295 134512640 134569956 3221224368 3221214744 1131158424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 22791 13086 16 0 211326 0
vsize: 845368
[startup+90.0458 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 8326 39 0 0 25 0 11 0 767709496 865656832 22833 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 22833 13086 16 0 211326 0
vsize: 845368
[startup+100.046 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18163 3 1 0 9304 39 0 0 25 0 11 0 767709496 865656832 22915 4294967295 134512640 134569956 3221224368 3221214792 1131509893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 22915 13086 16 0 211326 0
vsize: 845368
[startup+110.047 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 10284 39 0 0 25 0 11 0 767709496 865656832 22963 4294967295 134512640 134569956 3221224368 3221214688 1131205013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 22963 13086 16 0 211326 0
vsize: 845368
[startup+120.048 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 11266 39 0 0 25 0 11 0 767709496 865656832 23016 4294967295 134512640 134569956 3221224368 3221214688 1131205046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23016 13086 16 0 211326 0
vsize: 845368
[startup+130.049 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 12250 39 0 0 25 0 11 0 767709496 865656832 23073 4294967295 134512640 134569956 3221224368 3221214688 1131204485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23073 13086 16 0 211326 0
vsize: 845368
[startup+140.048 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 13234 39 0 0 25 0 11 0 767709496 865656832 23114 4294967295 134512640 134569956 3221224368 3221214576 1131289808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23114 13086 16 0 211326 0
vsize: 845368
[startup+150.049 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 14219 39 0 0 25 0 11 0 767709496 865656832 23141 4294967295 134512640 134569956 3221224368 3221214768 1131218365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23141 13086 16 0 211326 0
vsize: 845368
[startup+160.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 15201 39 0 0 25 0 11 0 767709496 865656832 23167 4294967295 134512640 134569956 3221224368 3221214688 1131204074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23167 13086 16 0 211326 0
vsize: 845368
[startup+170.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 16182 39 0 0 25 0 11 0 767709496 865656832 23219 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23219 13086 16 0 211326 0
vsize: 845368
[startup+180.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 17165 39 0 0 24 0 11 0 767709496 865656832 23250 4294967295 134512640 134569956 3221224368 3221214792 1131510187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23250 13086 16 0 211326 0
vsize: 845368
[startup+190.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 18148 39 0 0 24 0 11 0 767709496 865656832 23308 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23308 13086 16 0 211326 0
vsize: 845368
[startup+200.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 19133 39 0 0 24 0 11 0 767709496 865656832 23339 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23339 13086 16 0 211326 0
vsize: 845368
[startup+210.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 20120 39 0 0 25 0 11 0 767709496 865656832 23369 4294967295 134512640 134569956 3221224368 3221214688 1131204451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23369 13086 16 0 211326 0
vsize: 845368
[startup+220.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 21106 39 0 0 25 0 11 0 767709496 865656832 23399 4294967295 134512640 134569956 3221224368 3221214688 1131204083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23399 13086 16 0 211326 0
vsize: 845368
[startup+230.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 22093 40 0 0 25 0 11 0 767709496 865656832 23431 4294967295 134512640 134569956 3221224368 3221214788 1131204044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23431 13086 16 0 211326 0
vsize: 845368
[startup+240.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 23080 40 0 0 25 0 11 0 767709496 865656832 23457 4294967295 134512640 134569956 3221224368 3221214792 1131510197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23457 13086 16 0 211326 0
vsize: 845368
[startup+250.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 24067 40 0 0 25 0 11 0 767709496 865656832 23482 4294967295 134512640 134569956 3221224368 3221214788 1131204044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23482 13086 16 0 211326 0
vsize: 845368
[startup+260.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 25053 40 0 0 25 0 11 0 767709496 865656832 23506 4294967295 134512640 134569956 3221224368 3221214744 1131158397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23506 13086 16 0 211326 0
vsize: 845368
[startup+270.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 26038 40 0 0 25 0 11 0 767709496 865656832 23527 4294967295 134512640 134569956 3221224368 3221214688 1131204440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23527 13086 16 0 211326 0
vsize: 845368
[startup+280.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 27022 40 0 0 25 0 11 0 767709496 865656832 23554 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23554 13086 16 0 211326 0
vsize: 845368
[startup+290.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 28000 41 0 0 25 0 11 0 767709496 865656832 23591 4294967295 134512640 134569956 3221224368 3221214688 1131204083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23591 13086 16 0 211326 0
vsize: 845368
[startup+300.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 28978 41 0 0 25 0 11 0 767709496 865656832 23620 4294967295 134512640 134569956 3221224368 3221214688 1131204485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23620 13086 16 0 211326 0
vsize: 845368
[startup+310.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 29958 41 0 0 25 0 11 0 767709496 865656832 23679 4294967295 134512640 134569956 3221224368 3221214688 1131205016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23679 13086 16 0 211326 0
vsize: 845368
[startup+320.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 30943 41 0 0 25 0 11 0 767709496 865656832 23734 4294967295 134512640 134569956 3221224368 3221214688 1131204464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23734 13086 16 0 211326 0
vsize: 845368
[startup+330.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 31928 41 0 0 25 0 11 0 767709496 865656832 23770 4294967295 134512640 134569956 3221224368 3221214744 1131158417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23770 13086 16 0 211326 0
vsize: 845368
[startup+340.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 32914 41 0 0 25 0 11 0 767709496 865656832 23786 4294967295 134512640 134569956 3221224368 3221214688 1131205102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23786 13086 16 0 211326 0
vsize: 845368
[startup+350.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 33897 41 0 0 25 0 11 0 767709496 865656832 23814 4294967295 134512640 134569956 3221224368 3221214688 1131205046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23814 13086 16 0 211326 0
vsize: 845368
[startup+360.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 34883 41 0 0 25 0 11 0 767709496 865656832 23867 4294967295 134512640 134569956 3221224368 3221214600 1131199866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23867 13086 16 0 211326 0
vsize: 845368
[startup+370.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 35872 41 0 0 25 0 11 0 767709496 865656832 23890 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23890 13086 16 0 211326 0
vsize: 845368
[startup+380.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 36861 41 0 0 25 0 11 0 767709496 865656832 23904 4294967295 134512640 134569956 3221224368 3221214688 1131204236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23904 13086 16 0 211326 0
vsize: 845368
[startup+390.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 37847 41 0 0 24 0 11 0 767709496 865656832 23919 4294967295 134512640 134569956 3221224368 3221214688 1131204061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23919 13086 16 0 211326 0
vsize: 845368
[startup+400.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 38834 42 0 0 25 0 11 0 767709496 865656832 23927 4294967295 134512640 134569956 3221224368 3221214688 1131205084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23927 13086 16 0 211326 0
vsize: 845368
[startup+410.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 39818 42 0 0 24 0 11 0 767709496 865656832 23962 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23962 13086 16 0 211326 0
vsize: 845368
[startup+420.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 40801 42 0 0 24 0 11 0 767709496 865656832 23996 4294967295 134512640 134569956 3221224368 3221214688 1131204083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 23996 13086 16 0 211326 0
vsize: 845368
[startup+430.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 41782 42 0 0 24 0 11 0 767709496 865656832 24015 4294967295 134512640 134569956 3221224368 3221214792 1131510492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24015 13086 16 0 211326 0
vsize: 845368
[startup+440.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 42762 42 0 0 24 0 11 0 767709496 865656832 24045 4294967295 134512640 134569956 3221224368 3221214688 1131204787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24045 13086 16 0 211326 0
vsize: 845368
[startup+450.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 43745 42 0 0 25 0 11 0 767709496 865656832 24106 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24106 13086 16 0 211326 0
vsize: 845368
[startup+460.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 44730 42 0 0 25 0 11 0 767709496 865656832 24154 4294967295 134512640 134569956 3221224368 3221214688 1131204269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24154 13086 16 0 211326 0
vsize: 845368
[startup+470.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 45713 42 0 0 25 0 11 0 767709496 865656832 24168 4294967295 134512640 134569956 3221224368 3221214688 1131204639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24168 13086 16 0 211326 0
vsize: 845368
[startup+480.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 46696 42 0 0 25 0 11 0 767709496 865656832 24188 4294967295 134512640 134569956 3221224368 3221214688 1131204754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24188 13086 16 0 211326 0
vsize: 845368
[startup+490.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 47681 42 0 0 25 0 11 0 767709496 865656832 24248 4294967295 134512640 134569956 3221224368 3221214744 1131158421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24248 13086 16 0 211326 0
vsize: 845368
[startup+500.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 48667 42 0 0 25 0 11 0 767709496 865656832 24266 4294967295 134512640 134569956 3221224368 3221214744 1131158417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24266 13086 16 0 211326 0
vsize: 845368
[startup+510.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 49653 42 0 0 25 0 11 0 767709496 865656832 24285 4294967295 134512640 134569956 3221224368 3221214688 1131204083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24285 13086 16 0 211326 0
vsize: 845368
[startup+520.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 50639 42 0 0 25 0 11 0 767709496 865656832 24302 4294967295 134512640 134569956 3221224368 3221214688 1131204080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24302 13086 16 0 211326 0
vsize: 845368
[startup+530.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 51624 42 0 0 25 0 11 0 767709496 865656832 24342 4294967295 134512640 134569956 3221224368 3221214688 1131204547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24342 13086 16 0 211326 0
vsize: 845368
[startup+540.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 52611 42 0 0 25 0 11 0 767709496 865656832 24360 4294967295 134512640 134569956 3221224368 3221214744 1131158405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24360 13086 16 0 211326 0
vsize: 845368
[startup+550.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 53596 42 0 0 25 0 11 0 767709496 865656832 24383 4294967295 134512640 134569956 3221224368 3221214832 1131197977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 24383 13086 16 0 211326 0
vsize: 845368
[startup+560.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 54579 42 0 0 25 0 11 0 767709496 865656832 24402 4294967295 134512640 134569956 3221224368 3221214744 1131158534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24402 13086 16 0 211326 0
vsize: 845368
[startup+570.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 55559 43 0 0 25 0 11 0 767709496 865656832 24412 4294967295 134512640 134569956 3221224368 3221214192 1131547799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24412 13086 16 0 211326 0
vsize: 845368
[startup+580.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 56539 43 0 0 25 0 11 0 767709496 865656832 24458 4294967295 134512640 134569956 3221224368 3221214688 1131204670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24458 13086 16 0 211326 0
vsize: 845368
[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 57521 44 0 0 25 0 11 0 767709496 865656832 24505 4294967295 134512640 134569956 3221224368 3221214688 1131204777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24505 13086 16 0 211326 0
vsize: 845368
[startup+600.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 58506 44 0 0 25 0 11 0 767709496 865656832 24552 4294967295 134512640 134569956 3221224368 3221214688 1131204159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24552 13086 16 0 211326 0
vsize: 845368
[startup+610.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 59492 44 0 0 25 0 11 0 767709496 865656832 24571 4294967295 134512640 134569956 3221224368 3221214688 1131204065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24571 13086 16 0 211326 0
vsize: 845368
[startup+620.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 60477 44 0 0 25 0 11 0 767709496 865656832 24583 4294967295 134512640 134569956 3221224368 3221214688 1131204946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24583 13086 16 0 211326 0
vsize: 845368
[startup+630.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 61460 44 0 0 25 0 11 0 767709496 865656832 24594 4294967295 134512640 134569956 3221224368 3221214744 1131158421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24594 13086 16 0 211326 0
vsize: 845368
[startup+640.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 62442 45 0 0 25 0 11 0 767709496 865656832 24630 4294967295 134512640 134569956 3221224368 3221214600 1131199905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24630 13086 16 0 211326 0
vsize: 845368
[startup+650.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 63425 45 0 0 25 0 11 0 767709496 865656832 24660 4294967295 134512640 134569956 3221224368 3221214688 1131205090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24660 13086 16 0 211326 0
vsize: 845368
[startup+660.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 64407 45 0 0 24 0 11 0 767709496 865656832 24686 4294967295 134512640 134569956 3221224368 3221214688 1131204195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24686 13086 16 0 211326 0
vsize: 845368
[startup+670.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 65390 46 0 0 25 0 11 0 767709496 865656832 24712 4294967295 134512640 134569956 3221224368 3221214688 1131204072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24712 13086 16 0 211326 0
vsize: 845368
[startup+680.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 66371 46 0 0 25 0 11 0 767709496 865656832 24754 4294967295 134512640 134569956 3221224368 3221214588 1131305740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24754 13086 16 0 211326 0
vsize: 845368
[startup+690.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 67352 47 0 0 25 0 11 0 767709496 865656832 24783 4294967295 134512640 134569956 3221224368 3221214688 1131204752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24783 13086 16 0 211326 0
vsize: 845368
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 68332 47 0 0 25 0 11 0 767709496 865656832 24823 4294967295 134512640 134569956 3221224368 3221214688 1131204065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24823 13086 16 0 211326 0
vsize: 845368
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 69314 48 0 0 25 0 11 0 767709496 865656832 24851 4294967295 134512640 134569956 3221224368 3221214688 1131205060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24851 13086 16 0 211326 0
vsize: 845368
[startup+720.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 70299 48 0 0 25 0 11 0 767709496 865656832 24883 4294967295 134512640 134569956 3221224368 3221214320 1131542623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24883 13086 16 0 211326 0
vsize: 845368
[startup+730.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 71283 49 0 0 25 0 11 0 767709496 865656832 24922 4294967295 134512640 134569956 3221224368 3221214688 1131204670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24922 13086 16 0 211326 0
vsize: 845368
[startup+740.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 72267 49 0 0 24 0 11 0 767709496 865656832 24939 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24939 13086 16 0 211326 0
vsize: 845368
[startup+750.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 73250 49 0 0 24 0 11 0 767709496 865656832 24948 4294967295 134512640 134569956 3221224368 3221214688 1131204165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24948 13086 16 0 211326 0
vsize: 845368
[startup+760.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 74233 50 0 0 25 0 11 0 767709496 865656832 24991 4294967295 134512640 134569956 3221224368 3221214688 1131204561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 24991 13086 16 0 211326 0
vsize: 845368
[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 75215 50 0 0 25 0 11 0 767709496 865656832 25003 4294967295 134512640 134569956 3221224368 3221214624 1131314289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25003 13086 16 0 211326 0
vsize: 845368
[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 76196 50 0 0 24 0 11 0 767709496 865656832 25032 4294967295 134512640 134569956 3221224368 3221214688 1131205084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25032 13086 16 0 211326 0
vsize: 845368
[startup+790.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 77177 50 0 0 25 0 11 0 767709496 865656832 25069 4294967295 134512640 134569956 3221224368 3221214688 1131204485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25069 13086 16 0 211326 0
vsize: 845368
[startup+800.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 78160 51 0 0 25 0 11 0 767709496 865656832 25103 4294967295 134512640 134569956 3221224368 3221214688 1131204445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25103 13086 16 0 211326 0
vsize: 845368
[startup+810.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 79143 52 0 0 25 0 11 0 767709496 865656832 25129 4294967295 134512640 134569956 3221224368 3221214528 1131223033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25129 13086 16 0 211326 0
vsize: 845368
[startup+820.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 80126 52 0 0 25 0 11 0 767709496 865656832 25151 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25151 13086 16 0 211326 0
vsize: 845368
[startup+830.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 81109 53 0 0 25 0 11 0 767709496 865656832 25183 4294967295 134512640 134569956 3221224368 3221214688 1131204706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25183 13086 16 0 211326 0
vsize: 845368
[startup+840.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 82094 54 0 0 25 0 11 0 767709496 865656832 25209 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25209 13086 16 0 211326 0
vsize: 845368
[startup+850.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 83078 54 0 0 25 0 11 0 767709496 865656832 25229 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25229 13086 16 0 211326 0
vsize: 845368
[startup+860.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 84061 55 0 0 25 0 11 0 767709496 865656832 25247 4294967295 134512640 134569956 3221224368 3221214688 1131204209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25247 13086 16 0 211326 0
vsize: 845368
[startup+870.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 85045 55 0 0 25 0 11 0 767709496 865656832 25274 4294967295 134512640 134569956 3221224368 3221214496 1131478233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25274 13086 16 0 211326 0
vsize: 845368
[startup+880.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 86029 55 0 0 25 0 11 0 767709496 865656832 25311 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25311 13086 16 0 211326 0
vsize: 845368
[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 87014 56 0 0 25 0 11 0 767709496 865656832 25328 4294967295 134512640 134569956 3221224368 3221214688 1131204473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25328 13086 16 0 211326 0
vsize: 845368
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 88001 56 0 0 25 0 11 0 767709496 865656832 25342 4294967295 134512640 134569956 3221224368 3221214828 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25342 13086 16 0 211326 0
vsize: 845368
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 88984 57 0 0 25 0 11 0 767709496 865656832 25350 4294967295 134512640 134569956 3221224368 3221214688 1131204787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25350 13086 16 0 211326 0
vsize: 845368
[startup+920.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 89966 57 0 0 25 0 11 0 767709496 865656832 25370 4294967295 134512640 134569956 3221224368 3221214688 1131204083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25370 13086 16 0 211326 0
vsize: 845368
[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 90948 58 0 0 25 0 11 0 767709496 865656832 25397 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25397 13086 16 0 211326 0
vsize: 845368
[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 91930 58 0 0 25 0 11 0 767709496 865656832 25424 4294967295 134512640 134569956 3221224368 3221214688 1131204995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25424 13086 16 0 211326 0
vsize: 845368
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 92910 59 0 0 25 0 11 0 767709496 865656832 25448 4294967295 134512640 134569956 3221224368 3221214688 1131204476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25448 13086 16 0 211326 0
vsize: 845368
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 93892 59 0 0 25 0 11 0 767709496 865656832 25478 4294967295 134512640 134569956 3221224368 3221214744 1131158397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25478 13086 16 0 211326 0
vsize: 845368
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 94875 60 0 0 25 0 11 0 767709496 865656832 25511 4294967295 134512640 134569956 3221224368 3221214320 1078022168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25511 13086 16 0 211326 0
vsize: 845368
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 95858 61 0 0 25 0 11 0 767709496 865656832 25536 4294967295 134512640 134569956 3221224368 3221214744 1131158421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25536 13086 16 0 211326 0
vsize: 845368
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 96841 61 0 0 25 0 11 0 767709496 865656832 25559 4294967295 134512640 134569956 3221224368 3221214688 1131204752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25559 13086 16 0 211326 0
vsize: 845368
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 97824 61 0 0 25 0 11 0 767709496 865656832 25583 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25583 13086 16 0 211326 0
vsize: 845368
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 98808 62 0 0 25 0 11 0 767709496 865656832 25602 4294967295 134512640 134569956 3221224368 3221214784 1131303130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25602 13086 16 0 211326 0
vsize: 845368
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 99791 62 0 0 25 0 11 0 767709496 865656832 25624 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25624 13086 16 0 211326 0
vsize: 845368
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 100772 63 0 0 25 0 11 0 767709496 865656832 25656 4294967295 134512640 134569956 3221224368 3221214688 1131204502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25656 13086 16 0 211326 0
vsize: 845368
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 101754 63 0 0 25 0 11 0 767709496 865656832 25674 4294967295 134512640 134569956 3221224368 3221214688 1131204481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25674 13086 16 0 211326 0
vsize: 845368
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 102735 63 0 0 25 0 11 0 767709496 865656832 25698 4294967295 134512640 134569956 3221224368 3221214688 1131204269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25698 13086 16 0 211326 0
vsize: 845368
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 103717 64 0 0 25 0 11 0 767709496 865656832 25735 4294967295 134512640 134569956 3221224368 3221214688 1131204752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25735 13086 16 0 211326 0
vsize: 845368
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 104700 65 0 0 25 0 11 0 767709496 865656832 25761 4294967295 134512640 134569956 3221224368 3221214688 1131205013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25761 13086 16 0 211326 0
vsize: 845368
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 105682 65 0 0 25 0 11 0 767709496 865656832 25783 4294967295 134512640 134569956 3221224368 3221214688 1131204509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25783 13086 16 0 211326 0
vsize: 845368
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 106666 65 0 0 25 0 11 0 767709496 865656832 25804 4294967295 134512640 134569956 3221224368 3221214688 1131204167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25804 13086 16 0 211326 0
vsize: 845368
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 107652 66 0 0 25 0 11 0 767709496 865656832 25820 4294967295 134512640 134569956 3221224368 3221214600 1131200924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25820 13086 16 0 211326 0
vsize: 845368
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 108635 66 0 0 25 0 11 0 767709496 865656832 25841 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25841 13086 16 0 211326 0
vsize: 845368
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 109619 66 0 0 25 0 11 0 767709496 865656832 25860 4294967295 134512640 134569956 3221224368 3221214744 1131158405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25860 13086 16 0 211326 0
vsize: 845368
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 110603 67 0 0 25 0 11 0 767709496 865656832 25873 4294967295 134512640 134569956 3221224368 3221214528 1131293529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25873 13086 16 0 211326 0
vsize: 845368
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 111587 67 0 0 25 0 11 0 767709496 865656832 25895 4294967295 134512640 134569956 3221224368 3221214788 1131536163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211342 25895 13086 16 0 211326 0
vsize: 845368
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 112570 67 0 0 24 0 11 0 767709496 865656832 25913 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 25913 13086 16 0 211326 0
vsize: 845368
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 113554 67 0 0 25 0 11 0 767709496 865656832 25927 4294967295 134512640 134569956 3221224368 3221214688 1131204754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 25927 13086 16 0 211326 0
vsize: 845368
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 114539 68 0 0 25 0 11 0 767709496 865656832 25954 4294967295 134512640 134569956 3221224368 3221214688 1131204238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 25954 13086 16 0 211326 0
vsize: 845368
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 115522 68 0 0 25 0 11 0 767709496 865656832 25973 4294967295 134512640 134569956 3221224368 3221214688 1131204065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 25973 13086 16 0 211326 0
vsize: 845368
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 116503 68 0 0 25 0 11 0 767709496 865656832 25991 4294967295 134512640 134569956 3221224368 3221214656 1131204575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 25991 13086 16 0 211326 0
vsize: 845368
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 117485 68 0 0 25 0 11 0 767709496 865656832 26010 4294967295 134512640 134569956 3221224368 3221214744 1131158400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 26010 13086 16 0 211326 0
vsize: 845368
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 118466 68 0 0 24 0 11 0 767709496 865656832 26048 4294967295 134512640 134569956 3221224368 3221214832 1131197977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 26048 13086 16 0 211326 0
vsize: 845368
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 119448 68 0 0 24 0 11 0 767709496 865656832 26074 4294967295 134512640 134569956 3221224368 3221214792 1131510231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 26074 13086 16 0 211326 0
vsize: 845368
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18909
Raw data (stat): 18897 (java) R 18896 3132 3131 0 -1 0 18164 3 1 0 120429 68 0 0 25 0 11 0 767709496 865656832 26091 4294967295 134512640 134569956 3221224368 3221214792 1131510140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211342 26091 13086 16 0 211326 0
vsize: 845368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18911
Raw data (stat): 18897 (java) Z 18896 3132 3131 0 -1 1036 18164 5116 1 0 120433 68 2139 30 25 0 1 0 767709496 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.22
CPU time (s): 1226.73
CPU user time (s): 1225.73
CPU system time (s): 0.993848
CPU usage (%): 99.7164
Max. virtual memory (Kb): 845752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1627
#### END VERIFIER DATA ####