PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
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	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 29785

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 11:33:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21178 boxname=wulflinc10 idbench=1166 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 21178
/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:        677784 kB
Buffers:         29448 kB
Cached:         304884 kB
SwapCached:         92 kB
Active:          73524 kB
Inactive:       263476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        677532 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14184 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:55:24 (client local time) WITH STATUS 143 IN 1309.32 SECONDS
stats: 21178 7 1309.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-NSR8K.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.008
#### 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.96 1.00 1.00 2/54 30146
Raw data (stat): 30146 (runsolver) R 30145 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780342887 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 857 40 0 0 25 0 10 0 780342887 853344256 19393 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208336 19393 13086 16 0 208320 0
vsize: 833344
[startup+20.0019 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 1755 40 0 0 25 0 10 0 780342887 853344256 19853 4294967295 134512640 134569956 3221224368 3221214776 1131225649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208336 19853 13086 16 0 208320 0
vsize: 833344
[startup+30.0025 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 2644 40 0 0 25 0 10 0 780342887 853188608 20330 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208298 20330 13086 16 0 208282 0
vsize: 833192
[startup+40.0031 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 3558 41 0 0 25 0 10 0 780342887 854237184 20878 4294967295 134512640 134569956 3221224368 3221214768 1131239806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 20878 13086 16 0 208538 0
vsize: 834216
[startup+50.0046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 4480 41 0 0 25 0 10 0 780342887 854237184 21049 4294967295 134512640 134569956 3221224368 3221214768 1131241722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21049 13086 16 0 208538 0
vsize: 834216
[startup+60.0051 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 5400 41 0 0 25 0 10 0 780342887 854237184 21180 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21180 13086 16 0 208538 0
vsize: 834216
[startup+70.0059 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 6325 41 0 0 25 0 10 0 780342887 854237184 21368 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21368 13086 16 0 208538 0
vsize: 834216
[startup+80.0075 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 7266 42 0 0 25 0 10 0 780342887 854237184 21469 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21469 13086 16 0 208538 0
vsize: 834216
[startup+90.0079 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 8205 42 0 0 25 0 10 0 780342887 854237184 21567 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21567 13086 16 0 208538 0
vsize: 834216
[startup+100.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 9149 43 0 0 25 0 10 0 780342887 854237184 21652 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21652 13086 16 0 208538 0
vsize: 834216
[startup+110.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 10089 43 0 0 25 0 10 0 780342887 854237184 21738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21738 13086 16 0 208538 0
vsize: 834216
[startup+120.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) S 30145 15547 15546 0 -1 0 18005 0 1 0 11031 44 0 0 25 0 10 0 780342887 854237184 21815 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21815 13086 16 0 208538 0
vsize: 834216
[startup+130.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 11974 44 0 0 25 0 10 0 780342887 854237184 21889 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21889 13086 16 0 208538 0
vsize: 834216
[startup+140.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 12916 45 0 0 25 0 10 0 780342887 854237184 21961 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 21961 13086 16 0 208538 0
vsize: 834216
[startup+150.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 13861 45 0 0 25 0 10 0 780342887 854237184 22026 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22026 13086 16 0 208538 0
vsize: 834216
[startup+160.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 14802 46 0 0 25 0 10 0 780342887 854237184 22092 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22092 13086 16 0 208538 0
vsize: 834216
[startup+170.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 15740 46 0 0 25 0 10 0 780342887 854237184 22156 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22156 13086 16 0 208538 0
vsize: 834216
[startup+180.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 16657 47 0 0 25 0 10 0 780342887 854237184 22215 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22215 13086 16 0 208538 0
vsize: 834216
[startup+190.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 17577 47 0 0 25 0 10 0 780342887 854237184 22528 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22528 13086 16 0 208538 0
vsize: 834216
[startup+200.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 18516 47 0 0 25 0 10 0 780342887 854237184 22585 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22585 13086 16 0 208538 0
vsize: 834216
[startup+210.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 19458 48 0 0 25 0 10 0 780342887 854237184 22638 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22638 13086 16 0 208538 0
vsize: 834216
[startup+220.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 20395 48 0 0 25 0 10 0 780342887 854237184 22693 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22693 13086 16 0 208538 0
vsize: 834216
[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 21332 49 0 0 24 0 10 0 780342887 854237184 22748 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22748 13086 16 0 208538 0
vsize: 834216
[startup+240.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 22273 49 0 0 25 0 10 0 780342887 854237184 22797 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22797 13086 16 0 208538 0
vsize: 834216
[startup+250.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 23210 50 0 0 25 0 10 0 780342887 854237184 22848 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22848 13086 16 0 208538 0
vsize: 834216
[startup+260.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 24150 50 0 0 25 0 10 0 780342887 854237184 22895 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22895 13086 16 0 208538 0
vsize: 834216
[startup+270.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 25086 51 0 0 25 0 10 0 780342887 854237184 22943 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22943 13086 16 0 208538 0
vsize: 834216
[startup+280.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 26014 51 0 0 25 0 10 0 780342887 854237184 22988 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 22988 13086 16 0 208538 0
vsize: 834216
[startup+290.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 26950 51 0 0 25 0 10 0 780342887 854237184 23035 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23035 13086 16 0 208538 0
vsize: 834216
[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 27888 52 0 0 25 0 10 0 780342887 854237184 23078 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23078 13086 16 0 208538 0
vsize: 834216
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 28823 52 0 0 25 0 10 0 780342887 854237184 23122 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23122 13086 16 0 208538 0
vsize: 834216
[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 29761 52 0 0 25 0 10 0 780342887 854237184 23163 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23163 13086 16 0 208538 0
vsize: 834216
[startup+330.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 30694 53 0 0 25 0 10 0 780342887 854237184 23205 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23205 13086 16 0 208538 0
vsize: 834216
[startup+340.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 31630 54 0 0 25 0 10 0 780342887 854237184 23245 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23245 13086 16 0 208538 0
vsize: 834216
[startup+350.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 32564 54 0 0 25 0 10 0 780342887 854237184 23285 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23285 13086 16 0 208538 0
vsize: 834216
[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 33500 54 0 0 25 0 10 0 780342887 854237184 23323 4294967295 134512640 134569956 3221224368 3221214752 1131240033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23323 13086 16 0 208538 0
vsize: 834216
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 34432 54 0 0 25 0 10 0 780342887 854237184 23363 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23363 13086 16 0 208538 0
vsize: 834216
[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 35367 55 0 0 25 0 10 0 780342887 854237184 23400 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23400 13086 16 0 208538 0
vsize: 834216
[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 36298 55 0 0 25 0 10 0 780342887 854237184 23438 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23438 13086 16 0 208538 0
vsize: 834216
[startup+400.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 37232 55 0 0 25 0 10 0 780342887 854237184 23474 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23474 13086 16 0 208538 0
vsize: 834216
[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 38162 55 0 0 25 0 10 0 780342887 854237184 23511 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23511 13086 16 0 208538 0
vsize: 834216
[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 39095 56 0 0 25 0 10 0 780342887 854237184 23546 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23546 13086 16 0 208538 0
vsize: 834216
[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 40024 57 0 0 25 0 10 0 780342887 854237184 23583 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23583 13086 16 0 208538 0
vsize: 834216
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 40957 57 0 0 25 0 10 0 780342887 854237184 23617 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23617 13086 16 0 208538 0
vsize: 834216
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 41886 57 0 0 25 0 10 0 780342887 854237184 23652 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23652 13086 16 0 208538 0
vsize: 834216
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 42817 57 0 0 25 0 10 0 780342887 854237184 23685 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23685 13086 16 0 208538 0
vsize: 834216
[startup+470.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 43749 58 0 0 25 0 10 0 780342887 854237184 23718 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23718 13086 16 0 208538 0
vsize: 834216
[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 44676 59 0 0 25 0 10 0 780342887 854237184 23754 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23754 13086 16 0 208538 0
vsize: 834216
[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 45606 60 0 0 25 0 10 0 780342887 854237184 23786 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23786 13086 16 0 208538 0
vsize: 834216
[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 46532 61 0 0 25 0 10 0 780342887 854237184 23819 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23819 13086 16 0 208538 0
vsize: 834216
[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 47461 61 0 0 25 0 10 0 780342887 854237184 23851 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23851 13086 16 0 208538 0
vsize: 834216
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 48390 61 0 0 25 0 10 0 780342887 854237184 23882 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23882 13086 16 0 208538 0
vsize: 834216
[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 49316 62 0 0 24 0 10 0 780342887 854237184 23914 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23914 13086 16 0 208538 0
vsize: 834216
[startup+540.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 50243 63 0 0 25 0 10 0 780342887 854237184 23945 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23945 13086 16 0 208538 0
vsize: 834216
[startup+550.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 51171 64 0 0 25 0 10 0 780342887 854237184 23975 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 23975 13086 16 0 208538 0
vsize: 834216
[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) S 30145 15547 15546 0 -1 0 18005 0 1 0 52098 64 0 0 25 0 10 0 780342887 854237184 24005 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24005 13086 16 0 208538 0
vsize: 834216
[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 53022 64 0 0 25 0 10 0 780342887 854237184 24036 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24036 13086 16 0 208538 0
vsize: 834216
[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 53948 65 0 0 25 0 10 0 780342887 854237184 24066 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24066 13086 16 0 208538 0
vsize: 834216
[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 54875 65 0 0 25 0 10 0 780342887 854237184 24095 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24095 13086 16 0 208538 0
vsize: 834216
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 55801 66 0 0 25 0 10 0 780342887 854237184 24124 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24124 13086 16 0 208538 0
vsize: 834216
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 56723 66 0 0 24 0 10 0 780342887 854237184 24154 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24154 13086 16 0 208538 0
vsize: 834216
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 57648 66 0 0 25 0 10 0 780342887 854237184 24182 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24182 13086 16 0 208538 0
vsize: 834216
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 58573 67 0 0 25 0 10 0 780342887 854237184 24210 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24210 13086 16 0 208538 0
vsize: 834216
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 59498 68 0 0 25 0 10 0 780342887 854237184 24238 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24238 13086 16 0 208538 0
vsize: 834216
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 60423 68 0 0 25 0 10 0 780342887 854237184 24267 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24267 13086 16 0 208538 0
vsize: 834216
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 61347 68 0 0 25 0 10 0 780342887 854237184 24294 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24294 13086 16 0 208538 0
vsize: 834216
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 62256 69 0 0 25 0 10 0 780342887 854237184 24840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24840 13086 16 0 208538 0
vsize: 834216
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 63161 69 0 0 25 0 10 0 780342887 854237184 24840 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 24840 13086 16 0 208538 0
vsize: 834216
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 64070 69 0 0 25 0 10 0 780342887 854237184 25053 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25053 13086 16 0 208538 0
vsize: 834216
[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 64984 70 0 0 25 0 10 0 780342887 854237184 25080 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25080 13086 16 0 208538 0
vsize: 834216
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 65898 70 0 0 25 0 10 0 780342887 854237184 25106 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25106 13086 16 0 208538 0
vsize: 834216
[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 66811 71 0 0 25 0 10 0 780342887 854237184 25133 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25133 13086 16 0 208538 0
vsize: 834216
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 67723 71 0 0 25 0 10 0 780342887 854237184 25159 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25159 13086 16 0 208538 0
vsize: 834216
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 68637 71 0 0 25 0 10 0 780342887 854237184 25185 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25185 13086 16 0 208538 0
vsize: 834216
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 69549 72 0 0 25 0 10 0 780342887 854237184 25210 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25210 13086 16 0 208538 0
vsize: 834216
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 70461 72 0 0 25 0 10 0 780342887 854237184 25236 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25236 13086 16 0 208538 0
vsize: 834216
[startup+770.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 71373 72 0 0 25 0 10 0 780342887 854237184 25261 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25261 13086 16 0 208538 0
vsize: 834216
[startup+780.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 72284 73 0 0 25 0 10 0 780342887 854237184 25286 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25286 13086 16 0 208538 0
vsize: 834216
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 73195 73 0 0 18 0 10 0 780342887 854237184 25311 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25311 13086 16 0 208538 0
vsize: 834216
[startup+800.066 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 74106 74 0 0 24 0 10 0 780342887 854237184 25336 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25336 13086 16 0 208538 0
vsize: 834216
[startup+810.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 30155
Raw data (stat): 30146 (java) S 30145 15547 15546 0 -1 0 18005 0 1 0 75019 74 0 0 25 0 10 0 780342887 854237184 25360 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25360 13086 16 0 208538 0
vsize: 834216
[startup+820.067 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 75932 74 0 0 25 0 10 0 780342887 854237184 25384 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25384 13086 16 0 208538 0
vsize: 834216
[startup+830.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 76841 75 0 0 25 0 10 0 780342887 854237184 25408 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25408 13086 16 0 208538 0
vsize: 834216
[startup+840.068 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 77750 75 0 0 25 0 10 0 780342887 854237184 25433 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25433 13086 16 0 208538 0
vsize: 834216
[startup+850.069 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 78659 75 0 0 25 0 10 0 780342887 854237184 25458 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25458 13086 16 0 208538 0
vsize: 834216
[startup+860.069 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 79567 76 0 0 25 0 10 0 780342887 854237184 25483 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25483 13086 16 0 208538 0
vsize: 834216
[startup+870.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 80473 76 0 0 24 0 10 0 780342887 854237184 25507 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25507 13086 16 0 208538 0
vsize: 834216
[startup+880.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 81386 77 0 0 25 0 10 0 780342887 854237184 25529 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25529 13086 16 0 208538 0
vsize: 834216
[startup+890.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 82294 77 0 0 23 0 10 0 780342887 854237184 25553 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25553 13086 16 0 208538 0
vsize: 834216
[startup+900.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 83201 77 0 0 23 0 10 0 780342887 854237184 25577 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25577 13086 16 0 208538 0
vsize: 834216
[startup+910.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 84109 78 0 0 25 0 10 0 780342887 854237184 25601 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25601 13086 16 0 208538 0
vsize: 834216
[startup+920.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 85016 78 0 0 25 0 10 0 780342887 854237184 25625 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25625 13086 16 0 208538 0
vsize: 834216
[startup+930.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 85922 78 0 0 24 0 10 0 780342887 854237184 25648 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25648 13086 16 0 208538 0
vsize: 834216
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 86834 79 0 0 25 0 10 0 780342887 854237184 25670 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25670 13086 16 0 208538 0
vsize: 834216
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 87740 79 0 0 25 0 10 0 780342887 854237184 25693 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25693 13086 16 0 208538 0
vsize: 834216
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 88644 80 0 0 25 0 10 0 780342887 854237184 25716 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25716 13086 16 0 208538 0
vsize: 834216
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 89548 80 0 0 25 0 10 0 780342887 854237184 25739 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25739 13086 16 0 208538 0
vsize: 834216
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 90453 80 0 0 19 0 10 0 780342887 854237184 25762 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25762 13086 16 0 208538 0
vsize: 834216
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) S 30145 15547 15546 0 -1 0 18005 0 1 0 91361 80 0 0 24 0 10 0 780342887 854237184 25784 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25784 13086 16 0 208538 0
vsize: 834216
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 92267 81 0 0 22 0 10 0 780342887 854237184 25806 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25806 13086 16 0 208538 0
vsize: 834216
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 93171 81 0 0 21 0 10 0 780342887 854237184 25828 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25828 13086 16 0 208538 0
vsize: 834216
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 94075 81 0 0 19 0 10 0 780342887 854237184 25851 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25851 13086 16 0 208538 0
vsize: 834216
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 94978 82 0 0 19 0 10 0 780342887 854237184 25873 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25873 13086 16 0 208538 0
vsize: 834216
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 95887 82 0 0 24 0 10 0 780342887 854237184 25894 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25894 13086 16 0 208538 0
vsize: 834216
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 96790 82 0 0 22 0 10 0 780342887 854237184 25916 4294967295 134512640 134569956 3221224368 3221214152 1076461392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25916 13086 16 0 208538 0
vsize: 834216
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 97693 82 0 0 21 0 10 0 780342887 854237184 25938 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25938 13086 16 0 208538 0
vsize: 834216
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 98592 83 0 0 19 0 10 0 780342887 854237184 25964 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25964 13086 16 0 208538 0
vsize: 834216
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 99499 83 0 0 23 0 10 0 780342887 854237184 25987 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 25987 13086 16 0 208538 0
vsize: 834216
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 100401 84 0 0 22 0 10 0 780342887 854237184 26014 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26014 13086 16 0 208538 0
vsize: 834216
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 101302 84 0 0 19 0 10 0 780342887 854237184 26038 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26038 13086 16 0 208538 0
vsize: 834216
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 102209 85 0 0 23 0 10 0 780342887 854237184 26060 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26060 13086 16 0 208538 0
vsize: 834216
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 103109 85 0 0 22 0 10 0 780342887 854237184 26086 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26086 13086 16 0 208538 0
vsize: 834216
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 104010 85 0 0 20 0 10 0 780342887 854237184 26112 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26112 13086 16 0 208538 0
vsize: 834216
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 104915 86 0 0 24 0 10 0 780342887 854237184 26134 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26134 13086 16 0 208538 0
vsize: 834216
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 105815 86 0 0 22 0 10 0 780342887 854237184 26155 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26155 13086 16 0 208538 0
vsize: 834216
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 106714 87 0 0 19 0 10 0 780342887 854237184 26184 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26184 13086 16 0 208538 0
vsize: 834216
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 107621 87 0 0 23 0 10 0 780342887 854237184 26205 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26205 13086 16 0 208538 0
vsize: 834216
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 108520 87 0 0 21 0 10 0 780342887 854237184 26228 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26228 13086 16 0 208538 0
vsize: 834216
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 109419 88 0 0 19 0 10 0 780342887 854237184 26254 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26254 13086 16 0 208538 0
vsize: 834216
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 110322 88 0 0 23 0 10 0 780342887 854237184 26277 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26277 13086 16 0 208538 0
vsize: 834216
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 111218 89 0 0 20 0 10 0 780342887 854237184 26302 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26302 13086 16 0 208538 0
vsize: 834216
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 112117 89 0 0 19 0 10 0 780342887 854237184 26325 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26325 13086 16 0 208538 0
vsize: 834216
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 113021 90 0 0 22 0 10 0 780342887 854237184 26344 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26344 13086 16 0 208538 0
vsize: 834216
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 113918 90 0 0 20 0 10 0 780342887 854237184 26365 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26365 13086 16 0 208538 0
vsize: 834216
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) S 30145 15547 15546 0 -1 0 18005 0 1 0 114822 90 0 0 24 0 10 0 780342887 854237184 26384 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26384 13086 16 0 208538 0
vsize: 834216
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 115720 91 0 0 22 0 10 0 780342887 854237184 26419 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26419 13086 16 0 208538 0
vsize: 834216
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 116617 91 0 0 19 0 10 0 780342887 854237184 26436 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26436 13086 16 0 208538 0
vsize: 834216
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 117522 92 0 0 23 0 10 0 780342887 854237184 26471 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26471 13086 16 0 208538 0
vsize: 834216
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 118421 92 0 0 22 0 10 0 780342887 854237184 26493 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26493 13086 16 0 208538 0
vsize: 834216
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 119321 92 0 0 19 0 10 0 780342887 854237184 26521 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26521 13086 16 0 208538 0
vsize: 834216
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 30155
Raw data (stat): 30146 (java) R 30145 15547 15546 0 -1 0 18005 0 1 0 120224 93 0 0 19 0 10 0 780342887 854237184 26542 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208554 26542 13086 16 0 208538 0
vsize: 834216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30157
Raw data (stat): 30146 (java) Z 30145 15547 15546 0 -1 1036 18005 8085 1 0 120227 93 10569 41 19 0 1 0 780342887 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): 1310.18
CPU time (s): 1309.32
CPU user time (s): 1307.97
CPU system time (s): 1.34879
CPU usage (%): 99.9344
Max. virtual memory (Kb): 834216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####