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/fctp/normalized-mps-v2-13-7-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39143259648
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39143259648
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.975851
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30070

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        614376 kB
Buffers:         32096 kB
Cached:         367532 kB
SwapCached:        756 kB
Active:          71820 kB
Inactive:       329992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        614124 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12896 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:50:39 (client local time) WITH STATUS 143 IN 1309.81 SECONDS
stats: 21474 7 1309.81 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/wulflinc7/normalized-mps-v2-13-7-n3700.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.142
#### 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.97 0.99 2/54 10586
Raw data (stat): 10586 (runsolver) R 10585 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781389407 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.0007 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18024 0 1 0 873 39 0 0 25 0 10 0 781389407 853454848 19335 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208363 19335 13086 16 0 208347 0
vsize: 833452
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 1771 40 0 0 25 0 10 0 781389407 854458368 20050 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 20050 13086 16 0 208592 0
vsize: 834432
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 2662 40 0 0 20 0 10 0 781389407 853454848 20348 4294967295 134512640 134569956 3221224368 3221214648 1131190875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208363 20348 13086 16 0 208347 0
vsize: 833452
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 3578 40 0 0 25 0 10 0 781389407 853770240 20716 4294967295 134512640 134569956 3221224368 3221214768 1131240376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208440 20716 13086 16 0 208424 0
vsize: 833760
[startup+50.0039 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 4500 40 0 0 25 0 10 0 781389407 853770240 20879 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208440 20879 13086 16 0 208424 0
vsize: 833760
[startup+60.0046 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 5416 41 0 0 25 0 10 0 781389407 853770240 21010 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208440 21010 13086 16 0 208424 0
vsize: 833760
[startup+70.0054 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 6348 41 0 0 25 0 10 0 781389407 854503424 21259 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21259 13086 16 0 208603 0
vsize: 834476
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 7286 41 0 0 25 0 10 0 781389407 854503424 21361 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21361 13086 16 0 208603 0
vsize: 834476
[startup+90.0074 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 8230 42 0 0 25 0 10 0 781389407 854503424 21448 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21448 13086 16 0 208603 0
vsize: 834476
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 9171 42 0 0 25 0 10 0 781389407 854503424 21534 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21534 13086 16 0 208603 0
vsize: 834476
[startup+110.011 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 10112 43 0 0 25 0 10 0 781389407 854503424 21614 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21614 13086 16 0 208603 0
vsize: 834476
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 11057 43 0 0 25 0 10 0 781389407 854503424 21686 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21686 13086 16 0 208603 0
vsize: 834476
[startup+130.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 11999 44 0 0 25 0 10 0 781389407 854503424 21758 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21758 13086 16 0 208603 0
vsize: 834476
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 12941 44 0 0 25 0 10 0 781389407 854503424 21827 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21827 13086 16 0 208603 0
vsize: 834476
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 13884 45 0 0 25 0 10 0 781389407 854503424 21890 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21890 13086 16 0 208603 0
vsize: 834476
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 14828 45 0 0 25 0 10 0 781389407 854503424 21952 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 21952 13086 16 0 208603 0
vsize: 834476
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 15765 46 0 0 25 0 10 0 781389407 854503424 22014 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22014 13086 16 0 208603 0
vsize: 834476
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 16682 47 0 0 25 0 10 0 781389407 854503424 22069 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22069 13086 16 0 208603 0
vsize: 834476
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 17605 47 0 0 25 0 10 0 781389407 854503424 22380 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22380 13086 16 0 208603 0
vsize: 834476
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 18543 48 0 0 25 0 10 0 781389407 854503424 22436 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22436 13086 16 0 208603 0
vsize: 834476
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 19482 48 0 0 25 0 10 0 781389407 854503424 22488 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22488 13086 16 0 208603 0
vsize: 834476
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 20423 49 0 0 25 0 10 0 781389407 854503424 22539 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22539 13086 16 0 208603 0
vsize: 834476
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 21360 49 0 0 22 0 10 0 781389407 854503424 22591 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22591 13086 16 0 208603 0
vsize: 834476
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 22301 49 0 0 25 0 10 0 781389407 854503424 22638 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22638 13086 16 0 208603 0
vsize: 834476
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 23238 50 0 0 25 0 10 0 781389407 854503424 22688 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22688 13086 16 0 208603 0
vsize: 834476
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 24174 50 0 0 24 0 10 0 781389407 854503424 22735 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22735 13086 16 0 208603 0
vsize: 834476
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 25113 51 0 0 25 0 10 0 781389407 854503424 22779 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22779 13086 16 0 208603 0
vsize: 834476
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 26049 52 0 0 25 0 10 0 781389407 854503424 22825 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22825 13086 16 0 208603 0
vsize: 834476
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 26988 52 0 0 25 0 10 0 781389407 854503424 22867 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22867 13086 16 0 208603 0
vsize: 834476
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 27923 52 0 0 25 0 10 0 781389407 854503424 22912 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22912 13086 16 0 208603 0
vsize: 834476
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 28861 53 0 0 25 0 10 0 781389407 854503424 22952 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22952 13086 16 0 208603 0
vsize: 834476
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 29794 53 0 0 25 0 10 0 781389407 854503424 22995 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 22995 13086 16 0 208603 0
vsize: 834476
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 30732 54 0 0 25 0 10 0 781389407 854503424 23034 4294967295 134512640 134569956 3221224368 3221214160 1076879009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23034 13086 16 0 208603 0
vsize: 834476
[startup+340.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 31666 54 0 0 25 0 10 0 781389407 854503424 23075 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23075 13086 16 0 208603 0
vsize: 834476
[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 32602 54 0 0 25 0 10 0 781389407 854503424 23114 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23114 13086 16 0 208603 0
vsize: 834476
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 33534 55 0 0 25 0 10 0 781389407 854503424 23153 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23153 13086 16 0 208603 0
vsize: 834476
[startup+370.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 34469 55 0 0 25 0 10 0 781389407 854503424 23191 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23191 13086 16 0 208603 0
vsize: 834476
[startup+380.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 35400 56 0 0 25 0 10 0 781389407 854503424 23230 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23230 13086 16 0 208603 0
vsize: 834476
[startup+390.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 36335 56 0 0 25 0 10 0 781389407 854503424 23266 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23266 13086 16 0 208603 0
vsize: 834476
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 37265 57 0 0 24 0 10 0 781389407 854503424 23304 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23304 13086 16 0 208603 0
vsize: 834476
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 38199 57 0 0 25 0 10 0 781389407 854503424 23339 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23339 13086 16 0 208603 0
vsize: 834476
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 39132 57 0 0 25 0 10 0 781389407 854503424 23373 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23373 13086 16 0 208603 0
vsize: 834476
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 40062 58 0 0 25 0 10 0 781389407 854503424 23410 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23410 13086 16 0 208603 0
vsize: 834476
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 40994 58 0 0 25 0 10 0 781389407 854503424 23443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23443 13086 16 0 208603 0
vsize: 834476
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 41926 59 0 0 25 0 10 0 781389407 854503424 23477 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23477 13086 16 0 208603 0
vsize: 834476
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 42855 59 0 0 25 0 10 0 781389407 854503424 23512 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23512 13086 16 0 208603 0
vsize: 834476
[startup+470.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 43786 60 0 0 25 0 10 0 781389407 854503424 23544 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23544 13086 16 0 208603 0
vsize: 834476
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 44714 60 0 0 24 0 10 0 781389407 854503424 23578 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23578 13086 16 0 208603 0
vsize: 834476
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 45644 61 0 0 25 0 10 0 781389407 854503424 23610 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23610 13086 16 0 208603 0
vsize: 834476
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 46574 61 0 0 25 0 10 0 781389407 854503424 23642 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23642 13086 16 0 208603 0
vsize: 834476
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 47499 62 0 0 25 0 10 0 781389407 854503424 23675 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23675 13086 16 0 208603 0
vsize: 834476
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 48429 62 0 0 25 0 10 0 781389407 854503424 23706 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23706 13086 16 0 208603 0
vsize: 834476
[startup+530.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 49358 62 0 0 25 0 10 0 781389407 854503424 23737 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23737 13086 16 0 208603 0
vsize: 834476
[startup+540.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 50282 63 0 0 25 0 10 0 781389407 854503424 23769 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23769 13086 16 0 208603 0
vsize: 834476
[startup+550.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 51210 64 0 0 25 0 10 0 781389407 854503424 23799 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23799 13086 16 0 208603 0
vsize: 834476
[startup+560.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 52138 64 0 0 24 0 10 0 781389407 854503424 23829 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23829 13086 16 0 208603 0
vsize: 834476
[startup+570.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 53061 65 0 0 25 0 10 0 781389407 854503424 23859 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23859 13086 16 0 208603 0
vsize: 834476
[startup+580.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 53988 66 0 0 25 0 10 0 781389407 854503424 23889 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23889 13086 16 0 208603 0
vsize: 834476
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 54915 66 0 0 23 0 10 0 781389407 854503424 23918 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23918 13086 16 0 208603 0
vsize: 834476
[startup+600.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 55839 67 0 0 25 0 10 0 781389407 854503424 23947 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23947 13086 16 0 208603 0
vsize: 834476
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 56761 67 0 0 24 0 10 0 781389407 854503424 23977 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 23977 13086 16 0 208603 0
vsize: 834476
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 57687 67 0 0 25 0 10 0 781389407 854503424 24005 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 24005 13086 16 0 208603 0
vsize: 834476
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 58612 68 0 0 25 0 10 0 781389407 854503424 24033 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 24033 13086 16 0 208603 0
vsize: 834476
[startup+640.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 59537 68 0 0 25 0 10 0 781389407 854503424 24060 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 24060 13086 16 0 208603 0
vsize: 834476
[startup+650.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 60458 69 0 0 24 0 10 0 781389407 854503424 24090 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 24090 13086 16 0 208603 0
vsize: 834476
[startup+660.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 61382 69 0 0 25 0 10 0 781389407 854503424 24117 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 24117 13086 16 0 208603 0
vsize: 834476
[startup+670.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 62301 69 0 0 25 0 10 0 781389407 854503424 25033 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 25033 13086 16 0 208603 0
vsize: 834476
[startup+680.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 63221 69 0 0 25 0 10 0 781389407 854503424 25033 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 25033 13086 16 0 208603 0
vsize: 834476
[startup+690.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 64136 69 0 0 25 0 10 0 781389407 854503424 25057 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 25057 13086 16 0 208603 0
vsize: 834476
[startup+700.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 65050 69 0 0 25 0 10 0 781389407 854503424 25084 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 25084 13086 16 0 208603 0
vsize: 834476
[startup+710.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 65962 69 0 0 25 0 10 0 781389407 854503424 25110 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25110 13086 16 0 208603 0
vsize: 834476
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 66874 70 0 0 25 0 10 0 781389407 854503424 25136 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25136 13086 16 0 208603 0
vsize: 834476
[startup+730.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 67787 70 0 0 25 0 10 0 781389407 854503424 25162 4294967295 134512640 134569956 3221224368 3221214776 1131173181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25162 13086 16 0 208603 0
vsize: 834476
[startup+740.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 68700 71 0 0 25 0 10 0 781389407 854503424 25188 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25188 13086 16 0 208603 0
vsize: 834476
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 69612 71 0 0 25 0 10 0 781389407 854503424 25213 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25213 13086 16 0 208603 0
vsize: 834476
[startup+760.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 70524 71 0 0 25 0 10 0 781389407 854503424 25238 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25238 13086 16 0 208603 0
vsize: 834476
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 71436 72 0 0 20 0 10 0 781389407 854503424 25264 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25264 13086 16 0 208603 0
vsize: 834476
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 72349 72 0 0 25 0 10 0 781389407 854503424 25289 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25289 13086 16 0 208603 0
vsize: 834476
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 73261 72 0 0 25 0 10 0 781389407 854503424 25313 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25313 13086 16 0 208603 0
vsize: 834476
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 74172 72 0 0 24 0 10 0 781389407 854503424 25338 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25338 13086 16 0 208603 0
vsize: 834476
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 75083 73 0 0 24 0 10 0 781389407 854503424 25363 4294967295 134512640 134569956 3221224368 3221214748 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25363 13086 16 0 208603 0
vsize: 834476
[startup+820.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 75997 73 0 0 25 0 10 0 781389407 854503424 25386 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25386 13086 16 0 208603 0
vsize: 834476
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 76910 73 0 0 25 0 10 0 781389407 854503424 25410 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25410 13086 16 0 208603 0
vsize: 834476
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 77820 74 0 0 25 0 10 0 781389407 854503424 25434 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25434 13086 16 0 208603 0
vsize: 834476
[startup+850.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 78729 74 0 0 25 0 10 0 781389407 854503424 25458 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25458 13086 16 0 208603 0
vsize: 834476
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 79638 75 0 0 25 0 10 0 781389407 854503424 25482 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25482 13086 16 0 208603 0
vsize: 834476
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 80548 75 0 0 21 0 10 0 781389407 854503424 25505 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25505 13086 16 0 208603 0
vsize: 834476
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 81456 76 0 0 21 0 10 0 781389407 854503424 25529 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25529 13086 16 0 208603 0
vsize: 834476
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 82365 76 0 0 20 0 10 0 781389407 854503424 25552 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25552 13086 16 0 208603 0
vsize: 834476
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 83273 77 0 0 19 0 10 0 781389407 854503424 25576 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25576 13086 16 0 208603 0
vsize: 834476
[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 84180 77 0 0 24 0 10 0 781389407 854503424 25602 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25602 13086 16 0 208603 0
vsize: 834476
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 85092 78 0 0 23 0 10 0 781389407 854503424 25624 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25624 13086 16 0 208603 0
vsize: 834476
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 85998 79 0 0 22 0 10 0 781389407 854503424 25653 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25653 13086 16 0 208603 0
vsize: 834476
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 86905 79 0 0 21 0 10 0 781389407 854503424 25676 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25676 13086 16 0 208603 0
vsize: 834476
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 87811 80 0 0 20 0 10 0 781389407 854503424 25706 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25706 13086 16 0 208603 0
vsize: 834476
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 88714 81 0 0 19 0 10 0 781389407 854503424 25735 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25735 13086 16 0 208603 0
vsize: 834476
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 89625 81 0 0 24 0 10 0 781389407 854503424 25756 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25756 13086 16 0 208603 0
vsize: 834476
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 90530 82 0 0 22 0 10 0 781389407 854503424 25784 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25784 13086 16 0 208603 0
vsize: 834476
[startup+990.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 91435 83 0 0 22 0 10 0 781389407 854503424 25806 4294967295 134512640 134569956 3221224368 3221213848 1079276790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25806 13086 16 0 208603 0
vsize: 834476
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 92339 83 0 0 21 0 10 0 781389407 854503424 25837 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25837 13086 16 0 208603 0
vsize: 834476
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 93244 84 0 0 19 0 10 0 781389407 854503424 25858 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25858 13086 16 0 208603 0
vsize: 834476
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 94153 84 0 0 25 0 10 0 781389407 854503424 25879 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25879 13086 16 0 208603 0
vsize: 834476
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 95059 85 0 0 22 0 10 0 781389407 854503424 25912 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25912 13086 16 0 208603 0
vsize: 834476
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 95963 85 0 0 21 0 10 0 781389407 854503424 25933 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25933 13086 16 0 208603 0
vsize: 834476
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 96866 85 0 0 20 0 10 0 781389407 854503424 25961 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25961 13086 16 0 208603 0
vsize: 834476
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 97772 86 0 0 23 0 10 0 781389407 854503424 25986 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 25986 13086 16 0 208603 0
vsize: 834476
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 98676 86 0 0 22 0 10 0 781389407 854503424 26010 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26010 13086 16 0 208603 0
vsize: 834476
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 99577 87 0 0 20 0 10 0 781389407 854503424 26033 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26033 13086 16 0 208603 0
vsize: 834476
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 100480 87 0 0 19 0 10 0 781389407 854503424 26060 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26060 13086 16 0 208603 0
vsize: 834476
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 101387 88 0 0 22 0 10 0 781389407 854503424 26082 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26082 13086 16 0 208603 0
vsize: 834476
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 102288 88 0 0 20 0 10 0 781389407 854503424 26107 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26107 13086 16 0 208603 0
vsize: 834476
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 103188 88 0 0 18 0 10 0 781389407 854503424 26132 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26132 13086 16 0 208603 0
vsize: 834476
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 104095 88 0 0 23 0 10 0 781389407 854503424 26155 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26155 13086 16 0 208603 0
vsize: 834476
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 104995 88 0 0 21 0 10 0 781389407 854503424 26178 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26178 13086 16 0 208603 0
vsize: 834476
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 105894 89 0 0 19 0 10 0 781389407 854503424 26199 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26199 13086 16 0 208603 0
vsize: 834476
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 106800 89 0 0 24 0 10 0 781389407 854503424 26226 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208619 26226 13086 16 0 208603 0
vsize: 834476
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 107700 89 0 0 22 0 10 0 781389407 854503424 26249 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26249 13086 16 0 208603 0
vsize: 834476
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 108599 89 0 0 19 0 10 0 781389407 854503424 26270 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26270 13086 16 0 208603 0
vsize: 834476
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 109503 89 0 0 24 0 10 0 781389407 854503424 26297 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26297 13086 16 0 208603 0
vsize: 834476
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 110400 89 0 0 21 0 10 0 781389407 854503424 26320 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26320 13086 16 0 208603 0
vsize: 834476
[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 111297 90 0 0 19 0 10 0 781389407 854503424 26343 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26343 13086 16 0 208603 0
vsize: 834476
[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 112202 90 0 0 24 0 10 0 781389407 854503424 26365 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26365 13086 16 0 208603 0
vsize: 834476
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 113102 90 0 0 21 0 10 0 781389407 854503424 26384 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26384 13086 16 0 208603 0
vsize: 834476
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 114000 91 0 0 20 0 10 0 781389407 854503424 26404 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26404 13086 16 0 208603 0
vsize: 834476
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) S 10585 24300 24299 0 -1 0 18025 0 1 0 114904 91 0 0 23 0 10 0 781389407 854503424 26423 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26423 13086 16 0 208603 0
vsize: 834476
[startup+1260.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 115804 91 0 0 21 0 10 0 781389407 854503424 26454 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26454 13086 16 0 208603 0
vsize: 834476
[startup+1270.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 116701 92 0 0 18 0 10 0 781389407 854503424 26488 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26488 13086 16 0 208603 0
vsize: 834476
[startup+1280.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 117606 92 0 0 24 0 10 0 781389407 854503424 26507 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26507 13086 16 0 208603 0
vsize: 834476
[startup+1290.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 118506 93 0 0 21 0 10 0 781389407 854503424 26525 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26525 13086 16 0 208603 0
vsize: 834476
[startup+1300.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 119407 93 0 0 20 0 10 0 781389407 854503424 26558 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26558 13086 16 0 208603 0
vsize: 834476
[startup+1310.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 10595
Raw data (stat): 10586 (java) R 10585 24300 24299 0 -1 0 18025 0 1 0 120311 94 0 0 19 0 10 0 781389407 854503424 26575 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208619 26575 13086 16 0 208603 0
vsize: 834476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 10597
Raw data (stat): 10586 (java) Z 10585 24300 24299 0 -1 1036 18025 8137 1 0 120314 94 10528 43 19 0 1 0 781389407 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.17
CPU time (s): 1309.81
CPU user time (s): 1308.43
CPU system time (s): 1.37979
CPU usage (%): 99.9727
Max. virtual memory (Kb): 834476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####