PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
MD5SUM	21464e866eda151b04d2fc7e4d1dba6a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	134217728000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	569083166190
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	15.6156
Number of variables	404796
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	3706
Minimum length of a constraint	1
Maximum length of a constraint	15900
Trace number 29722

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 10:52:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21123 boxname=wulflinc22 idbench=1111 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  21464e866eda151b04d2fc7e4d1dba6a  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-dano3_3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-dano3_3.opb
IDLAUNCH: 21123
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        655776 kB
Buffers:         31488 kB
Cached:         324228 kB
SwapCached:        400 kB
Active:          95340 kB
Inactive:       262644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        655524 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15216 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:14:14 (client local time) WITH STATUS 143 IN 1325.25 SECONDS
stats: 21123 7 1325.25 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/wulflinc22/normalized-mps-v2-20-10-dano3_3.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1319.219
#### 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.98 0.99 2/54 2551
Raw data (stat): 2551 (runsolver) R 2550 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838301963 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.0002 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18015 0 1 0 854 39 0 0 25 0 10 0 838301963 853925888 19408 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 19408 13086 16 0 208462 0
vsize: 833912
[startup+20.0019 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18015 0 1 0 1747 40 0 0 25 0 10 0 838301963 853770240 19985 4294967295 134512640 134569956 3221224368 3221214656 1131243995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208440 19985 13086 16 0 208424 0
vsize: 833760
[startup+30.0025 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 2613 40 0 0 25 0 10 0 838301963 856182784 21009 4294967295 134512640 134569956 3221224368 3221214644 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 21009 13086 16 0 209013 0
vsize: 836116
[startup+40.0033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 3519 40 0 0 25 0 10 0 838301963 854970368 20978 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208733 20978 13086 16 0 208717 0
vsize: 834932
[startup+50.0041 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 4425 41 0 0 25 0 10 0 838301963 854970368 21208 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 21208 13086 16 0 208717 0
vsize: 834932
[startup+60.0049 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 5334 41 0 0 25 0 10 0 838301963 854818816 21324 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 21324 13086 16 0 208680 0
vsize: 834784
[startup+70.006 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 6245 41 0 0 24 0 10 0 838301963 854818816 21590 4294967295 134512640 134569956 3221224368 3221214648 1076619331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 21590 13086 16 0 208680 0
vsize: 834784
[startup+80.0072 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 7169 41 0 0 25 0 10 0 838301963 854818816 21715 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 21715 13086 16 0 208680 0
vsize: 834784
[startup+90.0078 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 8095 41 0 0 25 0 10 0 838301963 854818816 21880 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 21880 13086 16 0 208680 0
vsize: 834784
[startup+100.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 9020 41 0 0 25 0 10 0 838301963 854818816 21992 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 21992 13086 16 0 208680 0
vsize: 834784
[startup+110.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 9939 41 0 0 25 0 10 0 838301963 854818816 22104 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22104 13086 16 0 208680 0
vsize: 834784
[startup+120.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 10861 41 0 0 25 0 10 0 838301963 854818816 22254 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22254 13086 16 0 208680 0
vsize: 834784
[startup+130.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 11777 41 0 0 25 0 10 0 838301963 854818816 22360 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22360 13086 16 0 208680 0
vsize: 834784
[startup+140.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 12681 41 0 0 24 0 10 0 838301963 854818816 22501 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22501 13086 16 0 208680 0
vsize: 834784
[startup+150.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 13578 41 0 0 24 0 10 0 838301963 854818816 22688 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22688 13086 16 0 208680 0
vsize: 834784
[startup+160.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 14498 41 0 0 25 0 10 0 838301963 854818816 22966 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 22966 13086 16 0 208680 0
vsize: 834784
[startup+170.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 15437 41 0 0 25 0 10 0 838301963 854818816 23013 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23013 13086 16 0 208680 0
vsize: 834784
[startup+180.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 16358 41 0 0 25 0 10 0 838301963 854818816 23107 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23107 13086 16 0 208680 0
vsize: 834784
[startup+190.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 17277 41 0 0 25 0 10 0 838301963 854818816 23151 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23151 13086 16 0 208680 0
vsize: 834784
[startup+200.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 18208 42 0 0 25 0 10 0 838301963 854818816 23399 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23399 13086 16 0 208680 0
vsize: 834784
[startup+210.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 19137 42 0 0 24 0 10 0 838301963 854818816 23489 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23489 13086 16 0 208680 0
vsize: 834784
[startup+220.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 20073 42 0 0 25 0 10 0 838301963 854818816 23530 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23530 13086 16 0 208680 0
vsize: 834784
[startup+230.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 21002 42 0 0 24 0 10 0 838301963 854818816 23617 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23617 13086 16 0 208680 0
vsize: 834784
[startup+240.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 21935 42 0 0 25 0 10 0 838301963 854818816 23655 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23655 13086 16 0 208680 0
vsize: 834784
[startup+250.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 22868 42 0 0 25 0 10 0 838301963 854818816 23738 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23738 13086 16 0 208680 0
vsize: 834784
[startup+260.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 23793 42 0 0 25 0 10 0 838301963 854818816 23822 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23822 13086 16 0 208680 0
vsize: 834784
[startup+270.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 24726 42 0 0 25 0 10 0 838301963 854818816 23858 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23858 13086 16 0 208680 0
vsize: 834784
[startup+280.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 25656 43 0 0 25 0 10 0 838301963 854818816 23940 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 23940 13086 16 0 208680 0
vsize: 834784
[startup+290.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 26579 43 0 0 25 0 10 0 838301963 854818816 24022 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24022 13086 16 0 208680 0
vsize: 834784
[startup+300.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 27509 43 0 0 25 0 10 0 838301963 854818816 24055 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24055 13086 16 0 208680 0
vsize: 834784
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 28437 43 0 0 25 0 10 0 838301963 854818816 24134 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24134 13086 16 0 208680 0
vsize: 834784
[startup+320.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 29359 43 0 0 25 0 10 0 838301963 854818816 24213 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24213 13086 16 0 208680 0
vsize: 834784
[startup+330.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 30284 43 0 0 25 0 10 0 838301963 854818816 24246 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24246 13086 16 0 208680 0
vsize: 834784
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 31211 44 0 0 25 0 10 0 838301963 854818816 24323 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24323 13086 16 0 208680 0
vsize: 834784
[startup+350.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 32134 44 0 0 25 0 10 0 838301963 854818816 24400 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24400 13086 16 0 208680 0
vsize: 834784
[startup+360.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 33055 44 0 0 25 0 10 0 838301963 854818816 24477 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24477 13086 16 0 208680 0
vsize: 834784
[startup+370.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 33974 44 0 0 25 0 10 0 838301963 854818816 24552 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24552 13086 16 0 208680 0
vsize: 834784
[startup+380.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 34892 45 0 0 25 0 10 0 838301963 854818816 24627 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24627 13086 16 0 208680 0
vsize: 834784
[startup+390.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 35805 45 0 0 25 0 10 0 838301963 854818816 24702 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24702 13086 16 0 208680 0
vsize: 834784
[startup+400.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 36704 45 0 0 25 0 10 0 838301963 854818816 24777 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24777 13086 16 0 208680 0
vsize: 834784
[startup+410.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 37600 45 0 0 24 0 10 0 838301963 854818816 24896 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 24896 13086 16 0 208680 0
vsize: 834784
[startup+420.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 38517 45 0 0 25 0 10 0 838301963 854818816 25111 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25111 13086 16 0 208680 0
vsize: 834784
[startup+430.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 39448 46 0 0 25 0 10 0 838301963 854818816 25143 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25143 13086 16 0 208680 0
vsize: 834784
[startup+440.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 40374 46 0 0 25 0 10 0 838301963 854818816 25170 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25170 13086 16 0 208680 0
vsize: 834784
[startup+450.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 41301 46 0 0 25 0 10 0 838301963 854818816 25247 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25247 13086 16 0 208680 0
vsize: 834784
[startup+460.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 42225 46 0 0 24 0 10 0 838301963 854818816 25279 4294967295 134512640 134569956 3221224368 3221213784 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25279 13086 16 0 208680 0
vsize: 834784
[startup+470.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2560
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 43150 46 0 0 24 0 10 0 838301963 854818816 25305 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25305 13086 16 0 208680 0
vsize: 834784
[startup+480.078 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 44075 47 0 0 25 0 10 0 838301963 854818816 25383 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 25383 13086 16 0 208680 0
vsize: 834784
[startup+490.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 45002 47 0 0 25 0 10 0 838301963 854818816 25410 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 25410 13086 16 0 208680 0
vsize: 834784
[startup+500.078 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 45925 48 0 0 25 0 10 0 838301963 854818816 25436 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 25436 13086 16 0 208680 0
vsize: 834784
[startup+510.078 s]
Raw data (loadavg): 1.05 1.01 1.00 3/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 46852 48 0 0 25 0 10 0 838301963 854818816 25516 4294967295 134512640 134569956 3221224368 3221214308 1131229091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 25516 13086 16 0 208680 0
vsize: 834784
[startup+520.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 47775 48 0 0 25 0 10 0 838301963 854818816 25679 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25679 13086 16 0 208680 0
vsize: 834784
[startup+530.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 48696 48 0 0 25 0 10 0 838301963 854818816 25752 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25752 13086 16 0 208680 0
vsize: 834784
[startup+540.081 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2613
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 49618 48 0 0 24 0 10 0 838301963 854818816 25784 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25784 13086 16 0 208680 0
vsize: 834784
[startup+550.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 50539 48 0 0 24 0 10 0 838301963 854818816 25808 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25808 13086 16 0 208680 0
vsize: 834784
[startup+560.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 51461 48 0 0 25 0 10 0 838301963 854818816 25886 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25886 13086 16 0 208680 0
vsize: 834784
[startup+570.084 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 52384 48 0 0 25 0 10 0 838301963 854818816 25911 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25911 13086 16 0 208680 0
vsize: 834784
[startup+580.085 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 53304 48 0 0 25 0 10 0 838301963 854818816 25934 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 25934 13086 16 0 208680 0
vsize: 834784
[startup+590.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 54226 48 0 0 25 0 10 0 838301963 854818816 26013 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26013 13086 16 0 208680 0
vsize: 834784
[startup+600.087 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 55146 49 0 0 25 0 10 0 838301963 854818816 26036 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26036 13086 16 0 208680 0
vsize: 834784
[startup+610.088 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 56067 49 0 0 25 0 10 0 838301963 854818816 26114 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26114 13086 16 0 208680 0
vsize: 834784
[startup+620.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 56986 49 0 0 25 0 10 0 838301963 854818816 26137 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26137 13086 16 0 208680 0
vsize: 834784
[startup+630.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 57904 49 0 0 25 0 10 0 838301963 854818816 26160 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26160 13086 16 0 208680 0
vsize: 834784
[startup+640.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 58823 49 0 0 25 0 10 0 838301963 854818816 26238 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26238 13086 16 0 208680 0
vsize: 834784
[startup+650.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 59740 49 0 0 24 0 10 0 838301963 854818816 26260 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26260 13086 16 0 208680 0
vsize: 834784
[startup+660.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 60658 49 0 0 24 0 10 0 838301963 854818816 26337 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26337 13086 16 0 208680 0
vsize: 834784
[startup+670.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 61576 49 0 0 25 0 10 0 838301963 854818816 26358 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26358 13086 16 0 208680 0
vsize: 834784
[startup+680.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 62489 49 0 0 25 0 10 0 838301963 854818816 26967 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26967 13086 16 0 208680 0
vsize: 834784
[startup+690.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 63404 49 0 0 25 0 10 0 838301963 854818816 26967 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 26967 13086 16 0 208680 0
vsize: 834784
[startup+700.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 64311 50 0 0 25 0 10 0 838301963 854818816 27022 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27022 13086 16 0 208680 0
vsize: 834784
[startup+710.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 65216 50 0 0 24 0 10 0 838301963 854818816 27043 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27043 13086 16 0 208680 0
vsize: 834784
[startup+720.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 66124 50 0 0 25 0 10 0 838301963 854818816 27109 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27109 13086 16 0 208680 0
vsize: 834784
[startup+730.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 67026 50 0 0 25 0 10 0 838301963 854818816 27130 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27130 13086 16 0 208680 0
vsize: 834784
[startup+740.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 67926 50 0 0 19 0 10 0 838301963 854818816 27196 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27196 13086 16 0 208680 0
vsize: 834784
[startup+750.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 68833 51 0 0 22 0 10 0 838301963 854818816 27215 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27215 13086 16 0 208680 0
vsize: 834784
[startup+760.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 69734 51 0 0 20 0 10 0 838301963 854818816 27281 4294967295 134512640 134569956 3221224368 3221214840 1131242947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27281 13086 16 0 208680 0
vsize: 834784
[startup+770.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 70635 51 0 0 24 0 10 0 838301963 854818816 27347 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27347 13086 16 0 208680 0
vsize: 834784
[startup+780.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 71534 51 0 0 20 0 10 0 838301963 854818816 27413 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27413 13086 16 0 208680 0
vsize: 834784
[startup+790.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 72435 51 0 0 22 0 10 0 838301963 854818816 27432 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27432 13086 16 0 208680 0
vsize: 834784
[startup+800.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2615
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 73323 51 0 0 18 0 10 0 838301963 854818816 27527 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27527 13086 16 0 208680 0
vsize: 834784
[startup+810.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 74209 51 0 0 19 0 10 0 838301963 854818816 27670 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27670 13086 16 0 208680 0
vsize: 834784
[startup+820.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 75102 51 0 0 23 0 10 0 838301963 854818816 27742 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27742 13086 16 0 208680 0
vsize: 834784
[startup+830.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 76006 51 0 0 23 0 10 0 838301963 854818816 27903 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27903 13086 16 0 208680 0
vsize: 834784
[startup+840.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 76915 52 0 0 25 0 10 0 838301963 854818816 27927 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27927 13086 16 0 208680 0
vsize: 834784
[startup+850.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 77822 52 0 0 24 0 10 0 838301963 854818816 27949 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 27949 13086 16 0 208680 0
vsize: 834784
[startup+860.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 78731 52 0 0 25 0 10 0 838301963 854818816 27967 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 27967 13086 16 0 208680 0
vsize: 834784
[startup+870.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 79634 52 0 0 25 0 10 0 838301963 854818816 28035 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28035 13086 16 0 208680 0
vsize: 834784
[startup+880.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 80542 52 0 0 24 0 10 0 838301963 854818816 28059 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28059 13086 16 0 208680 0
vsize: 834784
[startup+890.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 81454 52 0 0 25 0 10 0 838301963 854818816 28080 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28080 13086 16 0 208680 0
vsize: 834784
[startup+900.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 82354 52 0 0 20 0 10 0 838301963 854818816 28098 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28098 13086 16 0 208680 0
vsize: 834784
[startup+910.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 83256 52 0 0 25 0 10 0 838301963 854818816 28166 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28166 13086 16 0 208680 0
vsize: 834784
[startup+920.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 84168 52 0 0 23 0 10 0 838301963 854818816 28189 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28189 13086 16 0 208680 0
vsize: 834784
[startup+930.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 85073 52 0 0 20 0 10 0 838301963 854818816 28210 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28210 13086 16 0 208680 0
vsize: 834784
[startup+940.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 85978 53 0 0 24 0 10 0 838301963 854818816 28227 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28227 13086 16 0 208680 0
vsize: 834784
[startup+950.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 86879 53 0 0 22 0 10 0 838301963 854818816 28296 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28296 13086 16 0 208680 0
vsize: 834784
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 87784 53 0 0 19 0 10 0 838301963 854818816 28319 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28319 13086 16 0 208680 0
vsize: 834784
[startup+970.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 88693 53 0 0 23 0 10 0 838301963 854818816 28338 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28338 13086 16 0 208680 0
vsize: 834784
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 89591 53 0 0 19 0 10 0 838301963 854818816 28356 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28356 13086 16 0 208680 0
vsize: 834784
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 90497 53 0 0 24 0 10 0 838301963 854818816 28426 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28426 13086 16 0 208680 0
vsize: 834784
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 91401 54 0 0 21 0 10 0 838301963 854818816 28448 4294967295 134512640 134569956 3221224368 3221214772 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28448 13086 16 0 208680 0
vsize: 834784
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 92302 54 0 0 23 0 10 0 838301963 854818816 28466 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28466 13086 16 0 208680 0
vsize: 834784
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 93203 54 0 0 20 0 10 0 838301963 854818816 28483 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28483 13086 16 0 208680 0
vsize: 834784
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 94103 54 0 0 19 0 10 0 838301963 854818816 28555 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28555 13086 16 0 208680 0
vsize: 834784
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 95012 54 0 0 21 0 10 0 838301963 854818816 28575 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28575 13086 16 0 208680 0
vsize: 834784
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 95907 54 0 0 18 0 10 0 838301963 854818816 28592 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28592 13086 16 0 208680 0
vsize: 834784
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 96809 54 0 0 21 0 10 0 838301963 854818816 28657 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28657 13086 16 0 208680 0
vsize: 834784
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 97712 54 0 0 19 0 10 0 838301963 854818816 28682 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28682 13086 16 0 208680 0
vsize: 834784
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 98616 54 0 0 21 0 10 0 838301963 854818816 28699 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28699 13086 16 0 208680 0
vsize: 834784
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 99508 54 0 0 18 0 10 0 838301963 854818816 28717 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28717 13086 16 0 208680 0
vsize: 834784
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 100409 55 0 0 22 0 10 0 838301963 854818816 28787 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28787 13086 16 0 208680 0
vsize: 834784
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 101309 55 0 0 18 0 10 0 838301963 854818816 28807 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28807 13086 16 0 208680 0
vsize: 834784
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 102208 55 0 0 20 0 10 0 838301963 854818816 28823 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28823 13086 16 0 208680 0
vsize: 834784
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 103104 55 0 0 19 0 10 0 838301963 854818816 28894 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28894 13086 16 0 208680 0
vsize: 834784
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 104010 55 0 0 22 0 10 0 838301963 854818816 28913 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28913 13086 16 0 208680 0
vsize: 834784
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 104906 56 0 0 23 0 10 0 838301963 854818816 28939 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28939 13086 16 0 208680 0
vsize: 834784
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 105809 56 0 0 21 0 10 0 838301963 854818816 28995 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 28995 13086 16 0 208680 0
vsize: 834784
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 106709 56 0 0 24 0 10 0 838301963 854818816 29020 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29020 13086 16 0 208680 0
vsize: 834784
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 107611 56 0 0 21 0 10 0 838301963 854818816 29101 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29101 13086 16 0 208680 0
vsize: 834784
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 108514 56 0 0 23 0 10 0 838301963 854818816 29101 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29101 13086 16 0 208680 0
vsize: 834784
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 109416 56 0 0 20 0 10 0 838301963 854818816 29142 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29142 13086 16 0 208680 0
vsize: 834784
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 110321 56 0 0 25 0 10 0 838301963 854818816 29202 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29202 13086 16 0 208680 0
vsize: 834784
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 111224 56 0 0 21 0 10 0 838301963 854818816 29214 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29214 13086 16 0 208680 0
vsize: 834784
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 112123 56 0 0 22 0 10 0 838301963 854818816 29230 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29230 13086 16 0 208680 0
vsize: 834784
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 113012 56 0 0 18 0 10 0 838301963 854818816 29333 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29333 13086 16 0 208680 0
vsize: 834784
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 113914 56 0 0 21 0 10 0 838301963 854818816 29430 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29430 13086 16 0 208680 0
vsize: 834784
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 114822 56 0 0 25 0 10 0 838301963 854818816 29430 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29430 13086 16 0 208680 0
vsize: 834784
[startup+1270.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 115727 56 0 0 25 0 10 0 838301963 854818816 29442 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29442 13086 16 0 208680 0
vsize: 834784
[startup+1280.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 116621 57 0 0 25 0 10 0 838301963 854818816 29532 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29532 13086 16 0 208680 0
vsize: 834784
[startup+1290.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 117526 57 0 0 25 0 10 0 838301963 854818816 29545 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29545 13086 16 0 208680 0
vsize: 834784
[startup+1300.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 118423 57 0 0 25 0 10 0 838301963 854818816 29628 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29628 13086 16 0 208680 0
vsize: 834784
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) R 2550 23310 23309 0 -1 0 18016 0 1 0 119328 57 0 0 25 0 10 0 838301963 854818816 29714 4294967295 134512640 134569956 3221224368 3221214736 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29714 13086 16 0 208680 0
vsize: 834784
[startup+1320.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2617
Raw data (stat): 2551 (java) S 2550 23310 23309 0 -1 0 18016 0 1 0 120236 57 0 0 25 0 10 0 838301963 854818816 29727 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208696 29727 13086 16 0 208680 0
vsize: 834784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2619
Raw data (stat): 2551 (java) Z 2550 23310 23309 0 -1 1036 18016 13964 1 0 120242 63 12156 62 23 0 1 0 838301963 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): 1320.33
CPU time (s): 1325.25
CPU user time (s): 1323.98
CPU system time (s): 1.26181
CPU usage (%): 100.373
Max. virtual memory (Kb): 836116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####