PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM	26f8714f5bbc8fb10d3a4aeb3a0f315a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	26904326400
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	81230087655
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.218966
Number of variables	7561
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	917
Trace number 16600

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 07:55:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12996 boxname=wulflinc5 idbench=1000 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  26f8714f5bbc8fb10d3a4aeb3a0f315a  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rout.opb
IDLAUNCH: 12996
/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:        869744 kB
Buffers:         22420 kB
Cached:         120108 kB
SwapCached:          0 kB
Active:          32300 kB
Inactive:       112968 kB
HighTotal:      131008 kB
HighFree:        63392 kB
LowTotal:       903652 kB
LowFree:        806352 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            13988 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 08:16:31 (client local time) WITH STATUS 143 IN 1237.51 SECONDS
stats: 12996 7 1237.51 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rout.opb
c reading problem 
c [nbvar=7561]
c [nbconstr=606]
c time 21.342
c #vars     7561
c #clauses  337
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.83 0.95 0.91 2/54 19515
Raw data (stat): 19515 (runsolver) R 19514 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485223931 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 4/63 19524
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18009 0 1 0 835 44 0 0 25 0 10 0 485223931 859836416 20710 4294967295 134512640 134569956 3221224400 3221213488 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209921 20710 13073 16 0 209905 0
vsize: 839684
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/63 19524
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18009 0 1 0 1723 45 0 0 25 0 10 0 485223931 857772032 21254 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209417 21254 13073 16 0 209401 0
vsize: 837668
[startup+30.0099 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18048 0 1 0 2597 45 0 0 24 0 11 0 485223931 860397568 22063 4294967295 134512640 134569956 3221224400 3221214680 1131246350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22063 13073 16 0 210042 0
vsize: 840232
[startup+40.0111 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) S 19514 24215 24214 0 -1 0 18087 0 1 0 3425 46 0 0 25 0 11 0 485223931 860397568 22405 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22405 13073 16 0 210042 0
vsize: 840232
[startup+50.0109 s]
Raw data (loadavg): 1.02 0.99 0.92 4/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18087 0 1 0 4332 46 0 0 25 0 11 0 485223931 862494720 23198 4294967295 134512640 134569956 3221224400 3221214680 1131426988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210570 23198 13073 16 0 210554 0
vsize: 842280
[startup+60.0122 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18087 0 1 0 5292 46 0 0 25 0 11 0 485223931 860397568 23229 4294967295 134512640 134569956 3221224400 3221214776 1131357555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23229 13073 16 0 210042 0
vsize: 840232
[startup+70.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18087 0 1 0 6280 46 0 0 25 0 11 0 485223931 860397568 23244 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23244 13073 16 0 210042 0
vsize: 840232
[startup+80.0181 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18087 0 1 0 7267 47 0 0 25 0 11 0 485223931 860397568 23258 4294967295 134512640 134569956 3221224400 3221214672 1131426995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23258 13073 16 0 210042 0
vsize: 840232
[startup+90.0184 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 8247 47 0 0 25 0 11 0 485223931 860397568 23276 4294967295 134512640 134569956 3221224400 3221214840 1131386403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23276 13073 16 0 210042 0
vsize: 840232
[startup+100.037 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 9238 47 0 0 25 0 11 0 485223931 860397568 23281 4294967295 134512640 134569956 3221224400 3221214680 1131245836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23281 13073 16 0 210042 0
vsize: 840232
[startup+110.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 10230 48 0 0 25 0 11 0 485223931 860397568 23292 4294967295 134512640 134569956 3221224400 3221214620 1131267305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 23292 13073 16 0 210042 0
vsize: 840232
[startup+120.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 11219 48 0 0 25 0 11 0 485223931 860397568 23296 4294967295 134512640 134569956 3221224400 3221214664 1131514545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23296 13073 16 0 210042 0
vsize: 840232
[startup+130.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 12209 48 0 0 25 0 11 0 485223931 860397568 23324 4294967295 134512640 134569956 3221224400 3221214664 1131514530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23324 13073 16 0 210042 0
vsize: 840232
[startup+140.066 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 13196 48 0 0 25 0 11 0 485223931 860397568 23327 4294967295 134512640 134569956 3221224400 3221214760 1131620728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 23327 13073 16 0 210042 0
vsize: 840232
[startup+150.065 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 14183 48 0 0 25 0 11 0 485223931 860397568 23334 4294967295 134512640 134569956 3221224400 3221214760 1131620716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 23334 13073 16 0 210042 0
vsize: 840232
[startup+160.094 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 15166 49 0 0 25 0 11 0 485223931 860397568 23341 4294967295 134512640 134569956 3221224400 3221214664 1131515436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23341 13073 16 0 210042 0
vsize: 840232
[startup+170.094 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 16138 49 0 0 25 0 11 0 485223931 860397568 23352 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23352 13073 16 0 210042 0
vsize: 840232
[startup+180.094 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 17084 49 0 0 25 0 11 0 485223931 860397568 23529 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23529 13073 16 0 210042 0
vsize: 840232
[startup+190.11 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 18045 50 0 0 25 0 11 0 485223931 860397568 23769 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23769 13073 16 0 210042 0
vsize: 840232
[startup+200.11 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 19027 50 0 0 25 0 11 0 485223931 860397568 23958 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23958 13073 16 0 210042 0
vsize: 840232
[startup+210.11 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 20016 50 0 0 25 0 11 0 485223931 860397568 23968 4294967295 134512640 134569956 3221224400 3221214624 1131267225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23968 13073 16 0 210042 0
vsize: 840232
[startup+220.114 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 21006 51 0 0 25 0 11 0 485223931 860397568 23975 4294967295 134512640 134569956 3221224400 3221214760 1131620756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23975 13073 16 0 210042 0
vsize: 840232
[startup+230.121 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 21995 51 0 0 25 0 11 0 485223931 860397568 23990 4294967295 134512640 134569956 3221224400 3221214760 1131620767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23990 13073 16 0 210042 0
vsize: 840232
[startup+240.122 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 22985 51 0 0 25 0 11 0 485223931 860397568 24015 4294967295 134512640 134569956 3221224400 3221214388 1078829678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24015 13073 16 0 210042 0
vsize: 840232
[startup+250.122 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19525
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 23968 51 0 0 25 0 11 0 485223931 860397568 24025 4294967295 134512640 134569956 3221224400 3221214760 1131620720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24025 13073 16 0 210042 0
vsize: 840232
[startup+260.123 s]
Raw data (loadavg): 1.09 1.02 0.93 2/69 19551
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 24940 53 0 0 25 0 11 0 485223931 860397568 24047 4294967295 134512640 134569956 3221224400 3221214680 1131245838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24047 13073 16 0 210042 0
vsize: 840232
[startup+270.227 s]
Raw data (loadavg): 1.23 1.05 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 25914 54 0 0 25 0 11 0 485223931 860397568 24093 4294967295 134512640 134569956 3221224400 3221214760 1131620748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24093 13073 16 0 210042 0
vsize: 840232
[startup+280.23 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 26880 54 0 0 25 0 11 0 485223931 860397568 24162 4294967295 134512640 134569956 3221224400 3221214760 1131620756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24162 13073 16 0 210042 0
vsize: 840232
[startup+290.238 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 27843 54 0 0 25 0 11 0 485223931 860397568 24218 4294967295 134512640 134569956 3221224400 3221214840 1131386208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24218 13073 16 0 210042 0
vsize: 840232
[startup+300.244 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 28796 55 0 0 24 0 11 0 485223931 860397568 24327 4294967295 134512640 134569956 3221224400 3221214760 1131620763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24327 13073 16 0 210042 0
vsize: 840232
[startup+310.245 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 29740 55 0 0 25 0 11 0 485223931 860397568 24499 4294967295 134512640 134569956 3221224400 3221214680 1131246686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24499 13073 16 0 210042 0
vsize: 840232
[startup+320.246 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 30681 55 0 0 25 0 11 0 485223931 860397568 24729 4294967295 134512640 134569956 3221224400 3221214776 1131357836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24729 13073 16 0 210042 0
vsize: 840232
[startup+330.246 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 19578
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 31645 55 0 0 25 0 11 0 485223931 860397568 25007 4294967295 134512640 134569956 3221224400 3221214680 1131246804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25007 13073 16 0 210042 0
vsize: 840232
[startup+340.246 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 32627 56 0 0 25 0 11 0 485223931 860397568 25136 4294967295 134512640 134569956 3221224400 3221214776 1131358818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25136 13073 16 0 210042 0
vsize: 840232
[startup+350.251 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 33614 56 0 0 25 0 11 0 485223931 860397568 25153 4294967295 134512640 134569956 3221224400 3221214776 1131357755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25153 13073 16 0 210042 0
vsize: 840232
[startup+360.253 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 34601 56 0 0 25 0 11 0 485223931 860397568 25200 4294967295 134512640 134569956 3221224400 3221214680 1131246377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25200 13073 16 0 210042 0
vsize: 840232
[startup+370.253 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 35591 57 0 0 25 0 11 0 485223931 860397568 25212 4294967295 134512640 134569956 3221224400 3221214776 1131358915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25212 13073 16 0 210042 0
vsize: 840232
[startup+380.253 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 36580 57 0 0 25 0 11 0 485223931 860397568 25222 4294967295 134512640 134569956 3221224400 3221214680 1131246393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25222 13073 16 0 210042 0
vsize: 840232
[startup+390.254 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 37570 57 0 0 25 0 11 0 485223931 860397568 25235 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25235 13073 16 0 210042 0
vsize: 840232
[startup+400.255 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 38554 58 0 0 24 0 11 0 485223931 860397568 25240 4294967295 134512640 134569956 3221224400 3221214680 1131245829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25240 13073 16 0 210042 0
vsize: 840232
[startup+410.255 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 39535 59 0 0 25 0 11 0 485223931 860397568 25274 4294967295 134512640 134569956 3221224400 3221214760 1131620756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 25274 13073 16 0 210042 0
vsize: 840232
[startup+420.256 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 40515 59 0 0 25 0 11 0 485223931 860397568 25291 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25291 13073 16 0 210042 0
vsize: 840232
[startup+430.255 s]
Raw data (loadavg): 1.01 1.02 0.94 3/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 41489 59 0 0 25 0 11 0 485223931 860397568 25327 4294967295 134512640 134569956 3221224400 3221213552 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 25327 13073 16 0 210042 0
vsize: 840232
[startup+440.256 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 42461 59 0 0 25 0 11 0 485223931 860397568 25410 4294967295 134512640 134569956 3221224400 3221214676 1080203737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25410 13073 16 0 210042 0
vsize: 840232
[startup+450.256 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 43431 59 0 0 25 0 11 0 485223931 860397568 25499 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25499 13073 16 0 210042 0
vsize: 840232
[startup+460.259 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 44402 60 0 0 25 0 11 0 485223931 860397568 25611 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25611 13073 16 0 210042 0
vsize: 840232
[startup+470.259 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 45380 60 0 0 25 0 11 0 485223931 860397568 25692 4294967295 134512640 134569956 3221224400 3221214776 1131359538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25692 13073 16 0 210042 0
vsize: 840232
[startup+480.259 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 46355 60 0 0 25 0 11 0 485223931 860397568 25768 4294967295 134512640 134569956 3221224400 3221214776 1131357758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25768 13073 16 0 210042 0
vsize: 840232
[startup+490.259 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 47328 61 0 0 25 0 11 0 485223931 860397568 25841 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25841 13073 16 0 210042 0
vsize: 840232
[startup+500.26 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 48299 61 0 0 25 0 11 0 485223931 860397568 25919 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25919 13073 16 0 210042 0
vsize: 840232
[startup+510.261 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 49270 61 0 0 25 0 11 0 485223931 860397568 25982 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25982 13073 16 0 210042 0
vsize: 840232
[startup+520.262 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 50241 61 0 0 25 0 11 0 485223931 860397568 26093 4294967295 134512640 134569956 3221224400 3221214760 1131620748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26093 13073 16 0 210042 0
vsize: 840232
[startup+530.263 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 51207 61 0 0 25 0 11 0 485223931 860397568 26205 4294967295 134512640 134569956 3221224400 3221214896 1131532810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26205 13073 16 0 210042 0
vsize: 840232
[startup+540.263 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 52180 62 0 0 25 0 11 0 485223931 860397568 26304 4294967295 134512640 134569956 3221224400 3221214760 1131620716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26304 13073 16 0 210042 0
vsize: 840232
[startup+550.264 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 53152 62 0 0 25 0 11 0 485223931 860397568 26385 4294967295 134512640 134569956 3221224400 3221214568 1131261449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26385 13073 16 0 210042 0
vsize: 840232
[startup+560.266 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 54126 63 0 0 25 0 11 0 485223931 860397568 26482 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26482 13073 16 0 210042 0
vsize: 840232
[startup+570.266 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 55100 63 0 0 25 0 11 0 485223931 860397568 26558 4294967295 134512640 134569956 3221224400 3221214760 1131620735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26558 13073 16 0 210042 0
vsize: 840232
[startup+580.266 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19580
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 56069 64 0 0 25 0 11 0 485223931 860397568 26657 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26657 13073 16 0 210042 0
vsize: 840232
[startup+590.267 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 57041 65 0 0 25 0 11 0 485223931 860397568 26740 4294967295 134512640 134569956 3221224400 3221214896 1131532977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26740 13073 16 0 210042 0
vsize: 840232
[startup+600.268 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19582
Raw data (stat): 19515 (java) S 19514 24215 24214 0 -1 0 18089 0 1 0 57999 65 0 0 25 0 11 0 485223931 860397568 26859 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26859 13073 16 0 210042 0
vsize: 840232
[startup+610.269 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 58961 65 0 0 25 0 11 0 485223931 860397568 27011 4294967295 134512640 134569956 3221224400 3221214680 1131246112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27011 13073 16 0 210042 0
vsize: 840232
[startup+620.269 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 59929 66 0 0 24 0 11 0 485223931 860397568 27166 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27166 13073 16 0 210042 0
vsize: 840232
[startup+630.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 60910 66 0 0 24 0 11 0 485223931 860397568 27252 4294967295 134512640 134569956 3221224400 3221214776 1131361905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27252 13073 16 0 210042 0
vsize: 840232
[startup+640.271 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 61896 67 0 0 25 0 11 0 485223931 860397568 27332 4294967295 134512640 134569956 3221224400 3221214680 1131246222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27332 13073 16 0 210042 0
vsize: 840232
[startup+650.271 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 62884 67 0 0 25 0 11 0 485223931 860397568 27346 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27346 13073 16 0 210042 0
vsize: 840232
[startup+660.272 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 63872 67 0 0 25 0 11 0 485223931 860397568 27360 4294967295 134512640 134569956 3221224400 3221214680 1131246218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27360 13073 16 0 210042 0
vsize: 840232
[startup+670.273 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 64861 68 0 0 25 0 11 0 485223931 860397568 27371 4294967295 134512640 134569956 3221224400 3221214680 1131246208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27371 13073 16 0 210042 0
vsize: 840232
[startup+680.273 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) S 19514 24215 24214 0 -1 0 18089 0 1 0 65847 68 0 0 25 0 11 0 485223931 860397568 27398 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27398 13073 16 0 210042 0
vsize: 840232
[startup+690.274 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 66836 68 0 0 25 0 11 0 485223931 860397568 27430 4294967295 134512640 134569956 3221224400 3221214776 1131359652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27430 13073 16 0 210042 0
vsize: 840232
[startup+700.274 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 67824 69 0 0 25 0 11 0 485223931 860397568 27435 4294967295 134512640 134569956 3221224400 3221214680 1131246248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27435 13073 16 0 210042 0
vsize: 840232
[startup+710.275 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 68810 69 0 0 25 0 11 0 485223931 860397568 27462 4294967295 134512640 134569956 3221224400 3221214760 1131620735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27462 13073 16 0 210042 0
vsize: 840232
[startup+720.276 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 69798 70 0 0 25 0 11 0 485223931 860397568 27480 4294967295 134512640 134569956 3221224400 3221214680 1131245854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27480 13073 16 0 210042 0
vsize: 840232
[startup+730.277 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 70786 70 0 0 25 0 11 0 485223931 860397568 27495 4294967295 134512640 134569956 3221224400 3221214680 1131245854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27495 13073 16 0 210042 0
vsize: 840232
[startup+740.277 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 71769 71 0 0 24 0 11 0 485223931 860397568 27522 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27522 13073 16 0 210042 0
vsize: 840232
[startup+750.278 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 72750 71 0 0 25 0 11 0 485223931 860397568 27551 4294967295 134512640 134569956 3221224400 3221214776 1131362168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27551 13073 16 0 210042 0
vsize: 840232
[startup+760.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 73728 72 0 0 25 0 11 0 485223931 860397568 27580 4294967295 134512640 134569956 3221224400 3221214760 1131620720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27580 13073 16 0 210042 0
vsize: 840232
[startup+770.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 74712 73 0 0 25 0 11 0 485223931 860397568 27664 4294967295 134512640 134569956 3221224400 3221214680 1131245854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27664 13073 16 0 210042 0
vsize: 840232
[startup+780.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 75693 73 0 0 25 0 11 0 485223931 860397568 27738 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27738 13073 16 0 210042 0
vsize: 840232
[startup+790.281 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) S 19514 24215 24214 0 -1 0 18089 0 1 0 76675 73 0 0 25 0 11 0 485223931 860397568 27806 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27806 13073 16 0 210042 0
vsize: 840232
[startup+800.282 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 77656 73 0 0 25 0 11 0 485223931 860397568 27862 4294967295 134512640 134569956 3221224400 3221214720 1131521936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27862 13073 16 0 210042 0
vsize: 840232
[startup+810.283 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 78636 74 0 0 25 0 11 0 485223931 860397568 27920 4294967295 134512640 134569956 3221224400 3221214624 1131269189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27920 13073 16 0 210042 0
vsize: 840232
[startup+820.284 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 79616 74 0 0 25 0 11 0 485223931 860397568 27972 4294967295 134512640 134569956 3221224400 3221214760 1131620704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 27972 13073 16 0 210042 0
vsize: 840232
[startup+830.284 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 80591 75 0 0 25 0 11 0 485223931 860397568 28030 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28030 13073 16 0 210042 0
vsize: 840232
[startup+840.285 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 81575 75 0 0 25 0 11 0 485223931 860397568 28087 4294967295 134512640 134569956 3221224400 3221214680 1131245915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28087 13073 16 0 210042 0
vsize: 840232
[startup+850.285 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 82557 75 0 0 25 0 11 0 485223931 860397568 28145 4294967295 134512640 134569956 3221224400 3221214760 1131620728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28145 13073 16 0 210042 0
vsize: 840232
[startup+860.286 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 83538 76 0 0 25 0 11 0 485223931 860397568 28201 4294967295 134512640 134569956 3221224400 3221214680 1131246251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28201 13073 16 0 210042 0
vsize: 840232
[startup+870.287 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 84519 76 0 0 25 0 11 0 485223931 860397568 28238 4294967295 134512640 134569956 3221224400 3221214664 1131514545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28238 13073 16 0 210042 0
vsize: 840232
[startup+880.287 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 85498 76 0 0 25 0 11 0 485223931 860397568 28288 4294967295 134512640 134569956 3221224400 3221214760 1131620750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28288 13073 16 0 210042 0
vsize: 840232
[startup+890.287 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 86475 77 0 0 25 0 11 0 485223931 860397568 28360 4294967295 134512640 134569956 3221224400 3221214680 1131245838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28360 13073 16 0 210042 0
vsize: 840232
[startup+900.287 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 87453 78 0 0 25 0 11 0 485223931 860397568 28464 4294967295 134512640 134569956 3221224400 3221214680 1131245825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28464 13073 16 0 210042 0
vsize: 840232
[startup+910.289 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 88429 78 0 0 25 0 11 0 485223931 860397568 28592 4294967295 134512640 134569956 3221224400 3221214624 1131267428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28592 13073 16 0 210042 0
vsize: 840232
[startup+920.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 89405 78 0 0 24 0 11 0 485223931 860397568 28668 4294967295 134512640 134569956 3221224400 3221214680 1131245825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28668 13073 16 0 210042 0
vsize: 840232
[startup+930.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18089 0 1 0 90385 78 0 0 25 0 11 0 485223931 860397568 28756 4294967295 134512640 134569956 3221224400 3221214680 1131246448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28756 13073 16 0 210042 0
vsize: 840232
[startup+940.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 91364 79 0 0 25 0 11 0 485223931 860397568 28815 4294967295 134512640 134569956 3221224400 3221214760 1131620756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28815 13073 16 0 210042 0
vsize: 840232
[startup+950.291 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 92341 79 0 0 25 0 11 0 485223931 860397568 28894 4294967295 134512640 134569956 3221224400 3221214680 1131246373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28894 13073 16 0 210042 0
vsize: 840232
[startup+960.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 93318 79 0 0 25 0 11 0 485223931 860397568 28973 4294967295 134512640 134569956 3221224400 3221214760 1131620733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28973 13073 16 0 210042 0
vsize: 840232
[startup+970.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 94301 80 0 0 25 0 11 0 485223931 860397568 29039 4294967295 134512640 134569956 3221224400 3221214680 1131245931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29039 13073 16 0 210042 0
vsize: 840232
[startup+980.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 95279 80 0 0 25 0 11 0 485223931 860397568 29120 4294967295 134512640 134569956 3221224400 3221214760 1131620704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29120 13073 16 0 210042 0
vsize: 840232
[startup+990.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 96259 80 0 0 25 0 11 0 485223931 860397568 29193 4294967295 134512640 134569956 3221224400 3221214680 1131245829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29193 13073 16 0 210042 0
vsize: 840232
[startup+1000.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 97239 81 0 0 25 0 11 0 485223931 860397568 29230 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29230 13073 16 0 210042 0
vsize: 840232
[startup+1010.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 98223 81 0 0 25 0 11 0 485223931 860397568 29301 4294967295 134512640 134569956 3221224400 3221214680 1131246502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29301 13073 16 0 210042 0
vsize: 840232
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 99204 82 0 0 25 0 11 0 485223931 860397568 29341 4294967295 134512640 134569956 3221224400 3221214760 1131620735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29341 13073 16 0 210042 0
vsize: 840232
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 100186 82 0 0 25 0 11 0 485223931 860397568 29403 4294967295 134512640 134569956 3221224400 3221214680 1131246456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29403 13073 16 0 210042 0
vsize: 840232
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 101170 82 0 0 25 0 11 0 485223931 860397568 29463 4294967295 134512640 134569956 3221224400 3221214680 1131245829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29463 13073 16 0 210042 0
vsize: 840232
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 102153 83 0 0 25 0 11 0 485223931 860397568 29502 4294967295 134512640 134569956 3221224400 3221214680 1131247054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29502 13073 16 0 210042 0
vsize: 840232
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 103130 83 0 0 24 0 11 0 485223931 860397568 29539 4294967295 134512640 134569956 3221224400 3221214776 1131358770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29539 13073 16 0 210042 0
vsize: 840232
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 104109 83 0 0 25 0 11 0 485223931 860397568 29580 4294967295 134512640 134569956 3221224400 3221214680 1131246436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29580 13073 16 0 210042 0
vsize: 840232
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 105087 83 0 0 25 0 11 0 485223931 860397568 29634 4294967295 134512640 134569956 3221224400 3221214760 1131620724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29634 13073 16 0 210042 0
vsize: 840232
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 106064 84 0 0 25 0 11 0 485223931 860397568 29730 4294967295 134512640 134569956 3221224400 3221214680 1131246385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29730 13073 16 0 210042 0
vsize: 840232
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 107045 84 0 0 25 0 11 0 485223931 860397568 29773 4294967295 134512640 134569956 3221224400 3221214216 1131644891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29773 13073 16 0 210042 0
vsize: 840232
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 108016 85 0 0 25 0 11 0 485223931 860397568 29865 4294967295 134512640 134569956 3221224400 3221214736 1131328113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29865 13073 16 0 210042 0
vsize: 840232
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 108993 85 0 0 25 0 11 0 485223931 860397568 29915 4294967295 134512640 134569956 3221224400 3221214680 1131246014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 29915 13073 16 0 210042 0
vsize: 840232
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 109966 85 0 0 25 0 11 0 485223931 860397568 30034 4294967295 134512640 134569956 3221224400 3221214760 1131620728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30034 13073 16 0 210042 0
vsize: 840232
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 110943 86 0 0 25 0 11 0 485223931 860397568 30123 4294967295 134512640 134569956 3221224400 3221214680 1131246004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30123 13073 16 0 210042 0
vsize: 840232
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 111916 86 0 0 24 0 11 0 485223931 860397568 30228 4294967295 134512640 134569956 3221224400 3221214680 1131246268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30228 13073 16 0 210042 0
vsize: 840232
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 112889 86 0 0 25 0 11 0 485223931 860397568 30346 4294967295 134512640 134569956 3221224400 3221214248 1131640340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30346 13073 16 0 210042 0
vsize: 840232
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 113866 86 0 0 25 0 11 0 485223931 860397568 30457 4294967295 134512640 134569956 3221224400 3221214680 1131246248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30457 13073 16 0 210042 0
vsize: 840232
[startup+1180.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 114849 87 0 0 25 0 11 0 485223931 860397568 30534 4294967295 134512640 134569956 3221224400 3221214680 1131246220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30534 13073 16 0 210042 0
vsize: 840232
[startup+1190.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 115830 87 0 0 25 0 11 0 485223931 860397568 30562 4294967295 134512640 134569956 3221224400 3221214664 1131514527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30562 13073 16 0 210042 0
vsize: 840232
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 116813 88 0 0 25 0 11 0 485223931 860397568 30565 4294967295 134512640 134569956 3221224400 3221214680 1131245900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30565 13073 16 0 210042 0
vsize: 840232
[startup+1210.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 117795 88 0 0 25 0 11 0 485223931 860397568 30626 4294967295 134512640 134569956 3221224400 3221214776 1131357758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30626 13073 16 0 210042 0
vsize: 840232
[startup+1220.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 118779 89 0 0 25 0 11 0 485223931 860397568 30662 4294967295 134512640 134569956 3221224400 3221214680 1131246814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30662 13073 16 0 210042 0
vsize: 840232
[startup+1230.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 119760 89 0 0 25 0 11 0 485223931 860397568 30694 4294967295 134512640 134569956 3221224400 3221214680 1131246416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30694 13073 16 0 210042 0
vsize: 840232
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 19582
Raw data (stat): 19515 (java) R 19514 24215 24214 0 -1 0 18090 0 1 0 120744 90 0 0 24 0 11 0 485223931 860397568 30737 4294967295 134512640 134569956 3221224400 3221214776 1131362184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30737 13073 16 0 210042 0
vsize: 840232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.48 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 19584
Raw data (stat): 19515 (java) Z 19514 24215 24214 0 -1 1036 18090 10663 1 0 120750 90 2877 32 25 0 1 0 485223931 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): 1240.48
CPU time (s): 1237.51
CPU user time (s): 1236.28
CPU system time (s): 1.22781
CPU usage (%): 99.7603
Max. virtual memory (Kb): 842280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####