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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 4524

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-13 18:11:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3240 boxname=wulflinc4 idbench=360 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 3240
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        929472 kB
Buffers:         33660 kB
Cached:          51816 kB
SwapCached:          0 kB
Active:          48328 kB
Inactive:        39972 kB
HighTotal:      131008 kB
HighFree:        75488 kB
LowTotal:       903652 kB
LowFree:        853984 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11344 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:33:17 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3240 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
c reading problem 
c [nbvar=4608]
c [nbconstr=34956]
c time 19.081
c #vars     4608
c #clauses  30522
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
#### 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.85 0.97 0.95 2/54 6955
Raw data (stat): 6955 (runsolver) R 6954 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419786651 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.87 0.97 0.95 2/63 6964
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18011 0 1 0 816 45 0 0 25 0 10 0 419786651 857481216 20545 4294967295 134512640 134569956 3221224416 3221214392 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 20545 13073 16 0 209330 0
vsize: 837384
[startup+20.0023 s]
Raw data (loadavg): 0.89 0.97 0.95 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18038 0 1 0 1759 46 0 0 25 0 11 0 419786651 857972736 21657 4294967295 134512640 134569956 3221224416 3221214984 1130898683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209466 21657 13073 16 0 209450 0
vsize: 837864
[startup+30.0034 s]
Raw data (loadavg): 1.05 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18079 0 1 0 2471 46 0 0 25 0 11 0 419786651 861474816 27286 4294967295 134512640 134569956 3221224416 3221214608 1131354288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210321 27286 13073 16 0 210305 0
vsize: 841284
[startup+40.0035 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 3429 47 0 0 25 0 11 0 419786651 862523392 27575 4294967295 134512640 134569956 3221224416 3221214864 1131348959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 27575 13073 16 0 210561 0
vsize: 842308
[startup+50.004 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 4384 47 0 0 25 0 11 0 419786651 862523392 27575 4294967295 134512640 134569956 3221224416 3221214704 1131662365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 27575 13073 16 0 210561 0
vsize: 842308
[startup+60.0043 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 5333 47 0 0 25 0 11 0 419786651 862523392 27575 4294967295 134512640 134569956 3221224416 3221214864 1131348952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 27575 13073 16 0 210561 0
vsize: 842308
[startup+70.0061 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 6280 48 0 0 25 0 11 0 419786651 862523392 27756 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 27756 13073 16 0 210561 0
vsize: 842308
[startup+80.0065 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 7215 48 0 0 25 0 11 0 419786651 862523392 27862 4294967295 134512640 134569956 3221224416 3221214824 1131440184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 27862 13073 16 0 210561 0
vsize: 842308
[startup+90.0068 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 8145 48 0 0 25 0 11 0 419786651 862523392 28179 4294967295 134512640 134569956 3221224416 3221214864 1131348928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 28179 13073 16 0 210561 0
vsize: 842308
[startup+100.007 s]
Raw data (loadavg): 1.09 1.02 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 9078 48 0 0 25 0 11 0 419786651 862523392 28356 4294967295 134512640 134569956 3221224416 3221214688 1131221416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 28356 13073 16 0 210561 0
vsize: 842308
[startup+110.008 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 9999 49 0 0 25 0 11 0 419786651 862523392 28644 4294967295 134512640 134569956 3221224416 3221214864 1131348944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 28644 13073 16 0 210561 0
vsize: 842308
[startup+120.009 s]
Raw data (loadavg): 1.07 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 10937 49 0 0 25 0 11 0 419786651 862523392 28886 4294967295 134512640 134569956 3221224416 3221214704 1131662411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 28886 13073 16 0 210561 0
vsize: 842308
[startup+130.01 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 11876 49 0 0 24 0 11 0 419786651 862523392 29056 4294967295 134512640 134569956 3221224416 3221214704 1131664133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 29056 13073 16 0 210561 0
vsize: 842308
[startup+140.01 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 12818 49 0 0 25 0 11 0 419786651 862523392 29342 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 29342 13073 16 0 210561 0
vsize: 842308
[startup+150.011 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 13748 49 0 0 25 0 11 0 419786651 862523392 29642 4294967295 134512640 134569956 3221224416 3221214776 1131228454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 29642 13073 16 0 210561 0
vsize: 842308
[startup+160.011 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 14680 50 0 0 25 0 11 0 419786651 862523392 29799 4294967295 134512640 134569956 3221224416 3221214704 1131662298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 29799 13073 16 0 210561 0
vsize: 842308
[startup+170.012 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 15615 50 0 0 25 0 11 0 419786651 862523392 29925 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 29925 13073 16 0 210561 0
vsize: 842308
[startup+180.012 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 16552 50 0 0 25 0 11 0 419786651 862523392 30147 4294967295 134512640 134569956 3221224416 3221214600 1131230748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 30147 13073 16 0 210561 0
vsize: 842308
[startup+190.013 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 17483 50 0 0 24 0 11 0 419786651 862523392 30273 4294967295 134512640 134569956 3221224416 3221214688 1131221679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 30273 13073 16 0 210561 0
vsize: 842308
[startup+200.014 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 18426 51 0 0 25 0 11 0 419786651 862523392 30392 4294967295 134512640 134569956 3221224416 3221214752 1131395482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 30392 13073 16 0 210561 0
vsize: 842308
[startup+210.014 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 19356 51 0 0 25 0 11 0 419786651 862523392 30578 4294967295 134512640 134569956 3221224416 3221214600 1131412523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 30578 13073 16 0 210561 0
vsize: 842308
[startup+220.016 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 20296 51 0 0 25 0 11 0 419786651 862523392 30857 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 30857 13073 16 0 210561 0
vsize: 842308
[startup+230.016 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 21219 52 0 0 25 0 11 0 419786651 862523392 31134 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 31134 13073 16 0 210561 0
vsize: 842308
[startup+240.016 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 22154 52 0 0 25 0 11 0 419786651 862523392 31292 4294967295 134512640 134569956 3221224416 3221214688 1131221416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 31292 13073 16 0 210561 0
vsize: 842308
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 23075 52 0 0 25 0 11 0 419786651 862523392 31439 4294967295 134512640 134569956 3221224416 3221214672 1131425090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 31439 13073 16 0 210561 0
vsize: 842308
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 23999 53 0 0 25 0 11 0 419786651 862523392 31646 4294967295 134512640 134569956 3221224416 3221214704 1131662428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 31646 13073 16 0 210561 0
vsize: 842308
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 24939 53 0 0 25 0 11 0 419786651 862523392 31743 4294967295 134512640 134569956 3221224416 3221214824 1131440590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 31743 13073 16 0 210561 0
vsize: 842308
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 25869 54 0 0 25 0 11 0 419786651 862523392 31914 4294967295 134512640 134569956 3221224416 3221214704 1131662377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 31914 13073 16 0 210561 0
vsize: 842308
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 26808 54 0 0 25 0 11 0 419786651 862523392 32124 4294967295 134512640 134569956 3221224416 3221214764 1080203730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32124 13073 16 0 210561 0
vsize: 842308
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 27749 55 0 0 25 0 11 0 419786651 862523392 32292 4294967295 134512640 134569956 3221224416 3221214704 1131662295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32292 13073 16 0 210561 0
vsize: 842308
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 28691 55 0 0 25 0 11 0 419786651 862523392 32456 4294967295 134512640 134569956 3221224416 3221214704 1131366493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32456 13073 16 0 210561 0
vsize: 842308
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 29636 56 0 0 25 0 11 0 419786651 862523392 32587 4294967295 134512640 134569956 3221224416 3221214864 1131348832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32587 13073 16 0 210561 0
vsize: 842308
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 30590 56 0 0 25 0 11 0 419786651 862523392 32710 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32710 13073 16 0 210561 0
vsize: 842308
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 31537 56 0 0 25 0 11 0 419786651 862523392 32850 4294967295 134512640 134569956 3221224416 3221214704 1131662284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32850 13073 16 0 210561 0
vsize: 842308
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 32492 56 0 0 25 0 11 0 419786651 862523392 32979 4294967295 134512640 134569956 3221224416 3221214824 1131439663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 32979 13073 16 0 210561 0
vsize: 842308
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 33431 57 0 0 25 0 11 0 419786651 862523392 33126 4294967295 134512640 134569956 3221224416 3221214864 1131349036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 33126 13073 16 0 210561 0
vsize: 842308
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 34379 57 0 0 24 0 11 0 419786651 862523392 33230 4294967295 134512640 134569956 3221224416 3221214576 1131477100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 33230 13073 16 0 210561 0
vsize: 842308
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 35323 57 0 0 25 0 11 0 419786651 862523392 33338 4294967295 134512640 134569956 3221224416 3221214360 1078829739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 33338 13073 16 0 210561 0
vsize: 842308
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 36251 57 0 0 25 0 11 0 419786651 862523392 33482 4294967295 134512640 134569956 3221224416 3221214688 1131221681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 33482 13073 16 0 210561 0
vsize: 842308
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 37178 57 0 0 25 0 11 0 419786651 862523392 33760 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 33760 13073 16 0 210561 0
vsize: 842308
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 38076 58 0 0 25 0 11 0 419786651 862523392 34175 4294967295 134512640 134569956 3221224416 3221214864 1131348928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 34175 13073 16 0 210561 0
vsize: 842308
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 38988 58 0 0 25 0 11 0 419786651 862523392 34382 4294967295 134512640 134569956 3221224416 3221214752 1131394849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 34382 13073 16 0 210561 0
vsize: 842308
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 39908 58 0 0 25 0 11 0 419786651 862523392 34533 4294967295 134512640 134569956 3221224416 3221214688 1131222179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 34533 13073 16 0 210561 0
vsize: 842308
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 40830 59 0 0 25 0 11 0 419786651 862523392 34770 4294967295 134512640 134569956 3221224416 3221214704 1131664099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 34770 13073 16 0 210561 0
vsize: 842308
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 41742 59 0 0 25 0 11 0 419786651 862523392 34941 4294967295 134512640 134569956 3221224416 3221214688 1131221349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 34941 13073 16 0 210561 0
vsize: 842308
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 42671 59 0 0 25 0 11 0 419786651 862523392 35204 4294967295 134512640 134569956 3221224416 3221214688 1131221778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 35204 13073 16 0 210561 0
vsize: 842308
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 43594 60 0 0 25 0 11 0 419786651 862523392 35394 4294967295 134512640 134569956 3221224416 3221214776 1131228454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 35394 13073 16 0 210561 0
vsize: 842308
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 44528 60 0 0 25 0 11 0 419786651 862523392 35579 4294967295 134512640 134569956 3221224416 3221214784 1131507332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 35579 13073 16 0 210561 0
vsize: 842308
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 45466 60 0 0 25 0 11 0 419786651 862523392 35749 4294967295 134512640 134569956 3221224416 3221214672 1131504001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 35749 13073 16 0 210561 0
vsize: 842308
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 46407 60 0 0 25 0 11 0 419786651 862523392 35897 4294967295 134512640 134569956 3221224416 3221214696 1131177688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 35897 13073 16 0 210561 0
vsize: 842308
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 47339 61 0 0 25 0 11 0 419786651 862523392 36093 4294967295 134512640 134569956 3221224416 3221214784 1131507169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36093 13073 16 0 210561 0
vsize: 842308
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 48280 61 0 0 25 0 11 0 419786651 862523392 36254 4294967295 134512640 134569956 3221224416 3221214784 1131509378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36254 13073 16 0 210561 0
vsize: 842308
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 49222 61 0 0 25 0 11 0 419786651 862523392 36403 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36403 13073 16 0 210561 0
vsize: 842308
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 50163 61 0 0 24 0 11 0 419786651 862523392 36557 4294967295 134512640 134569956 3221224416 3221214864 1131349111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36557 13073 16 0 210561 0
vsize: 842308
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 51107 61 0 0 25 0 11 0 419786651 862523392 36707 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36707 13073 16 0 210561 0
vsize: 842308
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 52043 62 0 0 25 0 11 0 419786651 862523392 36883 4294967295 134512640 134569956 3221224416 3221214688 1131222292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 36883 13073 16 0 210561 0
vsize: 842308
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 52990 63 0 0 25 0 11 0 419786651 862523392 37030 4294967295 134512640 134569956 3221224416 3221214784 1131508398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37030 13073 16 0 210561 0
vsize: 842308
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 53940 63 0 0 25 0 11 0 419786651 862523392 37179 4294967295 134512640 134569956 3221224416 3221214752 1131395449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37179 13073 16 0 210561 0
vsize: 842308
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 54889 63 0 0 24 0 11 0 419786651 862523392 37305 4294967295 134512640 134569956 3221224416 3221214784 1131509346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37305 13073 16 0 210561 0
vsize: 842308
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 55847 64 0 0 25 0 11 0 419786651 862523392 37439 4294967295 134512640 134569956 3221224416 3221214688 1131221424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37439 13073 16 0 210561 0
vsize: 842308
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 56792 64 0 0 25 0 11 0 419786651 862523392 37563 4294967295 134512640 134569956 3221224416 3221214704 1131662298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37563 13073 16 0 210561 0
vsize: 842308
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 57742 65 0 0 25 0 11 0 419786651 862523392 37675 4294967295 134512640 134569956 3221224416 3221214784 1131509191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37675 13073 16 0 210561 0
vsize: 842308
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 58685 65 0 0 25 0 11 0 419786651 862523392 37858 4294967295 134512640 134569956 3221224416 3221214784 1131507328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37858 13073 16 0 210561 0
vsize: 842308
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 59627 65 0 0 25 0 11 0 419786651 862523392 37981 4294967295 134512640 134569956 3221224416 3221214672 1131503971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 37981 13073 16 0 210561 0
vsize: 842308
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 60575 66 0 0 24 0 11 0 419786651 862523392 38113 4294967295 134512640 134569956 3221224416 3221214640 1131231476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38113 13073 16 0 210561 0
vsize: 842308
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 61525 66 0 0 25 0 11 0 419786651 862523392 38243 4294967295 134512640 134569956 3221224416 3221214624 1131427061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38243 13073 16 0 210561 0
vsize: 842308
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 62477 67 0 0 25 0 11 0 419786651 862523392 38362 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38362 13073 16 0 210561 0
vsize: 842308
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 63437 67 0 0 25 0 11 0 419786651 862523392 38458 4294967295 134512640 134569956 3221224416 3221214624 1131530765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38458 13073 16 0 210561 0
vsize: 842308
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 64375 67 0 0 25 0 11 0 419786651 862523392 38540 4294967295 134512640 134569956 3221224416 3221214744 1131370114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38540 13073 16 0 210561 0
vsize: 842308
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 65306 68 0 0 25 0 11 0 419786651 862523392 38710 4294967295 134512640 134569956 3221224416 3221214704 1131662284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38710 13073 16 0 210561 0
vsize: 842308
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 66237 69 0 0 25 0 11 0 419786651 862523392 38854 4294967295 134512640 134569956 3221224416 3221213608 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 38854 13073 16 0 210561 0
vsize: 842308
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 67180 69 0 0 25 0 11 0 419786651 862523392 39039 4294967295 134512640 134569956 3221224416 3221214864 1131348948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 39039 13073 16 0 210561 0
vsize: 842308
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 68114 69 0 0 25 0 11 0 419786651 862523392 39213 4294967295 134512640 134569956 3221224416 3221214780 1131222583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 39213 13073 16 0 210561 0
vsize: 842308
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 69051 69 0 0 25 0 11 0 419786651 862523392 39403 4294967295 134512640 134569956 3221224416 3221214688 1131222190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 39403 13073 16 0 210561 0
vsize: 842308
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 69990 70 0 0 25 0 11 0 419786651 862523392 39570 4294967295 134512640 134569956 3221224416 3221214784 1131508480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 39570 13073 16 0 210561 0
vsize: 842308
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 70919 70 0 0 25 0 11 0 419786651 862523392 39747 4294967295 134512640 134569956 3221224416 3221214688 1131221681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 39747 13073 16 0 210561 0
vsize: 842308
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 71861 70 0 0 25 0 11 0 419786651 862523392 39895 4294967295 134512640 134569956 3221224416 3221214784 1131508369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 39895 13073 16 0 210561 0
vsize: 842308
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 72803 70 0 0 25 0 11 0 419786651 862523392 40104 4294967295 134512640 134569956 3221224416 3221214784 1131508366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 40104 13073 16 0 210561 0
vsize: 842308
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 73746 70 0 0 25 0 11 0 419786651 862523392 40241 4294967295 134512640 134569956 3221224416 3221214688 1131221984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 40241 13073 16 0 210561 0
vsize: 842308
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 74681 71 0 0 25 0 11 0 419786651 862523392 40346 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 40346 13073 16 0 210561 0
vsize: 842308
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 75625 71 0 0 25 0 11 0 419786651 862523392 40488 4294967295 134512640 134569956 3221224416 3221214704 1131662288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 40488 13073 16 0 210561 0
vsize: 842308
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 76572 71 0 0 25 0 11 0 419786651 862523392 40635 4294967295 134512640 134569956 3221224416 3221214784 1131507052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 40635 13073 16 0 210561 0
vsize: 842308
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 77519 72 0 0 25 0 11 0 419786651 862523392 40809 4294967295 134512640 134569956 3221224416 3221214704 1131662411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 40809 13073 16 0 210561 0
vsize: 842308
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 78460 72 0 0 25 0 11 0 419786651 862523392 41012 4294967295 134512640 134569956 3221224416 3221214704 1131664099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41012 13073 16 0 210561 0
vsize: 842308
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 79412 73 0 0 25 0 11 0 419786651 862523392 41114 4294967295 134512640 134569956 3221224416 3221214688 1131221726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41114 13073 16 0 210561 0
vsize: 842308
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 80353 73 0 0 25 0 11 0 419786651 862523392 41235 4294967295 134512640 134569956 3221224416 3221214704 1131664196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41235 13073 16 0 210561 0
vsize: 842308
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 81305 73 0 0 25 0 11 0 419786651 862523392 41369 4294967295 134512640 134569956 3221224416 3221214824 1131441363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41369 13073 16 0 210561 0
vsize: 842308
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 82248 73 0 0 25 0 11 0 419786651 862523392 41530 4294967295 134512640 134569956 3221224416 3221214600 1131411843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41530 13073 16 0 210561 0
vsize: 842308
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 83191 73 0 0 25 0 11 0 419786651 862523392 41671 4294967295 134512640 134569956 3221224416 3221214688 1131222367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41671 13073 16 0 210561 0
vsize: 842308
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 84126 73 0 0 20 0 11 0 419786651 862523392 41865 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 41865 13073 16 0 210561 0
vsize: 842308
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 85060 74 0 0 25 0 11 0 419786651 862523392 42034 4294967295 134512640 134569956 3221224416 3221214688 1131222335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42034 13073 16 0 210561 0
vsize: 842308
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 86004 74 0 0 25 0 11 0 419786651 862523392 42157 4294967295 134512640 134569956 3221224416 3221214704 1131662272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42157 13073 16 0 210561 0
vsize: 842308
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 86947 74 0 0 25 0 11 0 419786651 862523392 42281 4294967295 134512640 134569956 3221224416 3221214688 1131221373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42281 13073 16 0 210561 0
vsize: 842308
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 87892 74 0 0 25 0 11 0 419786651 862523392 42415 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42415 13073 16 0 210561 0
vsize: 842308
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 88841 74 0 0 25 0 11 0 419786651 862523392 42541 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42541 13073 16 0 210561 0
vsize: 842308
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 89779 75 0 0 25 0 11 0 419786651 862523392 42722 4294967295 134512640 134569956 3221224416 3221214592 1131540868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42722 13073 16 0 210561 0
vsize: 842308
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 90734 75 0 0 25 0 11 0 419786651 862523392 42854 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42854 13073 16 0 210561 0
vsize: 842308
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 91681 75 0 0 25 0 11 0 419786651 862523392 42983 4294967295 134512640 134569956 3221224416 3221214744 1131370186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 42983 13073 16 0 210561 0
vsize: 842308
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 92621 76 0 0 24 0 11 0 419786651 862523392 43142 4294967295 134512640 134569956 3221224416 3221214688 1131221342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43142 13073 16 0 210561 0
vsize: 842308
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 93573 76 0 0 25 0 11 0 419786651 862523392 43276 4294967295 134512640 134569956 3221224416 3221214800 1131407839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43276 13073 16 0 210561 0
vsize: 842308
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 94524 76 0 0 25 0 11 0 419786651 862523392 43395 4294967295 134512640 134569956 3221224416 3221214600 1131230610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43395 13073 16 0 210561 0
vsize: 842308
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 95466 76 0 0 25 0 11 0 419786651 862523392 43524 4294967295 134512640 134569956 3221224416 3221214820 1131338403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43524 13073 16 0 210561 0
vsize: 842308
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 96407 76 0 0 25 0 11 0 419786651 862523392 43618 4294967295 134512640 134569956 3221224416 3221214824 1131441791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 43618 13073 16 0 210561 0
vsize: 842308
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 97344 77 0 0 25 0 11 0 419786651 862523392 43716 4294967295 134512640 134569956 3221224416 3221214864 1131348948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43716 13073 16 0 210561 0
vsize: 842308
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 98263 77 0 0 25 0 11 0 419786651 862523392 43864 4294967295 134512640 134569956 3221224416 3221214744 1131371104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 43864 13073 16 0 210561 0
vsize: 842308
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 99203 78 0 0 25 0 11 0 419786651 862523392 44090 4294967295 134512640 134569956 3221224416 3221214688 1131221818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 44090 13073 16 0 210561 0
vsize: 842308
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 100134 78 0 0 25 0 11 0 419786651 862523392 44298 4294967295 134512640 134569956 3221224416 3221214784 1131508412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 44298 13073 16 0 210561 0
vsize: 842308
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 101058 78 0 0 25 0 11 0 419786651 862523392 44486 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 44487 13073 16 0 210561 0
vsize: 842308
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 101964 78 0 0 25 0 11 0 419786651 862523392 44673 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210577 44673 13073 16 0 210561 0
vsize: 842308
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 102884 79 0 0 25 0 11 0 419786651 862523392 44838 4294967295 134512640 134569956 3221224416 3221214864 1131348865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 44838 13073 16 0 210561 0
vsize: 842308
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 103808 79 0 0 25 0 11 0 419786651 862523392 44968 4294967295 134512640 134569956 3221224416 3221214688 1131221729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 44968 13073 16 0 210561 0
vsize: 842308
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 104720 79 0 0 25 0 11 0 419786651 862523392 45171 4294967295 134512640 134569956 3221224416 3221214864 1131348959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45171 13073 16 0 210561 0
vsize: 842308
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 105646 79 0 0 25 0 11 0 419786651 862523392 45439 4294967295 134512640 134569956 3221224416 3221214864 1131348956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45439 13073 16 0 210561 0
vsize: 842308
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 106587 79 0 0 25 0 11 0 419786651 862523392 45591 4294967295 134512640 134569956 3221224416 3221214824 1131440133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45591 13073 16 0 210561 0
vsize: 842308
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 107530 79 0 0 25 0 11 0 419786651 862523392 45725 4294967295 134512640 134569956 3221224416 3221214784 1131507153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45725 13073 16 0 210561 0
vsize: 842308
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 108465 79 0 0 25 0 11 0 419786651 862523392 45900 4294967295 134512640 134569956 3221224416 3221214784 1131507420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45900 13073 16 0 210561 0
vsize: 842308
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 109407 79 0 0 25 0 11 0 419786651 862523392 45998 4294967295 134512640 134569956 3221224416 3221214744 1131371104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 45998 13073 16 0 210561 0
vsize: 842308
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 110349 79 0 0 25 0 11 0 419786651 862523392 46136 4294967295 134512640 134569956 3221224416 3221214864 1131348948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46136 13073 16 0 210561 0
vsize: 842308
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) S 6954 5897 5896 0 -1 0 18081 0 1 0 111287 79 0 0 25 0 11 0 419786651 862523392 46275 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46275 13073 16 0 210561 0
vsize: 842308
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 112232 79 0 0 25 0 11 0 419786651 862523392 46452 4294967295 134512640 134569956 3221224416 3221214824 1131440943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46452 13073 16 0 210561 0
vsize: 842308
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 113182 79 0 0 25 0 11 0 419786651 862523392 46577 4294967295 134512640 134569956 3221224416 3221214784 1131507169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46577 13073 16 0 210561 0
vsize: 842308
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 114125 79 0 0 25 0 11 0 419786651 862523392 46735 4294967295 134512640 134569956 3221224416 3221214968 1131500886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46735 13073 16 0 210561 0
vsize: 842308
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 115069 79 0 0 25 0 11 0 419786651 862523392 46856 4294967295 134512640 134569956 3221224416 3221214784 1131507424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46856 13073 16 0 210561 0
vsize: 842308
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 116014 79 0 0 25 0 11 0 419786651 862523392 46975 4294967295 134512640 134569956 3221224416 3221214784 1131508531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 46975 13073 16 0 210561 0
vsize: 842308
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 116957 79 0 0 24 0 11 0 419786651 862523392 47103 4294967295 134512640 134569956 3221224416 3221214864 1131263363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 47103 13073 16 0 210561 0
vsize: 842308
[startup+1260.08 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 117910 79 0 0 25 0 11 0 419786651 862523392 47210 4294967295 134512640 134569956 3221224416 3221214864 1131349122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 47210 13073 16 0 210561 0
vsize: 842308
[startup+1270.08 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 118855 79 0 0 25 0 11 0 419786651 862523392 47355 4294967295 134512640 134569956 3221224416 3221214784 1131508398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 47355 13073 16 0 210561 0
vsize: 842308
[startup+1280.08 s]
Raw data (loadavg): 1.12 1.03 0.97 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 119801 80 0 0 25 0 11 0 419786651 862523392 47454 4294967295 134512640 134569956 3221224416 3221214864 1131349129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 47454 13073 16 0 210561 0
vsize: 842308
[startup+1290.08 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 6965
Raw data (stat): 6955 (java) R 6954 5897 5896 0 -1 0 18081 0 1 0 120747 80 0 0 25 0 11 0 419786651 862523392 47598 4294967295 134512640 134569956 3221224416 3221214688 1131221672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210577 47598 13073 16 0 210561 0
vsize: 842308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.19 s]
Raw data (loadavg): 1.10 1.03 0.97 1/54 6967
Raw data (stat): 6955 (java) Z 6954 5897 5896 0 -1 1036 18081 27141 1 0 120749 80 7793 62 25 0 1 0 419786651 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): 1290.19
CPU time (s): 1286.85
CPU user time (s): 1285.43
CPU system time (s): 1.42778
CPU usage (%): 99.7418
Max. virtual memory (Kb): 842308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####