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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb
MD5SUM	2d6764e721075c7867e38358b7c5ac96
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	14100
Biggest coefficient in the objective function	2553894928384
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	401268056673330
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	2553894928384
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	401268056673330
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.137978
Number of variables	16020
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	60
Maximum length of a constraint	2550
Trace number 23107

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-22 04:13:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10695 boxname=wulflinc25 idbench=823 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2d6764e721075c7867e38358b7c5ac96  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-degen2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-degen2.opb
IDLAUNCH: 10695
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        735284 kB
Buffers:         16504 kB
Cached:         261972 kB
SwapCached:        732 kB
Active:          54184 kB
Inactive:       226280 kB
HighTotal:      131008 kB
HighFree:        34804 kB
LowTotal:       903652 kB
LowFree:        700480 kB
SwapTotal:     2097892 kB
SwapFree:      2096216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13264 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:34:05 (client local time) WITH STATUS 143 IN 1237.61 SECONDS
stats: 10695 7 1237.61 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-degen2.opb
c reading problem 
c [nbvar=16020]
c [nbconstr=444]
c time 80.28
c #vars     16020
c #clauses  666
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.74 0.94 0.93 2/54 21096
Raw data (stat): 21096 (runsolver) R 21095 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550762040 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.0008 s]
Raw data (loadavg): 0.78 0.94 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 17981 0 1 0 895 40 0 0 25 0 10 0 550762040 853577728 19097 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 19097 13073 16 0 208377 0
vsize: 833572
[startup+20.001 s]
Raw data (loadavg): 0.81 0.94 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 17981 0 1 0 1791 40 0 0 25 0 10 0 550762040 854593536 19836 4294967295 134512640 134569956 3221224400 3221214824 1131211982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 19836 13073 16 0 208625 0
vsize: 834564
[startup+30.0047 s]
Raw data (loadavg): 0.84 0.95 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 17981 0 1 0 2687 40 0 0 25 0 10 0 550762040 854593536 20287 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 20287 13073 16 0 208625 0
vsize: 834564
[startup+40.0047 s]
Raw data (loadavg): 0.87 0.95 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 17981 0 1 0 3620 40 0 0 25 0 10 0 550762040 853544960 20252 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208385 20252 13073 16 0 208369 0
vsize: 833540
[startup+50.0059 s]
Raw data (loadavg): 0.89 0.95 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 17981 0 1 0 4549 40 0 0 25 0 10 0 550762040 853544960 20379 4294967295 134512640 134569956 3221224400 3221214824 1131211786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208385 20379 13073 16 0 208369 0
vsize: 833540
[startup+60.0058 s]
Raw data (loadavg): 0.90 0.95 0.93 2/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18020 0 1 0 5417 41 0 0 25 0 10 0 550762040 855642112 21145 4294967295 134512640 134569956 3221224400 3221214808 1131211324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208897 21145 13073 16 0 208881 0
vsize: 835588
[startup+70.0741 s]
Raw data (loadavg): 0.92 0.95 0.93 3/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18022 0 1 0 6308 41 0 0 25 0 10 0 550762040 854593536 21348 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21348 13073 16 0 208625 0
vsize: 834564
[startup+80.0747 s]
Raw data (loadavg): 0.93 0.95 0.93 3/63 21105
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18023 0 1 0 7201 43 0 0 25 0 10 0 550762040 854773760 22026 4294967295 134512640 134569956 3221224400 3221214888 1131325556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208685 22026 13073 16 0 208669 0
vsize: 834740
[startup+90.0748 s]
Raw data (loadavg): 0.94 0.95 0.93 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18051 0 1 0 8113 44 0 0 25 0 11 0 550762040 855400448 26077 4294967295 134512640 134569956 3221224400 3221214656 1131319491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208838 26077 13073 16 0 208822 0
vsize: 835352
[startup+100.075 s]
Raw data (loadavg): 1.11 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18093 0 1 0 9000 44 0 0 25 0 11 0 550762040 858845184 26945 4294967295 134512640 134569956 3221224400 3221214616 1131427269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209679 26945 13073 16 0 209663 0
vsize: 838716
[startup+110.075 s]
Raw data (loadavg): 1.09 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18095 0 1 0 9928 44 0 0 25 0 11 0 550762040 858484736 26859 4294967295 134512640 134569956 3221224400 3221214608 1131371635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209591 26859 13073 16 0 209575 0
vsize: 838364
[startup+120.075 s]
Raw data (loadavg): 1.08 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18095 0 1 0 10890 44 0 0 25 0 11 0 550762040 857534464 26508 4294967295 134512640 134569956 3221224400 3221214792 1131375784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26508 13073 16 0 209343 0
vsize: 837436
[startup+130.076 s]
Raw data (loadavg): 1.06 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18095 0 1 0 11864 44 0 0 25 0 11 0 550762040 857534464 26647 4294967295 134512640 134569956 3221224400 3221214704 1131318245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26647 13073 16 0 209343 0
vsize: 837436
[startup+140.075 s]
Raw data (loadavg): 1.05 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 12847 45 0 0 25 0 11 0 550762040 857534464 26683 4294967295 134512640 134569956 3221224400 3221214704 1131318179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26683 13073 16 0 209343 0
vsize: 837436
[startup+150.077 s]
Raw data (loadavg): 1.05 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 13835 45 0 0 25 0 11 0 550762040 857534464 26713 4294967295 134512640 134569956 3221224400 3221214656 1131318205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26713 13073 16 0 209343 0
vsize: 837436
[startup+160.077 s]
Raw data (loadavg): 1.04 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 14826 45 0 0 25 0 11 0 550762040 857534464 26719 4294967295 134512640 134569956 3221224400 3221214672 1131474243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26719 13073 16 0 209343 0
vsize: 837436
[startup+170.076 s]
Raw data (loadavg): 1.03 0.99 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 15814 45 0 0 25 0 11 0 550762040 857534464 26728 4294967295 134512640 134569956 3221224400 3221214672 1131473258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26728 13073 16 0 209343 0
vsize: 837436
[startup+180.076 s]
Raw data (loadavg): 1.11 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 16802 46 0 0 25 0 11 0 550762040 857534464 26972 4294967295 134512640 134569956 3221224400 3221214792 1131375901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26972 13073 16 0 209343 0
vsize: 837436
[startup+190.076 s]
Raw data (loadavg): 1.09 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 17785 46 0 0 25 0 11 0 550762040 857534464 26990 4294967295 134512640 134569956 3221224400 3221214656 1131318179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26990 13073 16 0 209343 0
vsize: 837436
[startup+200.081 s]
Raw data (loadavg): 1.08 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) S 21095 28099 28098 0 -1 0 18096 0 1 0 18767 46 0 0 25 0 11 0 550762040 857534464 27008 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27008 13073 16 0 209343 0
vsize: 837436
[startup+210.081 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 19756 46 0 0 25 0 11 0 550762040 857534464 27060 4294967295 134512640 134569956 3221224400 3221214512 1131274035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27060 13073 16 0 209343 0
vsize: 837436
[startup+220.081 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 20738 47 0 0 25 0 11 0 550762040 858107904 26981 4294967295 134512640 134569956 3221224400 3221214696 1131646311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209499 26981 13073 16 0 209483 0
vsize: 837996
[startup+230.188 s]
Raw data (loadavg): 1.04 1.00 0.94 3/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 21728 47 0 0 25 0 11 0 550762040 857534464 26888 4294967295 134512640 134569956 3221224400 3221214792 1131376042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209359 26888 13073 16 0 209343 0
vsize: 837436
[startup+240.19 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 22704 47 0 0 25 0 11 0 550762040 857534464 26898 4294967295 134512640 134569956 3221224400 3221214784 1131230076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26898 13073 16 0 209343 0
vsize: 837436
[startup+250.19 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 23682 48 0 0 25 0 11 0 550762040 857534464 26907 4294967295 134512640 134569956 3221224400 3221214600 1131273703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26907 13073 16 0 209343 0
vsize: 837436
[startup+260.191 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 24655 48 0 0 25 0 11 0 550762040 857534464 26927 4294967295 134512640 134569956 3221224400 3221214696 1131646156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 26927 13073 16 0 209343 0
vsize: 837436
[startup+270.192 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 25626 48 0 0 25 0 11 0 550762040 857534464 27051 4294967295 134512640 134569956 3221224400 3221214608 1131562866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27051 13073 16 0 209343 0
vsize: 837436
[startup+280.192 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 26593 48 0 0 25 0 11 0 550762040 857534464 27112 4294967295 134512640 134569956 3221224400 3221214736 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27112 13073 16 0 209343 0
vsize: 837436
[startup+290.192 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 27563 49 0 0 25 0 11 0 550762040 857534464 27121 4294967295 134512640 134569956 3221224400 3221214608 1131562989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27121 13073 16 0 209343 0
vsize: 837436
[startup+300.197 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 28529 49 0 0 24 0 11 0 550762040 857534464 27213 4294967295 134512640 134569956 3221224400 3221214600 1131273869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27213 13073 16 0 209343 0
vsize: 837436
[startup+310.196 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 29508 49 0 0 25 0 11 0 550762040 857534464 27216 4294967295 134512640 134569956 3221224400 3221214696 1131646156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27216 13073 16 0 209343 0
vsize: 837436
[startup+320.196 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 30476 49 0 0 25 0 11 0 550762040 857534464 27284 4294967295 134512640 134569956 3221224400 3221214592 1131273879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27284 13073 16 0 209343 0
vsize: 837436
[startup+330.197 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 31451 49 0 0 25 0 11 0 550762040 857534464 27392 4294967295 134512640 134569956 3221224400 3221214592 1131274035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27392 13073 16 0 209343 0
vsize: 837436
[startup+340.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 32419 50 0 0 25 0 11 0 550762040 857534464 27423 4294967295 134512640 134569956 3221224400 3221214696 1131646324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27423 13073 16 0 209343 0
vsize: 837436
[startup+350.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 33386 50 0 0 25 0 11 0 550762040 857534464 27474 4294967295 134512640 134569956 3221224400 3221214832 1131485452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27474 13073 16 0 209343 0
vsize: 837436
[startup+360.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) S 21095 28099 28098 0 -1 0 18096 0 1 0 34336 50 0 0 25 0 11 0 550762040 857534464 27604 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27604 13073 16 0 209343 0
vsize: 837436
[startup+370.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 35282 51 0 0 25 0 11 0 550762040 857534464 27809 4294967295 134512640 134569956 3221224400 3221214648 1131318100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 27809 13073 16 0 209343 0
vsize: 837436
[startup+380.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 36238 51 0 0 25 0 11 0 550762040 857534464 28083 4294967295 134512640 134569956 3221224400 3221214680 1131333805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28083 13073 16 0 209343 0
vsize: 837436
[startup+390.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 37220 52 0 0 25 0 11 0 550762040 857534464 28231 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28231 13073 16 0 209343 0
vsize: 837436
[startup+400.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 38213 52 0 0 25 0 11 0 550762040 857534464 28275 4294967295 134512640 134569956 3221224400 3221214640 1131646229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28275 13073 16 0 209343 0
vsize: 837436
[startup+410.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 39205 53 0 0 25 0 11 0 550762040 857534464 28278 4294967295 134512640 134569956 3221224400 3221214552 1131563342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28278 13073 16 0 209343 0
vsize: 837436
[startup+420.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 40197 53 0 0 25 0 11 0 550762040 857534464 28286 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28286 13073 16 0 209343 0
vsize: 837436
[startup+430.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 41187 53 0 0 23 0 11 0 550762040 857534464 28288 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28288 13073 16 0 209343 0
vsize: 837436
[startup+440.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 42178 53 0 0 25 0 11 0 550762040 857534464 28293 4294967295 134512640 134569956 3221224400 3221214736 1131271196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28293 13073 16 0 209343 0
vsize: 837436
[startup+450.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 43165 53 0 0 25 0 11 0 550762040 857534464 28297 4294967295 134512640 134569956 3221224400 3221214640 1131646164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28297 13073 16 0 209343 0
vsize: 837436
[startup+460.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 44149 54 0 0 25 0 11 0 550762040 857534464 28311 4294967295 134512640 134569956 3221224400 3221214776 1131484704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28311 13073 16 0 209343 0
vsize: 837436
[startup+470.205 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 45133 54 0 0 25 0 11 0 550762040 857534464 28326 4294967295 134512640 134569956 3221224400 3221214544 1131273869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28326 13073 16 0 209343 0
vsize: 837436
[startup+480.205 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 46118 54 0 0 25 0 11 0 550762040 857534464 28378 4294967295 134512640 134569956 3221224400 3221214640 1131646188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28378 13073 16 0 209343 0
vsize: 837436
[startup+490.209 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 47102 55 0 0 25 0 11 0 550762040 857534464 28391 4294967295 134512640 134569956 3221224400 3221214528 1131343187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28391 13073 16 0 209343 0
vsize: 837436
[startup+500.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 48091 55 0 0 25 0 11 0 550762040 857534464 28424 4294967295 134512640 134569956 3221224400 3221214536 1131422409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28424 13073 16 0 209343 0
vsize: 837436
[startup+510.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 49076 55 0 0 25 0 11 0 550762040 857534464 28466 4294967295 134512640 134569956 3221224400 3221214640 1131646172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28466 13073 16 0 209343 0
vsize: 837436
[startup+520.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 50062 56 0 0 25 0 11 0 550762040 857534464 28507 4294967295 134512640 134569956 3221224400 3221214640 1131646172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28507 13073 16 0 209343 0
vsize: 837436
[startup+530.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 51049 56 0 0 25 0 11 0 550762040 857534464 28561 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28561 13073 16 0 209343 0
vsize: 837436
[startup+540.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 52035 56 0 0 25 0 11 0 550762040 857534464 28597 4294967295 134512640 134569956 3221224400 3221214640 1131583700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28597 13073 16 0 209343 0
vsize: 837436
[startup+550.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 53019 57 0 0 25 0 11 0 550762040 857534464 28628 4294967295 134512640 134569956 3221224400 3221214640 1131646239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28628 13073 16 0 209343 0
vsize: 837436
[startup+560.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 54004 57 0 0 25 0 11 0 550762040 857534464 28666 4294967295 134512640 134569956 3221224400 3221214552 1131563332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28666 13073 16 0 209343 0
vsize: 837436
[startup+570.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 54988 57 0 0 25 0 11 0 550762040 857534464 28697 4294967295 134512640 134569956 3221224400 3221214536 1131273984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28697 13073 16 0 209343 0
vsize: 837436
[startup+580.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 55970 58 0 0 25 0 11 0 550762040 857534464 28706 4294967295 134512640 134569956 3221224400 3221214552 1131562915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28706 13073 16 0 209343 0
vsize: 837436
[startup+590.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 56952 58 0 0 25 0 11 0 550762040 857534464 28744 4294967295 134512640 134569956 3221224400 3221214640 1131646144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28744 13073 16 0 209343 0
vsize: 837436
[startup+600.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 57934 59 0 0 25 0 11 0 550762040 857534464 28767 4294967295 134512640 134569956 3221224400 3221214536 1131274748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28767 13073 16 0 209343 0
vsize: 837436
[startup+610.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 58917 59 0 0 25 0 11 0 550762040 857534464 28841 4294967295 134512640 134569956 3221224400 3221214640 1131646324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28841 13073 16 0 209343 0
vsize: 837436
[startup+620.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 59899 59 0 0 25 0 11 0 550762040 857534464 28895 4294967295 134512640 134569956 3221224400 3221214536 1131274042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28895 13073 16 0 209343 0
vsize: 837436
[startup+630.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 60882 60 0 0 25 0 11 0 550762040 857534464 28937 4294967295 134512640 134569956 3221224400 3221214536 1131273921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28937 13073 16 0 209343 0
vsize: 837436
[startup+640.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 61863 60 0 0 25 0 11 0 550762040 857534464 28972 4294967295 134512640 134569956 3221224400 3221214536 1131274471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 28972 13073 16 0 209343 0
vsize: 837436
[startup+650.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 62846 60 0 0 25 0 11 0 550762040 857534464 29039 4294967295 134512640 134569956 3221224400 3221214536 1131274748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29039 13073 16 0 209343 0
vsize: 837436
[startup+660.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 63828 61 0 0 25 0 11 0 550762040 857534464 29063 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29063 13073 16 0 209343 0
vsize: 837436
[startup+670.218 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 64809 61 0 0 25 0 11 0 550762040 857534464 29093 4294967295 134512640 134569956 3221224400 3221214640 1131646309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29093 13073 16 0 209343 0
vsize: 837436
[startup+680.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 65790 61 0 0 25 0 11 0 550762040 857534464 29130 4294967295 134512640 134569956 3221224400 3221214536 1131422393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29130 13073 16 0 209343 0
vsize: 837436
[startup+690.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 66770 62 0 0 25 0 11 0 550762040 857534464 29204 4294967295 134512640 134569956 3221224400 3221214504 1131270913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29204 13073 16 0 209343 0
vsize: 837436
[startup+700.219 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 67752 62 0 0 25 0 11 0 550762040 857534464 29232 4294967295 134512640 134569956 3221224400 3221214640 1131646324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29232 13073 16 0 209343 0
vsize: 837436
[startup+710.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 68732 62 0 0 25 0 11 0 550762040 857534464 29270 4294967295 134512640 134569956 3221224400 3221214640 1131646324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209359 29270 13073 16 0 209343 0
vsize: 837436
[startup+720.226 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 69715 62 0 0 25 0 11 0 550762040 857534464 29353 4294967295 134512640 134569956 3221224400 3221214552 1131563231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29353 13073 16 0 209343 0
vsize: 837436
[startup+730.227 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 70697 63 0 0 25 0 11 0 550762040 857534464 29395 4294967295 134512640 134569956 3221224400 3221214552 1131563325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29395 13073 16 0 209343 0
vsize: 837436
[startup+740.226 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 71684 63 0 0 25 0 11 0 550762040 857534464 29442 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29442 13073 16 0 209343 0
vsize: 837436
[startup+750.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 72667 63 0 0 25 0 11 0 550762040 857534464 29466 4294967295 134512640 134569956 3221224400 3221214640 1131646303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29466 13073 16 0 209343 0
vsize: 837436
[startup+760.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 73650 63 0 0 25 0 11 0 550762040 857534464 29526 4294967295 134512640 134569956 3221224400 3221214784 1131378640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29526 13073 16 0 209343 0
vsize: 837436
[startup+770.227 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 74633 64 0 0 25 0 11 0 550762040 857534464 29562 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29562 13073 16 0 209343 0
vsize: 837436
[startup+780.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 75615 64 0 0 25 0 11 0 550762040 857534464 29626 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29626 13073 16 0 209343 0
vsize: 837436
[startup+790.227 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 76593 64 0 0 25 0 11 0 550762040 857534464 29665 4294967295 134512640 134569956 3221224400 3221214552 1131563336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29665 13073 16 0 209343 0
vsize: 837436
[startup+800.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 77575 65 0 0 25 0 11 0 550762040 857534464 29720 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29720 13073 16 0 209343 0
vsize: 837436
[startup+810.229 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 78556 65 0 0 25 0 11 0 550762040 857534464 29724 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29724 13073 16 0 209343 0
vsize: 837436
[startup+820.229 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 79542 65 0 0 25 0 11 0 550762040 857534464 29760 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29760 13073 16 0 209343 0
vsize: 837436
[startup+830.229 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 80522 66 0 0 25 0 11 0 550762040 857534464 29795 4294967295 134512640 134569956 3221224400 3221214552 1131563470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29795 13073 16 0 209343 0
vsize: 837436
[startup+840.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 81503 66 0 0 25 0 11 0 550762040 857534464 29868 4294967295 134512640 134569956 3221224400 3221214552 1131563307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209359 29868 13073 16 0 209343 0
vsize: 837436
[startup+850.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 82484 66 0 0 25 0 11 0 550762040 857534464 29936 4294967295 134512640 134569956 3221224400 3221214544 1131273721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29936 13073 16 0 209343 0
vsize: 837436
[startup+860.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 83461 66 0 0 25 0 11 0 550762040 857534464 29973 4294967295 134512640 134569956 3221224400 3221214544 1131274042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 29973 13073 16 0 209343 0
vsize: 837436
[startup+870.242 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 84443 67 0 0 25 0 11 0 550762040 857534464 30041 4294967295 134512640 134569956 3221224400 3221214552 1131563441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30041 13073 16 0 209343 0
vsize: 837436
[startup+880.243 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 85424 67 0 0 25 0 11 0 550762040 857534464 30078 4294967295 134512640 134569956 3221224400 3221214536 1131274042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30078 13073 16 0 209343 0
vsize: 837436
[startup+890.242 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 86404 67 0 0 25 0 11 0 550762040 857534464 30107 4294967295 134512640 134569956 3221224400 3221214536 1131274290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30107 13073 16 0 209343 0
vsize: 837436
[startup+900.243 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 87384 68 0 0 25 0 11 0 550762040 857534464 30159 4294967295 134512640 134569956 3221224400 3221214640 1131646311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30159 13073 16 0 209343 0
vsize: 837436
[startup+910.244 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 88370 68 0 0 25 0 11 0 550762040 857534464 30183 4294967295 134512640 134569956 3221224400 3221214576 1131426569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30183 13073 16 0 209343 0
vsize: 837436
[startup+920.243 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 89351 69 0 0 25 0 11 0 550762040 857534464 30242 4294967295 134512640 134569956 3221224400 3221214640 1131646303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30242 13073 16 0 209343 0
vsize: 837436
[startup+930.244 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 90332 69 0 0 25 0 11 0 550762040 857534464 30267 4294967295 134512640 134569956 3221224400 3221214640 1131646146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30267 13073 16 0 209343 0
vsize: 837436
[startup+940.244 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 91313 69 0 0 25 0 11 0 550762040 857534464 30377 4294967295 134512640 134569956 3221224400 3221214544 1131273972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30377 13073 16 0 209343 0
vsize: 837436
[startup+950.244 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 92296 69 0 0 25 0 11 0 550762040 857534464 30389 4294967295 134512640 134569956 3221224400 3221214536 1131274042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30389 13073 16 0 209343 0
vsize: 837436
[startup+960.244 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 93279 69 0 0 25 0 11 0 550762040 857534464 30439 4294967295 134512640 134569956 3221224400 3221214640 1131646303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30439 13073 16 0 209343 0
vsize: 837436
[startup+970.244 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 94262 70 0 0 25 0 11 0 550762040 857534464 30491 4294967295 134512640 134569956 3221224400 3221214640 1131646209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30491 13073 16 0 209343 0
vsize: 837436
[startup+980.244 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 95246 70 0 0 25 0 11 0 550762040 857534464 30541 4294967295 134512640 134569956 3221224400 3221214536 1131274035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30541 13073 16 0 209343 0
vsize: 837436
[startup+990.244 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 96228 70 0 0 25 0 11 0 550762040 857534464 30571 4294967295 134512640 134569956 3221224400 3221214640 1131646164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30571 13073 16 0 209343 0
vsize: 837436
[startup+1000.25 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 97212 71 0 0 25 0 11 0 550762040 857534464 30609 4294967295 134512640 134569956 3221224400 3221214352 1079667957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30609 13073 16 0 209343 0
vsize: 837436
[startup+1010.24 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 98193 71 0 0 25 0 11 0 550762040 857534464 30667 4294967295 134512640 134569956 3221224400 3221214360 1078020035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30667 13073 16 0 209343 0
vsize: 837436
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 99175 71 0 0 24 0 11 0 550762040 857534464 30682 4294967295 134512640 134569956 3221224400 3221214536 1131274169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30682 13073 16 0 209343 0
vsize: 837436
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 100162 71 0 0 25 0 11 0 550762040 857534464 30706 4294967295 134512640 134569956 3221224400 3221214640 1131646164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30706 13073 16 0 209343 0
vsize: 837436
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 101145 72 0 0 25 0 11 0 550762040 857534464 30764 4294967295 134512640 134569956 3221224400 3221214648 1131641221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30764 13073 16 0 209343 0
vsize: 837436
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 102129 72 0 0 25 0 11 0 550762040 857534464 30788 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30788 13073 16 0 209343 0
vsize: 837436
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 103118 72 0 0 25 0 11 0 550762040 857534464 30817 4294967295 134512640 134569956 3221224400 3221214640 1131646303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209359 30817 13073 16 0 209343 0
vsize: 837436
[startup+1070.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 104102 73 0 0 25 0 11 0 550762040 857534464 30879 4294967295 134512640 134569956 3221224400 3221214640 1131646164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30879 13073 16 0 209343 0
vsize: 837436
[startup+1080.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 105087 73 0 0 25 0 11 0 550762040 857534464 30907 4294967295 134512640 134569956 3221224400 3221214624 1131512993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30907 13073 16 0 209343 0
vsize: 837436
[startup+1090.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 106070 74 0 0 25 0 11 0 550762040 857534464 30999 4294967295 134512640 134569956 3221224400 3221214640 1131646229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 30999 13073 16 0 209343 0
vsize: 837436
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 107055 74 0 0 25 0 11 0 550762040 857534464 31003 4294967295 134512640 134569956 3221224400 3221214548 1131343240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31003 13073 16 0 209343 0
vsize: 837436
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 108039 74 0 0 25 0 11 0 550762040 857534464 31030 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31030 13073 16 0 209343 0
vsize: 837436
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 109021 75 0 0 25 0 11 0 550762040 857534464 31030 4294967295 134512640 134569956 3221224400 3221214784 1131380189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31030 13073 16 0 209343 0
vsize: 837436
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 109996 75 0 0 25 0 11 0 550762040 857534464 31074 4294967295 134512640 134569956 3221224400 3221214776 1131230076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31074 13073 16 0 209343 0
vsize: 837436
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 110972 75 0 0 25 0 11 0 550762040 857534464 31144 4294967295 134512640 134569956 3221224400 3221214640 1131646167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31144 13073 16 0 209343 0
vsize: 837436
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 111958 75 0 0 25 0 11 0 550762040 857534464 31179 4294967295 134512640 134569956 3221224400 3221214552 1131563022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31179 13073 16 0 209343 0
vsize: 837436
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 112945 76 0 0 25 0 11 0 550762040 857534464 31213 4294967295 134512640 134569956 3221224400 3221214552 1131563201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31213 13073 16 0 209343 0
vsize: 837436
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 113931 76 0 0 25 0 11 0 550762040 857534464 31241 4294967295 134512640 134569956 3221224400 3221214544 1131273970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31241 13073 16 0 209343 0
vsize: 837436
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 114916 76 0 0 25 0 11 0 550762040 857534464 31302 4294967295 134512640 134569956 3221224400 3221214536 1131274107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31302 13073 16 0 209343 0
vsize: 837436
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 115897 77 0 0 25 0 11 0 550762040 857534464 31350 4294967295 134512640 134569956 3221224400 3221214640 1131646170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31350 13073 16 0 209343 0
vsize: 837436
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 116875 77 0 0 25 0 11 0 550762040 857534464 31382 4294967295 134512640 134569956 3221224400 3221214640 1131646146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31382 13073 16 0 209343 0
vsize: 837436
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 117852 77 0 0 25 0 11 0 550762040 857534464 31387 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31387 13073 16 0 209343 0
vsize: 837436
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 118832 78 0 0 25 0 11 0 550762040 857534464 31397 4294967295 134512640 134569956 3221224400 3221214640 1131646164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31397 13073 16 0 209343 0
vsize: 837436
[startup+1230.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 119803 78 0 0 25 0 11 0 550762040 857534464 31420 4294967295 134512640 134569956 3221224400 3221214640 1131646160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31420 13073 16 0 209343 0
vsize: 837436
[startup+1240.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 21106
Raw data (stat): 21096 (java) R 21095 28099 28098 0 -1 0 18096 0 1 0 120771 78 0 0 25 0 11 0 550762040 857534464 31503 4294967295 134512640 134569956 3221224400 3221214536 1131274042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209359 31503 13073 16 0 209343 0
vsize: 837436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.37 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 21108
Raw data (stat): 21096 (java) Z 21095 28099 28098 0 -1 1036 18096 12260 1 0 120775 78 2874 32 25 0 1 0 550762040 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.37
CPU time (s): 1237.61
CPU user time (s): 1236.5
CPU system time (s): 1.11583
CPU usage (%): 99.7774
Max. virtual memory (Kb): 838716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####