PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb
MD5SUM	bd10fa79b23828275cb10d42f37d9d27
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	854
Biggest coefficient in the objective function	8192000
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	73033031
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5548468076544
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	95967816416175
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.223965
Number of variables	2608
Total number of constraints	159
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	159
Minimum length of a constraint	7
Maximum length of a constraint	280
Trace number 16133

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-21 06:16:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16116 boxname=wulflinc10 idbench=1240 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bd10fa79b23828275cb10d42f37d9d27  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-recipe.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-recipe.opb
IDLAUNCH: 16116
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        546884 kB
Buffers:         32808 kB
Cached:         432924 kB
SwapCached:          0 kB
Active:         136196 kB
Inactive:       331948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        546632 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            14012 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:37:17 (client local time) WITH STATUS 143 IN 1246.43 SECONDS
stats: 16116 7 1246.43 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-recipe.opb
c reading problem 
c [nbvar=2608]
c [nbconstr=159]
c time 5.343
c #vars     2608
c #clauses  219
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.93 0.99 0.93 2/54 25595
Raw data (stat): 25595 (runsolver) R 25594 25347 25346 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 484635164 1052672 97 4294967295 134512640 135381576 3221224432 3221219792 134891116 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0425 s]
Raw data (loadavg): 1.10 1.02 0.94 3/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18072 0 1 0 646 39 0 0 25 0 11 0 484635164 861855744 21124 4294967295 134512640 134569956 3221224400 3221214592 1131299323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210414 21124 13073 16 0 210398 0
vsize: 841656
[startup+20.0621 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 1551 39 0 0 25 0 11 0 484635164 860807168 21889 4294967295 134512640 134569956 3221224400 3221214680 1131223373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 21889 13073 16 0 210142 0
vsize: 840632
[startup+30.0624 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 2493 40 0 0 25 0 11 0 484635164 860807168 22247 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 22247 13073 16 0 210142 0
vsize: 840632
[startup+40.0626 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 3430 40 0 0 25 0 11 0 484635164 860807168 22380 4294967295 134512640 134569956 3221224400 3221214656 1131222180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 22380 13073 16 0 210142 0
vsize: 840632
[startup+50.0628 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 4379 40 0 0 25 0 11 0 484635164 860807168 22695 4294967295 134512640 134569956 3221224400 3221214752 1131315004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 22695 13073 16 0 210142 0
vsize: 840632
[startup+60.0637 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 5326 40 0 0 25 0 11 0 484635164 860807168 22779 4294967295 134512640 134569956 3221224400 3221214656 1131223373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 22779 13073 16 0 210142 0
vsize: 840632
[startup+70.0643 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 6272 41 0 0 25 0 11 0 484635164 860807168 22963 4294967295 134512640 134569956 3221224400 3221214752 1131316080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 22963 13073 16 0 210142 0
vsize: 840632
[startup+80.0643 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 7224 41 0 0 25 0 11 0 484635164 860807168 23084 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 23084 13073 16 0 210142 0
vsize: 840632
[startup+90.0647 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 8183 41 0 0 25 0 11 0 484635164 860807168 23225 4294967295 134512640 134569956 3221224400 3221214784 1131365755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 23225 13073 16 0 210142 0
vsize: 840632
[startup+100.065 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 9137 41 0 0 25 0 11 0 484635164 860807168 23432 4294967295 134512640 134569956 3221224400 3221214748 1131221907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 23432 13073 16 0 210142 0
vsize: 840632
[startup+110.066 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 10093 42 0 0 24 0 11 0 484635164 860807168 23695 4294967295 134512640 134569956 3221224400 3221214656 1131221953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 23695 13073 16 0 210142 0
vsize: 840632
[startup+120.074 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 11057 42 0 0 25 0 11 0 484635164 860807168 23866 4294967295 134512640 134569956 3221224400 3221214656 1131222742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 23866 13073 16 0 210142 0
vsize: 840632
[startup+130.081 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 12016 42 0 0 25 0 11 0 484635164 860807168 24046 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 24046 13073 16 0 210142 0
vsize: 840632
[startup+140.089 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 12968 43 0 0 25 0 11 0 484635164 860807168 24307 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 24307 13073 16 0 210142 0
vsize: 840632
[startup+150.094 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 13927 43 0 0 25 0 11 0 484635164 860807168 24479 4294967295 134512640 134569956 3221224400 3221214656 1131221921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 24479 13073 16 0 210142 0
vsize: 840632
[startup+160.095 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 14880 44 0 0 25 0 11 0 484635164 860807168 24709 4294967295 134512640 134569956 3221224400 3221214632 1131518225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 24709 13073 16 0 210142 0
vsize: 840632
[startup+170.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 15830 44 0 0 25 0 11 0 484635164 860807168 24964 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 24964 13073 16 0 210142 0
vsize: 840632
[startup+180.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 16785 44 0 0 25 0 11 0 484635164 860807168 25169 4294967295 134512640 134569956 3221224400 3221214656 1131222685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 25169 13073 16 0 210142 0
vsize: 840632
[startup+190.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 17745 45 0 0 25 0 11 0 484635164 860807168 25468 4294967295 134512640 134569956 3221224400 3221214712 1131337204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 25468 13073 16 0 210142 0
vsize: 840632
[startup+200.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 18704 45 0 0 25 0 11 0 484635164 860807168 25698 4294967295 134512640 134569956 3221224400 3221214680 1131518825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 25698 13073 16 0 210142 0
vsize: 840632
[startup+210.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 19664 45 0 0 25 0 11 0 484635164 860807168 25849 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 25849 13073 16 0 210142 0
vsize: 840632
[startup+220.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 20624 46 0 0 25 0 11 0 484635164 860807168 26095 4294967295 134512640 134569956 3221224400 3221214656 1131222501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 26095 13073 16 0 210142 0
vsize: 840632
[startup+230.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 21588 46 0 0 25 0 11 0 484635164 860807168 26439 4294967295 134512640 134569956 3221224400 3221214656 1131221953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 26439 13073 16 0 210142 0
vsize: 840632
[startup+240.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 22556 46 0 0 25 0 11 0 484635164 860807168 26618 4294967295 134512640 134569956 3221224400 3221214788 1080203692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 26618 13073 16 0 210142 0
vsize: 840632
[startup+250.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 23521 47 0 0 25 0 11 0 484635164 860807168 26753 4294967295 134512640 134569956 3221224400 3221214696 1131230947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 26753 13073 16 0 210142 0
vsize: 840632
[startup+260.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 24484 47 0 0 25 0 11 0 484635164 860807168 27030 4294967295 134512640 134569956 3221224400 3221214752 1131316122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 27030 13073 16 0 210142 0
vsize: 840632
[startup+270.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 25444 47 0 0 25 0 11 0 484635164 860807168 27288 4294967295 134512640 134569956 3221224400 3221214752 1131315103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 27288 13073 16 0 210142 0
vsize: 840632
[startup+280.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 26409 47 0 0 25 0 11 0 484635164 860807168 27562 4294967295 134512640 134569956 3221224400 3221214656 1131222159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 27562 13073 16 0 210142 0
vsize: 840632
[startup+290.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 27370 47 0 0 25 0 11 0 484635164 860807168 27860 4294967295 134512640 134569956 3221224400 3221214752 1131315160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 27860 13073 16 0 210142 0
vsize: 840632
[startup+300.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 28335 48 0 0 25 0 11 0 484635164 860807168 28034 4294967295 134512640 134569956 3221224400 3221214656 1131222167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 28034 13073 16 0 210142 0
vsize: 840632
[startup+310.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 29301 48 0 0 25 0 11 0 484635164 860807168 28283 4294967295 134512640 134569956 3221224400 3221214656 1131222435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 28283 13073 16 0 210142 0
vsize: 840632
[startup+320.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 30264 48 0 0 25 0 11 0 484635164 860807168 28515 4294967295 134512640 134569956 3221224400 3221213992 1131518225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 28515 13073 16 0 210142 0
vsize: 840632
[startup+330.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 31235 48 0 0 25 0 11 0 484635164 860807168 28752 4294967295 134512640 134569956 3221224400 3221214208 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 28752 13073 16 0 210142 0
vsize: 840632
[startup+340.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 32199 48 0 0 25 0 11 0 484635164 860807168 28986 4294967295 134512640 134569956 3221224400 3221214752 1131317027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 28986 13073 16 0 210142 0
vsize: 840632
[startup+350.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) S 25594 25347 25346 0 -1 0 18077 0 1 0 33157 49 0 0 25 0 11 0 484635164 860807168 29365 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 29365 13073 16 0 210142 0
vsize: 840632
[startup+360.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 34122 49 0 0 25 0 11 0 484635164 860807168 29682 4294967295 134512640 134569956 3221224400 3221214208 1131521524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 29682 13073 16 0 210142 0
vsize: 840632
[startup+370.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 35081 49 0 0 25 0 11 0 484635164 860807168 30124 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 30124 13073 16 0 210142 0
vsize: 840632
[startup+380.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 36041 50 0 0 25 0 11 0 484635164 860807168 30381 4294967295 134512640 134569956 3221224400 3221214344 1131518757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 30381 13073 16 0 210142 0
vsize: 840632
[startup+390.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18077 0 1 0 37006 50 0 0 25 0 11 0 484635164 860807168 30542 4294967295 134512640 134569956 3221224400 3221214344 1131518816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 30542 13073 16 0 210142 0
vsize: 840632
[startup+400.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 37970 50 0 0 25 0 11 0 484635164 860807168 30702 4294967295 134512640 134569956 3221224400 3221214128 1131518164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 30702 13073 16 0 210142 0
vsize: 840632
[startup+410.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 38932 50 0 0 25 0 11 0 484635164 860807168 31133 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 31133 13073 16 0 210142 0
vsize: 840632
[startup+420.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 39907 51 0 0 25 0 11 0 484635164 860807168 31282 4294967295 134512640 134569956 3221224400 3221214352 1131518172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 31282 13073 16 0 210142 0
vsize: 840632
[startup+430.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 40877 51 0 0 25 0 11 0 484635164 860807168 31464 4294967295 134512640 134569956 3221224400 3221214128 1131518299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 31464 13073 16 0 210142 0
vsize: 840632
[startup+440.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 41852 51 0 0 25 0 11 0 484635164 860807168 31600 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 31600 13073 16 0 210142 0
vsize: 840632
[startup+450.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 42824 52 0 0 25 0 11 0 484635164 860807168 31715 4294967295 134512640 134569956 3221224400 3221214656 1131221953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 31715 13073 16 0 210142 0
vsize: 840632
[startup+460.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 43800 52 0 0 25 0 11 0 484635164 860807168 31894 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 31894 13073 16 0 210142 0
vsize: 840632
[startup+470.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 44774 52 0 0 25 0 11 0 484635164 860807168 32051 4294967295 134512640 134569956 3221224400 3221214656 1131222979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 32051 13073 16 0 210142 0
vsize: 840632
[startup+480.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 45747 53 0 0 25 0 11 0 484635164 860807168 32087 4294967295 134512640 134569956 3221224400 3221214656 1131221929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 32087 13073 16 0 210142 0
vsize: 840632
[startup+490.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 46711 53 0 0 25 0 11 0 484635164 860807168 32172 4294967295 134512640 134569956 3221224400 3221214656 1131222746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 32172 13073 16 0 210142 0
vsize: 840632
[startup+500.15 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 47666 53 0 0 25 0 11 0 484635164 860807168 32471 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 32471 13073 16 0 210142 0
vsize: 840632
[startup+510.151 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 48626 54 0 0 25 0 11 0 484635164 860807168 32792 4294967295 134512640 134569956 3221224400 3221214752 1131318833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 32792 13073 16 0 210142 0
vsize: 840632
[startup+520.151 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 49587 54 0 0 25 0 11 0 484635164 860807168 33045 4294967295 134512640 134569956 3221224400 3221214752 1131316148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 33045 13073 16 0 210142 0
vsize: 840632
[startup+530.152 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 50552 54 0 0 25 0 11 0 484635164 860807168 33413 4294967295 134512640 134569956 3221224400 3221214656 1131222374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 33413 13073 16 0 210142 0
vsize: 840632
[startup+540.152 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 51513 54 0 0 25 0 11 0 484635164 860807168 33536 4294967295 134512640 134569956 3221224400 3221214656 1131223270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 33536 13073 16 0 210142 0
vsize: 840632
[startup+550.159 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 52479 55 0 0 25 0 11 0 484635164 860807168 33796 4294967295 134512640 134569956 3221224400 3221214752 1131314831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 33796 13073 16 0 210142 0
vsize: 840632
[startup+560.265 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 53454 55 0 0 25 0 11 0 484635164 860807168 34003 4294967295 134512640 134569956 3221224400 3221214656 1131222709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 34003 13073 16 0 210142 0
vsize: 840632
[startup+570.29 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 54421 55 0 0 25 0 11 0 484635164 860807168 34322 4294967295 134512640 134569956 3221224400 3221214688 1131227207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 34322 13073 16 0 210142 0
vsize: 840632
[startup+580.289 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 55383 55 0 0 25 0 11 0 484635164 860807168 34613 4294967295 134512640 134569956 3221224400 3221214656 1131222438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 34613 13073 16 0 210142 0
vsize: 840632
[startup+590.29 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 56346 55 0 0 25 0 11 0 484635164 860807168 35185 4294967295 134512640 134569956 3221224400 3221214656 1131222953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 35185 13073 16 0 210142 0
vsize: 840632
[startup+600.291 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 57310 56 0 0 25 0 11 0 484635164 860807168 35624 4294967295 134512640 134569956 3221224400 3221214436 1131519026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 35624 13073 16 0 210142 0
vsize: 840632
[startup+610.291 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 58276 56 0 0 25 0 11 0 484635164 860807168 35778 4294967295 134512640 134569956 3221224400 3221214656 1131222733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 35778 13073 16 0 210142 0
vsize: 840632
[startup+620.291 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 59236 56 0 0 25 0 11 0 484635164 860807168 35947 4294967295 134512640 134569956 3221224400 3221214752 1131315170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 35947 13073 16 0 210142 0
vsize: 840632
[startup+630.292 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 60200 56 0 0 25 0 11 0 484635164 860807168 36252 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 36252 13073 16 0 210142 0
vsize: 840632
[startup+640.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 61165 57 0 0 25 0 11 0 484635164 860807168 36560 4294967295 134512640 134569956 3221224400 3221214656 1131223394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 36560 13073 16 0 210142 0
vsize: 840632
[startup+650.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 62133 57 0 0 25 0 11 0 484635164 860807168 36682 4294967295 134512640 134569956 3221224400 3221214712 1131337127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 36682 13073 16 0 210142 0
vsize: 840632
[startup+660.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 63098 57 0 0 25 0 11 0 484635164 860807168 36822 4294967295 134512640 134569956 3221224400 3221214752 1131317025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 36822 13073 16 0 210142 0
vsize: 840632
[startup+670.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 64067 57 0 0 25 0 11 0 484635164 860807168 37024 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 37024 13073 16 0 210142 0
vsize: 840632
[startup+680.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 65033 58 0 0 25 0 11 0 484635164 860807168 37127 4294967295 134512640 134569956 3221224400 3221214672 1131541083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 37127 13073 16 0 210142 0
vsize: 840632
[startup+690.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 65991 58 0 0 25 0 11 0 484635164 860807168 37401 4294967295 134512640 134569956 3221224400 3221214292 1131518224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 37401 13073 16 0 210142 0
vsize: 840632
[startup+700.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 66949 58 0 0 25 0 11 0 484635164 860807168 37701 4294967295 134512640 134569956 3221224400 3221214752 1131314721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 37701 13073 16 0 210142 0
vsize: 840632
[startup+710.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 67911 59 0 0 25 0 11 0 484635164 860807168 37908 4294967295 134512640 134569956 3221224400 3221214656 1131222163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 37908 13073 16 0 210142 0
vsize: 840632
[startup+720.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 68872 59 0 0 25 0 11 0 484635164 860807168 38109 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 38109 13073 16 0 210142 0
vsize: 840632
[startup+730.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 69838 59 0 0 25 0 11 0 484635164 860807168 38469 4294967295 134512640 134569956 3221224400 3221214656 1131222953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 38469 13073 16 0 210142 0
vsize: 840632
[startup+740.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 70809 59 0 0 25 0 11 0 484635164 860807168 38719 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 38719 13073 16 0 210142 0
vsize: 840632
[startup+750.293 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 71781 59 0 0 25 0 11 0 484635164 860807168 38791 4294967295 134512640 134569956 3221224400 3221214752 1131315103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 38791 13073 16 0 210142 0
vsize: 840632
[startup+760.294 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 72752 60 0 0 25 0 11 0 484635164 860807168 38890 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 38890 13073 16 0 210142 0
vsize: 840632
[startup+770.294 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 73720 60 0 0 25 0 11 0 484635164 860807168 39024 4294967295 134512640 134569956 3221224400 3221214752 1131315031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39024 13073 16 0 210142 0
vsize: 840632
[startup+780.294 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 74689 60 0 0 25 0 11 0 484635164 860807168 39151 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39151 13073 16 0 210142 0
vsize: 840632
[startup+790.294 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 75657 60 0 0 25 0 11 0 484635164 860807168 39269 4294967295 134512640 134569956 3221224400 3221214656 1131222146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39269 13073 16 0 210142 0
vsize: 840632
[startup+800.294 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 76627 61 0 0 25 0 11 0 484635164 860807168 39513 4294967295 134512640 134569956 3221224400 3221214752 1131315122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39513 13073 16 0 210142 0
vsize: 840632
[startup+810.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 77597 61 0 0 25 0 11 0 484635164 860807168 39601 4294967295 134512640 134569956 3221224400 3221214152 1131521724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39601 13073 16 0 210142 0
vsize: 840632
[startup+820.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 78567 61 0 0 24 0 11 0 484635164 860807168 39714 4294967295 134512640 134569956 3221224400 3221214752 1131315038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39714 13073 16 0 210142 0
vsize: 840632
[startup+830.295 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 79541 61 0 0 25 0 11 0 484635164 860807168 39795 4294967295 134512640 134569956 3221224400 3221214628 1131518219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 39795 13073 16 0 210142 0
vsize: 840632
[startup+840.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 80509 61 0 0 25 0 11 0 484635164 860807168 39953 4294967295 134512640 134569956 3221224400 3221214656 1131221925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 39953 13073 16 0 210142 0
vsize: 840632
[startup+850.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 81474 62 0 0 25 0 11 0 484635164 860807168 40073 4294967295 134512640 134569956 3221224400 3221214752 1131314721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 40073 13073 16 0 210142 0
vsize: 840632
[startup+860.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 82435 62 0 0 25 0 11 0 484635164 860807168 40166 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 40166 13073 16 0 210142 0
vsize: 840632
[startup+870.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 83397 62 0 0 24 0 11 0 484635164 860807168 40369 4294967295 134512640 134569956 3221224400 3221214748 1131221900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 40369 13073 16 0 210142 0
vsize: 840632
[startup+880.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 84364 63 0 0 25 0 11 0 484635164 860807168 40597 4294967295 134512640 134569956 3221224400 3221214656 1131222685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 40597 13073 16 0 210142 0
vsize: 840632
[startup+890.301 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 85330 63 0 0 25 0 11 0 484635164 860807168 40868 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 40868 13073 16 0 210142 0
vsize: 840632
[startup+900.301 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 86289 63 0 0 24 0 11 0 484635164 860807168 41013 4294967295 134512640 134569956 3221224400 3221214752 1131316125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 41013 13073 16 0 210142 0
vsize: 840632
[startup+910.325 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 87253 64 0 0 25 0 11 0 484635164 860807168 41249 4294967295 134512640 134569956 3221224400 3221214656 1131223387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 41249 13073 16 0 210142 0
vsize: 840632
[startup+920.325 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 88215 64 0 0 25 0 11 0 484635164 860807168 41395 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 41395 13073 16 0 210142 0
vsize: 840632
[startup+930.326 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 89172 65 0 0 25 0 11 0 484635164 860807168 41668 4294967295 134512640 134569956 3221224400 3221214656 1131222159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 41668 13073 16 0 210142 0
vsize: 840632
[startup+940.326 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 90136 65 0 0 25 0 11 0 484635164 860807168 41989 4294967295 134512640 134569956 3221224400 3221214568 1131518951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 41989 13073 16 0 210142 0
vsize: 840632
[startup+950.326 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 91102 65 0 0 25 0 11 0 484635164 860807168 42154 4294967295 134512640 134569956 3221224400 3221214752 1131318848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 42154 13073 16 0 210142 0
vsize: 840632
[startup+960.327 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 92066 65 0 0 25 0 11 0 484635164 860807168 42282 4294967295 134512640 134569956 3221224400 3221214656 1131222622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42282 13073 16 0 210142 0
vsize: 840632
[startup+970.327 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 93031 66 0 0 25 0 11 0 484635164 860807168 42559 4294967295 134512640 134569956 3221224400 3221214656 1131221943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42559 13073 16 0 210142 0
vsize: 840632
[startup+980.327 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 94001 66 0 0 25 0 11 0 484635164 860807168 42719 4294967295 134512640 134569956 3221224400 3221214656 1131222452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42719 13073 16 0 210142 0
vsize: 840632
[startup+990.329 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 94976 66 0 0 25 0 11 0 484635164 860807168 42815 4294967295 134512640 134569956 3221224400 3221214656 1131221932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42815 13073 16 0 210142 0
vsize: 840632
[startup+1000.33 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 95948 66 0 0 25 0 11 0 484635164 860807168 42894 4294967295 134512640 134569956 3221224400 3221214752 1131314721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42894 13073 16 0 210142 0
vsize: 840632
[startup+1010.33 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 96917 66 0 0 25 0 11 0 484635164 860807168 42983 4294967295 134512640 134569956 3221224400 3221214656 1131223394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 42983 13073 16 0 210142 0
vsize: 840632
[startup+1020.34 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 97885 67 0 0 25 0 11 0 484635164 860807168 43066 4294967295 134512640 134569956 3221224400 3221214752 1131316110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 43066 13073 16 0 210142 0
vsize: 840632
[startup+1030.34 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 98848 67 0 0 25 0 11 0 484635164 860807168 43113 4294967295 134512640 134569956 3221224400 3221214656 1131221917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 43113 13073 16 0 210142 0
vsize: 840632
[startup+1040.34 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 99812 68 0 0 25 0 11 0 484635164 860807168 43550 4294967295 134512640 134569956 3221224400 3221214656 1131222440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 43550 13073 16 0 210142 0
vsize: 840632
[startup+1050.34 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 100772 68 0 0 25 0 11 0 484635164 860807168 43885 4294967295 134512640 134569956 3221224400 3221214036 1131518048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 43885 13073 16 0 210142 0
vsize: 840632
[startup+1060.34 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 101732 68 0 0 25 0 11 0 484635164 860807168 44308 4294967295 134512640 134569956 3221224400 3221214656 1131221932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 44308 13073 16 0 210142 0
vsize: 840632
[startup+1070.34 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 102693 68 0 0 25 0 11 0 484635164 860807168 44640 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 44640 13073 16 0 210142 0
vsize: 840632
[startup+1080.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 103655 69 0 0 25 0 11 0 484635164 860807168 44987 4294967295 134512640 134569956 3221224400 3221214656 1131222943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210158 44987 13073 16 0 210142 0
vsize: 840632
[startup+1090.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 104617 69 0 0 25 0 11 0 484635164 860807168 45321 4294967295 134512640 134569956 3221224400 3221214752 1131316104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 45321 13073 16 0 210142 0
vsize: 840632
[startup+1100.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 105582 69 0 0 25 0 11 0 484635164 860807168 45530 4294967295 134512640 134569956 3221224400 3221214208 1131521648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 45530 13073 16 0 210142 0
vsize: 840632
[startup+1110.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 106548 69 0 0 25 0 11 0 484635164 860807168 45679 4294967295 134512640 134569956 3221224400 3221214704 1131181588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 45679 13073 16 0 210142 0
vsize: 840632
[startup+1120.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 107502 69 0 0 25 0 11 0 484635164 860807168 45834 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 45834 13073 16 0 210142 0
vsize: 840632
[startup+1130.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 108465 69 0 0 25 0 11 0 484635164 860807168 46131 4294967295 134512640 134569956 3221224400 3221214260 1131518048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 46131 13073 16 0 210142 0
vsize: 840632
[startup+1140.34 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 109429 69 0 0 25 0 11 0 484635164 860807168 46416 4294967295 134512640 134569956 3221224400 3221214656 1131221958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 46416 13073 16 0 210142 0
vsize: 840632
[startup+1150.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 110385 69 0 0 25 0 11 0 484635164 860807168 46971 4294967295 134512640 134569956 3221224400 3221214656 1131223413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 46971 13073 16 0 210142 0
vsize: 840632
[startup+1160.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 111345 69 0 0 25 0 11 0 484635164 860807168 47826 4294967295 134512640 134569956 3221224400 3221214656 1131222497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 47826 13073 16 0 210142 0
vsize: 840632
[startup+1170.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 112307 69 0 0 25 0 11 0 484635164 860807168 48607 4294967295 134512640 134569956 3221224400 3221214656 1131222657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 48607 13073 16 0 210142 0
vsize: 840632
[startup+1180.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 113269 69 0 0 25 0 11 0 484635164 860807168 49100 4294967295 134512640 134569956 3221224400 3221213792 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 49100 13073 16 0 210142 0
vsize: 840632
[startup+1190.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 114233 69 0 0 25 0 11 0 484635164 860807168 49193 4294967295 134512640 134569956 3221224400 3221214912 1131214617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 49193 13073 16 0 210142 0
vsize: 840632
[startup+1200.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 115196 69 0 0 25 0 11 0 484635164 860807168 49378 4294967295 134512640 134569956 3221224400 3221214472 1131222953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 49378 13073 16 0 210142 0
vsize: 840632
[startup+1210.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 116154 70 0 0 25 0 11 0 484635164 860807168 49663 4294967295 134512640 134569956 3221224400 3221214656 1131223307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 49663 13073 16 0 210142 0
vsize: 840632
[startup+1220.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 117123 70 0 0 25 0 11 0 484635164 860807168 50018 4294967295 134512640 134569956 3221224400 3221214656 1131223373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 50018 13073 16 0 210142 0
vsize: 840632
[startup+1230.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 118095 70 0 0 25 0 11 0 484635164 860807168 50106 4294967295 134512640 134569956 3221224400 3221214752 1131316916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 50106 13073 16 0 210142 0
vsize: 840632
[startup+1240.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) S 25594 25347 25346 0 -1 0 18078 0 1 0 119065 70 0 0 25 0 11 0 484635164 860807168 50213 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 50213 13073 16 0 210142 0
vsize: 840632
[startup+1250.35 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25605
Raw data (stat): 25595 (java) R 25594 25347 25346 0 -1 0 18078 0 1 0 120042 70 0 0 25 0 11 0 484635164 860807168 50330 4294967295 134512640 134569956 3221224400 3221214752 1131316110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210158 50330 13073 16 0 210142 0
vsize: 840632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.49 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 25607
Raw data (stat): 25595 (java) Z 25594 25347 25346 0 -1 1036 18078 30130 1 0 120045 70 4451 74 25 0 1 0 484635164 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1250.49
CPU time (s): 1246.43
CPU user time (s): 1244.97
CPU system time (s): 1.45478
CPU usage (%): 99.6752
Max. virtual memory (Kb): 841656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####