PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
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	7500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	15
Trace number 29139

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 05:04:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20542 boxname=wulflinc23 idbench=132 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc23/normalized-g250.15.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-g250.15.opb
IDLAUNCH: 20542
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        768824 kB
Buffers:         28512 kB
Cached:         215172 kB
SwapCached:        640 kB
Active:          74796 kB
Inactive:       171384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768572 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13972 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:26:30 (client local time) WITH STATUS 143 IN 1308.92 SECONDS
stats: 20542 7 1308.92 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/wulflinc23/normalized-g250.15.opb
c reading problem ... done. Time 44.567 ms.
c #vars     7500
c #constraints  237715
c starts	: 11
c conflicts	: 14884
c decisions	: 23558
c propagations	: 7062107
c inspects	: 21091778
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14883
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1299.164
#### 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.92 0.99 0.98 2/54 13246
Raw data (stat): 13246 (runsolver) R 13245 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836220373 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.99 0.98 2/63 13255
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18012 0 1 0 879 40 0 0 25 0 10 0 836220373 854495232 19510 4294967295 134512640 134569956 3221224384 3221213720 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 19510 13086 16 0 208601 0
vsize: 834468
[startup+20.001 s]
Raw data (loadavg): 0.94 0.99 0.98 2/63 13255
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18020 0 1 0 1782 40 0 0 25 0 10 0 836220373 854261760 19952 4294967295 134512640 134569956 3221224384 3221214216 1130917759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208560 19952 13086 16 0 208544 0
vsize: 834240
[startup+30.0006 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 13255
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18024 0 1 0 2537 42 0 0 25 0 10 0 836220373 854794240 28043 4294967295 134512640 134569956 3221224384 3221214648 1131287300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 28043 13086 16 0 208674 0
vsize: 834760
[startup+40.0007 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 13255
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18024 0 1 0 3249 44 0 0 18 0 10 0 836220373 854794240 40296 4294967295 134512640 134569956 3221224384 3221214448 1131260820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 40296 13086 16 0 208674 0
vsize: 834760
[startup+50.0575 s]
Raw data (loadavg): 1.22 1.06 1.01 3/64 13256
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18066 0 1 0 3980 46 0 0 25 0 11 0 836220373 857583616 48308 4294967295 134512640 134569956 3221224384 3221213844 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209371 48308 13086 16 0 209355 0
vsize: 837484
[startup+60.0576 s]
Raw data (loadavg): 1.19 1.06 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 4914 46 0 0 25 0 11 0 836220373 856891392 49963 4294967295 134512640 134569956 3221224384 3221214784 1131394825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 49963 13086 16 0 209186 0
vsize: 836808
[startup+70.0585 s]
Raw data (loadavg): 1.16 1.05 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 5873 47 0 0 25 0 11 0 836220373 856891392 49886 4294967295 134512640 134569956 3221224384 3221214772 1131240409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 49886 13086 16 0 209186 0
vsize: 836808
[startup+80.0589 s]
Raw data (loadavg): 1.13 1.05 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 6823 47 0 0 25 0 11 0 836220373 856891392 50391 4294967295 134512640 134569956 3221224384 3221214796 1131373824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 50391 13086 16 0 209186 0
vsize: 836808
[startup+90.0585 s]
Raw data (loadavg): 1.11 1.05 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 7779 47 0 0 25 0 11 0 836220373 856891392 50855 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 50855 13086 16 0 209186 0
vsize: 836808
[startup+100.06 s]
Raw data (loadavg): 1.10 1.05 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 8738 48 0 0 25 0 11 0 836220373 856891392 51037 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 51037 13086 16 0 209186 0
vsize: 836808
[startup+110.06 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 9685 48 0 0 25 0 11 0 836220373 856891392 51552 4294967295 134512640 134569956 3221224384 3221214768 1131409978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 51552 13086 16 0 209186 0
vsize: 836808
[startup+120.061 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 10648 48 0 0 25 0 11 0 836220373 856891392 51869 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 51869 13086 16 0 209186 0
vsize: 836808
[startup+130.062 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 11600 49 0 0 25 0 11 0 836220373 856891392 52112 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 52112 13086 16 0 209186 0
vsize: 836808
[startup+140.062 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 12544 49 0 0 25 0 11 0 836220373 856891392 52712 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 52712 13086 16 0 209186 0
vsize: 836808
[startup+150.062 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 13472 50 0 0 25 0 11 0 836220373 856891392 53665 4294967295 134512640 134569956 3221224384 3221214692 1130917307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 53665 13086 16 0 209186 0
vsize: 836808
[startup+160.062 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 14408 50 0 0 25 0 11 0 836220373 856891392 53831 4294967295 134512640 134569956 3221224384 3221214704 1131332345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 53831 13086 16 0 209186 0
vsize: 836808
[startup+170.063 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 15358 50 0 0 25 0 11 0 836220373 856891392 54247 4294967295 134512640 134569956 3221224384 3221214824 1131437765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 54247 13086 16 0 209186 0
vsize: 836808
[startup+180.063 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 16309 50 0 0 25 0 11 0 836220373 856891392 54741 4294967295 134512640 134569956 3221224384 3221214784 1131448368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 54741 13086 16 0 209186 0
vsize: 836808
[startup+190.064 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 17240 50 0 0 25 0 11 0 836220373 856891392 55270 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 55270 13086 16 0 209186 0
vsize: 836808
[startup+200.065 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 18197 51 0 0 25 0 11 0 836220373 856891392 55455 4294967295 134512640 134569956 3221224384 3221214800 1131418003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 55455 13086 16 0 209186 0
vsize: 836808
[startup+210.064 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18068 0 1 0 19140 51 0 0 25 0 11 0 836220373 856891392 55794 4294967295 134512640 134569956 3221224384 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 55794 13086 16 0 209186 0
vsize: 836808
[startup+220.064 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 20087 51 0 0 25 0 11 0 836220373 856891392 56343 4294967295 134512640 134569956 3221224384 3221214796 1131409827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 56343 13086 16 0 209186 0
vsize: 836808
[startup+230.066 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 21034 52 0 0 25 0 11 0 836220373 856891392 56637 4294967295 134512640 134569956 3221224384 3221214656 1131465808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 56637 13086 16 0 209186 0
vsize: 836808
[startup+240.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 21981 52 0 0 25 0 11 0 836220373 856891392 56890 4294967295 134512640 134569956 3221224384 3221214768 1131409936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 56890 13086 16 0 209186 0
vsize: 836808
[startup+250.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 22947 53 0 0 25 0 11 0 836220373 856891392 57010 4294967295 134512640 134569956 3221224384 3221214772 1131240400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 57010 13086 16 0 209186 0
vsize: 836808
[startup+260.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 23894 53 0 0 25 0 11 0 836220373 856891392 57345 4294967295 134512640 134569956 3221224384 3221214768 1131409898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 57345 13086 16 0 209186 0
vsize: 836808
[startup+270.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 24818 53 0 0 24 0 11 0 836220373 856891392 57823 4294967295 134512640 134569956 3221224384 3221214696 1131338735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 57823 13086 16 0 209186 0
vsize: 836808
[startup+280.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 25780 54 0 0 25 0 11 0 836220373 856891392 58035 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 58035 13086 16 0 209186 0
vsize: 836808
[startup+290.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 26721 54 0 0 25 0 11 0 836220373 856891392 58371 4294967295 134512640 134569956 3221224384 3221214560 1131332455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 58371 13086 16 0 209186 0
vsize: 836808
[startup+300.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18068 0 1 0 27662 55 0 0 25 0 11 0 836220373 856891392 58710 4294967295 134512640 134569956 3221224384 3221214800 1131417607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 58710 13086 16 0 209186 0
vsize: 836808
[startup+310.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 28607 55 0 0 25 0 11 0 836220373 856891392 59079 4294967295 134512640 134569956 3221224384 3221214800 1131448368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 59079 13086 16 0 209186 0
vsize: 836808
[startup+320.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 29555 55 0 0 25 0 11 0 836220373 856891392 59283 4294967295 134512640 134569956 3221224384 3221214768 1131410000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 59283 13086 16 0 209186 0
vsize: 836808
[startup+330.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 30503 55 0 0 25 0 11 0 836220373 856891392 59503 4294967295 134512640 134569956 3221224384 3221214592 1131458376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 59503 13086 16 0 209186 0
vsize: 836808
[startup+340.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 31449 56 0 0 25 0 11 0 836220373 856891392 59785 4294967295 134512640 134569956 3221224384 3221214768 1131409972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 59785 13086 16 0 209186 0
vsize: 836808
[startup+350.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 32379 56 0 0 25 0 11 0 836220373 856891392 60076 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 60078 13086 16 0 209186 0
vsize: 836808
[startup+360.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 33326 56 0 0 25 0 11 0 836220373 856891392 60310 4294967295 134512640 134569956 3221224384 3221214800 1131417583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 60310 13086 16 0 209186 0
vsize: 836808
[startup+370.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 34273 57 0 0 25 0 11 0 836220373 856891392 60535 4294967295 134512640 134569956 3221224384 3221214800 1131418008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 60535 13086 16 0 209186 0
vsize: 836808
[startup+380.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 35203 57 0 0 25 0 11 0 836220373 856891392 60839 4294967295 134512640 134569956 3221224384 3221214784 1131421216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 60839 13086 16 0 209186 0
vsize: 836808
[startup+390.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 36152 57 0 0 25 0 11 0 836220373 856891392 61057 4294967295 134512640 134569956 3221224384 3221214776 1131242048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 61057 13086 16 0 209186 0
vsize: 836808
[startup+400.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 37099 57 0 0 25 0 11 0 836220373 856891392 61302 4294967295 134512640 134569956 3221224384 3221214796 1131409836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 61302 13086 16 0 209186 0
vsize: 836808
[startup+410.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 38038 58 0 0 25 0 11 0 836220373 856891392 61590 4294967295 134512640 134569956 3221224384 3221214768 1131409904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 61590 13086 16 0 209186 0
vsize: 836808
[startup+420.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 38970 58 0 0 25 0 11 0 836220373 856891392 62075 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 62075 13086 16 0 209186 0
vsize: 836808
[startup+430.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 39904 59 0 0 25 0 11 0 836220373 856891392 62330 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 62330 13086 16 0 209186 0
vsize: 836808
[startup+440.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 40836 59 0 0 25 0 11 0 836220373 856891392 62726 4294967295 134512640 134569956 3221224384 3221214800 1131417571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 62726 13086 16 0 209186 0
vsize: 836808
[startup+450.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 41782 59 0 0 25 0 11 0 836220373 856891392 62932 4294967295 134512640 134569956 3221224384 3221214704 1131332303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 62932 13086 16 0 209186 0
vsize: 836808
[startup+460.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 42729 60 0 0 25 0 11 0 836220373 856891392 63139 4294967295 134512640 134569956 3221224384 3221214800 1131417607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 63139 13086 16 0 209186 0
vsize: 836808
[startup+470.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 43673 60 0 0 25 0 11 0 836220373 856891392 63402 4294967295 134512640 134569956 3221224384 3221214668 1131253552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 63402 13086 16 0 209186 0
vsize: 836808
[startup+480.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 44615 60 0 0 25 0 11 0 836220373 856891392 63693 4294967295 134512640 134569956 3221224384 3221214768 1131409931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 63693 13086 16 0 209186 0
vsize: 836808
[startup+490.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 45539 61 0 0 25 0 11 0 836220373 856891392 64017 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 64017 13086 16 0 209186 0
vsize: 836808
[startup+500.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 46483 61 0 0 25 0 11 0 836220373 856891392 64158 4294967295 134512640 134569956 3221224384 3221214560 1131332105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 64158 13086 16 0 209186 0
vsize: 836808
[startup+510.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 47427 62 0 0 25 0 11 0 836220373 856891392 64415 4294967295 134512640 134569956 3221224384 3221214796 1131409833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 64415 13086 16 0 209186 0
vsize: 836808
[startup+520.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 48356 63 0 0 25 0 11 0 836220373 856891392 64647 4294967295 134512640 134569956 3221224384 3221214560 1131332074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 64647 13086 16 0 209186 0
vsize: 836808
[startup+530.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 49305 63 0 0 25 0 11 0 836220373 856891392 64786 4294967295 134512640 134569956 3221224384 3221214656 1131466162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 64786 13086 16 0 209186 0
vsize: 836808
[startup+540.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 50232 63 0 0 25 0 11 0 836220373 856891392 65056 4294967295 134512640 134569956 3221224384 3221214784 1131448300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 65056 13086 16 0 209186 0
vsize: 836808
[startup+550.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 51160 64 0 0 25 0 11 0 836220373 856891392 65319 4294967295 134512640 134569956 3221224384 3221214616 1131374140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 65319 13086 16 0 209186 0
vsize: 836808
[startup+560.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 52105 64 0 0 25 0 11 0 836220373 856891392 65553 4294967295 134512640 134569956 3221224384 3221214356 1131437421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 65553 13086 16 0 209186 0
vsize: 836808
[startup+570.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 53032 64 0 0 25 0 11 0 836220373 856891392 65831 4294967295 134512640 134569956 3221224384 3221214704 1131332998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 65831 13086 16 0 209186 0
vsize: 836808
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 53979 64 0 0 25 0 11 0 836220373 856891392 66036 4294967295 134512640 134569956 3221224384 3221214796 1131394793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 66036 13086 16 0 209186 0
vsize: 836808
[startup+590.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 54909 64 0 0 25 0 11 0 836220373 856891392 66195 4294967295 134512640 134569956 3221224384 3221214840 1131491363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 66195 13086 16 0 209186 0
vsize: 836808
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 55828 64 0 0 25 0 11 0 836220373 856891392 66468 4294967295 134512640 134569956 3221224384 3221213200 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 66468 13086 16 0 209186 0
vsize: 836808
[startup+610.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 56759 64 0 0 25 0 11 0 836220373 856891392 66661 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 66661 13086 16 0 209186 0
vsize: 836808
[startup+620.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 57678 65 0 0 25 0 11 0 836220373 856891392 66866 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 66866 13086 16 0 209186 0
vsize: 836808
[startup+630.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 58612 65 0 0 25 0 11 0 836220373 856891392 67250 4294967295 134512640 134569956 3221224384 3221214800 1131417926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 67250 13086 16 0 209186 0
vsize: 836808
[startup+640.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 59556 65 0 0 25 0 11 0 836220373 856891392 67521 4294967295 134512640 134569956 3221224384 3221214796 1131409836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 67521 13086 16 0 209186 0
vsize: 836808
[startup+650.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 60485 65 0 0 25 0 11 0 836220373 856891392 67882 4294967295 134512640 134569956 3221224384 3221214752 1131243097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 67882 13086 16 0 209186 0
vsize: 836808
[startup+660.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 61427 65 0 0 25 0 11 0 836220373 856891392 68235 4294967295 134512640 134569956 3221224384 3221214796 1131409833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 68235 13086 16 0 209186 0
vsize: 836808
[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 62372 65 0 0 25 0 11 0 836220373 856891392 68416 4294967295 134512640 134569956 3221224384 3221214656 1131468159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 68416 13086 16 0 209186 0
vsize: 836808
[startup+680.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 63314 65 0 0 25 0 11 0 836220373 856891392 68712 4294967295 134512640 134569956 3221224384 3221214776 1131241966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 68712 13086 16 0 209186 0
vsize: 836808
[startup+690.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 64243 66 0 0 25 0 11 0 836220373 856891392 68970 4294967295 134512640 134569956 3221224384 3221214560 1131332856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 68970 13086 16 0 209186 0
vsize: 836808
[startup+700.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 65191 66 0 0 25 0 11 0 836220373 856891392 69120 4294967295 134512640 134569956 3221224384 3221214656 1131468091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 69120 13086 16 0 209186 0
vsize: 836808
[startup+710.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 66116 66 0 0 24 0 11 0 836220373 856891392 69521 4294967295 134512640 134569956 3221224384 3221214560 1131332167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 69521 13086 16 0 209186 0
vsize: 836808
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 67062 66 0 0 25 0 11 0 836220373 856891392 69734 4294967295 134512640 134569956 3221224384 3221214800 1131417940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 69734 13086 16 0 209186 0
vsize: 836808
[startup+730.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 68006 66 0 0 25 0 11 0 836220373 856891392 69923 4294967295 134512640 134569956 3221224384 3221214560 1131333148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 69923 13086 16 0 209186 0
vsize: 836808
[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 68934 66 0 0 25 0 11 0 836220373 856891392 70267 4294967295 134512640 134569956 3221224384 3221214784 1131394809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 70267 13086 16 0 209186 0
vsize: 836808
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 69880 66 0 0 25 0 11 0 836220373 856891392 70415 4294967295 134512640 134569956 3221224384 3221214776 1131241945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 70415 13086 16 0 209186 0
vsize: 836808
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 70808 66 0 0 25 0 11 0 836220373 856891392 70711 4294967295 134512640 134569956 3221224384 3221214656 1131465808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 70711 13086 16 0 209186 0
vsize: 836808
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 71739 66 0 0 25 0 11 0 836220373 856891392 70950 4294967295 134512640 134569956 3221224384 3221214768 1131409972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 70950 13086 16 0 209186 0
vsize: 836808
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 72668 66 0 0 25 0 11 0 836220373 856891392 71215 4294967295 134512640 134569956 3221224384 3221214768 1131409849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 71215 13086 16 0 209186 0
vsize: 836808
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 73597 67 0 0 25 0 11 0 836220373 856891392 71453 4294967295 134512640 134569956 3221224384 3221214652 1131331980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 71453 13086 16 0 209186 0
vsize: 836808
[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 74528 67 0 0 25 0 11 0 836220373 856891392 71655 4294967295 134512640 134569956 3221224384 3221214800 1131417984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 71655 13086 16 0 209186 0
vsize: 836808
[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 75457 67 0 0 25 0 11 0 836220373 856891392 71849 4294967295 134512640 134569956 3221224384 3221214680 1131338282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 71849 13086 16 0 209186 0
vsize: 836808
[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 76371 67 0 0 25 0 11 0 836220373 856891392 72089 4294967295 134512640 134569956 3221224384 3221214560 1131332188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 72089 13086 16 0 209186 0
vsize: 836808
[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 77301 67 0 0 25 0 11 0 836220373 856891392 72300 4294967295 134512640 134569956 3221224384 3221214560 1131332879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 72300 13086 16 0 209186 0
vsize: 836808
[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 78231 67 0 0 25 0 11 0 836220373 856891392 72495 4294967295 134512640 134569956 3221224384 3221214472 1131260445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 72495 13086 16 0 209186 0
vsize: 836808
[startup+850.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 79161 67 0 0 25 0 11 0 836220373 856891392 72698 4294967295 134512640 134569956 3221224384 3221214560 1131332345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 72698 13086 16 0 209186 0
vsize: 836808
[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 80093 67 0 0 25 0 11 0 836220373 856891392 72943 4294967295 134512640 134569956 3221224384 3221214560 1131332012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 72943 13086 16 0 209186 0
vsize: 836808
[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 81008 67 0 0 24 0 11 0 836220373 856891392 73169 4294967295 134512640 134569956 3221224384 3221214656 1131468174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 73169 13086 16 0 209186 0
vsize: 836808
[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 81939 67 0 0 25 0 11 0 836220373 856891392 73384 4294967295 134512640 134569956 3221224384 3221214772 1131243067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 73384 13086 16 0 209186 0
vsize: 836808
[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 82870 68 0 0 25 0 11 0 836220373 856891392 73594 4294967295 134512640 134569956 3221224384 3221214792 1131373851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 73594 13086 16 0 209186 0
vsize: 836808
[startup+900.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 83801 68 0 0 25 0 11 0 836220373 856891392 73793 4294967295 134512640 134569956 3221224384 3221214776 1131242026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209202 73793 13086 16 0 209186 0
vsize: 836808
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 84718 68 0 0 25 0 11 0 836220373 856891392 74030 4294967295 134512640 134569956 3221224384 3221214772 1131243056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 74030 13086 16 0 209186 0
vsize: 836808
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 85651 68 0 0 25 0 11 0 836220373 856891392 74249 4294967295 134512640 134569956 3221224384 3221214776 1131241997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 74249 13086 16 0 209186 0
vsize: 836808
[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 86566 69 0 0 25 0 11 0 836220373 856891392 74453 4294967295 134512640 134569956 3221224384 3221214656 1131467275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 74453 13086 16 0 209186 0
vsize: 836808
[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 87493 69 0 0 25 0 11 0 836220373 856891392 74636 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 74636 13086 16 0 209186 0
vsize: 836808
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 88412 69 0 0 25 0 11 0 836220373 856891392 74842 4294967295 134512640 134569956 3221224384 3221214748 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 74842 13086 16 0 209186 0
vsize: 836808
[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 89327 69 0 0 25 0 11 0 836220373 856891392 75030 4294967295 134512640 134569956 3221224384 3221214680 1131338939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 75030 13086 16 0 209186 0
vsize: 836808
[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 90258 69 0 0 25 0 11 0 836220373 856891392 75238 4294967295 134512640 134569956 3221224384 3221214560 1131332559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 75238 13086 16 0 209186 0
vsize: 836808
[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 91168 70 0 0 25 0 11 0 836220373 856891392 75483 4294967295 134512640 134569956 3221224384 3221214672 1131251755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 75483 13086 16 0 209186 0
vsize: 836808
[startup+990.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 92103 70 0 0 25 0 11 0 836220373 856891392 75871 4294967295 134512640 134569956 3221224384 3221214768 1131409986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 75871 13086 16 0 209186 0
vsize: 836808
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 93023 70 0 0 25 0 11 0 836220373 856891392 76184 4294967295 134512640 134569956 3221224384 3221214768 1131409929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 76184 13086 16 0 209186 0
vsize: 836808
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 93949 71 0 0 25 0 11 0 836220373 856891392 76375 4294967295 134512640 134569956 3221224384 3221214652 1131331980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 76375 13086 16 0 209186 0
vsize: 836808
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 94881 71 0 0 25 0 11 0 836220373 856891392 76661 4294967295 134512640 134569956 3221224384 3221214800 1131417940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 76661 13086 16 0 209186 0
vsize: 836808
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 95812 71 0 0 25 0 11 0 836220373 856891392 76865 4294967295 134512640 134569956 3221224384 3221214772 1131407904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 76865 13086 16 0 209186 0
vsize: 836808
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 96743 71 0 0 25 0 11 0 836220373 856891392 77094 4294967295 134512640 134569956 3221224384 3221214608 1131456928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 77094 13086 16 0 209186 0
vsize: 836808
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 97674 71 0 0 25 0 11 0 836220373 856891392 77312 4294967295 134512640 134569956 3221224384 3221214560 1131332393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 77312 13086 16 0 209186 0
vsize: 836808
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 98607 72 0 0 25 0 11 0 836220373 856891392 77471 4294967295 134512640 134569956 3221224384 3221214768 1131330439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 77471 13086 16 0 209186 0
vsize: 836808
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 99522 72 0 0 25 0 11 0 836220373 856891392 77720 4294967295 134512640 134569956 3221224384 3221214776 1131242076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 77720 13086 16 0 209186 0
vsize: 836808
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 100454 72 0 0 25 0 11 0 836220373 856891392 77945 4294967295 134512640 134569956 3221224384 3221214560 1131332389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 77945 13086 16 0 209186 0
vsize: 836808
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 101371 73 0 0 25 0 11 0 836220373 856891392 78145 4294967295 134512640 134569956 3221224384 3221214768 1131410017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 78145 13086 16 0 209186 0
vsize: 836808
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 102306 73 0 0 25 0 11 0 836220373 856891392 78303 4294967295 134512640 134569956 3221224384 3221214672 1131504437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 78303 13086 16 0 209186 0
vsize: 836808
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 103222 73 0 0 24 0 11 0 836220373 856891392 78500 4294967295 134512640 134569956 3221224384 3221214800 1131417943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 78500 13086 16 0 209186 0
vsize: 836808
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 104154 73 0 0 25 0 11 0 836220373 856891392 78673 4294967295 134512640 134569956 3221224384 3221214748 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 78673 13086 16 0 209186 0
vsize: 836808
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 105080 74 0 0 25 0 11 0 836220373 856891392 78883 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 78883 13086 16 0 209186 0
vsize: 836808
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 106000 74 0 0 25 0 11 0 836220373 856891392 79126 4294967295 134512640 134569956 3221224384 3221214776 1131242088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 79126 13086 16 0 209186 0
vsize: 836808
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 106917 74 0 0 25 0 11 0 836220373 856891392 79330 4294967295 134512640 134569956 3221224384 3221214560 1131332188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 79330 13086 16 0 209186 0
vsize: 836808
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 107851 74 0 0 25 0 11 0 836220373 856891392 79542 4294967295 134512640 134569956 3221224384 3221214768 1131410010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 79542 13086 16 0 209186 0
vsize: 836808
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 108768 75 0 0 25 0 11 0 836220373 856891392 79736 4294967295 134512640 134569956 3221224384 3221214560 1131332265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 79736 13086 16 0 209186 0
vsize: 836808
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 109686 75 0 0 25 0 11 0 836220373 856891392 79872 4294967295 134512640 134569956 3221224384 3221214560 1131332628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 79872 13086 16 0 209186 0
vsize: 836808
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 110603 75 0 0 25 0 11 0 836220373 856891392 80049 4294967295 134512640 134569956 3221224384 3221214856 1131443664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 80049 13086 16 0 209186 0
vsize: 836808
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 111520 76 0 0 25 0 11 0 836220373 856891392 80169 4294967295 134512640 134569956 3221224384 3221214560 1131332295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 80169 13086 16 0 209186 0
vsize: 836808
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 112436 76 0 0 25 0 11 0 836220373 856891392 80293 4294967295 134512640 134569956 3221224384 3221214800 1131417568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 80293 13086 16 0 209186 0
vsize: 836808
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 113364 76 0 0 25 0 11 0 836220373 856891392 80499 4294967295 134512640 134569956 3221224384 3221214704 1131332376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 80499 13086 16 0 209186 0
vsize: 836808
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 114281 77 0 0 25 0 11 0 836220373 856891392 80827 4294967295 134512640 134569956 3221224384 3221214736 1131293067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 80827 13086 16 0 209186 0
vsize: 836808
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 115196 77 0 0 25 0 11 0 836220373 856891392 81145 4294967295 134512640 134569956 3221224384 3221214560 1131332159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 81145 13086 16 0 209186 0
vsize: 836808
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 116115 77 0 0 25 0 11 0 836220373 856891392 81312 4294967295 134512640 134569956 3221224384 3221214776 1131241861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 81312 13086 16 0 209186 0
vsize: 836808
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 117040 78 0 0 25 0 11 0 836220373 856891392 81475 4294967295 134512640 134569956 3221224384 3221214560 1131332455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 81475 13086 16 0 209186 0
vsize: 836808
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 117956 78 0 0 24 0 11 0 836220373 856891392 81644 4294967295 134512640 134569956 3221224384 3221214748 1131243056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 81644 13086 16 0 209186 0
vsize: 836808
[startup+1280.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) S 13245 5562 5561 0 -1 0 18069 0 1 0 118902 78 0 0 25 0 11 0 836220373 856891392 81822 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 81822 13086 16 0 209186 0
vsize: 836808
[startup+1290.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 119833 79 0 0 25 0 11 0 836220373 856891392 82010 4294967295 134512640 134569956 3221224384 3221214608 1131456926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 82010 13086 16 0 209186 0
vsize: 836808
[startup+1300.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 13258
Raw data (stat): 13246 (java) R 13245 5562 5561 0 -1 0 18069 0 1 0 120761 79 0 0 25 0 11 0 836220373 856891392 82216 4294967295 134512640 134569956 3221224384 3221214776 1131241910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209202 82216 13086 16 0 209186 0
vsize: 836808
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.28 s]
Raw data (loadavg): 1.05 1.01 1.00 1/54 13260
Raw data (stat): 13246 (java) Z 13245 5562 5561 0 -1 1036 18069 67456 1 0 120763 94 9891 142 25 0 1 0 836220373 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1300.28
CPU time (s): 1308.92
CPU user time (s): 1306.55
CPU system time (s): 2.37364
CPU usage (%): 100.665
Max. virtual memory (Kb): 837484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####