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/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 4204

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 15:52:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=252 boxname=wulflinc30 idbench=28 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc30/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        770220 kB
Buffers:         36884 kB
Cached:         187380 kB
SwapCached:          0 kB
Active:          69872 kB
Inactive:       157212 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        769884 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            31788 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:13:42 (client local time) WITH STATUS 143 IN  SECONDS
stats: 252 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-fpga12_10_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=180]
c [nbconstr=152]
c time 18.783
c #vars     180
c #clauses  152
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.15 0.03 0.01 2/54 11975
Raw data (stat): 11975 (runsolver) R 11974 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477172498 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0032 s]
Raw data (loadavg): 0.28 0.06 0.02 1/54 11975
Raw data (stat): 11975 (java) D 11974 11931 11930 0 -1 0 642 0 31 0 0 2 0 0 18 0 1 0 477172498 11960320 497 4294967295 134512640 134569956 3221224400 3221214924 1076873776 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 2920 497 1782 16 0 2904 0
vsize: 11680
[startup+20.827 s]
Raw data (loadavg): 0.39 0.09 0.03 1/63 11984
Raw data (stat): 11975 (java) D 11974 11931 11930 0 -1 0 2796 0 70 0 44 9 0 0 18 0 10 0 477172498 852508672 2684 4294967295 134512640 134569956 3221224400 3221206660 1085782085 0 4 3 23756 3222515881 0 0 17 0 0 0
Raw data (statm): 208132 2684 13073 16 0 208116 0
vsize: 832528
[startup+30.8267 s]
Raw data (loadavg): 0.49 0.12 0.04 1/63 11984
Raw data (stat): 11975 (java) D 11974 11931 11930 0 -1 0 3010 0 73 0 57 9 0 0 18 0 10 0 477172498 852508672 2901 4294967295 134512640 134569956 3221224400 3221209852 1085786722 0 4 3 23756 3222515881 0 0 17 0 0 0
Raw data (statm): 208132 2901 13073 16 0 208116 0
vsize: 832528
[startup+41.0265 s]
Raw data (loadavg): 0.56 0.15 0.05 3/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 3705 0 79 0 120 12 0 0 22 0 11 0 477172498 859250688 4857 4294967295 134512640 134569956 3221224400 3221214744 1130894936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209778 4857 13073 16 0 209762 0
vsize: 839112
[startup+51.0317 s]
Raw data (loadavg): 1.01 0.26 0.09 4/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18009 0 80 0 696 47 0 0 25 0 11 0 477172498 867852288 21572 4294967295 134512640 134569956 3221224400 3221214456 1130920369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211878 21572 13073 16 0 211862 0
vsize: 847512
[startup+61.032 s]
Raw data (loadavg): 1.01 0.29 0.10 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 1594 47 0 0 25 0 11 0 477172498 870948864 23366 4294967295 134512640 134569956 3221224400 3221214504 1131660011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212634 23366 13073 16 0 212618 0
vsize: 850536
[startup+71.0317 s]
Raw data (loadavg): 1.01 0.31 0.10 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 2551 47 0 0 25 0 11 0 477172498 870686720 23911 4294967295 134512640 134569956 3221224400 3221214344 1131497130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 23911 13073 16 0 212554 0
vsize: 850280
[startup+81.033 s]
Raw data (loadavg): 1.01 0.33 0.11 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 3510 48 0 0 25 0 11 0 477172498 870686720 24245 4294967295 134512640 134569956 3221224400 3221214808 1131228352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 24245 13073 16 0 212554 0
vsize: 850280
[startup+91.0333 s]
Raw data (loadavg): 1.00 0.35 0.12 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 4460 48 0 0 25 0 11 0 477172498 870686720 24474 4294967295 134512640 134569956 3221224400 3221214344 1131497340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 24474 13073 16 0 212554 0
vsize: 850280
[startup+101.034 s]
Raw data (loadavg): 1.00 0.37 0.13 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 5407 48 0 0 25 0 11 0 477172498 870686720 24694 4294967295 134512640 134569956 3221224400 3221214680 1131168673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 24694 13073 16 0 212554 0
vsize: 850280
[startup+111.035 s]
Raw data (loadavg): 1.00 0.39 0.14 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 6377 48 0 0 25 0 11 0 477172498 870686720 24818 4294967295 134512640 134569956 3221224400 3221214528 1131659316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 24818 13073 16 0 212554 0
vsize: 850280
[startup+121.036 s]
Raw data (loadavg): 1.00 0.41 0.15 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 7344 48 0 0 25 0 11 0 477172498 870686720 24983 4294967295 134512640 134569956 3221224400 3221214688 1131260628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 24983 13073 16 0 212554 0
vsize: 850280
[startup+131.037 s]
Raw data (loadavg): 1.00 0.43 0.16 2/64 11985
Raw data (stat): 11975 (java) S 11974 11931 11930 0 -1 0 18016 0 80 0 8305 48 0 0 25 0 11 0 477172498 870686720 25128 4294967295 134512640 134569956 3221224400 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 25128 13073 16 0 212554 0
vsize: 850280
[startup+141.037 s]
Raw data (loadavg): 1.00 0.45 0.17 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 9258 48 0 0 25 0 11 0 477172498 870686720 25385 4294967295 134512640 134569956 3221224400 3221214528 1131426778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 25385 13073 16 0 212554 0
vsize: 850280
[startup+151.038 s]
Raw data (loadavg): 1.00 0.47 0.17 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 10226 49 0 0 25 0 11 0 477172498 870686720 25516 4294967295 134512640 134569956 3221224400 3221214296 1131659388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 25516 13073 16 0 212554 0
vsize: 850280
[startup+161.038 s]
Raw data (loadavg): 1.00 0.48 0.18 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 11193 49 0 0 25 0 11 0 477172498 870686720 25635 4294967295 134512640 134569956 3221224400 3221214208 1131498884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 25635 13073 16 0 212554 0
vsize: 850280
[startup+171.038 s]
Raw data (loadavg): 1.00 0.50 0.19 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 12150 49 0 0 25 0 11 0 477172498 870686720 25852 4294967295 134512640 134569956 3221224400 3221214800 1131226110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 25852 13073 16 0 212554 0
vsize: 850280
[startup+181.038 s]
Raw data (loadavg): 1.00 0.52 0.20 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 13107 49 0 0 25 0 11 0 477172498 870686720 25998 4294967295 134512640 134569956 3221224400 3221214488 1131498961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 25998 13073 16 0 212554 0
vsize: 850280
[startup+191.039 s]
Raw data (loadavg): 1.00 0.53 0.21 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 14074 50 0 0 25 0 11 0 477172498 870686720 26142 4294967295 134512640 134569956 3221224400 3221214748 1131168512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26142 13073 16 0 212554 0
vsize: 850280
[startup+201.04 s]
Raw data (loadavg): 1.00 0.55 0.21 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 15033 50 0 0 25 0 11 0 477172498 870686720 26235 4294967295 134512640 134569956 3221224400 3221214656 1131168673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26235 13073 16 0 212554 0
vsize: 850280
[startup+211.04 s]
Raw data (loadavg): 1.00 0.56 0.22 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 15970 51 0 0 24 0 11 0 477172498 870686720 26428 4294967295 134512640 134569956 3221224400 3221214752 1131458900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26428 13073 16 0 212554 0
vsize: 850280
[startup+221.04 s]
Raw data (loadavg): 1.00 0.58 0.23 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 16918 51 0 0 25 0 11 0 477172498 870686720 26548 4294967295 134512640 134569956 3221224400 3221214744 1131178399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26548 13073 16 0 212554 0
vsize: 850280
[startup+231.041 s]
Raw data (loadavg): 1.00 0.59 0.24 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 17858 51 0 0 25 0 11 0 477172498 870686720 26701 4294967295 134512640 134569956 3221224400 3221214752 1131458847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26701 13073 16 0 212554 0
vsize: 850280
[startup+241.042 s]
Raw data (loadavg): 1.00 0.60 0.25 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 18806 52 0 0 25 0 11 0 477172498 870686720 26823 4294967295 134512640 134569956 3221224400 3221214656 1131168555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 26823 13073 16 0 212554 0
vsize: 850280
[startup+251.043 s]
Raw data (loadavg): 1.00 0.61 0.25 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 19765 52 0 0 25 0 11 0 477172498 870686720 26971 4294967295 134512640 134569956 3221224400 3221214240 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 26971 13073 16 0 212554 0
vsize: 850280
[startup+261.044 s]
Raw data (loadavg): 1.00 0.63 0.26 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 20724 52 0 0 25 0 11 0 477172498 870686720 27093 4294967295 134512640 134569956 3221224400 3221214488 1131498900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27093 13073 16 0 212554 0
vsize: 850280
[startup+271.043 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 21693 52 0 0 25 0 11 0 477172498 870686720 27172 4294967295 134512640 134569956 3221224400 3221214368 1131498908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27172 13073 16 0 212554 0
vsize: 850280
[startup+281.044 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 22671 52 0 0 25 0 11 0 477172498 870686720 27249 4294967295 134512640 134569956 3221224400 3221214608 1131498828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27249 13073 16 0 212554 0
vsize: 850280
[startup+291.045 s]
Raw data (loadavg): 1.00 0.66 0.28 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 23651 52 0 0 25 0 11 0 477172498 870686720 27270 4294967295 134512640 134569956 3221224400 3221214656 1131168624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27270 13073 16 0 212554 0
vsize: 850280
[startup+301.045 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 24631 53 0 0 25 0 11 0 477172498 870686720 27327 4294967295 134512640 134569956 3221224400 3221214256 1131497264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 27327 13073 16 0 212554 0
vsize: 850280
[startup+311.046 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 25610 53 0 0 25 0 11 0 477172498 870686720 27383 4294967295 134512640 134569956 3221224400 3221214648 1131282093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27383 13073 16 0 212554 0
vsize: 850280
[startup+321.045 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 26590 53 0 0 25 0 11 0 477172498 870686720 27442 4294967295 134512640 134569956 3221224400 3221214128 1131497352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27442 13073 16 0 212554 0
vsize: 850280
[startup+331.046 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 27558 53 0 0 25 0 11 0 477172498 870686720 27547 4294967295 134512640 134569956 3221224400 3221214248 1131498974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27547 13073 16 0 212554 0
vsize: 850280
[startup+341.045 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 28536 53 0 0 25 0 11 0 477172498 870686720 27621 4294967295 134512640 134569956 3221224400 3221214132 1131498784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27621 13073 16 0 212554 0
vsize: 850280
[startup+351.047 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 29504 53 0 0 25 0 11 0 477172498 870686720 27717 4294967295 134512640 134569956 3221224400 3221214608 1131498839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27717 13073 16 0 212554 0
vsize: 850280
[startup+361.047 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 30484 53 0 0 25 0 11 0 477172498 870686720 27785 4294967295 134512640 134569956 3221224400 3221214412 1131499046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27785 13073 16 0 212554 0
vsize: 850280
[startup+371.047 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 31453 53 0 0 25 0 11 0 477172498 870686720 27910 4294967295 134512640 134569956 3221224400 3221214536 1131663368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 27910 13073 16 0 212554 0
vsize: 850280
[startup+381.048 s]
Raw data (loadavg): 1.00 0.74 0.35 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 32432 54 0 0 25 0 11 0 477172498 870686720 27910 4294967295 134512640 134569956 3221224400 3221214752 1131460167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 27910 13073 16 0 212554 0
vsize: 850280
[startup+391.048 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 33412 54 0 0 25 0 11 0 477172498 870686720 27957 4294967295 134512640 134569956 3221224400 3221213876 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 27957 13073 16 0 212554 0
vsize: 850280
[startup+401.049 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 34380 54 0 0 25 0 11 0 477172498 870686720 28037 4294967295 134512640 134569956 3221224400 3221214368 1131498961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28037 13073 16 0 212554 0
vsize: 850280
[startup+411.049 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 35361 54 0 0 25 0 11 0 477172498 870686720 28100 4294967295 134512640 134569956 3221224400 3221214484 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28100 13073 16 0 212554 0
vsize: 850280
[startup+421.049 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 36340 54 0 0 25 0 11 0 477172498 870686720 28138 4294967295 134512640 134569956 3221224400 3221214160 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28138 13073 16 0 212554 0
vsize: 850280
[startup+431.05 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 37319 54 0 0 25 0 11 0 477172498 870686720 28177 4294967295 134512640 134569956 3221224400 3221214088 1131498940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28177 13073 16 0 212554 0
vsize: 850280
[startup+441.05 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 38298 54 0 0 25 0 11 0 477172498 870686720 28224 4294967295 134512640 134569956 3221224400 3221214364 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28224 13073 16 0 212554 0
vsize: 850280
[startup+451.051 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 39278 55 0 0 25 0 11 0 477172498 870686720 28275 4294967295 134512640 134569956 3221224400 3221214608 1131498908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28275 13073 16 0 212554 0
vsize: 850280
[startup+461.05 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 11985
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 40257 55 0 0 25 0 11 0 477172498 870686720 28343 4294967295 134512640 134569956 3221224400 3221214744 1131178418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28343 13073 16 0 212554 0
vsize: 850280
[startup+471.087 s]
Raw data (loadavg): 1.07 0.82 0.41 2/66 12032
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 41233 55 0 0 25 0 11 0 477172498 870686720 28461 4294967295 134512640 134569956 3221224400 3221214752 1131460305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28461 13073 16 0 212554 0
vsize: 850280
[startup+481.087 s]
Raw data (loadavg): 1.06 0.83 0.41 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 42215 55 0 0 25 0 11 0 477172498 870686720 28533 4294967295 134512640 134569956 3221224400 3221214368 1131498961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28533 13073 16 0 212554 0
vsize: 850280
[startup+491.087 s]
Raw data (loadavg): 1.05 0.83 0.42 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 43197 55 0 0 25 0 11 0 477172498 870686720 28594 4294967295 134512640 134569956 3221224400 3221214376 1131497125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28594 13073 16 0 212554 0
vsize: 850280
[startup+501.088 s]
Raw data (loadavg): 1.04 0.84 0.42 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 44179 55 0 0 25 0 11 0 477172498 870686720 28654 4294967295 134512640 134569956 3221224400 3221214624 1131327085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28654 13073 16 0 212554 0
vsize: 850280
[startup+511.087 s]
Raw data (loadavg): 1.04 0.84 0.43 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 45152 55 0 0 25 0 11 0 477172498 870686720 28747 4294967295 134512640 134569956 3221224400 3221214532 1131499849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28747 13073 16 0 212554 0
vsize: 850280
[startup+521.087 s]
Raw data (loadavg): 1.03 0.85 0.44 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 46143 55 0 0 25 0 11 0 477172498 870686720 28764 4294967295 134512640 134569956 3221224400 3221214608 1131498929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28764 13073 16 0 212554 0
vsize: 850280
[startup+531.087 s]
Raw data (loadavg): 1.02 0.85 0.44 2/64 12038
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 47114 55 0 0 25 0 11 0 477172498 870686720 28836 4294967295 134512640 134569956 3221224400 3221214528 1131428003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28836 13073 16 0 212554 0
vsize: 850280
[startup+541.088 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 48095 56 0 0 25 0 11 0 477172498 870686720 28874 4294967295 134512640 134569956 3221224400 3221214256 1131497319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28874 13073 16 0 212554 0
vsize: 850280
[startup+551.089 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 49076 56 0 0 25 0 11 0 477172498 870686720 28912 4294967295 134512640 134569956 3221224400 3221214292 1131499872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28912 13073 16 0 212554 0
vsize: 850280
[startup+561.09 s]
Raw data (loadavg): 1.01 0.86 0.46 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 50055 56 0 0 25 0 11 0 477172498 870686720 28959 4294967295 134512640 134569956 3221224400 3221214244 1131498960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 28959 13073 16 0 212554 0
vsize: 850280
[startup+571.09 s]
Raw data (loadavg): 1.01 0.87 0.46 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 51035 56 0 0 25 0 11 0 477172498 870686720 28996 4294967295 134512640 134569956 3221224400 3221214296 1131672677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 28996 13073 16 0 212554 0
vsize: 850280
[startup+581.091 s]
Raw data (loadavg): 1.01 0.87 0.47 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 52015 56 0 0 25 0 11 0 477172498 870686720 29036 4294967295 134512640 134569956 3221224400 3221214296 1131670819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29036 13073 16 0 212554 0
vsize: 850280
[startup+591.09 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 52994 56 0 0 25 0 11 0 477172498 870686720 29082 4294967295 134512640 134569956 3221224400 3221214072 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29082 13073 16 0 212554 0
vsize: 850280
[startup+601.091 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 53974 57 0 0 25 0 11 0 477172498 870686720 29120 4294967295 134512640 134569956 3221224400 3221214912 1131505971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29120 13073 16 0 212554 0
vsize: 850280
[startup+611.091 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 54952 57 0 0 25 0 11 0 477172498 870686720 29159 4294967295 134512640 134569956 3221224400 3221214016 1131497327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29159 13073 16 0 212554 0
vsize: 850280
[startup+621.091 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 55931 57 0 0 25 0 11 0 477172498 870686720 29194 4294967295 134512640 134569956 3221224400 3221214652 1131499840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29194 13073 16 0 212554 0
vsize: 850280
[startup+631.091 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 56909 57 0 0 25 0 11 0 477172498 870686720 29253 4294967295 134512640 134569956 3221224400 3221214752 1131458900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29253 13073 16 0 212554 0
vsize: 850280
[startup+641.091 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 57897 57 0 0 25 0 11 0 477172498 870686720 29273 4294967295 134512640 134569956 3221224400 3221214244 1131498960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29273 13073 16 0 212554 0
vsize: 850280
[startup+651.092 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 58874 58 0 0 25 0 11 0 477172498 870686720 29361 4294967295 134512640 134569956 3221224400 3221214296 1131658178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29361 13073 16 0 212554 0
vsize: 850280
[startup+661.092 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 59853 58 0 0 25 0 11 0 477172498 870686720 29418 4294967295 134512640 134569956 3221224400 3221214156 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29418 13073 16 0 212554 0
vsize: 850280
[startup+671.092 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 60830 58 0 0 25 0 11 0 477172498 870686720 29454 4294967295 134512640 134569956 3221224400 3221214280 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29454 13073 16 0 212554 0
vsize: 850280
[startup+681.092 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 61807 58 0 0 25 0 11 0 477172498 870686720 29523 4294967295 134512640 134569956 3221224400 3221214412 1131499840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29523 13073 16 0 212554 0
vsize: 850280
[startup+691.092 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 62776 58 0 0 25 0 11 0 477172498 870686720 29627 4294967295 134512640 134569956 3221224400 3221214128 1131499023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29627 13073 16 0 212554 0
vsize: 850280
[startup+701.093 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 63754 59 0 0 25 0 11 0 477172498 870686720 29678 4294967295 134512640 134569956 3221224400 3221214248 1131498961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29678 13073 16 0 212554 0
vsize: 850280
[startup+711.094 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 64722 59 0 0 25 0 11 0 477172498 870686720 29742 4294967295 134512640 134569956 3221224400 3221214752 1131458840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 29742 13073 16 0 212554 0
vsize: 850280
[startup+721.093 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 65691 59 0 0 25 0 11 0 477172498 870686720 29823 4294967295 134512640 134569956 3221224400 3221214280 1085679492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29823 13073 16 0 212554 0
vsize: 850280
[startup+731.095 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 66670 59 0 0 25 0 11 0 477172498 870686720 29875 4294967295 134512640 134569956 3221224400 3221214088 1131498853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29875 13073 16 0 212554 0
vsize: 850280
[startup+741.095 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 67638 60 0 0 25 0 11 0 477172498 870686720 29947 4294967295 134512640 134569956 3221224400 3221214256 1131497319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 29947 13073 16 0 212554 0
vsize: 850280
[startup+751.096 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 68607 60 0 0 25 0 11 0 477172498 870686720 30022 4294967295 134512640 134569956 3221224400 3221214536 1131670908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30022 13073 16 0 212554 0
vsize: 850280
[startup+761.096 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 69576 60 0 0 25 0 11 0 477172498 870686720 30114 4294967295 134512640 134569956 3221224400 3221214292 1131663921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30114 13073 16 0 212554 0
vsize: 850280
[startup+771.095 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 70544 60 0 0 25 0 11 0 477172498 870686720 30226 4294967295 134512640 134569956 3221224400 3221214488 1131499018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 30226 13073 16 0 212554 0
vsize: 850280
[startup+781.096 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 71516 60 0 0 25 0 11 0 477172498 870686720 30309 4294967295 134512640 134569956 3221224400 3221214656 1131169524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30309 13073 16 0 212554 0
vsize: 850280
[startup+791.096 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 72488 60 0 0 25 0 11 0 477172498 870686720 30386 4294967295 134512640 134569956 3221224400 3221214536 1131282543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 30386 13073 16 0 212554 0
vsize: 850280
[startup+801.096 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 73460 61 0 0 25 0 11 0 477172498 870686720 30461 4294967295 134512640 134569956 3221224400 3221214484 1131498955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 30461 13073 16 0 212554 0
vsize: 850280
[startup+811.096 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 12040
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 74432 61 0 0 25 0 11 0 477172498 870686720 30519 4294967295 134512640 134569956 3221224400 3221214256 1131497113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30519 13073 16 0 212554 0
vsize: 850280
[startup+821.096 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 75406 61 0 0 25 0 11 0 477172498 870686720 30591 4294967295 134512640 134569956 3221224400 3221214752 1131466805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30591 13073 16 0 212554 0
vsize: 850280
[startup+831.097 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 76371 61 0 0 25 0 11 0 477172498 870686720 30695 4294967295 134512640 134569956 3221224400 3221214128 1131498967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30695 13073 16 0 212554 0
vsize: 850280
[startup+841.098 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 77338 62 0 0 25 0 11 0 477172498 870686720 30793 4294967295 134512640 134569956 3221224400 3221214256 1131497308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30793 13073 16 0 212554 0
vsize: 850280
[startup+851.098 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 78307 62 0 0 25 0 11 0 477172498 870686720 30890 4294967295 134512640 134569956 3221224400 3221214176 1131659540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30890 13073 16 0 212554 0
vsize: 850280
[startup+861.098 s]
Raw data (loadavg): 1.00 0.94 0.59 3/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 79277 62 0 0 25 0 11 0 477172498 870686720 30973 4294967295 134512640 134569956 3221224400 3221214208 1131497298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 30973 13073 16 0 212554 0
vsize: 850280
[startup+871.098 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 12042
Raw data (stat): 11975 (java) S 11974 11931 11930 0 -1 0 18016 0 80 0 80259 63 0 0 25 0 11 0 477172498 870686720 31020 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31020 13073 16 0 212554 0
vsize: 850280
[startup+881.099 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 81248 63 0 0 25 0 11 0 477172498 870686720 31058 4294967295 134512640 134569956 3221224400 3221214656 1131667924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31058 13073 16 0 212554 0
vsize: 850280
[startup+891.099 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 82225 63 0 0 25 0 11 0 477172498 870686720 31122 4294967295 134512640 134569956 3221224400 3221214536 1131659751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31122 13073 16 0 212554 0
vsize: 850280
[startup+901.098 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 83203 63 0 0 25 0 11 0 477172498 870686720 31187 4294967295 134512640 134569956 3221224400 3221214688 1131257473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31187 13073 16 0 212554 0
vsize: 850280
[startup+911.099 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 84189 64 0 0 25 0 11 0 477172498 870686720 31225 4294967295 134512640 134569956 3221224400 3221214608 1131498961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31225 13073 16 0 212554 0
vsize: 850280
[startup+921.099 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 85174 64 0 0 25 0 11 0 477172498 870686720 31266 4294967295 134512640 134569956 3221224400 3221214488 1131498988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 31266 13073 16 0 212554 0
vsize: 850280
[startup+931.099 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 12042
Raw data (stat): 11975 (java) S 11974 11931 11930 0 -1 0 18016 0 80 0 86152 64 0 0 25 0 11 0 477172498 870686720 31316 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31316 13073 16 0 212554 0
vsize: 850280
[startup+941.098 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 87136 64 0 0 25 0 11 0 477172498 870686720 31344 4294967295 134512640 134569956 3221224400 3221214096 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31344 13073 16 0 212554 0
vsize: 850280
[startup+951.098 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 88121 64 0 0 25 0 11 0 477172498 870686720 31382 4294967295 134512640 134569956 3221224400 3221214488 1131498954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31382 13073 16 0 212554 0
vsize: 850280
[startup+961.098 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 89106 64 0 0 25 0 11 0 477172498 870686720 31420 4294967295 134512640 134569956 3221224400 3221214744 1131178425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31420 13073 16 0 212554 0
vsize: 850280
[startup+971.098 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 90090 65 0 0 25 0 11 0 477172498 870686720 31445 4294967295 134512640 134569956 3221224400 3221214928 1131501188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31445 13073 16 0 212554 0
vsize: 850280
[startup+981.098 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 91067 65 0 0 24 0 11 0 477172498 870686720 31496 4294967295 134512640 134569956 3221224400 3221214376 1131497385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31496 13073 16 0 212554 0
vsize: 850280
[startup+991.099 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 92058 65 0 0 25 0 11 0 477172498 870686720 31515 4294967295 134512640 134569956 3221224400 3221214132 1131499852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31515 13073 16 0 212554 0
vsize: 850280
[startup+1001.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 93026 66 0 0 25 0 11 0 477172498 870686720 31570 4294967295 134512640 134569956 3221224400 3221214216 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31570 13073 16 0 212554 0
vsize: 850280
[startup+1011.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 94009 66 0 0 25 0 11 0 477172498 870686720 31604 4294967295 134512640 134569956 3221224400 3221214752 1131460606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31604 13073 16 0 212554 0
vsize: 850280
[startup+1021.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 95001 66 0 0 25 0 11 0 477172498 870686720 31628 4294967295 134512640 134569956 3221224400 3221214912 1131505941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31628 13073 16 0 212554 0
vsize: 850280
[startup+1031.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 95985 66 0 0 25 0 11 0 477172498 870686720 31665 4294967295 134512640 134569956 3221224400 3221214160 1131207653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31665 13073 16 0 212554 0
vsize: 850280
[startup+1041.1 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 96960 67 0 0 25 0 11 0 477172498 870686720 31715 4294967295 134512640 134569956 3221224400 3221214296 1131659744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31715 13073 16 0 212554 0
vsize: 850280
[startup+1051.1 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 97943 67 0 0 25 0 11 0 477172498 870686720 31746 4294967295 134512640 134569956 3221224400 3221214520 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31746 13073 16 0 212554 0
vsize: 850280
[startup+1061.1 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 98917 67 0 0 25 0 11 0 477172498 870686720 31804 4294967295 134512640 134569956 3221224400 3221214604 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31804 13073 16 0 212554 0
vsize: 850280
[startup+1071.1 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 99899 68 0 0 25 0 11 0 477172498 870686720 31867 4294967295 134512640 134569956 3221224400 3221214656 1131670560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31867 13073 16 0 212554 0
vsize: 850280
[startup+1081.1 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 100872 68 0 0 25 0 11 0 477172498 870686720 31927 4294967295 134512640 134569956 3221224400 3221214484 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31927 13073 16 0 212554 0
vsize: 850280
[startup+1091.1 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 101854 69 0 0 25 0 11 0 477172498 870686720 31965 4294967295 134512640 134569956 3221224400 3221214648 1131499861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31965 13073 16 0 212554 0
vsize: 850280
[startup+1101.1 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 102844 69 0 0 25 0 11 0 477172498 870686720 31981 4294967295 134512640 134569956 3221224400 3221214160 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31981 13073 16 0 212554 0
vsize: 850280
[startup+1111.1 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 103835 69 0 0 25 0 11 0 477172498 870686720 31996 4294967295 134512640 134569956 3221224400 3221214608 1131498908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 31996 13073 16 0 212554 0
vsize: 850280
[startup+1121.1 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 104816 70 0 0 25 0 11 0 477172498 870686720 32031 4294967295 134512640 134569956 3221224400 3221214656 1131168885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32031 13073 16 0 212554 0
vsize: 850280
[startup+1131.1 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 105796 70 0 0 25 0 11 0 477172498 870686720 32076 4294967295 134512640 134569956 3221224400 3221214656 1131168673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32076 13073 16 0 212554 0
vsize: 850280
[startup+1141.1 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 106777 70 0 0 25 0 11 0 477172498 870686720 32110 4294967295 134512640 134569956 3221224400 3221214364 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32110 13073 16 0 212554 0
vsize: 850280
[startup+1151.1 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 107767 71 0 0 25 0 11 0 477172498 870686720 32126 4294967295 134512640 134569956 3221224400 3221214328 1131499035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32126 13073 16 0 212554 0
vsize: 850280
[startup+1161.1 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 108748 71 0 0 25 0 11 0 477172498 870686720 32160 4294967295 134512640 134569956 3221224400 3221214096 1085632287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32160 13073 16 0 212554 0
vsize: 850280
[startup+1171.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 109738 71 0 0 25 0 11 0 477172498 870686720 32181 4294967295 134512640 134569956 3221224400 3221214132 1131497316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32181 13073 16 0 212554 0
vsize: 850280
[startup+1181.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 110719 71 0 0 25 0 11 0 477172498 870686720 32213 4294967295 134512640 134569956 3221224400 3221214536 1131665740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212570 32213 13073 16 0 212554 0
vsize: 850280
[startup+1191.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 111690 72 0 0 25 0 11 0 477172498 870686720 32272 4294967295 134512640 134569956 3221224400 3221214608 1131498961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32272 13073 16 0 212554 0
vsize: 850280
[startup+1201.1 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 112670 72 0 0 25 0 11 0 477172498 870686720 32322 4294967295 134512640 134569956 3221224400 3221214084 1131498960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32322 13073 16 0 212554 0
vsize: 850280
[startup+1211.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 113652 72 0 0 25 0 11 0 477172498 870686720 32382 4294967295 134512640 134569956 3221224400 3221214296 1131659056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32382 13073 16 0 212554 0
vsize: 850280
[startup+1221.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 114634 73 0 0 25 0 11 0 477172498 870686720 32424 4294967295 134512640 134569956 3221224400 3221214416 1131670307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32424 13073 16 0 212554 0
vsize: 850280
[startup+1231.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 115615 73 0 0 25 0 11 0 477172498 870686720 32466 4294967295 134512640 134569956 3221224400 3221214608 1131498809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32466 13073 16 0 212554 0
vsize: 850280
[startup+1241.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 116598 74 0 0 25 0 11 0 477172498 870686720 32515 4294967295 134512640 134569956 3221224400 3221214648 1131499861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32515 13073 16 0 212554 0
vsize: 850280
[startup+1251.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 117580 74 0 0 25 0 11 0 477172498 870686720 32569 4294967295 134512640 134569956 3221224400 3221214656 1131659692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32569 13073 16 0 212554 0
vsize: 850280
[startup+1261.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 118563 74 0 0 25 0 11 0 477172498 870686720 32634 4294967295 134512640 134569956 3221224400 3221214640 1131160069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32634 13073 16 0 212554 0
vsize: 850280
[startup+1271.11 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 119546 74 0 0 25 0 11 0 477172498 870686720 32680 4294967295 134512640 134569956 3221224400 3221214400 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32680 13073 16 0 212554 0
vsize: 850280
[startup+1281.11 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 12042
Raw data (stat): 11975 (java) R 11974 11931 11930 0 -1 0 18016 0 80 0 120538 75 0 0 25 0 11 0 477172498 870686720 32703 4294967295 134512640 134569956 3221224400 3221214280 1085679502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212570 32703 13073 16 0 212554 0
vsize: 850280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1281.31 s]
Raw data (loadavg): 1.00 0.97 0.73 1/54 12044
Raw data (stat): 11975 (java) Z 11974 11931 11930 0 -1 1036 18016 10485 80 1 120551 76 3019 22 25 0 1 0 477172498 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): 1281.31
CPU time (s): 1236.7
CPU user time (s): 1235.72
CPU system time (s): 0.98385
CPU usage (%): 96.5182
Max. virtual memory (Kb): 850536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####