PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 29177

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        650976 kB
Buffers:         29460 kB
Cached:         327260 kB
SwapCached:        416 kB
Active:          33820 kB
Inactive:       325164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        650724 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19064 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:45:39 (client local time) WITH STATUS 143 IN 1306.1 SECONDS
stats: 20567 7 1306.1 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/wulflinc19/normalized-ii32d3.opb
c reading problem ... done. Time 7.42 ms.
c #vars     1648
c #constraints  20302
c starts	: 13
c conflicts	: 26444
c decisions	: 41561
c propagations	: 5257821
c inspects	: 53921272
c learned literals	: 0
c learned binary clauses	: 4
c learned ternary clauses	: 7
c learned clauses	: 26443
c root simplifications	: 13
s UNKNOWN
c Total CPU time (ms) : 1309.165
#### 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.96 1.01 0.97 2/54 20941
Raw data (stat): 20941 (runsolver) R 20940 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836324814 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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): 1.21 1.06 0.98 3/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18072 0 1 0 671 41 0 0 25 0 11 0 836324814 867356672 24619 4294967295 134512640 134569956 3221224384 3221214780 1131394840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211757 24619 13086 16 0 211741 0
vsize: 847028
[startup+20.0016 s]
Raw data (loadavg): 1.25 1.07 0.99 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 1463 41 0 0 25 0 11 0 836324814 871550976 27627 4294967295 134512640 134569956 3221224384 3221214704 1131394449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 27627 13086 16 0 212765 0
vsize: 851124
[startup+30.0018 s]
Raw data (loadavg): 1.22 1.07 0.99 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 2424 41 0 0 25 0 11 0 836324814 878891008 29672 4294967295 134512640 134569956 3221224384 3221214808 1131443514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214573 29672 13086 16 0 214557 0
vsize: 858292
[startup+40.0022 s]
Raw data (loadavg): 1.26 1.08 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 3369 41 0 0 24 0 11 0 836324814 871550976 28164 4294967295 134512640 134569956 3221224384 3221214748 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 28164 13086 16 0 212765 0
vsize: 851124
[startup+50.003 s]
Raw data (loadavg): 1.22 1.08 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 4317 42 0 0 25 0 11 0 836324814 871550976 28365 4294967295 134512640 134569956 3221224384 3221214784 1131414465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 28365 13086 16 0 212765 0
vsize: 851124
[startup+60.0033 s]
Raw data (loadavg): 1.19 1.08 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 5251 42 0 0 25 0 11 0 836324814 871550976 28647 4294967295 134512640 134569956 3221224384 3221214768 1131408619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 28647 13086 16 0 212765 0
vsize: 851124
[startup+70.0046 s]
Raw data (loadavg): 1.16 1.07 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 6198 42 0 0 25 0 11 0 836324814 871550976 28831 4294967295 134512640 134569956 3221224384 3221214768 1131356467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 28831 13086 16 0 212765 0
vsize: 851124
[startup+80.0064 s]
Raw data (loadavg): 1.13 1.07 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 7130 42 0 0 25 0 11 0 836324814 871550976 29233 4294967295 134512640 134569956 3221224384 3221214680 1131393909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 29233 13086 16 0 212765 0
vsize: 851124
[startup+90.0067 s]
Raw data (loadavg): 1.11 1.07 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 8075 43 0 0 25 0 11 0 836324814 871550976 29379 4294967295 134512640 134569956 3221224384 3221214680 1131393578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 29379 13086 16 0 212765 0
vsize: 851124
[startup+100.007 s]
Raw data (loadavg): 1.09 1.06 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 9007 43 0 0 25 0 11 0 836324814 871550976 29685 4294967295 134512640 134569956 3221224384 3221214688 1131394446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 29685 13086 16 0 212765 0
vsize: 851124
[startup+110.008 s]
Raw data (loadavg): 1.08 1.06 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18083 0 1 0 9951 43 0 0 25 0 11 0 836324814 871550976 29834 4294967295 134512640 134569956 3221224384 3221214784 1131360849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 29834 13086 16 0 212765 0
vsize: 851124
[startup+120.008 s]
Raw data (loadavg): 1.07 1.06 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 10880 44 0 0 25 0 11 0 836324814 871550976 30186 4294967295 134512640 134569956 3221224384 3221214680 1131394431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 30186 13086 16 0 212765 0
vsize: 851124
[startup+130.009 s]
Raw data (loadavg): 1.06 1.06 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 11823 44 0 0 25 0 11 0 836324814 871550976 30504 4294967295 134512640 134569956 3221224384 3221214740 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 30504 13086 16 0 212765 0
vsize: 851124
[startup+140.01 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 12752 44 0 0 25 0 11 0 836324814 871550976 30860 4294967295 134512640 134569956 3221224384 3221214760 1131406833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 30860 13086 16 0 212765 0
vsize: 851124
[startup+150.011 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 13683 44 0 0 25 0 11 0 836324814 871550976 31091 4294967295 134512640 134569956 3221224384 3221214844 1131360172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 31091 13086 16 0 212765 0
vsize: 851124
[startup+160.011 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 14628 45 0 0 25 0 11 0 836324814 871550976 31377 4294967295 134512640 134569956 3221224384 3221214656 1131185719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 31377 13086 16 0 212765 0
vsize: 851124
[startup+170.012 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 15559 45 0 0 25 0 11 0 836324814 871550976 31589 4294967295 134512640 134569956 3221224384 3221214688 1131394056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 31589 13086 16 0 212765 0
vsize: 851124
[startup+180.013 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 16487 45 0 0 25 0 11 0 836324814 871550976 31914 4294967295 134512640 134569956 3221224384 3221214740 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 31914 13086 16 0 212765 0
vsize: 851124
[startup+190.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 17423 45 0 0 25 0 11 0 836324814 871550976 32175 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 32175 13086 16 0 212765 0
vsize: 851124
[startup+200.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 18358 45 0 0 25 0 11 0 836324814 871550976 32506 4294967295 134512640 134569956 3221224384 3221214448 1131476455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 32506 13086 16 0 212765 0
vsize: 851124
[startup+210.013 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 19288 46 0 0 25 0 11 0 836324814 871550976 32679 4294967295 134512640 134569956 3221224384 3221214688 1131393965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 32679 13086 16 0 212765 0
vsize: 851124
[startup+220.015 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 20219 46 0 0 25 0 11 0 836324814 871550976 32896 4294967295 134512640 134569956 3221224384 3221214768 1131356551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 32896 13086 16 0 212765 0
vsize: 851124
[startup+230.015 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 21163 47 0 0 25 0 11 0 836324814 871550976 33140 4294967295 134512640 134569956 3221224384 3221214680 1131394036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 33140 13086 16 0 212765 0
vsize: 851124
[startup+240.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 22089 47 0 0 25 0 11 0 836324814 871550976 33530 4294967295 134512640 134569956 3221224384 3221214848 1131404148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 33530 13086 16 0 212765 0
vsize: 851124
[startup+250.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 23019 47 0 0 25 0 11 0 836324814 871550976 33825 4294967295 134512640 134569956 3221224384 3221214768 1131168460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 33825 13086 16 0 212765 0
vsize: 851124
[startup+260.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 23949 47 0 0 25 0 11 0 836324814 871550976 34088 4294967295 134512640 134569956 3221224384 3221214576 1131438795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 34088 13086 16 0 212765 0
vsize: 851124
[startup+270.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 24890 47 0 0 25 0 11 0 836324814 871550976 34367 4294967295 134512640 134569956 3221224384 3221214576 1131438814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 34367 13086 16 0 212765 0
vsize: 851124
[startup+280.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 25817 47 0 0 25 0 11 0 836324814 871550976 34787 4294967295 134512640 134569956 3221224384 3221214680 1131394388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 34787 13086 16 0 212765 0
vsize: 851124
[startup+290.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 26743 47 0 0 25 0 11 0 836324814 871550976 35096 4294967295 134512640 134569956 3221224384 3221214792 1131416672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 35096 13086 16 0 212765 0
vsize: 851124
[startup+300.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 27683 48 0 0 25 0 11 0 836324814 871550976 35336 4294967295 134512640 134569956 3221224384 3221214656 1131202352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 35336 13086 16 0 212765 0
vsize: 851124
[startup+310.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 28610 48 0 0 25 0 11 0 836324814 871550976 35675 4294967295 134512640 134569956 3221224384 3221214740 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 35675 13086 16 0 212765 0
vsize: 851124
[startup+320.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 29539 48 0 0 25 0 11 0 836324814 871550976 35931 4294967295 134512640 134569956 3221224384 3221214680 1131393997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 35931 13086 16 0 212765 0
vsize: 851124
[startup+330.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 30467 49 0 0 25 0 11 0 836324814 871550976 36307 4294967295 134512640 134569956 3221224384 3221214780 1131393484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 36307 13086 16 0 212765 0
vsize: 851124
[startup+340.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 31394 49 0 0 25 0 11 0 836324814 871550976 36579 4294967295 134512640 134569956 3221224384 3221214696 1131276125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 36579 13086 16 0 212765 0
vsize: 851124
[startup+350.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 32321 49 0 0 25 0 11 0 836324814 871550976 36917 4294967295 134512640 134569956 3221224384 3221214680 1131393993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 36917 13086 16 0 212765 0
vsize: 851124
[startup+360.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 33249 49 0 0 25 0 11 0 836324814 871550976 37240 4294967295 134512640 134569956 3221224384 3221214768 1131168451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 37240 13086 16 0 212765 0
vsize: 851124
[startup+370.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 34176 50 0 0 25 0 11 0 836324814 871550976 37538 4294967295 134512640 134569956 3221224384 3221214848 1131404167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 37538 13086 16 0 212765 0
vsize: 851124
[startup+380.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 35105 50 0 0 25 0 11 0 836324814 871550976 37788 4294967295 134512640 134569956 3221224384 3221214784 1131360247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 37788 13086 16 0 212765 0
vsize: 851124
[startup+390.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 36034 51 0 0 25 0 11 0 836324814 871550976 37969 4294967295 134512640 134569956 3221224384 3221214656 1131185716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 37969 13086 16 0 212765 0
vsize: 851124
[startup+400.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 36948 51 0 0 25 0 11 0 836324814 871550976 38183 4294967295 134512640 134569956 3221224384 3221214696 1131276162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 38183 13086 16 0 212765 0
vsize: 851124
[startup+410.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 37874 52 0 0 25 0 11 0 836324814 871550976 38459 4294967295 134512640 134569956 3221224384 3221214680 1131394152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 38459 13086 16 0 212765 0
vsize: 851124
[startup+420.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 38801 52 0 0 25 0 11 0 836324814 871550976 38697 4294967295 134512640 134569956 3221224384 3221214792 1131416727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 38697 13086 16 0 212765 0
vsize: 851124
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 39728 52 0 0 25 0 11 0 836324814 871550976 38912 4294967295 134512640 134569956 3221224384 3221214680 1131393538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 38912 13086 16 0 212765 0
vsize: 851124
[startup+440.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 40639 52 0 0 25 0 11 0 836324814 871550976 39235 4294967295 134512640 134569956 3221224384 3221214800 1131443437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 39235 13086 16 0 212765 0
vsize: 851124
[startup+450.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 41565 53 0 0 25 0 11 0 836324814 871550976 39416 4294967295 134512640 134569956 3221224384 3221214760 1131406743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 39416 13086 16 0 212765 0
vsize: 851124
[startup+460.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 42490 54 0 0 25 0 11 0 836324814 871550976 39623 4294967295 134512640 134569956 3221224384 3221214680 1131393993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 39623 13086 16 0 212765 0
vsize: 851124
[startup+470.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 43415 54 0 0 25 0 11 0 836324814 871550976 39877 4294967295 134512640 134569956 3221224384 3221214680 1131393922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 39877 13086 16 0 212765 0
vsize: 851124
[startup+480.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 44341 54 0 0 25 0 11 0 836324814 871550976 40184 4294967295 134512640 134569956 3221224384 3221214680 1131394015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 40184 13086 16 0 212765 0
vsize: 851124
[startup+490.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 45255 54 0 0 25 0 11 0 836324814 871550976 40434 4294967295 134512640 134569956 3221224384 3221214768 1131356456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 40434 13086 16 0 212765 0
vsize: 851124
[startup+500.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 46182 54 0 0 25 0 11 0 836324814 871550976 40683 4294967295 134512640 134569956 3221224384 3221214576 1131438669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 40683 13086 16 0 212765 0
vsize: 851124
[startup+510.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 47110 55 0 0 25 0 11 0 836324814 871550976 40852 4294967295 134512640 134569956 3221224384 3221214788 1131414444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 40852 13086 16 0 212765 0
vsize: 851124
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 48037 55 0 0 25 0 11 0 836324814 871550976 41044 4294967295 134512640 134569956 3221224384 3221214688 1131276015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 41044 13086 16 0 212765 0
vsize: 851124
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 48949 55 0 0 24 0 11 0 836324814 871550976 41311 4294967295 134512640 134569956 3221224384 3221214680 1131394246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 41311 13086 16 0 212765 0
vsize: 851124
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 49874 55 0 0 25 0 11 0 836324814 871550976 41481 4294967295 134512640 134569956 3221224384 3221214680 1131393734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 41481 13086 16 0 212765 0
vsize: 851124
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 50799 55 0 0 25 0 11 0 836324814 871550976 41730 4294967295 134512640 134569956 3221224384 3221214800 1131443403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 41730 13086 16 0 212765 0
vsize: 851124
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 51711 55 0 0 25 0 11 0 836324814 871550976 41933 4294967295 134512640 134569956 3221224384 3221214784 1131360821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 41933 13086 16 0 212765 0
vsize: 851124
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 52637 56 0 0 25 0 11 0 836324814 871550976 42187 4294967295 134512640 134569956 3221224384 3221214680 1131393682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42187 13086 16 0 212765 0
vsize: 851124
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 53549 56 0 0 25 0 11 0 836324814 871550976 42325 4294967295 134512640 134569956 3221224384 3221214488 1131185826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42325 13086 16 0 212765 0
vsize: 851124
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 54475 57 0 0 25 0 11 0 836324814 871550976 42462 4294967295 134512640 134569956 3221224384 3221214776 1131414473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42462 13086 16 0 212765 0
vsize: 851124
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 55396 57 0 0 25 0 11 0 836324814 871550976 42609 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42609 13086 16 0 212765 0
vsize: 851124
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 56311 57 0 0 25 0 11 0 836324814 871550976 42792 4294967295 134512640 134569956 3221224384 3221214792 1131416763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42792 13086 16 0 212765 0
vsize: 851124
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 57225 57 0 0 25 0 11 0 836324814 871550976 42979 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 42979 13086 16 0 212765 0
vsize: 851124
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 58144 57 0 0 25 0 11 0 836324814 871550976 43302 4294967295 134512640 134569956 3221224384 3221214508 1130885135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 43302 13086 16 0 212765 0
vsize: 851124
[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 59069 58 0 0 25 0 11 0 836324814 871550976 43560 4294967295 134512640 134569956 3221224384 3221214680 1131394397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 43560 13086 16 0 212765 0
vsize: 851124
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 59993 58 0 0 25 0 11 0 836324814 871550976 43827 4294967295 134512640 134569956 3221224384 3221214792 1131416355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 43827 13086 16 0 212765 0
vsize: 851124
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 60917 58 0 0 25 0 11 0 836324814 871550976 44107 4294967295 134512640 134569956 3221224384 3221214576 1131513531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 44107 13086 16 0 212765 0
vsize: 851124
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 61842 59 0 0 25 0 11 0 836324814 871550976 44348 4294967295 134512640 134569956 3221224384 3221214680 1131394015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 44348 13086 16 0 212765 0
vsize: 851124
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 62753 59 0 0 25 0 11 0 836324814 871550976 44500 4294967295 134512640 134569956 3221224384 3221214760 1131406836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 44500 13086 16 0 212765 0
vsize: 851124
[startup+690.042 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 63677 59 0 0 25 0 11 0 836324814 871550976 44662 4294967295 134512640 134569956 3221224384 3221214576 1131513545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 44662 13086 16 0 212765 0
vsize: 851124
[startup+700.042 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 64600 59 0 0 25 0 11 0 836324814 871550976 44936 4294967295 134512640 134569956 3221224384 3221214536 1131248655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 44936 13086 16 0 212765 0
vsize: 851124
[startup+710.044 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 65509 60 0 0 25 0 11 0 836324814 871550976 45158 4294967295 134512640 134569956 3221224384 3221214680 1131393538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 45158 13086 16 0 212765 0
vsize: 851124
[startup+720.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 66434 60 0 0 25 0 11 0 836324814 871550976 45377 4294967295 134512640 134569956 3221224384 3221214784 1131360517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 45377 13086 16 0 212765 0
vsize: 851124
[startup+730.046 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 67345 60 0 0 25 0 11 0 836324814 871550976 45482 4294967295 134512640 134569956 3221224384 3221214680 1131393505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 45482 13086 16 0 212765 0
vsize: 851124
[startup+740.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 68269 61 0 0 25 0 11 0 836324814 871550976 45671 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 45671 13086 16 0 212765 0
vsize: 851124
[startup+750.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 69179 61 0 0 25 0 11 0 836324814 871550976 45864 4294967295 134512640 134569956 3221224384 3221214784 1131360505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 45864 13086 16 0 212765 0
vsize: 851124
[startup+760.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 70104 61 0 0 25 0 11 0 836324814 871550976 46066 4294967295 134512640 134569956 3221224384 3221214784 1131355991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 46066 13086 16 0 212765 0
vsize: 851124
[startup+770.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 71023 62 0 0 25 0 11 0 836324814 871550976 46232 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 46232 13086 16 0 212765 0
vsize: 851124
[startup+780.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 71932 63 0 0 25 0 11 0 836324814 871550976 46601 4294967295 134512640 134569956 3221224384 3221214680 1131393513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 46601 13086 16 0 212765 0
vsize: 851124
[startup+790.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 72854 63 0 0 25 0 11 0 836324814 871550976 46814 4294967295 134512640 134569956 3221224384 3221214536 1131248769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 46814 13086 16 0 212765 0
vsize: 851124
[startup+800.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 73775 63 0 0 25 0 11 0 836324814 871550976 47005 4294967295 134512640 134569956 3221224384 3221214736 1131408621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212781 47005 13086 16 0 212765 0
vsize: 851124
[startup+810.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 74699 63 0 0 25 0 11 0 836324814 871550976 47197 4294967295 134512640 134569956 3221224384 3221214768 1131356432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 47197 13086 16 0 212765 0
vsize: 851124
[startup+820.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 75606 63 0 0 24 0 11 0 836324814 871550976 47438 4294967295 134512640 134569956 3221224384 3221214680 1131393959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 47438 13086 16 0 212765 0
vsize: 851124
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 76528 63 0 0 25 0 11 0 836324814 871550976 47655 4294967295 134512640 134569956 3221224384 3221214784 1131360788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 47655 13086 16 0 212765 0
vsize: 851124
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 77465 63 0 0 25 0 11 0 836324814 871550976 47898 4294967295 134512640 134569956 3221224384 3221214640 1131275855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 47898 13086 16 0 212765 0
vsize: 851124
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 78387 63 0 0 25 0 11 0 836324814 871550976 48248 4294967295 134512640 134569956 3221224384 3221214508 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 48248 13086 16 0 212765 0
vsize: 851124
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 79308 63 0 0 25 0 11 0 836324814 871550976 48609 4294967295 134512640 134569956 3221224384 3221214472 1131393538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 48609 13086 16 0 212765 0
vsize: 851124
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 80229 63 0 0 25 0 11 0 836324814 871550976 48948 4294967295 134512640 134569956 3221224384 3221214656 1131185719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 48948 13086 16 0 212765 0
vsize: 851124
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 81136 64 0 0 25 0 11 0 836324814 871550976 49248 4294967295 134512640 134569956 3221224384 3221214760 1131346724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 49248 13086 16 0 212765 0
vsize: 851124
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 82058 64 0 0 25 0 11 0 836324814 871550976 49499 4294967295 134512640 134569956 3221224384 3221214680 1131394116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 49499 13086 16 0 212765 0
vsize: 851124
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 82982 64 0 0 25 0 11 0 836324814 871550976 49730 4294967295 134512640 134569956 3221224384 3221214680 1131394525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 49730 13086 16 0 212765 0
vsize: 851124
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 83905 64 0 0 25 0 11 0 836324814 871550976 49919 4294967295 134512640 134569956 3221224384 3221214800 1131443403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 49919 13086 16 0 212765 0
vsize: 851124
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 84812 64 0 0 24 0 11 0 836324814 871550976 50184 4294967295 134512640 134569956 3221224384 3221214680 1131393578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 50184 13086 16 0 212765 0
vsize: 851124
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 85733 64 0 0 25 0 11 0 836324814 871550976 50522 4294967295 134512640 134569956 3221224384 3221214764 1131202278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 50522 13086 16 0 212765 0
vsize: 851124
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 86654 64 0 0 25 0 11 0 836324814 871550976 50714 4294967295 134512640 134569956 3221224384 3221214680 1131393538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 50714 13086 16 0 212765 0
vsize: 851124
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 87575 64 0 0 25 0 11 0 836324814 871550976 50953 4294967295 134512640 134569956 3221224384 3221214536 1131247727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 50953 13086 16 0 212765 0
vsize: 851124
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 88480 64 0 0 24 0 11 0 836324814 871550976 51269 4294967295 134512640 134569956 3221224384 3221214760 1131406784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 51269 13086 16 0 212765 0
vsize: 851124
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 89401 64 0 0 25 0 11 0 836324814 871550976 51543 4294967295 134512640 134569956 3221224384 3221214784 1131361608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 51543 13086 16 0 212765 0
vsize: 851124
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 90323 64 0 0 25 0 11 0 836324814 871550976 51701 4294967295 134512640 134569956 3221224384 3221214656 1131185784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 51701 13086 16 0 212765 0
vsize: 851124
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 91229 64 0 0 25 0 11 0 836324814 871550976 51918 4294967295 134512640 134569956 3221224384 3221214760 1131346724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 51918 13086 16 0 212765 0
vsize: 851124
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 92152 64 0 0 25 0 11 0 836324814 871550976 52122 4294967295 134512640 134569956 3221224384 3221214680 1131394208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 52122 13086 16 0 212765 0
vsize: 851124
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 93057 65 0 0 25 0 11 0 836324814 871550976 52300 4294967295 134512640 134569956 3221224384 3221214680 1131394218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 52300 13086 16 0 212765 0
vsize: 851124
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 93977 65 0 0 25 0 11 0 836324814 871550976 52455 4294967295 134512640 134569956 3221224384 3221214792 1131416591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 52455 13086 16 0 212765 0
vsize: 851124
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 94882 65 0 0 25 0 11 0 836324814 871550976 52718 4294967295 134512640 134569956 3221224384 3221214760 1131406727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 52718 13086 16 0 212765 0
vsize: 851124
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 95804 65 0 0 25 0 11 0 836324814 871550976 52856 4294967295 134512640 134569956 3221224384 3221214704 1131202329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 52856 13086 16 0 212765 0
vsize: 851124
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 96725 65 0 0 25 0 11 0 836324814 871550976 53019 4294967295 134512640 134569956 3221224384 3221214784 1131360832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 53019 13086 16 0 212765 0
vsize: 851124
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 97629 65 0 0 25 0 11 0 836324814 871550976 53298 4294967295 134512640 134569956 3221224384 3221214572 1131358947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 53298 13086 16 0 212765 0
vsize: 851124
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 98550 65 0 0 25 0 11 0 836324814 871550976 53482 4294967295 134512640 134569956 3221224384 3221214776 1131414473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 53482 13086 16 0 212765 0
vsize: 851124
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 99471 65 0 0 25 0 11 0 836324814 871550976 53675 4294967295 134512640 134569956 3221224384 3221214520 1131393593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 53675 13086 16 0 212765 0
vsize: 851124
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 100374 65 0 0 25 0 11 0 836324814 871550976 53958 4294967295 134512640 134569956 3221224384 3221214640 1131276015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 53958 13086 16 0 212765 0
vsize: 851124
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 101294 65 0 0 25 0 11 0 836324814 871550976 54180 4294967295 134512640 134569956 3221224384 3221214688 1131393569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 54180 13086 16 0 212765 0
vsize: 851124
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 102198 65 0 0 25 0 11 0 836324814 871550976 54436 4294967295 134512640 134569956 3221224384 3221214680 1131393682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 54436 13086 16 0 212765 0
vsize: 851124
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 103118 65 0 0 25 0 11 0 836324814 871550976 54637 4294967295 134512640 134569956 3221224384 3221214760 1131346694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 54637 13086 16 0 212765 0
vsize: 851124
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 104024 65 0 0 25 0 11 0 836324814 871550976 54815 4294967295 134512640 134569956 3221224384 3221214680 1131393715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 54815 13086 16 0 212765 0
vsize: 851124
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 104946 65 0 0 25 0 11 0 836324814 871550976 54980 4294967295 134512640 134569956 3221224384 3221214680 1131393688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 54980 13086 16 0 212765 0
vsize: 851124
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 105850 65 0 0 25 0 11 0 836324814 871550976 55153 4294967295 134512640 134569956 3221224384 3221214680 1131393922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 55153 13086 16 0 212765 0
vsize: 851124
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 106768 66 0 0 25 0 11 0 836324814 871550976 55385 4294967295 134512640 134569956 3221224384 3221214784 1131360292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 55385 13086 16 0 212765 0
vsize: 851124
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 107673 66 0 0 25 0 11 0 836324814 871550976 55574 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 55574 13086 16 0 212765 0
vsize: 851124
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 108589 66 0 0 25 0 11 0 836324814 871550976 55708 4294967295 134512640 134569956 3221224384 3221214520 1131393599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 55708 13086 16 0 212765 0
vsize: 851124
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 109505 66 0 0 25 0 11 0 836324814 871550976 55915 4294967295 134512640 134569956 3221224384 3221214740 1130885124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 55915 13086 16 0 212765 0
vsize: 851124
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 110418 66 0 0 25 0 11 0 836324814 871550976 56127 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 56127 13086 16 0 212765 0
vsize: 851124
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) S 20940 10795 10794 0 -1 0 18084 0 1 0 111322 66 0 0 25 0 11 0 836324814 871550976 56481 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 56483 13086 16 0 212765 0
vsize: 851124
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 112241 66 0 0 25 0 11 0 836324814 871550976 56721 4294967295 134512640 134569956 3221224384 3221214788 1130885135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 56721 13086 16 0 212765 0
vsize: 851124
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 113160 66 0 0 25 0 11 0 836324814 871550976 56937 4294967295 134512640 134569956 3221224384 3221214680 1131394437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 56937 13086 16 0 212765 0
vsize: 851124
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 114076 66 0 0 25 0 11 0 836324814 871550976 57162 4294967295 134512640 134569956 3221224384 3221214680 1131393497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 57162 13086 16 0 212765 0
vsize: 851124
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 114977 66 0 0 25 0 11 0 836324814 871550976 57406 4294967295 134512640 134569956 3221224384 3221214784 1131360781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 57406 13086 16 0 212765 0
vsize: 851124
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 115888 66 0 0 25 0 11 0 836324814 871550976 57837 4294967295 134512640 134569956 3221224384 3221214792 1131416768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 57837 13086 16 0 212765 0
vsize: 851124
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 116787 66 0 0 24 0 11 0 836324814 871550976 58041 4294967295 134512640 134569956 3221224384 3221214680 1131393535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 58041 13086 16 0 212765 0
vsize: 851124
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 117703 66 0 0 25 0 11 0 836324814 871550976 58225 4294967295 134512640 134569956 3221224384 3221214688 1131393597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 58225 13086 16 0 212765 0
vsize: 851124
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 118599 67 0 0 25 0 11 0 836324814 871550976 58526 4294967295 134512640 134569956 3221224384 3221214784 1131360764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 58526 13086 16 0 212765 0
vsize: 851124
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 119517 67 0 0 25 0 11 0 836324814 871550976 58690 4294967295 134512640 134569956 3221224384 3221214680 1131394522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 58690 13086 16 0 212765 0
vsize: 851124
[startup+1310.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 20951
Raw data (stat): 20941 (java) R 20940 10795 10794 0 -1 0 18084 0 1 0 120418 67 0 0 25 0 11 0 836324814 871550976 58845 4294967295 134512640 134569956 3221224384 3221214688 1131393885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212781 58845 13086 16 0 212765 0
vsize: 851124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 1.08 1.02 1.01 1/54 20953
Raw data (stat): 20941 (java) Z 20940 10795 10794 0 -1 1036 18084 36221 1 0 120419 67 10038 84 25 0 1 0 836324814 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.21
CPU time (s): 1306.1
CPU user time (s): 1304.57
CPU system time (s): 1.52177
CPU usage (%): 99.6859
Max. virtual memory (Kb): 858292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####