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/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 4210

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-13 15:53:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=360 boxname=wulflinc17 idbench=40 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc17/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 360
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        866344 kB
Buffers:         32560 kB
Cached:         100996 kB
SwapCached:       2376 kB
Active:          40592 kB
Inactive:        98268 kB
HighTotal:      131008 kB
HighFree:        25956 kB
LowTotal:       903652 kB
LowFree:        840388 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            23768 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:19 (client local time) WITH STATUS 143 IN  SECONDS
stats: 360 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-fpga20_18_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=540]
c [nbconstr=416]
c time 1.753
c #vars     540
c #clauses  416
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.77 0.22 0.07 2/55 20984
Raw data (stat): 20984 (runsolver) R 20983 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477188206 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0595 s]
Raw data (loadavg): 1.04 0.30 0.10 3/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18068 0 1 0 687 43 0 0 25 0 11 0 477188206 861302784 20779 4294967295 134512640 134569956 3221224400 3221214680 1131286716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 20779 13073 16 0 210263 0
vsize: 841116
[startup+20.0801 s]
Raw data (loadavg): 1.03 0.32 0.11 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18069 0 1 0 1593 44 0 0 25 0 11 0 477188206 861171712 21697 4294967295 134512640 134569956 3221224400 3221214800 1131216969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 21697 13073 16 0 210231 0
vsize: 840988
[startup+30.0805 s]
Raw data (loadavg): 1.03 0.34 0.12 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18069 0 1 0 2527 44 0 0 25 0 11 0 477188206 861171712 22249 4294967295 134512640 134569956 3221224400 3221214896 1131223000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 22249 13073 16 0 210231 0
vsize: 840988
[startup+40.0807 s]
Raw data (loadavg): 1.02 0.36 0.13 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18069 0 1 0 3462 44 0 0 25 0 11 0 477188206 861171712 22701 4294967295 134512640 134569956 3221224400 3221214560 1131457899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 22701 13073 16 0 210231 0
vsize: 840988
[startup+50.0808 s]
Raw data (loadavg): 1.02 0.38 0.14 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 4398 44 0 0 25 0 11 0 477188206 861171712 23136 4294967295 134512640 134569956 3221224400 3221214800 1131217057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 23136 13073 16 0 210231 0
vsize: 840988
[startup+60.0804 s]
Raw data (loadavg): 1.01 0.40 0.14 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 5345 45 0 0 25 0 11 0 477188206 861171712 23382 4294967295 134512640 134569956 3221224400 3221214632 1131609189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 23382 13073 16 0 210231 0
vsize: 840988
[startup+70.0817 s]
Raw data (loadavg): 1.01 0.42 0.15 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 6291 45 0 0 25 0 11 0 477188206 861171712 23682 4294967295 134512640 134569956 3221224400 3221214896 1131620757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 23682 13073 16 0 210231 0
vsize: 840988
[startup+80.0816 s]
Raw data (loadavg): 1.01 0.44 0.16 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 7247 45 0 0 25 0 11 0 477188206 861171712 23939 4294967295 134512640 134569956 3221224400 3221214208 1131471542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 23939 13073 16 0 210231 0
vsize: 840988
[startup+90.081 s]
Raw data (loadavg): 1.01 0.46 0.17 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 8191 45 0 0 25 0 11 0 477188206 861171712 24305 4294967295 134512640 134569956 3221224400 3221214248 1131545512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 24305 13073 16 0 210231 0
vsize: 840988
[startup+100.081 s]
Raw data (loadavg): 1.01 0.48 0.18 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 9126 46 0 0 25 0 11 0 477188206 861171712 24637 4294967295 134512640 134569956 3221224400 3221214560 1131459461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 24637 13073 16 0 210231 0
vsize: 840988
[startup+110.081 s]
Raw data (loadavg): 1.00 0.49 0.19 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 10071 46 0 0 25 0 11 0 477188206 861171712 24916 4294967295 134512640 134569956 3221224400 3221214048 1131544120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 24916 13073 16 0 210231 0
vsize: 840988
[startup+120.082 s]
Raw data (loadavg): 1.00 0.51 0.20 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 11028 46 0 0 25 0 11 0 477188206 861171712 25081 4294967295 134512640 134569956 3221224400 3221214648 1131261749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 25081 13073 16 0 210231 0
vsize: 840988
[startup+130.082 s]
Raw data (loadavg): 1.00 0.52 0.20 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 11977 46 0 0 25 0 11 0 477188206 861171712 25274 4294967295 134512640 134569956 3221224400 3221214568 1131471591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 25274 13073 16 0 210231 0
vsize: 840988
[startup+140.082 s]
Raw data (loadavg): 1.00 0.54 0.21 2/65 20994
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 12933 47 0 0 25 0 11 0 477188206 861171712 25498 4294967295 134512640 134569956 3221224400 3221214776 1131217057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 25498 13073 16 0 210231 0
vsize: 840988
[startup+150.083 s]
Raw data (loadavg): 1.00 0.55 0.22 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 13879 47 0 0 25 0 11 0 477188206 861171712 25752 4294967295 134512640 134569956 3221224400 3221214776 1131217215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 25752 13073 16 0 210231 0
vsize: 840988
[startup+160.083 s]
Raw data (loadavg): 1.00 0.57 0.23 2/65 20996
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 14818 48 0 0 25 0 11 0 477188206 861171712 25952 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 25952 13073 16 0 210231 0
vsize: 840988
[startup+170.083 s]
Raw data (loadavg): 1.00 0.58 0.23 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 15752 48 0 0 25 0 11 0 477188206 861171712 26269 4294967295 134512640 134569956 3221224400 3221214576 1131544120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 26269 13073 16 0 210231 0
vsize: 840988
[startup+180.083 s]
Raw data (loadavg): 1.00 0.60 0.24 2/65 20996
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 16688 48 0 0 25 0 11 0 477188206 861171712 26431 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 26431 13073 16 0 210231 0
vsize: 840988
[startup+190.084 s]
Raw data (loadavg): 1.00 0.61 0.25 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 17611 48 0 0 25 0 11 0 477188206 861171712 26650 4294967295 134512640 134569956 3221224400 3221214776 1131217517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 26650 13073 16 0 210231 0
vsize: 840988
[startup+200.084 s]
Raw data (loadavg): 1.00 0.62 0.26 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 18561 48 0 0 25 0 11 0 477188206 861171712 26762 4294967295 134512640 134569956 3221224400 3221214560 1131236380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 26762 13073 16 0 210231 0
vsize: 840988
[startup+210.083 s]
Raw data (loadavg): 1.00 0.63 0.27 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 19500 49 0 0 25 0 11 0 477188206 861171712 26973 4294967295 134512640 134569956 3221224400 3221214780 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 26973 13073 16 0 210231 0
vsize: 840988
[startup+220.084 s]
Raw data (loadavg): 1.00 0.64 0.27 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 20431 49 0 0 25 0 11 0 477188206 861171712 27207 4294967295 134512640 134569956 3221224400 3221214752 1131260666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 27207 13073 16 0 210231 0
vsize: 840988
[startup+230.084 s]
Raw data (loadavg): 1.00 0.66 0.28 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 21364 49 0 0 25 0 11 0 477188206 861171712 27397 4294967295 134512640 134569956 3221224400 3221214240 1131544145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 27397 13073 16 0 210231 0
vsize: 840988
[startup+240.089 s]
Raw data (loadavg): 1.00 0.67 0.29 2/65 20996
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 22303 49 0 0 25 0 11 0 477188206 861171712 27542 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 27542 13073 16 0 210231 0
vsize: 840988
[startup+250.09 s]
Raw data (loadavg): 1.00 0.68 0.29 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 23237 49 0 0 24 0 11 0 477188206 861171712 27736 4294967295 134512640 134569956 3221224400 3221214776 1131217914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 27736 13073 16 0 210231 0
vsize: 840988
[startup+260.09 s]
Raw data (loadavg): 1.00 0.69 0.30 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 24177 49 0 0 25 0 11 0 477188206 861171712 27955 4294967295 134512640 134569956 3221224400 3221214664 1131649268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 27955 13073 16 0 210231 0
vsize: 840988
[startup+270.091 s]
Raw data (loadavg): 1.00 0.70 0.31 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 25122 49 0 0 25 0 11 0 477188206 861171712 28146 4294967295 134512640 134569956 3221224400 3221214832 1131198304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28146 13073 16 0 210231 0
vsize: 840988
[startup+280.09 s]
Raw data (loadavg): 1.00 0.71 0.31 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 26072 49 0 0 25 0 11 0 477188206 861171712 28300 4294967295 134512640 134569956 3221224400 3221214776 1131217057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28300 13073 16 0 210231 0
vsize: 840988
[startup+290.09 s]
Raw data (loadavg): 1.00 0.72 0.32 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 27021 49 0 0 25 0 11 0 477188206 861171712 28455 4294967295 134512640 134569956 3221224400 3221214240 1131471604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28455 13073 16 0 210231 0
vsize: 840988
[startup+300.09 s]
Raw data (loadavg): 1.00 0.72 0.33 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 27999 49 0 0 25 0 11 0 477188206 861171712 28530 4294967295 134512640 134569956 3221224400 3221214776 1131217245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28530 13073 16 0 210231 0
vsize: 840988
[startup+310.09 s]
Raw data (loadavg): 1.00 0.73 0.34 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 28968 49 0 0 25 0 11 0 477188206 861171712 28622 4294967295 134512640 134569956 3221224400 3221214064 1131471624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28622 13073 16 0 210231 0
vsize: 840988
[startup+320.09 s]
Raw data (loadavg): 1.00 0.74 0.34 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 29942 49 0 0 25 0 11 0 477188206 861171712 28679 4294967295 134512640 134569956 3221224400 3221214552 1131458556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28679 13073 16 0 210231 0
vsize: 840988
[startup+330.09 s]
Raw data (loadavg): 1.00 0.75 0.35 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 30902 49 0 0 25 0 11 0 477188206 861171712 28750 4294967295 134512640 134569956 3221224400 3221214776 1131216660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28750 13073 16 0 210231 0
vsize: 840988
[startup+340.09 s]
Raw data (loadavg): 1.00 0.76 0.36 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 31862 49 0 0 25 0 11 0 477188206 861171712 28808 4294967295 134512640 134569956 3221224400 3221214208 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28808 13073 16 0 210231 0
vsize: 840988
[startup+350.09 s]
Raw data (loadavg): 1.00 0.76 0.36 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 32818 49 0 0 25 0 11 0 477188206 861171712 28946 4294967295 134512640 134569956 3221224400 3221214392 1078032991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 28946 13073 16 0 210231 0
vsize: 840988
[startup+360.09 s]
Raw data (loadavg): 1.00 0.77 0.37 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 33785 49 0 0 25 0 11 0 477188206 861171712 29072 4294967295 134512640 134569956 3221224400 3221214552 1131457979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 29072 13073 16 0 210231 0
vsize: 840988
[startup+370.091 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 34751 49 0 0 25 0 11 0 477188206 861171712 29199 4294967295 134512640 134569956 3221224400 3221214400 1131471599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29199 13073 16 0 210231 0
vsize: 840988
[startup+380.091 s]
Raw data (loadavg): 1.00 0.79 0.38 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 35709 49 0 0 25 0 11 0 477188206 861171712 29322 4294967295 134512640 134569956 3221224400 3221214928 1131620508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29322 13073 16 0 210231 0
vsize: 840988
[startup+390.094 s]
Raw data (loadavg): 1.00 0.79 0.39 2/65 20996
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 36664 49 0 0 25 0 11 0 477188206 861171712 29493 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29493 13073 16 0 210231 0
vsize: 840988
[startup+400.097 s]
Raw data (loadavg): 1.00 0.80 0.39 2/65 20996
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 37625 49 0 0 25 0 11 0 477188206 861171712 29603 4294967295 134512640 134569956 3221224400 3221214176 1131471618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29603 13073 16 0 210231 0
vsize: 840988
[startup+410.117 s]
Raw data (loadavg): 1.08 0.82 0.40 2/67 21037
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 38587 51 0 0 25 0 11 0 477188206 861171712 29680 4294967295 134512640 134569956 3221224400 3221214488 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29680 13073 16 0 210231 0
vsize: 840988
[startup+420.118 s]
Raw data (loadavg): 1.14 0.84 0.41 2/65 21049
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 39553 51 0 0 25 0 11 0 477188206 861171712 29826 4294967295 134512640 134569956 3221224400 3221214164 1131471369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29826 13073 16 0 210231 0
vsize: 840988
[startup+430.119 s]
Raw data (loadavg): 1.12 0.85 0.42 2/65 21049
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 40521 51 0 0 25 0 11 0 477188206 861171712 29901 4294967295 134512640 134569956 3221224400 3221214776 1131216978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 29901 13073 16 0 210231 0
vsize: 840988
[startup+440.118 s]
Raw data (loadavg): 1.10 0.85 0.43 2/65 21049
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 41465 51 0 0 25 0 11 0 477188206 861171712 30101 4294967295 134512640 134569956 3221224400 3221214776 1131217172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30101 13073 16 0 210231 0
vsize: 840988
[startup+450.118 s]
Raw data (loadavg): 1.08 0.86 0.43 2/65 21051
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 42410 51 0 0 25 0 11 0 477188206 861171712 30309 4294967295 134512640 134569956 3221224400 3221214776 1131216674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30309 13073 16 0 210231 0
vsize: 840988
[startup+460.118 s]
Raw data (loadavg): 1.07 0.86 0.44 2/65 21051
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 43346 51 0 0 25 0 11 0 477188206 861171712 30516 4294967295 134512640 134569956 3221224400 3221214664 1131647389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30516 13073 16 0 210231 0
vsize: 840988
[startup+470.119 s]
Raw data (loadavg): 1.06 0.86 0.44 2/65 21051
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 44293 51 0 0 25 0 11 0 477188206 861171712 30641 4294967295 134512640 134569956 3221224400 3221214776 1131217057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30641 13073 16 0 210231 0
vsize: 840988
[startup+480.119 s]
Raw data (loadavg): 1.05 0.87 0.45 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 45251 51 0 0 25 0 11 0 477188206 861171712 30717 4294967295 134512640 134569956 3221224400 3221214560 1131236499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30717 13073 16 0 210231 0
vsize: 840988
[startup+490.119 s]
Raw data (loadavg): 1.04 0.87 0.46 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 46190 51 0 0 24 0 11 0 477188206 861171712 30813 4294967295 134512640 134569956 3221224400 3221214664 1131647324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30813 13073 16 0 210231 0
vsize: 840988
[startup+500.12 s]
Raw data (loadavg): 1.04 0.88 0.46 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 47162 51 0 0 25 0 11 0 477188206 861171712 30949 4294967295 134512640 134569956 3221224400 3221214236 1131544144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 30949 13073 16 0 210231 0
vsize: 840988
[startup+510.119 s]
Raw data (loadavg): 1.03 0.88 0.47 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 48111 51 0 0 25 0 11 0 477188206 861171712 31192 4294967295 134512640 134569956 3221224400 3221214792 1131324635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31192 13073 16 0 210231 0
vsize: 840988
[startup+520.12 s]
Raw data (loadavg): 1.02 0.88 0.47 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 49082 51 0 0 25 0 11 0 477188206 861171712 31336 4294967295 134512640 134569956 3221224400 3221214720 1131236328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31336 13073 16 0 210231 0
vsize: 840988
[startup+530.121 s]
Raw data (loadavg): 1.02 0.89 0.48 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 50052 51 0 0 25 0 11 0 477188206 861171712 31445 4294967295 134512640 134569956 3221224400 3221214192 1131544151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31445 13073 16 0 210231 0
vsize: 840988
[startup+540.12 s]
Raw data (loadavg): 1.02 0.89 0.48 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 51028 51 0 0 25 0 11 0 477188206 861171712 31510 4294967295 134512640 134569956 3221224400 3221214488 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31510 13073 16 0 210231 0
vsize: 840988
[startup+550.12 s]
Raw data (loadavg): 1.01 0.89 0.49 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 51994 51 0 0 25 0 11 0 477188206 861171712 31593 4294967295 134512640 134569956 3221224400 3221214776 1131216997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31593 13073 16 0 210231 0
vsize: 840988
[startup+560.12 s]
Raw data (loadavg): 1.01 0.90 0.49 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 52957 52 0 0 25 0 11 0 477188206 861171712 31654 4294967295 134512640 134569956 3221224400 3221214776 1131216641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31654 13073 16 0 210231 0
vsize: 840988
[startup+570.121 s]
Raw data (loadavg): 1.01 0.90 0.50 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 53927 52 0 0 25 0 11 0 477188206 861171712 31689 4294967295 134512640 134569956 3221224400 3221214464 1131544012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31689 13073 16 0 210231 0
vsize: 840988
[startup+580.12 s]
Raw data (loadavg): 1.01 0.90 0.50 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 54892 52 0 0 25 0 11 0 477188206 861171712 31909 4294967295 134512640 134569956 3221224400 3221214340 1131543436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 31909 13073 16 0 210231 0
vsize: 840988
[startup+590.12 s]
Raw data (loadavg): 1.01 0.90 0.50 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 55859 52 0 0 25 0 11 0 477188206 861171712 32068 4294967295 134512640 134569956 3221224400 3221214076 1131544144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32068 13073 16 0 210231 0
vsize: 840988
[startup+600.12 s]
Raw data (loadavg): 1.00 0.91 0.51 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 56827 52 0 0 25 0 11 0 477188206 861171712 32114 4294967295 134512640 134569956 3221224400 3221214776 1131217556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32114 13073 16 0 210231 0
vsize: 840988
[startup+610.12 s]
Raw data (loadavg): 1.00 0.91 0.51 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 57795 52 0 0 25 0 11 0 477188206 861171712 32181 4294967295 134512640 134569956 3221224400 3221213888 1131545264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32181 13073 16 0 210231 0
vsize: 840988
[startup+620.121 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 58784 52 0 0 25 0 11 0 477188206 861171712 32181 4294967295 134512640 134569956 3221224400 3221214504 1131471618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210247 32181 13073 16 0 210231 0
vsize: 840988
[startup+630.121 s]
Raw data (loadavg): 1.00 0.91 0.52 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 59751 52 0 0 25 0 11 0 477188206 861171712 32316 4294967295 134512640 134569956 3221224400 3221213880 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32316 13073 16 0 210231 0
vsize: 840988
[startup+640.121 s]
Raw data (loadavg): 1.00 0.92 0.53 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 60728 52 0 0 25 0 11 0 477188206 861171712 32426 4294967295 134512640 134569956 3221224400 3221214776 1131217003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32426 13073 16 0 210231 0
vsize: 840988
[startup+650.122 s]
Raw data (loadavg): 1.00 0.92 0.53 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 61682 52 0 0 25 0 11 0 477188206 861171712 32622 4294967295 134512640 134569956 3221224400 3221214040 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32622 13073 16 0 210231 0
vsize: 840988
[startup+660.124 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 21053
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 62649 52 0 0 25 0 11 0 477188206 861171712 32767 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32767 13073 16 0 210231 0
vsize: 840988
[startup+670.127 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 63609 52 0 0 25 0 11 0 477188206 861171712 32843 4294967295 134512640 134569956 3221224400 3221214632 1131544172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32843 13073 16 0 210231 0
vsize: 840988
[startup+680.128 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 64577 52 0 0 25 0 11 0 477188206 861171712 32843 4294967295 134512640 134569956 3221224400 3221214672 1131358503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 32843 13073 16 0 210231 0
vsize: 840988
[startup+690.127 s]
Raw data (loadavg): 1.00 0.93 0.55 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 65531 52 0 0 25 0 11 0 477188206 861171712 33115 4294967295 134512640 134569956 3221224400 3221214504 1131471618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33115 13073 16 0 210231 0
vsize: 840988
[startup+700.128 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 66499 52 0 0 25 0 11 0 477188206 861171712 33147 4294967295 134512640 134569956 3221224400 3221214660 1131161446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33147 13073 16 0 210231 0
vsize: 840988
[startup+710.129 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 67455 52 0 0 25 0 11 0 477188206 861171712 33334 4294967295 134512640 134569956 3221224400 3221214732 1131263398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33334 13073 16 0 210231 0
vsize: 840988
[startup+720.129 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 68423 52 0 0 25 0 11 0 477188206 861171712 33438 4294967295 134512640 134569956 3221224400 3221214264 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33438 13073 16 0 210231 0
vsize: 840988
[startup+730.129 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 69358 52 0 0 25 0 11 0 477188206 861171712 33642 4294967295 134512640 134569956 3221224400 3221214552 1131458596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33642 13073 16 0 210231 0
vsize: 840988
[startup+740.129 s]
Raw data (loadavg): 1.00 0.94 0.57 2/65 21053
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 70293 52 0 0 25 0 11 0 477188206 861171712 33822 4294967295 134512640 134569956 3221224400 3221214664 1131647335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33822 13073 16 0 210231 0
vsize: 840988
[startup+750.129 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 21055
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 71218 52 0 0 25 0 11 0 477188206 861171712 33998 4294967295 134512640 134569956 3221224400 3221214752 1131260666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 33998 13073 16 0 210231 0
vsize: 840988
[startup+760.129 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 72153 52 0 0 25 0 11 0 477188206 861171712 34184 4294967295 134512640 134569956 3221224400 3221214352 1131544145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 34184 13073 16 0 210231 0
vsize: 840988
[startup+770.13 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 73108 52 0 0 25 0 11 0 477188206 861171712 34373 4294967295 134512640 134569956 3221224400 3221214936 1131231696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 34373 13073 16 0 210231 0
vsize: 840988
[startup+780.13 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 74063 52 0 0 25 0 11 0 477188206 861171712 34558 4294967295 134512640 134569956 3221224400 3221214516 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 34558 13073 16 0 210231 0
vsize: 840988
[startup+790.13 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 75017 52 0 0 25 0 11 0 477188206 861171712 34770 4294967295 134512640 134569956 3221224400 3221214664 1131647445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 34770 13073 16 0 210231 0
vsize: 840988
[startup+800.131 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 75971 53 0 0 25 0 11 0 477188206 861171712 35003 4294967295 134512640 134569956 3221224400 3221214792 1131322945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35003 13073 16 0 210231 0
vsize: 840988
[startup+810.131 s]
Raw data (loadavg): 1.00 0.95 0.60 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 76926 53 0 0 25 0 11 0 477188206 861171712 35182 4294967295 134512640 134569956 3221224400 3221214744 1131456788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35182 13073 16 0 210231 0
vsize: 840988
[startup+820.132 s]
Raw data (loadavg): 1.00 0.95 0.60 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 77883 53 0 0 25 0 11 0 477188206 861171712 35355 4294967295 134512640 134569956 3221224400 3221213760 1085679449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35355 13073 16 0 210231 0
vsize: 840988
[startup+830.133 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 78829 53 0 0 25 0 11 0 477188206 861171712 35511 4294967295 134512640 134569956 3221224400 3221214776 1131217539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35511 13073 16 0 210231 0
vsize: 840988
[startup+840.133 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 79776 53 0 0 25 0 11 0 477188206 861171712 35624 4294967295 134512640 134569956 3221224400 3221214776 1131217325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35624 13073 16 0 210231 0
vsize: 840988
[startup+850.134 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 80724 53 0 0 25 0 11 0 477188206 861171712 35714 4294967295 134512640 134569956 3221224400 3221214824 1131245420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35714 13073 16 0 210231 0
vsize: 840988
[startup+860.134 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 81671 53 0 0 25 0 11 0 477188206 861171712 35811 4294967295 134512640 134569956 3221224400 3221214872 1131222134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 35811 13073 16 0 210231 0
vsize: 840988
[startup+870.135 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 82609 53 0 0 25 0 11 0 477188206 861171712 36052 4294967295 134512640 134569956 3221224400 3221214560 1131236499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36052 13073 16 0 210231 0
vsize: 840988
[startup+880.139 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 21057
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 83588 53 0 0 25 0 11 0 477188206 861171712 36144 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36144 13073 16 0 210231 0
vsize: 840988
[startup+890.139 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 84564 53 0 0 25 0 11 0 477188206 861171712 36217 4294967295 134512640 134569956 3221224400 3221214072 1131544209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36217 13073 16 0 210231 0
vsize: 840988
[startup+900.139 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 85537 53 0 0 25 0 11 0 477188206 861171712 36298 4294967295 134512640 134569956 3221224400 3221214568 1131471560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36298 13073 16 0 210231 0
vsize: 840988
[startup+910.139 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 86510 53 0 0 25 0 11 0 477188206 861171712 36387 4294967295 134512640 134569956 3221224400 3221214104 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36387 13073 16 0 210231 0
vsize: 840988
[startup+920.14 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 87475 53 0 0 25 0 11 0 477188206 861171712 36477 4294967295 134512640 134569956 3221224400 3221214792 1131321981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36477 13073 16 0 210231 0
vsize: 840988
[startup+930.14 s]
Raw data (loadavg): 1.00 0.96 0.64 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 88434 53 0 0 25 0 11 0 477188206 861171712 36599 4294967295 134512640 134569956 3221224400 3221214832 1131198289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36599 13073 16 0 210231 0
vsize: 840988
[startup+940.14 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 89395 53 0 0 25 0 11 0 477188206 861171712 36698 4294967295 134512640 134569956 3221224400 3221214776 1131217517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36698 13073 16 0 210231 0
vsize: 840988
[startup+950.14 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 90359 53 0 0 25 0 11 0 477188206 861171712 36795 4294967295 134512640 134569956 3221224400 3221214024 1131544207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36795 13073 16 0 210231 0
vsize: 840988
[startup+960.14 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 91312 53 0 0 25 0 11 0 477188206 861171712 36920 4294967295 134512640 134569956 3221224400 3221214648 1131255530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 36920 13073 16 0 210231 0
vsize: 840988
[startup+970.141 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 92264 53 0 0 25 0 11 0 477188206 861171712 37077 4294967295 134512640 134569956 3221224400 3221214776 1131216641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37077 13073 16 0 210231 0
vsize: 840988
[startup+980.141 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 93227 53 0 0 25 0 11 0 477188206 861171712 37145 4294967295 134512640 134569956 3221224400 3221214184 1131471612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37145 13073 16 0 210231 0
vsize: 840988
[startup+990.141 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 94187 53 0 0 25 0 11 0 477188206 861171712 37203 4294967295 134512640 134569956 3221224400 3221214776 1131216674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37203 13073 16 0 210231 0
vsize: 840988
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 95144 53 0 0 25 0 11 0 477188206 861171712 37269 4294967295 134512640 134569956 3221224400 3221214776 1131217521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37269 13073 16 0 210231 0
vsize: 840988
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 96108 53 0 0 25 0 11 0 477188206 861171712 37350 4294967295 134512640 134569956 3221224400 3221214848 1131205062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37350 13073 16 0 210231 0
vsize: 840988
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 97073 53 0 0 25 0 11 0 477188206 861171712 37457 4294967295 134512640 134569956 3221224400 3221214792 1131324512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37457 13073 16 0 210231 0
vsize: 840988
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.97 0.67 2/65 21057
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 98038 53 0 0 25 0 11 0 477188206 861171712 37538 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37538 13073 16 0 210231 0
vsize: 840988
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 21057
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 99002 53 0 0 25 0 11 0 477188206 861171712 37648 4294967295 134512640 134569956 3221224400 3221214560 1131236499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37648 13073 16 0 210231 0
vsize: 840988
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 99949 53 0 0 25 0 11 0 477188206 861171712 37749 4294967295 134512640 134569956 3221224400 3221214136 1131544138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37749 13073 16 0 210231 0
vsize: 840988
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 100921 53 0 0 25 0 11 0 477188206 861171712 37829 4294967295 134512640 134569956 3221224400 3221214872 1131222149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37829 13073 16 0 210231 0
vsize: 840988
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 101895 53 0 0 25 0 11 0 477188206 861171712 37908 4294967295 134512640 134569956 3221224400 3221214232 1131471580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 37908 13073 16 0 210231 0
vsize: 840988
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 102853 53 0 0 25 0 11 0 477188206 861171712 38020 4294967295 134512640 134569956 3221224400 3221213908 1131544144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38020 13073 16 0 210231 0
vsize: 840988
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 103829 53 0 0 25 0 11 0 477188206 861171712 38076 4294967295 134512640 134569956 3221224400 3221214928 1131621054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38076 13073 16 0 210231 0
vsize: 840988
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 104806 53 0 0 25 0 11 0 477188206 861171712 38139 4294967295 134512640 134569956 3221224400 3221214376 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38139 13073 16 0 210231 0
vsize: 840988
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 105764 54 0 0 25 0 11 0 477188206 861171712 38238 4294967295 134512640 134569956 3221224400 3221214776 1131217539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38238 13073 16 0 210231 0
vsize: 840988
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 106736 54 0 0 25 0 11 0 477188206 861171712 38303 4294967295 134512640 134569956 3221224400 3221214832 1131198342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38303 13073 16 0 210231 0
vsize: 840988
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 107701 54 0 0 25 0 11 0 477188206 861171712 38409 4294967295 134512640 134569956 3221224400 3221214776 1131217057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38409 13073 16 0 210231 0
vsize: 840988
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 108673 54 0 0 25 0 11 0 477188206 861171712 38505 4294967295 134512640 134569956 3221224400 3221214288 1131471536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38505 13073 16 0 210231 0
vsize: 840988
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 109653 54 0 0 25 0 11 0 477188206 861171712 38543 4294967295 134512640 134569956 3221224400 3221214832 1131198272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38543 13073 16 0 210231 0
vsize: 840988
[startup+1160.15 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 21059
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 110629 54 0 0 25 0 11 0 477188206 861171712 38593 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38593 13073 16 0 210231 0
vsize: 840988
[startup+1170.15 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 111581 54 0 0 25 0 11 0 477188206 861171712 38676 4294967295 134512640 134569956 3221224400 3221214632 1131544092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38676 13073 16 0 210231 0
vsize: 840988
[startup+1180.15 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 112553 54 0 0 25 0 11 0 477188206 861171712 38710 4294967295 134512640 134569956 3221224400 3221214120 1131471531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38710 13073 16 0 210231 0
vsize: 840988
[startup+1190.15 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 113525 54 0 0 25 0 11 0 477188206 861171712 38761 4294967295 134512640 134569956 3221224400 3221213964 1131544139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38761 13073 16 0 210231 0
vsize: 840988
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 114495 54 0 0 25 0 11 0 477188206 861171712 38806 4294967295 134512640 134569956 3221224400 3221214848 1131205117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38806 13073 16 0 210231 0
vsize: 840988
[startup+1210.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 115453 54 0 0 25 0 11 0 477188206 861171712 38865 4294967295 134512640 134569956 3221224400 3221214868 1131216620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38865 13073 16 0 210231 0
vsize: 840988
[startup+1220.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 116421 54 0 0 25 0 11 0 477188206 861171712 38908 4294967295 134512640 134569956 3221224400 3221214264 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38908 13073 16 0 210231 0
vsize: 840988
[startup+1230.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 117380 54 0 0 25 0 11 0 477188206 861171712 38969 4294967295 134512640 134569956 3221224400 3221214696 1131291965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 38969 13073 16 0 210231 0
vsize: 840988
[startup+1240.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 118326 54 0 0 25 0 11 0 477188206 861171712 39126 4294967295 134512640 134569956 3221224400 3221214832 1131198293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 39126 13073 16 0 210231 0
vsize: 840988
[startup+1250.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 21059
Raw data (stat): 20984 (java) S 20983 20838 20837 0 -1 0 18070 0 1 0 119287 54 0 0 25 0 11 0 477188206 861171712 39262 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 39262 13073 16 0 210231 0
vsize: 840988
[startup+1260.15 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 21059
Raw data (stat): 20984 (java) R 20983 20838 20837 0 -1 0 18070 0 1 0 120244 54 0 0 25 0 11 0 477188206 861171712 39407 4294967295 134512640 134569956 3221224400 3221214508 1131543424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210247 39407 13073 16 0 210231 0
vsize: 840988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.26 s]
Raw data (loadavg): 1.00 0.97 0.74 1/55 21061
Raw data (stat): 20984 (java) Z 20983 20838 20837 0 -1 1036 18070 19204 1 1 120248 54 5353 45 25 0 1 0 477188206 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): 1260.26
CPU time (s): 1257.02
CPU user time (s): 1256.02
CPU system time (s): 1.00685
CPU usage (%): 99.7434
Max. virtual memory (Kb): 841116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####