Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM8c361d02d5162bb0b133ab6ed38f9294
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02184
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 29665

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 10:10:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21067 boxname=wulflinc2 idbench=1055 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 21067
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        531944 kB
Buffers:         29804 kB
Cached:         452980 kB
SwapCached:        696 kB
Active:          51920 kB
Inactive:       433212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        531692 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            11952 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:31:27 (client local time) WITH STATUS 143 IN 1241.49 SECONDS
stats: 21067 0 1241.49 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/wulflinc2/normalized-mps-v2-20-10-p0201.opb
c reading problem ... done. Time 1.066 ms.
c #vars     201
c #constraints  133
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                2210 		Current CPU time: 1.57 ms
c CURRENT OPTIMUM=                1627 		Current CPU time: 23.00 ms
c starts	: 8
c conflicts	: 1092
c decisions	: 9908
c propagations	: 38769
c inspects	: 2232823
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1092
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.104
#### 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.93 0.98 0.99 2/54 12540
Raw data (stat): 12540 (runsolver) R 12539 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779837064 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.24 1.05 1.02 2/64 12551
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18129 3 1 0 647 41 0 0 25 0 11 0 779837064 861491200 20560 4294967295 134512640 134569956 3221224368 3221214512 1131245247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210325 20560 13086 16 0 210309 0
vsize: 841300
[startup+20.0009 s]
Raw data (loadavg): 1.29 1.06 1.02 2/64 12551
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18130 3 1 0 1596 41 0 0 25 0 11 0 779837064 861458432 21157 4294967295 134512640 134569956 3221224368 3221214572 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21157 13086 16 0 210301 0
vsize: 841268
[startup+30.0014 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 2548 41 0 0 25 0 11 0 779837064 861458432 21382 4294967295 134512640 134569956 3221224368 3221214660 1131196610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21382 13086 16 0 210301 0
vsize: 841268
[startup+40.0014 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 3495 41 0 0 25 0 11 0 779837064 861458432 21453 4294967295 134512640 134569956 3221224368 3221214568 1131214009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21453 13086 16 0 210301 0
vsize: 841268
[startup+50.002 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 4449 41 0 0 25 0 11 0 779837064 861458432 21808 4294967295 134512640 134569956 3221224368 3221214656 1131196591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21808 13086 16 0 210301 0
vsize: 841268
[startup+60.0023 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 5425 41 0 0 25 0 11 0 779837064 861458432 21982 4294967295 134512640 134569956 3221224368 3221214552 1131210103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 21982 13086 16 0 210301 0
vsize: 841268
[startup+70.0035 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 6403 41 0 0 25 0 11 0 779837064 861458432 22036 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 22036 13086 16 0 210301 0
vsize: 841268
[startup+80.0042 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 7376 42 0 0 25 0 11 0 779837064 861458432 22093 4294967295 134512640 134569956 3221224368 3221214296 1131553712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22093 13086 16 0 210301 0
vsize: 841268
[startup+90.0047 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 8354 42 0 0 25 0 11 0 779837064 861458432 22152 4294967295 134512640 134569956 3221224368 3221214656 1131196579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22152 13086 16 0 210301 0
vsize: 841268
[startup+100.005 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18131 3 1 0 9333 43 0 0 25 0 11 0 779837064 861458432 22225 4294967295 134512640 134569956 3221224368 3221214832 1131194649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22225 13086 16 0 210301 0
vsize: 841268
[startup+110.005 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 10312 43 0 0 25 0 11 0 779837064 861458432 22260 4294967295 134512640 134569956 3221224368 3221214664 1131494571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22260 13086 16 0 210301 0
vsize: 841268
[startup+120.007 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 11294 44 0 0 25 0 11 0 779837064 861458432 22323 4294967295 134512640 134569956 3221224368 3221214664 1131490044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 22323 13086 16 0 210301 0
vsize: 841268
[startup+130.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 12275 44 0 0 25 0 11 0 779837064 861458432 22369 4294967295 134512640 134569956 3221224368 3221214664 1131488637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22369 13086 16 0 210301 0
vsize: 841268
[startup+140.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 13261 45 0 0 25 0 11 0 779837064 861458432 22413 4294967295 134512640 134569956 3221224368 3221214664 1131490469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22413 13086 16 0 210301 0
vsize: 841268
[startup+150.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 14244 45 0 0 25 0 11 0 779837064 861458432 22454 4294967295 134512640 134569956 3221224368 3221214656 1131196591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22454 13086 16 0 210301 0
vsize: 841268
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 15229 46 0 0 25 0 11 0 779837064 861458432 22483 4294967295 134512640 134569956 3221224368 3221214568 1131214000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22483 13086 16 0 210301 0
vsize: 841268
[startup+170.009 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 16212 46 0 0 25 0 11 0 779837064 861458432 22505 4294967295 134512640 134569956 3221224368 3221214568 1131214005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22505 13086 16 0 210301 0
vsize: 841268
[startup+180.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 17194 47 0 0 25 0 11 0 779837064 861458432 22553 4294967295 134512640 134569956 3221224368 3221214664 1131491603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22553 13086 16 0 210301 0
vsize: 841268
[startup+190.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 18178 47 0 0 25 0 11 0 779837064 861458432 22584 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22584 13086 16 0 210301 0
vsize: 841268
[startup+200.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 19161 47 0 0 25 0 11 0 779837064 861458432 22642 4294967295 134512640 134569956 3221224368 3221214656 1131196575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22642 13086 16 0 210301 0
vsize: 841268
[startup+210.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 20147 47 0 0 25 0 11 0 779837064 861458432 22673 4294967295 134512640 134569956 3221224368 3221214664 1131488661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22673 13086 16 0 210301 0
vsize: 841268
[startup+220.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 21134 48 0 0 25 0 11 0 779837064 861458432 22703 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22703 13086 16 0 210301 0
vsize: 841268
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 22119 48 0 0 25 0 11 0 779837064 861458432 22730 4294967295 134512640 134569956 3221224368 3221214576 1131217018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22730 13086 16 0 210301 0
vsize: 841268
[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 23107 48 0 0 25 0 11 0 779837064 861458432 22761 4294967295 134512640 134569956 3221224368 3221214664 1131494996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22761 13086 16 0 210301 0
vsize: 841268
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 24095 49 0 0 25 0 11 0 779837064 861458432 22787 4294967295 134512640 134569956 3221224368 3221214664 1131488588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22787 13086 16 0 210301 0
vsize: 841268
[startup+260.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 25082 49 0 0 25 0 11 0 779837064 861458432 22808 4294967295 134512640 134569956 3221224368 3221214664 1131490528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22808 13086 16 0 210301 0
vsize: 841268
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 26069 49 0 0 25 0 11 0 779837064 861458432 22829 4294967295 134512640 134569956 3221224368 3221214664 1131491490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22829 13086 16 0 210301 0
vsize: 841268
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 27054 50 0 0 25 0 11 0 779837064 861458432 22850 4294967295 134512640 134569956 3221224368 3221214664 1131490442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22850 13086 16 0 210301 0
vsize: 841268
[startup+290.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 28040 50 0 0 25 0 11 0 779837064 861458432 22873 4294967295 134512640 134569956 3221224368 3221214664 1131490806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22873 13086 16 0 210301 0
vsize: 841268
[startup+300.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 29020 51 0 0 24 0 11 0 779837064 861458432 22904 4294967295 134512640 134569956 3221224368 3221214160 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22904 13086 16 0 210301 0
vsize: 841268
[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 30001 51 0 0 25 0 11 0 779837064 861458432 22931 4294967295 134512640 134569956 3221224368 3221214504 1131356714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22931 13086 16 0 210301 0
vsize: 841268
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 30982 51 0 0 25 0 11 0 779837064 861458432 22962 4294967295 134512640 134569956 3221224368 3221214552 1131210859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 22962 13086 16 0 210301 0
vsize: 841268
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12552
Raw data (stat): 12540 (java) S 12539 31399 31398 0 -1 0 18132 3 1 0 31963 52 0 0 25 0 11 0 779837064 861458432 23025 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23026 13086 16 0 210301 0
vsize: 841268
[startup+340.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 32949 52 0 0 25 0 11 0 779837064 861458432 23071 4294967295 134512640 134569956 3221224368 3221214664 1131490806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23071 13086 16 0 210301 0
vsize: 841268
[startup+350.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 33935 52 0 0 25 0 11 0 779837064 861458432 23103 4294967295 134512640 134569956 3221224368 3221214664 1131490352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23103 13086 16 0 210301 0
vsize: 841268
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 34920 52 0 0 25 0 11 0 779837064 861458432 23125 4294967295 134512640 134569956 3221224368 3221214664 1131488312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23125 13086 16 0 210301 0
vsize: 841268
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 35905 53 0 0 25 0 11 0 779837064 861458432 23147 4294967295 134512640 134569956 3221224368 3221214664 1131489928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23147 13086 16 0 210301 0
vsize: 841268
[startup+380.016 s]
Raw data (loadavg): 1.00 1.01 1.00 3/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 36890 53 0 0 24 0 11 0 779837064 861458432 23200 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23200 13086 16 0 210301 0
vsize: 841268
[startup+390.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 37880 53 0 0 25 0 11 0 779837064 861458432 23220 4294967295 134512640 134569956 3221224368 3221214568 1131214009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23220 13086 16 0 210301 0
vsize: 841268
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 38869 54 0 0 25 0 11 0 779837064 861458432 23237 4294967295 134512640 134569956 3221224368 3221214664 1131495183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23237 13086 16 0 210301 0
vsize: 841268
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 39855 54 0 0 24 0 11 0 779837064 861458432 23248 4294967295 134512640 134569956 3221224368 3221214664 1131488630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23248 13086 16 0 210301 0
vsize: 841268
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 40842 54 0 0 25 0 11 0 779837064 861458432 23256 4294967295 134512640 134569956 3221224368 3221214664 1131495548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23256 13086 16 0 210301 0
vsize: 841268
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 41828 55 0 0 25 0 11 0 779837064 861458432 23280 4294967295 134512640 134569956 3221224368 3221214568 1131213951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23280 13086 16 0 210301 0
vsize: 841268
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 42812 55 0 0 25 0 11 0 779837064 861458432 23318 4294967295 134512640 134569956 3221224368 3221214552 1131210818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23318 13086 16 0 210301 0
vsize: 841268
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 43796 55 0 0 25 0 11 0 779837064 861458432 23341 4294967295 134512640 134569956 3221224368 3221214576 1131217005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23341 13086 16 0 210301 0
vsize: 841268
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 44775 56 0 0 25 0 11 0 779837064 861458432 23360 4294967295 134512640 134569956 3221224368 3221214664 1131490044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23360 13086 16 0 210301 0
vsize: 841268
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 45758 56 0 0 25 0 11 0 779837064 861458432 23397 4294967295 134512640 134569956 3221224368 3221214552 1131210225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23397 13086 16 0 210301 0
vsize: 841268
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 46742 56 0 0 25 0 11 0 779837064 861458432 23460 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23460 13086 16 0 210301 0
vsize: 841268
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 47725 57 0 0 25 0 11 0 779837064 861458432 23491 4294967295 134512640 134569956 3221224368 3221214552 1131210182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23491 13086 16 0 210301 0
vsize: 841268
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 48709 58 0 0 25 0 11 0 779837064 861458432 23503 4294967295 134512640 134569956 3221224368 3221214568 1131213919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23503 13086 16 0 210301 0
vsize: 841268
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 49694 58 0 0 25 0 11 0 779837064 861458432 23530 4294967295 134512640 134569956 3221224368 3221214664 1131494996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23530 13086 16 0 210301 0
vsize: 841268
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 50679 59 0 0 24 0 11 0 779837064 861458432 23581 4294967295 134512640 134569956 3221224368 3221214552 1131210206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23581 13086 16 0 210301 0
vsize: 841268
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 51665 59 0 0 25 0 11 0 779837064 861458432 23599 4294967295 134512640 134569956 3221224368 3221214664 1131494942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23599 13086 16 0 210301 0
vsize: 841268
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 52651 60 0 0 25 0 11 0 779837064 861458432 23621 4294967295 134512640 134569956 3221224368 3221214568 1131214005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23621 13086 16 0 210301 0
vsize: 841268
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 53635 60 0 0 24 0 11 0 779837064 861458432 23635 4294967295 134512640 134569956 3221224368 3221214656 1131196591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23635 13086 16 0 210301 0
vsize: 841268
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 54621 61 0 0 25 0 11 0 779837064 861458432 23675 4294967295 134512640 134569956 3221224368 3221214568 1131214705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23675 13086 16 0 210301 0
vsize: 841268
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 55609 61 0 0 25 0 11 0 779837064 861458432 23693 4294967295 134512640 134569956 3221224368 3221214664 1131495183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23693 13086 16 0 210301 0
vsize: 841268
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 56594 61 0 0 25 0 11 0 779837064 861458432 23716 4294967295 134512640 134569956 3221224368 3221214568 1131214038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23716 13086 16 0 210301 0
vsize: 841268
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 57579 62 0 0 25 0 11 0 779837064 861458432 23731 4294967295 134512640 134569956 3221224368 3221214664 1131495499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 23731 13086 16 0 210301 0
vsize: 841268
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 58562 62 0 0 25 0 11 0 779837064 861458432 23744 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23744 13086 16 0 210301 0
vsize: 841268
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 59541 62 0 0 25 0 11 0 779837064 861458432 23785 4294967295 134512640 134569956 3221224368 3221214664 1131494996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23785 13086 16 0 210301 0
vsize: 841268
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 60524 62 0 0 25 0 11 0 779837064 861458432 23822 4294967295 134512640 134569956 3221224368 3221214576 1131217042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23822 13086 16 0 210301 0
vsize: 841268
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 61510 63 0 0 25 0 11 0 779837064 861458432 23860 4294967295 134512640 134569956 3221224368 3221214656 1131196586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23860 13086 16 0 210301 0
vsize: 841268
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 62496 63 0 0 25 0 11 0 779837064 861458432 23898 4294967295 134512640 134569956 3221224368 3221214568 1131214253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23898 13086 16 0 210301 0
vsize: 841268
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 63484 63 0 0 25 0 11 0 779837064 861458432 23908 4294967295 134512640 134569956 3221224368 3221214568 1131214892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23908 13086 16 0 210301 0
vsize: 841268
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 64468 64 0 0 25 0 11 0 779837064 861458432 23920 4294967295 134512640 134569956 3221224368 3221214512 1131245094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23920 13086 16 0 210301 0
vsize: 841268
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 65452 64 0 0 25 0 11 0 779837064 861458432 23938 4294967295 134512640 134569956 3221224368 3221214664 1131495548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23938 13086 16 0 210301 0
vsize: 841268
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 66435 64 0 0 24 0 11 0 779837064 861458432 23977 4294967295 134512640 134569956 3221224368 3221214664 1131490648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 23977 13086 16 0 210301 0
vsize: 841268
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 67419 64 0 0 25 0 11 0 779837064 861458432 24005 4294967295 134512640 134569956 3221224368 3221214664 1131488683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24005 13086 16 0 210301 0
vsize: 841268
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 68403 65 0 0 25 0 11 0 779837064 861458432 24029 4294967295 134512640 134569956 3221224368 3221214552 1131210818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24029 13086 16 0 210301 0
vsize: 841268
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 69383 65 0 0 25 0 11 0 779837064 861458432 24062 4294967295 134512640 134569956 3221224368 3221214664 1131488637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24062 13086 16 0 210301 0
vsize: 841268
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 70366 66 0 0 25 0 11 0 779837064 861458432 24093 4294967295 134512640 134569956 3221224368 3221214568 1131214862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24093 13086 16 0 210301 0
vsize: 841268
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 71346 67 0 0 25 0 11 0 779837064 861458432 24124 4294967295 134512640 134569956 3221224368 3221214272 1131551452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24124 13086 16 0 210301 0
vsize: 841268
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 72328 68 0 0 25 0 11 0 779837064 861458432 24164 4294967295 134512640 134569956 3221224368 3221214536 1131245247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24164 13086 16 0 210301 0
vsize: 841268
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 73311 69 0 0 25 0 11 0 779837064 861458432 24189 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24189 13086 16 0 210301 0
vsize: 841268
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 74296 69 0 0 25 0 11 0 779837064 861458432 24221 4294967295 134512640 134569956 3221224368 3221214568 1131214009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24221 13086 16 0 210301 0
vsize: 841268
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 75280 70 0 0 25 0 11 0 779837064 861458432 24260 4294967295 134512640 134569956 3221224368 3221214656 1131196601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24260 13086 16 0 210301 0
vsize: 841268
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 76265 70 0 0 25 0 11 0 779837064 861458432 24277 4294967295 134512640 134569956 3221224368 3221214664 1131495548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24277 13086 16 0 210301 0
vsize: 841268
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 77250 71 0 0 25 0 11 0 779837064 861458432 24282 4294967295 134512640 134569956 3221224368 3221214664 1131488584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24282 13086 16 0 210301 0
vsize: 841268
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 78233 71 0 0 25 0 11 0 779837064 861458432 24325 4294967295 134512640 134569956 3221224368 3221214664 1131495205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24325 13086 16 0 210301 0
vsize: 841268
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 79215 71 0 0 25 0 11 0 779837064 861458432 24337 4294967295 134512640 134569956 3221224368 3221214664 1131496720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24337 13086 16 0 210301 0
vsize: 841268
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 80197 72 0 0 25 0 11 0 779837064 861458432 24358 4294967295 134512640 134569956 3221224368 3221214664 1131488683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24358 13086 16 0 210301 0
vsize: 841268
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 81178 72 0 0 25 0 11 0 779837064 861458432 24393 4294967295 134512640 134569956 3221224368 3221214528 1131245139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24393 13086 16 0 210301 0
vsize: 841268
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 82162 72 0 0 25 0 11 0 779837064 861458432 24425 4294967295 134512640 134569956 3221224368 3221214124 1131185356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24425 13086 16 0 210301 0
vsize: 841268
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 83145 72 0 0 25 0 11 0 779837064 861458432 24462 4294967295 134512640 134569956 3221224368 3221214664 1131495823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24462 13086 16 0 210301 0
vsize: 841268
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 84128 73 0 0 25 0 11 0 779837064 861458432 24480 4294967295 134512640 134569956 3221224368 3221214568 1131214230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24480 13086 16 0 210301 0
vsize: 841268
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 85111 73 0 0 25 0 11 0 779837064 861458432 24503 4294967295 134512640 134569956 3221224368 3221214568 1131214945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24503 13086 16 0 210301 0
vsize: 841268
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 86097 73 0 0 25 0 11 0 779837064 861458432 24532 4294967295 134512640 134569956 3221224368 3221214568 1131214241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24532 13086 16 0 210301 0
vsize: 841268
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 87082 74 0 0 25 0 11 0 779837064 861458432 24554 4294967295 134512640 134569956 3221224368 3221214660 1131196610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24554 13086 16 0 210301 0
vsize: 841268
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 88066 74 0 0 25 0 11 0 779837064 861458432 24574 4294967295 134512640 134569956 3221224368 3221214568 1131214285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24574 13086 16 0 210301 0
vsize: 841268
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 89050 75 0 0 25 0 11 0 779837064 861458432 24592 4294967295 134512640 134569956 3221224368 3221214664 1131490806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24592 13086 16 0 210301 0
vsize: 841268
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 90033 75 0 0 25 0 11 0 779837064 861458432 24627 4294967295 134512640 134569956 3221224368 3221214568 1131214784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24627 13086 16 0 210301 0
vsize: 841268
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 91020 76 0 0 25 0 11 0 779837064 861458432 24650 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210317 24650 13086 16 0 210301 0
vsize: 841268
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 92005 76 0 0 25 0 11 0 779837064 861458432 24671 4294967295 134512640 134569956 3221224368 3221214212 1131551499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24671 13086 16 0 210301 0
vsize: 841268
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 92990 77 0 0 25 0 11 0 779837064 861458432 24684 4294967295 134512640 134569956 3221224368 3221214664 1131494996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24684 13086 16 0 210301 0
vsize: 841268
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 93975 77 0 0 25 0 11 0 779837064 861458432 24690 4294967295 134512640 134569956 3221224368 3221214664 1131489872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24690 13086 16 0 210301 0
vsize: 841268
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 94957 78 0 0 25 0 11 0 779837064 861458432 24713 4294967295 134512640 134569956 3221224368 3221214664 1131488637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24713 13086 16 0 210301 0
vsize: 841268
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 95939 78 0 0 24 0 11 0 779837064 861458432 24744 4294967295 134512640 134569956 3221224368 3221214664 1131494828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24744 13086 16 0 210301 0
vsize: 841268
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 96923 79 0 0 25 0 11 0 779837064 861458432 24763 4294967295 134512640 134569956 3221224368 3221214616 1131533876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24763 13086 16 0 210301 0
vsize: 841268
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 97904 79 0 0 25 0 11 0 779837064 861458432 24787 4294967295 134512640 134569956 3221224368 3221214528 1131245247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24787 13086 16 0 210301 0
vsize: 841268
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 98887 79 0 0 25 0 11 0 779837064 861458432 24814 4294967295 134512640 134569956 3221224368 3221214664 1131490528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24814 13086 16 0 210301 0
vsize: 841268
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 99870 79 0 0 24 0 11 0 779837064 861458432 24849 4294967295 134512640 134569956 3221224368 3221214552 1131210206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24849 13086 16 0 210301 0
vsize: 841268
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 100854 80 0 0 25 0 11 0 779837064 861458432 24869 4294967295 134512640 134569956 3221224368 3221214552 1131210818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24869 13086 16 0 210301 0
vsize: 841268
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 101838 80 0 0 24 0 11 0 779837064 861458432 24893 4294967295 134512640 134569956 3221224368 3221214664 1131491429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24893 13086 16 0 210301 0
vsize: 841268
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 102822 80 0 0 25 0 11 0 779837064 861458432 24913 4294967295 134512640 134569956 3221224368 3221214664 1131490044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24913 13086 16 0 210301 0
vsize: 841268
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 103805 81 0 0 24 0 11 0 779837064 861458432 24941 4294967295 134512640 134569956 3221224368 3221214664 1131490352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24941 13086 16 0 210301 0
vsize: 841268
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 104790 81 0 0 25 0 11 0 779837064 861458432 24959 4294967295 134512640 134569956 3221224368 3221214552 1131210818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24959 13086 16 0 210301 0
vsize: 841268
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 105773 82 0 0 25 0 11 0 779837064 861458432 24983 4294967295 134512640 134569956 3221224368 3221214664 1131491623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 24983 13086 16 0 210301 0
vsize: 841268
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 106754 83 0 0 25 0 11 0 779837064 861458432 25005 4294967295 134512640 134569956 3221224368 3221214660 1131214954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25005 13086 16 0 210301 0
vsize: 841268
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 107737 83 0 0 25 0 11 0 779837064 861458432 25026 4294967295 134512640 134569956 3221224368 3221214664 1131490528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25026 13086 16 0 210301 0
vsize: 841268
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 108718 83 0 0 25 0 11 0 779837064 861458432 25054 4294967295 134512640 134569956 3221224368 3221214664 1131488637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25054 13086 16 0 210301 0
vsize: 841268
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 109702 84 0 0 25 0 11 0 779837064 861458432 25083 4294967295 134512640 134569956 3221224368 3221214664 1131490769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25083 13086 16 0 210301 0
vsize: 841268
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 110685 84 0 0 25 0 11 0 779837064 861458432 25114 4294967295 134512640 134569956 3221224368 3221214568 1131214049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25114 13086 16 0 210301 0
vsize: 841268
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 111668 85 0 0 25 0 11 0 779837064 861458432 25130 4294967295 134512640 134569956 3221224368 3221214664 1131490364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25130 13086 16 0 210301 0
vsize: 841268
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 112651 85 0 0 25 0 11 0 779837064 861458432 25155 4294967295 134512640 134569956 3221224368 3221214568 1131214267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25155 13086 16 0 210301 0
vsize: 841268
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 113635 85 0 0 24 0 11 0 779837064 861458432 25166 4294967295 134512640 134569956 3221224368 3221214568 1131214005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25166 13086 16 0 210301 0
vsize: 841268
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 114620 86 0 0 25 0 11 0 779837064 861458432 25180 4294967295 134512640 134569956 3221224368 3221214568 1131214169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25180 13086 16 0 210301 0
vsize: 841268
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 115604 86 0 0 25 0 11 0 779837064 861458432 25202 4294967295 134512640 134569956 3221224368 3221214568 1131214687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25202 13086 16 0 210301 0
vsize: 841268
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 116589 86 0 0 25 0 11 0 779837064 861458432 25212 4294967295 134512640 134569956 3221224368 3221214656 1131196558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25212 13086 16 0 210301 0
vsize: 841268
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 117574 87 0 0 25 0 11 0 779837064 861458432 25234 4294967295 134512640 134569956 3221224368 3221214664 1131490528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25234 13086 16 0 210301 0
vsize: 841268
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 118558 87 0 0 25 0 11 0 779837064 861458432 25252 4294967295 134512640 134569956 3221224368 3221214568 1131214127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25252 13086 16 0 210301 0
vsize: 841268
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 119544 88 0 0 25 0 11 0 779837064 861458432 25266 4294967295 134512640 134569956 3221224368 3221214664 1131495548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25266 13086 16 0 210301 0
vsize: 841268
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12552
Raw data (stat): 12540 (java) R 12539 31399 31398 0 -1 0 18132 3 1 0 120528 88 0 0 25 0 11 0 779837064 861458432 25289 4294967295 134512640 134569956 3221224368 3221214264 1131549876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210317 25289 13086 16 0 210301 0
vsize: 841268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12554
Raw data (stat): 12540 (java) Z 12539 31399 31398 0 -1 1036 18132 11934 1 0 120531 93 3478 45 25 0 1 0 779837064 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.15
CPU time (s): 1241.49
CPU user time (s): 1240.1
CPU system time (s): 1.38679
CPU usage (%): 100.922
Max. virtual memory (Kb): 841300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1627
#### END VERIFIER DATA ####