PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
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	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 30159

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 15:28:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21558 boxname=wulflinc28 idbench=1546 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 21558
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        498768 kB
Buffers:         32676 kB
Cached:         480896 kB
SwapCached:       1052 kB
Active:          68296 kB
Inactive:       447840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        498516 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            14108 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:50:25 (client local time) WITH STATUS 143 IN 1309.98 SECONDS
stats: 21558 7 1309.98 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/wulflinc28/normalized-mps-v2-13-7-dc1l.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.24
#### 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.86 0.95 0.98 2/54 6518
Raw data (stat): 6518 (runsolver) R 6517 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839967637 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0013 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 875 40 0 0 25 0 10 0 839967637 853864448 19341 4294967295 134512640 134569956 3221224368 3221214456 1079275974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208463 19341 13086 16 0 208447 0
vsize: 833852
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 1772 41 0 0 25 0 10 0 839967637 853864448 19856 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208463 19856 13086 16 0 208447 0
vsize: 833852
[startup+30.0027 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 2661 41 0 0 25 0 10 0 839967637 853864448 20351 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208463 20351 13086 16 0 208447 0
vsize: 833852
[startup+40.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 3577 41 0 0 25 0 10 0 839967637 854863872 20841 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208707 20841 13086 16 0 208691 0
vsize: 834828
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 4497 41 0 0 25 0 10 0 839967637 854863872 21008 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208707 21008 13086 16 0 208691 0
vsize: 834828
[startup+60.0079 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 5414 42 0 0 24 0 10 0 839967637 854863872 21145 4294967295 134512640 134569956 3221224368 3221214768 1131241405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208707 21145 13086 16 0 208691 0
vsize: 834828
[startup+70.0087 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 6344 42 0 0 25 0 10 0 839967637 854896640 21434 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21434 13086 16 0 208699 0
vsize: 834860
[startup+80.0102 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 7282 42 0 0 25 0 10 0 839967637 854896640 21541 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21541 13086 16 0 208699 0
vsize: 834860
[startup+90.0108 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 8224 42 0 0 25 0 10 0 839967637 854896640 21633 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21633 13086 16 0 208699 0
vsize: 834860
[startup+100.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 9164 42 0 0 25 0 10 0 839967637 854896640 21724 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21724 13086 16 0 208699 0
vsize: 834860
[startup+110.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 10105 42 0 0 25 0 10 0 839967637 854896640 21809 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21809 13086 16 0 208699 0
vsize: 834860
[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 11046 42 0 0 24 0 10 0 839967637 854896640 21889 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21889 13086 16 0 208699 0
vsize: 834860
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 11991 42 0 0 25 0 10 0 839967637 854896640 21960 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 21960 13086 16 0 208699 0
vsize: 834860
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 12932 42 0 0 25 0 10 0 839967637 854896640 22032 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 22032 13086 16 0 208699 0
vsize: 834860
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 13874 42 0 0 25 0 10 0 839967637 854896640 22100 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 22100 13086 16 0 208699 0
vsize: 834860
[startup+160.021 s]
Raw data (loadavg): 0.99 0.97 0.99 3/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 14816 42 0 0 25 0 10 0 839967637 854896640 22164 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 22164 13086 16 0 208699 0
vsize: 834860
[startup+170.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 15755 43 0 0 25 0 10 0 839967637 854896640 22226 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 22226 13086 16 0 208699 0
vsize: 834860
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 16671 43 0 0 25 0 10 0 839967637 854896640 22284 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 22284 13086 16 0 208699 0
vsize: 834860
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 17590 43 0 0 25 0 10 0 839967637 854896640 22601 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22601 13086 16 0 208699 0
vsize: 834860
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 18531 43 0 0 25 0 10 0 839967637 854896640 22655 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22655 13086 16 0 208699 0
vsize: 834860
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 19468 44 0 0 25 0 10 0 839967637 854896640 22711 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22711 13086 16 0 208699 0
vsize: 834860
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 20406 44 0 0 24 0 10 0 839967637 854896640 22766 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22766 13086 16 0 208699 0
vsize: 834860
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 21347 45 0 0 22 0 10 0 839967637 854896640 22817 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22817 13086 16 0 208699 0
vsize: 834860
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 22285 45 0 0 25 0 10 0 839967637 854896640 22869 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22869 13086 16 0 208699 0
vsize: 834860
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 23225 45 0 0 25 0 10 0 839967637 854896640 22917 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22917 13086 16 0 208699 0
vsize: 834860
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 24161 46 0 0 25 0 10 0 839967637 854896640 22967 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 22967 13086 16 0 208699 0
vsize: 834860
[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 25098 46 0 0 24 0 10 0 839967637 854896640 23015 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23015 13086 16 0 208699 0
vsize: 834860
[startup+280.029 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 26037 46 0 0 22 0 10 0 839967637 854896640 23060 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23060 13086 16 0 208699 0
vsize: 834860
[startup+290.03 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 26971 46 0 0 24 0 10 0 839967637 854896640 23107 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23107 13086 16 0 208699 0
vsize: 834860
[startup+300.03 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 27910 46 0 0 25 0 10 0 839967637 854896640 23150 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23150 13086 16 0 208699 0
vsize: 834860
[startup+310.03 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 28844 47 0 0 25 0 10 0 839967637 854896640 23195 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23195 13086 16 0 208699 0
vsize: 834860
[startup+320.031 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 29782 47 0 0 25 0 10 0 839967637 854896640 23237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23237 13086 16 0 208699 0
vsize: 834860
[startup+330.031 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 30716 47 0 0 24 0 10 0 839967637 854896640 23280 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23280 13086 16 0 208699 0
vsize: 834860
[startup+340.032 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 31653 47 0 0 25 0 10 0 839967637 854896640 23321 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23321 13086 16 0 208699 0
vsize: 834860
[startup+350.032 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 32585 48 0 0 25 0 10 0 839967637 854896640 23363 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23363 13086 16 0 208699 0
vsize: 834860
[startup+360.034 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 33520 48 0 0 25 0 10 0 839967637 854896640 23402 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23402 13086 16 0 208699 0
vsize: 834860
[startup+370.034 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 34452 48 0 0 24 0 10 0 839967637 854896640 23443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23443 13086 16 0 208699 0
vsize: 834860
[startup+380.035 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 35387 49 0 0 25 0 10 0 839967637 854896640 23479 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23479 13086 16 0 208699 0
vsize: 834860
[startup+390.035 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 36321 49 0 0 25 0 10 0 839967637 854896640 23515 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23515 13086 16 0 208699 0
vsize: 834860
[startup+400.035 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 37252 49 0 0 25 0 10 0 839967637 854896640 23553 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23553 13086 16 0 208699 0
vsize: 834860
[startup+410.036 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 38186 50 0 0 25 0 10 0 839967637 854896640 23588 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23588 13086 16 0 208699 0
vsize: 834860
[startup+420.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 39115 50 0 0 25 0 10 0 839967637 854896640 23625 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23625 13086 16 0 208699 0
vsize: 834860
[startup+430.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 40049 51 0 0 25 0 10 0 839967637 854896640 23659 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23659 13086 16 0 208699 0
vsize: 834860
[startup+440.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 40980 51 0 0 25 0 10 0 839967637 854896640 23693 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23693 13086 16 0 208699 0
vsize: 834860
[startup+450.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 41909 51 0 0 25 0 10 0 839967637 854896640 23728 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23728 13086 16 0 208699 0
vsize: 834860
[startup+460.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 42841 52 0 0 25 0 10 0 839967637 854896640 23761 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23761 13086 16 0 208699 0
vsize: 834860
[startup+470.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 43768 52 0 0 25 0 10 0 839967637 854896640 23796 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23796 13086 16 0 208699 0
vsize: 834860
[startup+480.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 44699 52 0 0 25 0 10 0 839967637 854896640 23829 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23829 13086 16 0 208699 0
vsize: 834860
[startup+490.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 45629 53 0 0 25 0 10 0 839967637 854896640 23861 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23861 13086 16 0 208699 0
vsize: 834860
[startup+500.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 46555 53 0 0 24 0 10 0 839967637 854896640 23894 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23894 13086 16 0 208699 0
vsize: 834860
[startup+510.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 47485 54 0 0 25 0 10 0 839967637 854896640 23926 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23926 13086 16 0 208699 0
vsize: 834860
[startup+520.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 48414 54 0 0 25 0 10 0 839967637 854896640 23956 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23956 13086 16 0 208699 0
vsize: 834860
[startup+530.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 49339 54 0 0 24 0 10 0 839967637 854896640 23989 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 23989 13086 16 0 208699 0
vsize: 834860
[startup+540.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 50267 56 0 0 25 0 10 0 839967637 854896640 24019 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24019 13086 16 0 208699 0
vsize: 834860
[startup+550.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 51195 56 0 0 25 0 10 0 839967637 854896640 24049 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24049 13086 16 0 208699 0
vsize: 834860
[startup+560.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 52120 57 0 0 25 0 10 0 839967637 854896640 24080 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24080 13086 16 0 208699 0
vsize: 834860
[startup+570.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 53046 57 0 0 25 0 10 0 839967637 854896640 24110 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24110 13086 16 0 208699 0
vsize: 834860
[startup+580.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 53973 57 0 0 25 0 10 0 839967637 854896640 24139 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24139 13086 16 0 208699 0
vsize: 834860
[startup+590.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 54901 58 0 0 25 0 10 0 839967637 854896640 24168 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24168 13086 16 0 208699 0
vsize: 834860
[startup+600.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 55825 58 0 0 25 0 10 0 839967637 854896640 24198 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24198 13086 16 0 208699 0
vsize: 834860
[startup+610.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 56749 59 0 0 25 0 10 0 839967637 854896640 24227 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24227 13086 16 0 208699 0
vsize: 834860
[startup+620.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 57675 59 0 0 25 0 10 0 839967637 854896640 24255 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24255 13086 16 0 208699 0
vsize: 834860
[startup+630.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 58600 60 0 0 25 0 10 0 839967637 854896640 24283 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24283 13086 16 0 208699 0
vsize: 834860
[startup+640.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 59525 60 0 0 25 0 10 0 839967637 854896640 24311 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24311 13086 16 0 208699 0
vsize: 834860
[startup+650.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 60446 61 0 0 24 0 10 0 839967637 854896640 24340 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24340 13086 16 0 208699 0
vsize: 834860
[startup+660.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 61370 61 0 0 25 0 10 0 839967637 854896640 24369 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 24369 13086 16 0 208699 0
vsize: 834860
[startup+670.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 62289 62 0 0 25 0 10 0 839967637 854896640 25278 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25278 13086 16 0 208699 0
vsize: 834860
[startup+680.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 63209 62 0 0 18 0 10 0 839967637 854896640 25278 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25278 13086 16 0 208699 0
vsize: 834860
[startup+690.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 64124 62 0 0 25 0 10 0 839967637 854896640 25301 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25301 13086 16 0 208699 0
vsize: 834860
[startup+700.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 65038 63 0 0 25 0 10 0 839967637 854896640 25327 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25327 13086 16 0 208699 0
vsize: 834860
[startup+710.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 65951 63 0 0 25 0 10 0 839967637 854896640 25354 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25354 13086 16 0 208699 0
vsize: 834860
[startup+720.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 66863 63 0 0 25 0 10 0 839967637 854896640 25380 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25380 13086 16 0 208699 0
vsize: 834860
[startup+730.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 67775 64 0 0 25 0 10 0 839967637 854896640 25406 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25406 13086 16 0 208699 0
vsize: 834860
[startup+740.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 68687 64 0 0 25 0 10 0 839967637 854896640 25431 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25431 13086 16 0 208699 0
vsize: 834860
[startup+750.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 69600 65 0 0 25 0 10 0 839967637 854896640 25457 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25457 13086 16 0 208699 0
vsize: 834860
[startup+760.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 70512 65 0 0 25 0 10 0 839967637 854896640 25483 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25483 13086 16 0 208699 0
vsize: 834860
[startup+770.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 71424 66 0 0 25 0 10 0 839967637 854896640 25508 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25508 13086 16 0 208699 0
vsize: 834860
[startup+780.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 72335 66 0 0 17 0 10 0 839967637 854896640 25534 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25534 13086 16 0 208699 0
vsize: 834860
[startup+790.067 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 73247 66 0 0 25 0 10 0 839967637 854896640 25559 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25559 13086 16 0 208699 0
vsize: 834860
[startup+800.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 74158 66 0 0 24 0 10 0 839967637 854896640 25584 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25584 13086 16 0 208699 0
vsize: 834860
[startup+810.071 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 75068 67 0 0 19 0 10 0 839967637 854896640 25609 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25609 13086 16 0 208699 0
vsize: 834860
[startup+820.073 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 75984 67 0 0 25 0 10 0 839967637 854896640 25632 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25632 13086 16 0 208699 0
vsize: 834860
[startup+830.073 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 76894 68 0 0 25 0 10 0 839967637 854896640 25657 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25657 13086 16 0 208699 0
vsize: 834860
[startup+840.073 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 77803 68 0 0 25 0 10 0 839967637 854896640 25681 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25681 13086 16 0 208699 0
vsize: 834860
[startup+850.074 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 78713 68 0 0 25 0 10 0 839967637 854896640 25707 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25707 13086 16 0 208699 0
vsize: 834860
[startup+860.075 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 79622 68 0 0 25 0 10 0 839967637 854896640 25731 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25731 13086 16 0 208699 0
vsize: 834860
[startup+870.075 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 80533 69 0 0 25 0 10 0 839967637 854896640 25755 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25755 13086 16 0 208699 0
vsize: 834860
[startup+880.075 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 81442 69 0 0 25 0 10 0 839967637 854896640 25779 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25779 13086 16 0 208699 0
vsize: 834860
[startup+890.076 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 82349 70 0 0 25 0 10 0 839967637 854896640 25802 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25802 13086 16 0 208699 0
vsize: 834860
[startup+900.077 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 83257 70 0 0 24 0 10 0 839967637 854896640 25826 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25826 13086 16 0 208699 0
vsize: 834860
[startup+910.077 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 84165 70 0 0 24 0 10 0 839967637 854896640 25849 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25849 13086 16 0 208699 0
vsize: 834860
[startup+920.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 85079 71 0 0 25 0 10 0 839967637 854896640 25871 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25871 13086 16 0 208699 0
vsize: 834860
[startup+930.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 85985 71 0 0 25 0 10 0 839967637 854896640 25894 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25894 13086 16 0 208699 0
vsize: 834860
[startup+940.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 86891 72 0 0 25 0 10 0 839967637 854896640 25918 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25918 13086 16 0 208699 0
vsize: 834860
[startup+950.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 87796 72 0 0 25 0 10 0 839967637 854896640 25942 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25942 13086 16 0 208699 0
vsize: 834860
[startup+960.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 88700 73 0 0 24 0 10 0 839967637 854896640 25970 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25970 13086 16 0 208699 0
vsize: 834860
[startup+970.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 89609 74 0 0 25 0 10 0 839967637 854896640 25993 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 25993 13086 16 0 208699 0
vsize: 834860
[startup+980.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 90516 74 0 0 25 0 10 0 839967637 854896640 26021 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26021 13086 16 0 208699 0
vsize: 834860
[startup+990.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 91422 75 0 0 25 0 10 0 839967637 854896640 26044 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26044 13086 16 0 208699 0
vsize: 834860
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 92326 75 0 0 25 0 10 0 839967637 854896640 26074 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26074 13086 16 0 208699 0
vsize: 834860
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 93230 75 0 0 25 0 10 0 839967637 854896640 26097 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26097 13086 16 0 208699 0
vsize: 834860
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 94141 76 0 0 25 0 10 0 839967637 854896640 26117 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26117 13086 16 0 208699 0
vsize: 834860
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 95045 76 0 0 25 0 10 0 839967637 854896640 26150 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26150 13086 16 0 208699 0
vsize: 834860
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 95949 76 0 0 25 0 10 0 839967637 854896640 26172 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26172 13086 16 0 208699 0
vsize: 834860
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 96852 76 0 0 25 0 10 0 839967637 854896640 26200 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26200 13086 16 0 208699 0
vsize: 834860
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 97754 77 0 0 25 0 10 0 839967637 854896640 26227 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26227 13086 16 0 208699 0
vsize: 834860
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 98659 77 0 0 25 0 10 0 839967637 854896640 26251 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26251 13086 16 0 208699 0
vsize: 834860
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 99562 77 0 0 25 0 10 0 839967637 854896640 26275 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26275 13086 16 0 208699 0
vsize: 834860
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 100464 77 0 0 25 0 10 0 839967637 854896640 26301 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26301 13086 16 0 208699 0
vsize: 834860
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 101366 78 0 0 25 0 10 0 839967637 854896640 26326 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26326 13086 16 0 208699 0
vsize: 834860
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 102273 78 0 0 25 0 10 0 839967637 854896640 26349 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26349 13086 16 0 208699 0
vsize: 834860
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 103174 78 0 0 25 0 10 0 839967637 854896640 26374 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26374 13086 16 0 208699 0
vsize: 834860
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 104074 78 0 0 25 0 10 0 839967637 854896640 26399 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26399 13086 16 0 208699 0
vsize: 834860
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 104975 79 0 0 25 0 10 0 839967637 854896640 26422 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26422 13086 16 0 208699 0
vsize: 834860
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 105881 79 0 0 25 0 10 0 839967637 854896640 26441 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26441 13086 16 0 208699 0
vsize: 834860
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 106781 80 0 0 25 0 10 0 839967637 854896640 26470 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26470 13086 16 0 208699 0
vsize: 834860
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 107682 80 0 0 25 0 10 0 839967637 854896640 26495 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26495 13086 16 0 208699 0
vsize: 834860
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 108587 80 0 0 25 0 10 0 839967637 854896640 26514 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26514 13086 16 0 208699 0
vsize: 834860
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 109486 80 0 0 25 0 10 0 839967637 854896640 26541 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26541 13086 16 0 208699 0
vsize: 834860
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 110382 80 0 0 25 0 10 0 839967637 854896640 26565 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26565 13086 16 0 208699 0
vsize: 834860
[startup+1210.11 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 111281 81 0 0 25 0 10 0 839967637 854896640 26587 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208715 26587 13086 16 0 208699 0
vsize: 834860
[startup+1220.11 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 112184 81 0 0 25 0 10 0 839967637 854896640 26610 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26610 13086 16 0 208699 0
vsize: 834860
[startup+1230.11 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 113083 81 0 0 25 0 10 0 839967637 854896640 26630 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26630 13086 16 0 208699 0
vsize: 834860
[startup+1240.11 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 113982 81 0 0 24 0 10 0 839967637 854896640 26651 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26651 13086 16 0 208699 0
vsize: 834860
[startup+1250.11 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 114886 81 0 0 25 0 10 0 839967637 854896640 26669 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26669 13086 16 0 208699 0
vsize: 834860
[startup+1260.11 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 115784 82 0 0 25 0 10 0 839967637 854896640 26700 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26700 13086 16 0 208699 0
vsize: 834860
[startup+1270.11 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 116682 82 0 0 24 0 10 0 839967637 854896640 26734 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26734 13086 16 0 208699 0
vsize: 834860
[startup+1280.11 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 117587 83 0 0 25 0 10 0 839967637 854896640 26757 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26757 13086 16 0 208699 0
vsize: 834860
[startup+1290.12 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 118488 83 0 0 21 0 10 0 839967637 854896640 26773 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26773 13086 16 0 208699 0
vsize: 834860
[startup+1300.12 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) R 6517 24821 24820 0 -1 0 18021 0 1 0 119388 84 0 0 20 0 10 0 839967637 854896640 26803 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26803 13086 16 0 208699 0
vsize: 834860
[startup+1310.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6527
Raw data (stat): 6518 (java) S 6517 24821 24820 0 -1 0 18021 0 1 0 120294 84 0 0 24 0 10 0 839967637 854896640 26820 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208715 26820 13086 16 0 208699 0
vsize: 834860
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.27 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 6529
Raw data (stat): 6518 (java) Z 6517 24821 24820 0 -1 1036 18021 8258 1 0 120301 84 10568 43 20 0 1 0 839967637 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.27
CPU time (s): 1309.98
CPU user time (s): 1308.69
CPU system time (s): 1.2858
CPU usage (%): 99.9777
Max. virtual memory (Kb): 834860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####