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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 29373

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 07:00:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20769 boxname=wulflinc20 idbench=359 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc20/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 20769
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        350936 kB
Buffers:         35552 kB
Cached:         618164 kB
SwapCached:        716 kB
Active:          63888 kB
Inactive:       596592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        350684 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17636 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:22:30 (client local time) WITH STATUS 143 IN 1310.51 SECONDS
stats: 20769 7 1310.51 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/wulflinc20/normalized-ppp:1-11,19,21.opb
c reading problem ... done. Time 13.512 ms.
c #vars     4602
c #constraints  30353
c starts	: 9
c conflicts	: 7454
c decisions	: 21842
c propagations	: 225940
c inspects	: 5473834
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7453
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1299.133
#### 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): 1.01 1.01 1.00 2/54 1936
Raw data (stat): 1936 (runsolver) R 1935 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836914037 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.0031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 1945
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18046 0 1 0 805 40 0 0 25 0 10 0 836914037 859316224 21389 4294967295 134512640 134569956 3221224384 3221213664 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209794 21389 13086 16 0 209778 0
vsize: 839176
[startup+20.0033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1946
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18092 0 1 0 1532 42 0 0 25 0 11 0 836914037 861159424 25912 4294967295 134512640 134569956 3221224384 3221214744 1131202969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210244 25912 13086 16 0 210228 0
vsize: 840976
[startup+30.0035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1946
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 2444 42 0 0 25 0 11 0 836914037 860938240 27663 4294967295 134512640 134569956 3221224384 3221214448 1131605991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 27663 13086 16 0 210174 0
vsize: 840760
[startup+40.0032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 3365 42 0 0 25 0 11 0 836914037 860938240 27992 4294967295 134512640 134569956 3221224384 3221214576 1131382995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 27992 13086 16 0 210174 0
vsize: 840760
[startup+50.0045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 4299 43 0 0 25 0 11 0 836914037 860938240 28366 4294967295 134512640 134569956 3221224384 3221214536 1131319877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 28366 13086 16 0 210174 0
vsize: 840760
[startup+60.0094 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 5233 43 0 0 25 0 11 0 836914037 860938240 28836 4294967295 134512640 134569956 3221224384 3221213600 1073943903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 28836 13086 16 0 210174 0
vsize: 840760
[startup+70.0094 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 6161 43 0 0 25 0 11 0 836914037 860938240 29256 4294967295 134512640 134569956 3221224384 3221214536 1131319216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 29256 13086 16 0 210174 0
vsize: 840760
[startup+80.0102 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 7103 43 0 0 25 0 11 0 836914037 860938240 29591 4294967295 134512640 134569956 3221224384 3221214336 1076461217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 29591 13086 16 0 210174 0
vsize: 840760
[startup+90.0099 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 8031 44 0 0 25 0 11 0 836914037 860938240 29946 4294967295 134512640 134569956 3221224384 3221214384 1131574407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 29946 13086 16 0 210174 0
vsize: 840760
[startup+100.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 8958 44 0 0 25 0 11 0 836914037 860938240 30297 4294967295 134512640 134569956 3221224384 3221214496 1131205912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 30297 13086 16 0 210174 0
vsize: 840760
[startup+110.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 9889 44 0 0 25 0 11 0 836914037 860938240 30572 4294967295 134512640 134569956 3221224384 3221214536 1131319565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 30572 13086 16 0 210174 0
vsize: 840760
[startup+120.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 10808 45 0 0 25 0 11 0 836914037 860938240 30914 4294967295 134512640 134569956 3221224384 3221214532 1131200224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 30914 13086 16 0 210174 0
vsize: 840760
[startup+130.011 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 11740 45 0 0 25 0 11 0 836914037 860938240 31189 4294967295 134512640 134569956 3221224384 3221214448 1131200248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 31189 13086 16 0 210174 0
vsize: 840760
[startup+140.01 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 12658 45 0 0 25 0 11 0 836914037 860938240 31541 4294967295 134512640 134569956 3221224384 3221214536 1131319596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 31541 13086 16 0 210174 0
vsize: 840760
[startup+150.011 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 13585 46 0 0 25 0 11 0 836914037 860938240 31815 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 31815 13086 16 0 210174 0
vsize: 840760
[startup+160.011 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 14526 46 0 0 25 0 11 0 836914037 860938240 32028 4294967295 134512640 134569956 3221224384 3221214596 1131379500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 32028 13086 16 0 210174 0
vsize: 840760
[startup+170.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 15453 46 0 0 25 0 11 0 836914037 860938240 32271 4294967295 134512640 134569956 3221224384 3221214720 1131385234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 32271 13086 16 0 210174 0
vsize: 840760
[startup+180.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 1948
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 16387 46 0 0 25 0 11 0 836914037 860938240 32519 4294967295 134512640 134569956 3221224384 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 32519 13086 16 0 210174 0
vsize: 840760
[startup+190.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 17322 47 0 0 25 0 11 0 836914037 860938240 32778 4294967295 134512640 134569956 3221224384 3221214600 1131380940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 32778 13086 16 0 210174 0
vsize: 840760
[startup+200.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 18248 47 0 0 25 0 11 0 836914037 860938240 33125 4294967295 134512640 134569956 3221224384 3221214496 1131205788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 33125 13086 16 0 210174 0
vsize: 840760
[startup+210.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 19170 47 0 0 25 0 11 0 836914037 860938240 33470 4294967295 134512640 134569956 3221224384 3221214568 1131158200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 33470 13086 16 0 210174 0
vsize: 840760
[startup+220.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 20096 47 0 0 25 0 11 0 836914037 860938240 33736 4294967295 134512640 134569956 3221224384 3221214568 1131379536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 33736 13086 16 0 210174 0
vsize: 840760
[startup+230.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 21022 47 0 0 24 0 11 0 836914037 860938240 34018 4294967295 134512640 134569956 3221224384 3221214640 1131432079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 34018 13086 16 0 210174 0
vsize: 840760
[startup+240.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 21953 48 0 0 25 0 11 0 836914037 860938240 34459 4294967295 134512640 134569956 3221224384 3221214596 1131379488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 34459 13086 16 0 210174 0
vsize: 840760
[startup+250.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 22875 48 0 0 25 0 11 0 836914037 860938240 34726 4294967295 134512640 134569956 3221224384 3221214536 1131319565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 34726 13086 16 0 210174 0
vsize: 840760
[startup+260.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 23782 48 0 0 25 0 11 0 836914037 860938240 35059 4294967295 134512640 134569956 3221224384 3221214564 1131216288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35059 13086 16 0 210174 0
vsize: 840760
[startup+270.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1948
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 24697 48 0 0 25 0 11 0 836914037 860938240 35207 4294967295 134512640 134569956 3221224384 3221214528 1131206788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35207 13086 16 0 210174 0
vsize: 840760
[startup+280.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 25622 48 0 0 25 0 11 0 836914037 860938240 35394 4294967295 134512640 134569956 3221224384 3221214640 1131431185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35394 13086 16 0 210174 0
vsize: 840760
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 26548 49 0 0 25 0 11 0 836914037 860938240 35518 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35518 13086 16 0 210174 0
vsize: 840760
[startup+300.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 27471 49 0 0 25 0 11 0 836914037 860938240 35695 4294967295 134512640 134569956 3221224384 3221214536 1131319194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35695 13086 16 0 210174 0
vsize: 840760
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 28393 49 0 0 25 0 11 0 836914037 860938240 35937 4294967295 134512640 134569956 3221224384 3221214640 1131431185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 35937 13086 16 0 210174 0
vsize: 840760
[startup+320.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 29326 50 0 0 25 0 11 0 836914037 860938240 36097 4294967295 134512640 134569956 3221224384 3221214536 1131320049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 36097 13086 16 0 210174 0
vsize: 840760
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 30246 50 0 0 25 0 11 0 836914037 860938240 36336 4294967295 134512640 134569956 3221224384 3221214640 1131430947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 36336 13086 16 0 210174 0
vsize: 840760
[startup+340.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 31177 51 0 0 25 0 11 0 836914037 860938240 36503 4294967295 134512640 134569956 3221224384 3221214536 1131319684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 36503 13086 16 0 210174 0
vsize: 840760
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 32097 51 0 0 25 0 11 0 836914037 860938240 36702 4294967295 134512640 134569956 3221224384 3221214720 1131385498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 36702 13086 16 0 210174 0
vsize: 840760
[startup+360.017 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 33018 51 0 0 25 0 11 0 836914037 860938240 36900 4294967295 134512640 134569956 3221224384 3221214584 1131412197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 36900 13086 16 0 210174 0
vsize: 840760
[startup+370.017 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 33949 51 0 0 25 0 11 0 836914037 860938240 37098 4294967295 134512640 134569956 3221224384 3221214480 1131453546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 37098 13086 16 0 210174 0
vsize: 840760
[startup+380.017 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 34881 52 0 0 25 0 11 0 836914037 860938240 37254 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 37254 13086 16 0 210174 0
vsize: 840760
[startup+390.016 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 35794 52 0 0 25 0 11 0 836914037 860938240 37602 4294967295 134512640 134569956 3221224384 3221214640 1131431109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 37602 13086 16 0 210174 0
vsize: 840760
[startup+400.018 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 36724 52 0 0 25 0 11 0 836914037 860938240 37823 4294967295 134512640 134569956 3221224384 3221214640 1131432216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 37823 13086 16 0 210174 0
vsize: 840760
[startup+410.018 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 37641 53 0 0 25 0 11 0 836914037 860938240 38063 4294967295 134512640 134569956 3221224384 3221214720 1131385484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 38063 13086 16 0 210174 0
vsize: 840760
[startup+420.018 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 38557 53 0 0 25 0 11 0 836914037 860938240 38334 4294967295 134512640 134569956 3221224384 3221214640 1131433168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 38334 13086 16 0 210174 0
vsize: 840760
[startup+430.019 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 39473 53 0 0 25 0 11 0 836914037 860938240 38580 4294967295 134512640 134569956 3221224384 3221214524 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 38580 13086 16 0 210174 0
vsize: 840760
[startup+440.02 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 40392 53 0 0 25 0 11 0 836914037 860938240 38849 4294967295 134512640 134569956 3221224384 3221214496 1131205960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 38849 13086 16 0 210174 0
vsize: 840760
[startup+450.02 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 41304 53 0 0 25 0 11 0 836914037 860938240 39308 4294967295 134512640 134569956 3221224384 3221214568 1131379548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 39308 13086 16 0 210174 0
vsize: 840760
[startup+460.021 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 42224 53 0 0 25 0 11 0 836914037 860938240 39643 4294967295 134512640 134569956 3221224384 3221214600 1131380867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 39643 13086 16 0 210174 0
vsize: 840760
[startup+470.021 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 43150 53 0 0 25 0 11 0 836914037 860938240 39934 4294967295 134512640 134569956 3221224384 3221214360 1078032375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 39934 13086 16 0 210174 0
vsize: 840760
[startup+480.021 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 44078 53 0 0 25 0 11 0 836914037 860938240 40498 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 40498 13086 16 0 210174 0
vsize: 840760
[startup+490.021 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 45012 53 0 0 25 0 11 0 836914037 860938240 40919 4294967295 134512640 134569956 3221224384 3221214480 1131453708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 40919 13086 16 0 210174 0
vsize: 840760
[startup+500.022 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 45940 53 0 0 25 0 11 0 836914037 860938240 41212 4294967295 134512640 134569956 3221224384 3221214584 1131412100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 41212 13086 16 0 210174 0
vsize: 840760
[startup+510.022 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 46884 53 0 0 25 0 11 0 836914037 860938240 41531 4294967295 134512640 134569956 3221224384 3221214480 1131453209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 41531 13086 16 0 210174 0
vsize: 840760
[startup+520.022 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 47818 53 0 0 25 0 11 0 836914037 860938240 41692 4294967295 134512640 134569956 3221224384 3221214640 1131432247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 41692 13086 16 0 210174 0
vsize: 840760
[startup+530.023 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 48750 54 0 0 24 0 11 0 836914037 860938240 42007 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 42007 13086 16 0 210174 0
vsize: 840760
[startup+540.023 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 49682 54 0 0 25 0 11 0 836914037 860938240 42253 4294967295 134512640 134569956 3221224384 3221214568 1131379649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 42253 13086 16 0 210174 0
vsize: 840760
[startup+550.024 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 50615 54 0 0 25 0 11 0 836914037 860938240 42498 4294967295 134512640 134569956 3221224384 3221214536 1131320101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 42498 13086 16 0 210174 0
vsize: 840760
[startup+560.025 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 51538 54 0 0 25 0 11 0 836914037 860938240 42733 4294967295 134512640 134569956 3221224384 3221214528 1131202969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 42733 13086 16 0 210174 0
vsize: 840760
[startup+570.024 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 52461 54 0 0 25 0 11 0 836914037 860938240 42975 4294967295 134512640 134569956 3221224384 3221214584 1131412227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 42975 13086 16 0 210174 0
vsize: 840760
[startup+580.025 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 53383 54 0 0 25 0 11 0 836914037 860938240 43223 4294967295 134512640 134569956 3221224384 3221214524 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 43223 13086 16 0 210174 0
vsize: 840760
[startup+590.025 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 54316 54 0 0 25 0 11 0 836914037 860938240 43613 4294967295 134512640 134569956 3221224384 3221214496 1131205960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 43613 13086 16 0 210174 0
vsize: 840760
[startup+600.026 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 55231 54 0 0 25 0 11 0 836914037 860938240 44009 4294967295 134512640 134569956 3221224384 3221214596 1131357440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 44009 13086 16 0 210174 0
vsize: 840760
[startup+610.026 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 56160 54 0 0 25 0 11 0 836914037 860938240 44253 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 44253 13086 16 0 210174 0
vsize: 840760
[startup+620.025 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 57084 54 0 0 25 0 11 0 836914037 860938240 44595 4294967295 134512640 134569956 3221224384 3221214596 1131357440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 44595 13086 16 0 210174 0
vsize: 840760
[startup+630.026 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 58005 54 0 0 25 0 11 0 836914037 860938240 44776 4294967295 134512640 134569956 3221224384 3221214480 1131453226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 44776 13086 16 0 210174 0
vsize: 840760
[startup+640.026 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 58926 54 0 0 25 0 11 0 836914037 860938240 44959 4294967295 134512640 134569956 3221224384 3221214564 1131371424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 44959 13086 16 0 210174 0
vsize: 840760
[startup+650.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 59847 54 0 0 25 0 11 0 836914037 860938240 45255 4294967295 134512640 134569956 3221224384 3221214640 1131433119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 45255 13086 16 0 210174 0
vsize: 840760
[startup+660.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 60782 54 0 0 25 0 11 0 836914037 860938240 45411 4294967295 134512640 134569956 3221224384 3221214640 1131432282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 45411 13086 16 0 210174 0
vsize: 840760
[startup+670.027 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 61707 55 0 0 25 0 11 0 836914037 860938240 45616 4294967295 134512640 134569956 3221224384 3221214568 1131379663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 45616 13086 16 0 210174 0
vsize: 840760
[startup+680.028 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 62633 55 0 0 25 0 11 0 836914037 860938240 45785 4294967295 134512640 134569956 3221224384 3221214596 1131496435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 45785 13086 16 0 210174 0
vsize: 840760
[startup+690.027 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 63570 55 0 0 25 0 11 0 836914037 860938240 45978 4294967295 134512640 134569956 3221224384 3221214480 1131206065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 45978 13086 16 0 210174 0
vsize: 840760
[startup+700.029 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 64497 55 0 0 25 0 11 0 836914037 860938240 46163 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46163 13086 16 0 210174 0
vsize: 840760
[startup+710.031 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 65431 55 0 0 25 0 11 0 836914037 860938240 46323 4294967295 134512640 134569956 3221224384 3221213184 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46323 13086 16 0 210174 0
vsize: 840760
[startup+720.031 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 66350 55 0 0 25 0 11 0 836914037 860938240 46509 4294967295 134512640 134569956 3221224384 3221214616 1131319603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46509 13086 16 0 210174 0
vsize: 840760
[startup+730.032 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 67276 55 0 0 24 0 11 0 836914037 860938240 46633 4294967295 134512640 134569956 3221224384 3221214496 1131205960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46633 13086 16 0 210174 0
vsize: 840760
[startup+740.032 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 68214 55 0 0 25 0 11 0 836914037 860938240 46798 4294967295 134512640 134569956 3221224384 3221214640 1131430966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46798 13086 16 0 210174 0
vsize: 840760
[startup+750.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 69141 55 0 0 25 0 11 0 836914037 860938240 46973 4294967295 134512640 134569956 3221224384 3221214640 1131433136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 46973 13086 16 0 210174 0
vsize: 840760
[startup+760.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 70068 55 0 0 25 0 11 0 836914037 860938240 47146 4294967295 134512640 134569956 3221224384 3221214476 1131319116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47146 13086 16 0 210174 0
vsize: 840760
[startup+770.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 70993 55 0 0 25 0 11 0 836914037 860938240 47336 4294967295 134512640 134569956 3221224384 3221214568 1131379536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47336 13086 16 0 210174 0
vsize: 840760
[startup+780.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 71920 55 0 0 25 0 11 0 836914037 860938240 47469 4294967295 134512640 134569956 3221224384 3221214480 1131452844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47469 13086 16 0 210174 0
vsize: 840760
[startup+790.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 72846 56 0 0 25 0 11 0 836914037 860938240 47632 4294967295 134512640 134569956 3221224384 3221214568 1131379591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47632 13086 16 0 210174 0
vsize: 840760
[startup+800.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 73776 56 0 0 25 0 11 0 836914037 860938240 47783 4294967295 134512640 134569956 3221224384 3221214536 1131319715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47783 13086 16 0 210174 0
vsize: 840760
[startup+810.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 74698 56 0 0 25 0 11 0 836914037 860938240 47991 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 47991 13086 16 0 210174 0
vsize: 840760
[startup+820.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 75637 56 0 0 25 0 11 0 836914037 860938240 48200 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48200 13086 16 0 210174 0
vsize: 840760
[startup+830.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 76577 56 0 0 25 0 11 0 836914037 860938240 48318 4294967295 134512640 134569956 3221224384 3221214632 1131414684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48318 13086 16 0 210174 0
vsize: 840760
[startup+840.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 77502 56 0 0 25 0 11 0 836914037 860938240 48475 4294967295 134512640 134569956 3221224384 3221214640 1131430963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48475 13086 16 0 210174 0
vsize: 840760
[startup+850.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 78430 56 0 0 25 0 11 0 836914037 860938240 48599 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48599 13086 16 0 210174 0
vsize: 840760
[startup+860.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 79344 56 0 0 25 0 11 0 836914037 860938240 48723 4294967295 134512640 134569956 3221224384 3221214640 1131431185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48723 13086 16 0 210174 0
vsize: 840760
[startup+870.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 80271 56 0 0 25 0 11 0 836914037 860938240 48832 4294967295 134512640 134569956 3221224384 3221214524 1130885163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 48832 13086 16 0 210174 0
vsize: 840760
[startup+880.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 81190 56 0 0 25 0 11 0 836914037 860938240 49047 4294967295 134512640 134569956 3221224384 3221214536 1131319764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49047 13086 16 0 210174 0
vsize: 840760
[startup+890.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 82125 56 0 0 25 0 11 0 836914037 860938240 49247 4294967295 134512640 134569956 3221224384 3221214536 1131319657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49247 13086 16 0 210174 0
vsize: 840760
[startup+900.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 83058 56 0 0 25 0 11 0 836914037 860938240 49471 4294967295 134512640 134569956 3221224384 3221214496 1131206123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49471 13086 16 0 210174 0
vsize: 840760
[startup+910.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 84005 56 0 0 25 0 11 0 836914037 860938240 49578 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49578 13086 16 0 210174 0
vsize: 840760
[startup+920.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 84934 57 0 0 24 0 11 0 836914037 860938240 49723 4294967295 134512640 134569956 3221224384 3221214536 1131319345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49723 13086 16 0 210174 0
vsize: 840760
[startup+930.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 85880 57 0 0 25 0 11 0 836914037 860938240 49829 4294967295 134512640 134569956 3221224384 3221214640 1131433032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49829 13086 16 0 210174 0
vsize: 840760
[startup+940.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 86817 57 0 0 25 0 11 0 836914037 860938240 49966 4294967295 134512640 134569956 3221224384 3221214804 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 49966 13086 16 0 210174 0
vsize: 840760
[startup+950.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 87758 57 0 0 25 0 11 0 836914037 860938240 50053 4294967295 134512640 134569956 3221224384 3221214536 1131319588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50053 13086 16 0 210174 0
vsize: 840760
[startup+960.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 88687 57 0 0 25 0 11 0 836914037 860938240 50190 4294967295 134512640 134569956 3221224384 3221214480 1131452880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50190 13086 16 0 210174 0
vsize: 840760
[startup+970.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 89623 58 0 0 25 0 11 0 836914037 860938240 50274 4294967295 134512640 134569956 3221224384 3221214680 1131202960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50274 13086 16 0 210174 0
vsize: 840760
[startup+980.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 90555 58 0 0 25 0 11 0 836914037 860938240 50396 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50396 13086 16 0 210174 0
vsize: 840760
[startup+990.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 91487 59 0 0 25 0 11 0 836914037 860938240 50524 4294967295 134512640 134569956 3221224384 3221214536 1131319565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50524 13086 16 0 210174 0
vsize: 840760
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 92411 59 0 0 25 0 11 0 836914037 860938240 50728 4294967295 134512640 134569956 3221224384 3221214640 1131435986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210190 50728 13086 16 0 210174 0
vsize: 840760
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 93338 59 0 0 25 0 11 0 836914037 860938240 50862 4294967295 134512640 134569956 3221224384 3221214640 1131433892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 50862 13086 16 0 210174 0
vsize: 840760
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 94264 59 0 0 25 0 11 0 836914037 860938240 51013 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51013 13086 16 0 210174 0
vsize: 840760
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 95203 59 0 0 25 0 11 0 836914037 860938240 51176 4294967295 134512640 134569956 3221224384 3221214568 1131379536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51176 13086 16 0 210174 0
vsize: 840760
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 96136 60 0 0 25 0 11 0 836914037 860938240 51316 4294967295 134512640 134569956 3221224384 3221214536 1131319209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51316 13086 16 0 210174 0
vsize: 840760
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 97070 60 0 0 25 0 11 0 836914037 860938240 51461 4294967295 134512640 134569956 3221224384 3221214496 1131205960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51461 13086 16 0 210174 0
vsize: 840760
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 98007 60 0 0 25 0 11 0 836914037 860938240 51571 4294967295 134512640 134569956 3221224384 3221213176 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51571 13086 16 0 210174 0
vsize: 840760
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 98943 61 0 0 25 0 11 0 836914037 860938240 51728 4294967295 134512640 134569956 3221224384 3221214536 1131319622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51728 13086 16 0 210174 0
vsize: 840760
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 99881 61 0 0 25 0 11 0 836914037 860938240 51832 4294967295 134512640 134569956 3221224384 3221214720 1131385257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51832 13086 16 0 210174 0
vsize: 840760
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 100820 61 0 0 25 0 11 0 836914037 860938240 51964 4294967295 134512640 134569956 3221224384 3221214536 1131319752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 51964 13086 16 0 210174 0
vsize: 840760
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 101763 61 0 0 25 0 11 0 836914037 860938240 52085 4294967295 134512640 134569956 3221224384 3221214584 1131412180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52085 13086 16 0 210174 0
vsize: 840760
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 102706 62 0 0 25 0 11 0 836914037 860938240 52195 4294967295 134512640 134569956 3221224384 3221214536 1131319603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52195 13086 16 0 210174 0
vsize: 840760
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 103652 62 0 0 25 0 11 0 836914037 860938240 52323 4294967295 134512640 134569956 3221224384 3221214536 1131320028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52323 13086 16 0 210174 0
vsize: 840760
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 104599 62 0 0 25 0 11 0 836914037 860938240 52427 4294967295 134512640 134569956 3221224384 3221214536 1131319133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52427 13086 16 0 210174 0
vsize: 840760
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 105550 63 0 0 25 0 11 0 836914037 860938240 52493 4294967295 134512640 134569956 3221224384 3221214536 1131319137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52493 13086 16 0 210174 0
vsize: 840760
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 106491 63 0 0 25 0 11 0 836914037 860938240 52576 4294967295 134512640 134569956 3221224384 3221214536 1131319784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52576 13086 16 0 210174 0
vsize: 840760
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 107429 63 0 0 25 0 11 0 836914037 860938240 52669 4294967295 134512640 134569956 3221224384 3221214568 1131379536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52669 13086 16 0 210174 0
vsize: 840760
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 108366 64 0 0 25 0 11 0 836914037 860938240 52780 4294967295 134512640 134569956 3221224384 3221214640 1131431116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52780 13086 16 0 210174 0
vsize: 840760
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 109305 64 0 0 25 0 11 0 836914037 860938240 52898 4294967295 134512640 134569956 3221224384 3221214536 1131319626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 52898 13086 16 0 210174 0
vsize: 840760
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 110245 65 0 0 25 0 11 0 836914037 860938240 53002 4294967295 134512640 134569956 3221224384 3221214808 1131202969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53002 13086 16 0 210174 0
vsize: 840760
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 111186 65 0 0 25 0 11 0 836914037 860938240 53125 4294967295 134512640 134569956 3221224384 3221214524 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53125 13086 16 0 210174 0
vsize: 840760
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 112127 66 0 0 25 0 11 0 836914037 860938240 53231 4294967295 134512640 134569956 3221224384 3221214536 1131319326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53231 13086 16 0 210174 0
vsize: 840760
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 113069 66 0 0 25 0 11 0 836914037 860938240 53325 4294967295 134512640 134569956 3221224384 3221214680 1131202969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53325 13086 16 0 210174 0
vsize: 840760
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 114018 66 0 0 25 0 11 0 836914037 860938240 53412 4294967295 134512640 134569956 3221224384 3221214496 1131205960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53412 13086 16 0 210174 0
vsize: 840760
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 114961 66 0 0 25 0 11 0 836914037 860938240 53517 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53517 13086 16 0 210174 0
vsize: 840760
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 115900 66 0 0 24 0 11 0 836914037 860938240 53625 4294967295 134512640 134569956 3221224384 3221214448 1131200248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53625 13086 16 0 210174 0
vsize: 840760
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 116845 67 0 0 25 0 11 0 836914037 860938240 53698 4294967295 134512640 134569956 3221224384 3221213184 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53698 13086 16 0 210174 0
vsize: 840760
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 117791 67 0 0 25 0 11 0 836914037 860938240 53824 4294967295 134512640 134569956 3221224384 3221214536 1131319216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53824 13086 16 0 210174 0
vsize: 840760
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) S 1935 25399 25398 0 -1 0 18093 0 1 0 118729 67 0 0 25 0 11 0 836914037 860938240 53916 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 53916 13086 16 0 210174 0
vsize: 840760
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 119674 67 0 0 25 0 11 0 836914037 860938240 54020 4294967295 134512640 134569956 3221224384 3221214720 1131384674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 54020 13086 16 0 210174 0
vsize: 840760
[startup+1300.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1950
Raw data (stat): 1936 (java) R 1935 25399 25398 0 -1 0 18093 0 1 0 120621 68 0 0 25 0 11 0 836914037 860938240 54113 4294967295 134512640 134569956 3221224384 3221214528 1131200694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210190 54113 13086 16 0 210174 0
vsize: 840760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1952
Raw data (stat): 1936 (java) Z 1935 25399 25398 0 -1 1036 18093 40326 1 0 120625 78 10254 92 25 0 1 0 836914037 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): 1300.2
CPU time (s): 1310.51
CPU user time (s): 1308.81
CPU system time (s): 1.70974
CPU usage (%): 100.793
Max. virtual memory (Kb): 840976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####