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-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 4208

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924396 kB
Buffers:         36368 kB
Cached:          54412 kB
SwapCached:          0 kB
Active:          71728 kB
Inactive:        21840 kB
HighTotal:      131008 kB
HighFree:        72240 kB
LowTotal:       903652 kB
LowFree:        852156 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11036 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:17 (client local time) WITH STATUS 143 IN  SECONDS
stats: 414 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-fpga30_28_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1260]
c [nbconstr=926]
c time 3.171
c #vars     1260
c #clauses  926
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.96 0.29 0.10 2/54 23180
Raw data (stat): 23180 (runsolver) R 23179 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418964681 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.0079 s]
Raw data (loadavg): 1.12 0.35 0.12 3/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18071 0 1 0 620 47 0 0 25 0 11 0 418964681 866828288 21735 4294967295 134512640 134569956 3221224400 3221213704 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211628 21735 13073 16 0 211612 0
vsize: 846512
[startup+20.0083 s]
Raw data (loadavg): 1.25 0.40 0.14 2/64 23190
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18077 0 1 0 1528 47 0 0 25 0 11 0 418964681 865169408 22569 4294967295 134512640 134569956 3221224400 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 22570 13073 16 0 211207 0
vsize: 844892
[startup+30.0089 s]
Raw data (loadavg): 1.21 0.42 0.15 2/64 23190
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18078 0 1 0 2457 47 0 0 25 0 11 0 418964681 865169408 23183 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 23183 13073 16 0 211207 0
vsize: 844892
[startup+40.0092 s]
Raw data (loadavg): 1.18 0.44 0.16 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18078 0 1 0 3369 48 0 0 25 0 11 0 418964681 865169408 23374 4294967295 134512640 134569956 3221224400 3221214800 1131407645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 23374 13073 16 0 211207 0
vsize: 844892
[startup+50.0103 s]
Raw data (loadavg): 1.15 0.46 0.16 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18078 0 1 0 4277 48 0 0 25 0 11 0 418964681 865169408 23486 4294967295 134512640 134569956 3221224400 3221214688 1131264093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 23486 13073 16 0 211207 0
vsize: 844892
[startup+60.0105 s]
Raw data (loadavg): 1.13 0.48 0.17 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18078 0 1 0 5189 48 0 0 25 0 11 0 418964681 865169408 24037 4294967295 134512640 134569956 3221224400 3221214752 1131315463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 24037 13073 16 0 211207 0
vsize: 844892
[startup+70.0111 s]
Raw data (loadavg): 1.11 0.49 0.18 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18078 0 1 0 6110 49 0 0 25 0 11 0 418964681 865169408 24194 4294967295 134512640 134569956 3221224400 3221214788 1131311874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 24194 13073 16 0 211207 0
vsize: 844892
[startup+80.0121 s]
Raw data (loadavg): 1.09 0.51 0.19 2/64 23190
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18078 0 1 0 7014 49 0 0 25 0 11 0 418964681 865169408 24364 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 24365 13073 16 0 211207 0
vsize: 844892
[startup+90.0124 s]
Raw data (loadavg): 1.08 0.52 0.20 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18078 0 1 0 7936 50 0 0 25 0 11 0 418964681 865169408 24637 4294967295 134512640 134569956 3221224400 3221214584 1131288416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 24637 13073 16 0 211207 0
vsize: 844892
[startup+100.013 s]
Raw data (loadavg): 1.06 0.54 0.21 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 8860 50 0 0 25 0 11 0 418964681 865169408 24763 4294967295 134512640 134569956 3221224400 3221214800 1131409728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 24763 13073 16 0 211207 0
vsize: 844892
[startup+110.014 s]
Raw data (loadavg): 1.05 0.55 0.21 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 9804 50 0 0 25 0 11 0 418964681 865169408 24970 4294967295 134512640 134569956 3221224400 3221214704 1131445625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 24970 13073 16 0 211207 0
vsize: 844892
[startup+120.014 s]
Raw data (loadavg): 1.04 0.57 0.22 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 10766 50 0 0 25 0 11 0 418964681 865169408 25126 4294967295 134512640 134569956 3221224400 3221214432 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 25126 13073 16 0 211207 0
vsize: 844892
[startup+130.014 s]
Raw data (loadavg): 1.04 0.58 0.23 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 11720 50 0 0 24 0 11 0 418964681 865169408 25302 4294967295 134512640 134569956 3221224400 3221214648 1131392656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 25302 13073 16 0 211207 0
vsize: 844892
[startup+140.015 s]
Raw data (loadavg): 1.03 0.60 0.24 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 12698 50 0 0 25 0 11 0 418964681 865169408 25360 4294967295 134512640 134569956 3221224400 3221214680 1131678883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 25360 13073 16 0 211207 0
vsize: 844892
[startup+150.015 s]
Raw data (loadavg): 1.03 0.61 0.25 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 13663 50 0 0 25 0 11 0 418964681 865169408 25525 4294967295 134512640 134569956 3221224400 3221214680 1131677056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 25525 13073 16 0 211207 0
vsize: 844892
[startup+160.015 s]
Raw data (loadavg): 1.02 0.62 0.25 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 14634 50 0 0 25 0 11 0 418964681 865169408 25606 4294967295 134512640 134569956 3221224400 3221214672 1131463476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 25606 13073 16 0 211207 0
vsize: 844892
[startup+170.015 s]
Raw data (loadavg): 1.02 0.63 0.26 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 15605 50 0 0 25 0 11 0 418964681 865169408 25647 4294967295 134512640 134569956 3221224400 3221214796 1080204176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 25647 13073 16 0 211207 0
vsize: 844892
[startup+180.016 s]
Raw data (loadavg): 1.01 0.64 0.27 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 16576 50 0 0 25 0 11 0 418964681 865169408 25711 4294967295 134512640 134569956 3221224400 3221214680 1131677089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 25711 13073 16 0 211207 0
vsize: 844892
[startup+190.016 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 17532 51 0 0 24 0 11 0 418964681 865169408 25802 4294967295 134512640 134569956 3221224400 3221214800 1131409841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 25802 13073 16 0 211207 0
vsize: 844892
[startup+200.017 s]
Raw data (loadavg): 1.01 0.67 0.28 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 18502 51 0 0 25 0 11 0 418964681 865169408 26001 4294967295 134512640 134569956 3221224400 3221214256 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26001 13073 16 0 211207 0
vsize: 844892
[startup+210.017 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 19479 51 0 0 25 0 11 0 418964681 865169408 26029 4294967295 134512640 134569956 3221224400 3221214576 1131602796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26029 13073 16 0 211207 0
vsize: 844892
[startup+220.017 s]
Raw data (loadavg): 1.01 0.69 0.30 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 20434 51 0 0 25 0 11 0 418964681 865169408 26162 4294967295 134512640 134569956 3221224400 3221214656 1131460513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26162 13073 16 0 211207 0
vsize: 844892
[startup+230.018 s]
Raw data (loadavg): 1.00 0.70 0.30 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 21394 51 0 0 24 0 11 0 418964681 865169408 26311 4294967295 134512640 134569956 3221224400 3221214784 1131318990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26311 13073 16 0 211207 0
vsize: 844892
[startup+240.018 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 22358 52 0 0 25 0 11 0 418964681 865169408 26376 4294967295 134512640 134569956 3221224400 3221214680 1131677134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26376 13073 16 0 211207 0
vsize: 844892
[startup+250.019 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 23190
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18079 0 1 0 23317 52 0 0 25 0 11 0 418964681 865169408 26401 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26401 13073 16 0 211207 0
vsize: 844892
[startup+260.02 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 24281 52 0 0 25 0 11 0 418964681 865169408 26630 4294967295 134512640 134569956 3221224400 3221214576 1131601947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26630 13073 16 0 211207 0
vsize: 844892
[startup+270.02 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 25230 52 0 0 25 0 11 0 418964681 865169408 26862 4294967295 134512640 134569956 3221224400 3221214548 1131545715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26862 13073 16 0 211207 0
vsize: 844892
[startup+280.02 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 26192 52 0 0 25 0 11 0 418964681 865169408 26923 4294967295 134512640 134569956 3221224400 3221214232 1131129034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 26923 13073 16 0 211207 0
vsize: 844892
[startup+290.02 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 27143 53 0 0 25 0 11 0 418964681 865169408 27137 4294967295 134512640 134569956 3221224400 3221214712 1131384611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 27137 13073 16 0 211207 0
vsize: 844892
[startup+300.022 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 28103 53 0 0 25 0 11 0 418964681 865169408 27282 4294967295 134512640 134569956 3221224400 3221214776 1131408205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 27282 13073 16 0 211207 0
vsize: 844892
[startup+310.022 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 29061 53 0 0 25 0 11 0 418964681 865169408 27585 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 27585 13073 16 0 211207 0
vsize: 844892
[startup+320.021 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 30021 54 0 0 25 0 11 0 418964681 865169408 27757 4294967295 134512640 134569956 3221224400 3221214688 1131264179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 27757 13073 16 0 211207 0
vsize: 844892
[startup+330.021 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 30969 54 0 0 25 0 11 0 418964681 865169408 27984 4294967295 134512640 134569956 3221224400 3221214444 1131129040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 27984 13073 16 0 211207 0
vsize: 844892
[startup+340.022 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 31917 54 0 0 25 0 11 0 418964681 865169408 28216 4294967295 134512640 134569956 3221224400 3221214688 1131264466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28216 13073 16 0 211207 0
vsize: 844892
[startup+350.023 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 32886 54 0 0 25 0 11 0 418964681 865169408 28312 4294967295 134512640 134569956 3221224400 3221214688 1131264145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28312 13073 16 0 211207 0
vsize: 844892
[startup+360.023 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 33843 55 0 0 25 0 11 0 418964681 865169408 28579 4294967295 134512640 134569956 3221224400 3221214668 1131565833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28579 13073 16 0 211207 0
vsize: 844892
[startup+370.023 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 34812 55 0 0 25 0 11 0 418964681 865169408 28643 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28643 13073 16 0 211207 0
vsize: 844892
[startup+380.024 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 35791 56 0 0 25 0 11 0 418964681 865169408 28739 4294967295 134512640 134569956 3221224400 3221214184 1131129016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28739 13073 16 0 211207 0
vsize: 844892
[startup+390.024 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 23190
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 36749 56 0 0 25 0 11 0 418964681 865169408 28914 4294967295 134512640 134569956 3221224400 3221214276 1131555913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28914 13073 16 0 211207 0
vsize: 844892
[startup+400.025 s]
Raw data (loadavg): 1.00 0.82 0.41 4/68 23222
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18079 0 1 0 37714 56 0 0 25 0 11 0 418964681 865169408 28914 4294967295 134512640 134569956 3221224400 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28914 13073 16 0 211207 0
vsize: 844892
[startup+410.027 s]
Raw data (loadavg): 1.07 0.84 0.42 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 38671 56 0 0 25 0 11 0 418964681 865169408 28939 4294967295 134512640 134569956 3221224400 3221214056 1131128889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 28939 13073 16 0 211207 0
vsize: 844892
[startup+420.027 s]
Raw data (loadavg): 1.06 0.85 0.43 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 39628 57 0 0 25 0 11 0 418964681 865169408 29168 4294967295 134512640 134569956 3221224400 3221214816 1131299630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29168 13073 16 0 211207 0
vsize: 844892
[startup+430.027 s]
Raw data (loadavg): 1.05 0.85 0.43 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 40578 57 0 0 25 0 11 0 418964681 865169408 29258 4294967295 134512640 134569956 3221224400 3221214052 1131129040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 29258 13073 16 0 211207 0
vsize: 844892
[startup+440.028 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 41557 57 0 0 25 0 11 0 418964681 865169408 29348 4294967295 134512640 134569956 3221224400 3221214448 1131129041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29348 13073 16 0 211207 0
vsize: 844892
[startup+450.028 s]
Raw data (loadavg): 1.04 0.86 0.45 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 42509 58 0 0 25 0 11 0 418964681 865169408 29584 4294967295 134512640 134569956 3221224400 3221214664 1131565845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29584 13073 16 0 211207 0
vsize: 844892
[startup+460.029 s]
Raw data (loadavg): 1.03 0.87 0.45 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 43483 58 0 0 25 0 11 0 418964681 865169408 29659 4294967295 134512640 134569956 3221224400 3221214492 1131565827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29659 13073 16 0 211207 0
vsize: 844892
[startup+470.029 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 23243
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 44437 58 0 0 25 0 11 0 418964681 865169408 29856 4294967295 134512640 134569956 3221224400 3221214640 1131570690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29856 13073 16 0 211207 0
vsize: 844892
[startup+480.03 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 45397 59 0 0 25 0 11 0 418964681 865169408 29877 4294967295 134512640 134569956 3221224400 3221214400 1078032375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 29877 13073 16 0 211207 0
vsize: 844892
[startup+490.031 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 46345 59 0 0 25 0 11 0 418964681 865169408 30075 4294967295 134512640 134569956 3221224400 3221214652 1131384268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30075 13073 16 0 211207 0
vsize: 844892
[startup+500.033 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 47318 60 0 0 25 0 11 0 418964681 865169408 30192 4294967295 134512640 134569956 3221224400 3221214144 1131129016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30192 13073 16 0 211207 0
vsize: 844892
[startup+510.033 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 48286 60 0 0 25 0 11 0 418964681 865169408 30352 4294967295 134512640 134569956 3221224400 3221214688 1131264301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30352 13073 16 0 211207 0
vsize: 844892
[startup+520.034 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 49248 61 0 0 25 0 11 0 418964681 865169408 30467 4294967295 134512640 134569956 3221224400 3221214816 1131299616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30467 13073 16 0 211207 0
vsize: 844892
[startup+530.035 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 50224 61 0 0 25 0 11 0 418964681 865169408 30557 4294967295 134512640 134569956 3221224400 3221214688 1131264555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30557 13073 16 0 211207 0
vsize: 844892
[startup+540.035 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 51196 61 0 0 25 0 11 0 418964681 865169408 30638 4294967295 134512640 134569956 3221224400 3221214656 1131677207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 30638 13073 16 0 211207 0
vsize: 844892
[startup+550.037 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 52166 62 0 0 25 0 11 0 418964681 865169408 30684 4294967295 134512640 134569956 3221224400 3221214552 1131384611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30684 13073 16 0 211207 0
vsize: 844892
[startup+560.037 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 53137 62 0 0 25 0 11 0 418964681 865169408 30756 4294967295 134512640 134569956 3221224400 3221214480 1131721307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 30756 13073 16 0 211207 0
vsize: 844892
[startup+570.037 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 54107 62 0 0 25 0 11 0 418964681 865169408 30850 4294967295 134512640 134569956 3221224400 3221214716 1080203688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30850 13073 16 0 211207 0
vsize: 844892
[startup+580.039 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 55075 62 0 0 25 0 11 0 418964681 865169408 30922 4294967295 134512640 134569956 3221224400 3221214688 1131264266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 30922 13073 16 0 211207 0
vsize: 844892
[startup+590.039 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 56037 62 0 0 25 0 11 0 418964681 865169408 31040 4294967295 134512640 134569956 3221224400 3221214800 1131499548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31040 13073 16 0 211207 0
vsize: 844892
[startup+600.04 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 57007 62 0 0 25 0 11 0 418964681 865169408 31084 4294967295 134512640 134569956 3221224400 3221214780 1131539187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31084 13073 16 0 211207 0
vsize: 844892
[startup+610.041 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 57974 63 0 0 25 0 11 0 418964681 865169408 31163 4294967295 134512640 134569956 3221224400 3221214688 1131264703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31163 13073 16 0 211207 0
vsize: 844892
[startup+620.041 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 58941 63 0 0 25 0 11 0 418964681 865169408 31271 4294967295 134512640 134569956 3221224400 3221214684 1131238176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 31271 13073 16 0 211207 0
vsize: 844892
[startup+630.042 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 59909 63 0 0 25 0 11 0 418964681 865169408 31365 4294967295 134512640 134569956 3221224400 3221214784 1131318042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31365 13073 16 0 211207 0
vsize: 844892
[startup+640.043 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 60884 63 0 0 25 0 11 0 418964681 865169408 31466 4294967295 134512640 134569956 3221224400 3221214688 1131265086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31466 13073 16 0 211207 0
vsize: 844892
[startup+650.044 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 61856 63 0 0 25 0 11 0 418964681 865169408 31537 4294967295 134512640 134569956 3221224400 3221214680 1131447627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31537 13073 16 0 211207 0
vsize: 844892
[startup+660.045 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 62835 64 0 0 25 0 11 0 418964681 865169408 31600 4294967295 134512640 134569956 3221224400 3221214784 1131318049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31600 13073 16 0 211207 0
vsize: 844892
[startup+670.045 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 63811 64 0 0 25 0 11 0 418964681 865169408 31647 4294967295 134512640 134569956 3221224400 3221214092 1131129040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 31647 13073 16 0 211207 0
vsize: 844892
[startup+680.046 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 64784 64 0 0 25 0 11 0 418964681 865169408 31735 4294967295 134512640 134569956 3221224400 3221214696 1131347485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31735 13073 16 0 211207 0
vsize: 844892
[startup+690.047 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 65760 65 0 0 25 0 11 0 418964681 865169408 31778 4294967295 134512640 134569956 3221224400 3221214320 1131684504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31778 13073 16 0 211207 0
vsize: 844892
[startup+700.047 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 66739 65 0 0 25 0 11 0 418964681 865169408 31827 4294967295 134512640 134569956 3221224400 3221214784 1131319079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31827 13073 16 0 211207 0
vsize: 844892
[startup+710.048 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 67715 65 0 0 25 0 11 0 418964681 865169408 31906 4294967295 134512640 134569956 3221224400 3221214784 1131319100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31906 13073 16 0 211207 0
vsize: 844892
[startup+720.049 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 23245
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 68692 66 0 0 25 0 11 0 418964681 865169408 31960 4294967295 134512640 134569956 3221224400 3221214552 1131600918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 31960 13073 16 0 211207 0
vsize: 844892
[startup+730.049 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 69668 66 0 0 25 0 11 0 418964681 865169408 32084 4294967295 134512640 134569956 3221224400 3221214552 1131600971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32084 13073 16 0 211207 0
vsize: 844892
[startup+740.05 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 70643 67 0 0 25 0 11 0 418964681 865169408 32149 4294967295 134512640 134569956 3221224400 3221214784 1131319002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32149 13073 16 0 211207 0
vsize: 844892
[startup+750.049 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 71625 67 0 0 25 0 11 0 418964681 865169408 32199 4294967295 134512640 134569956 3221224400 3221214552 1131601148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32199 13073 16 0 211207 0
vsize: 844892
[startup+760.05 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 72607 67 0 0 25 0 11 0 418964681 865169408 32242 4294967295 134512640 134569956 3221224400 3221214884 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32242 13073 16 0 211207 0
vsize: 844892
[startup+770.05 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 73582 67 0 0 25 0 11 0 418964681 865169408 32293 4294967295 134512640 134569956 3221224400 3221214552 1131602775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32293 13073 16 0 211207 0
vsize: 844892
[startup+780.05 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 74560 68 0 0 25 0 11 0 418964681 865169408 32346 4294967295 134512640 134569956 3221224400 3221214816 1131299785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32346 13073 16 0 211207 0
vsize: 844892
[startup+790.051 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 75542 68 0 0 25 0 11 0 418964681 865169408 32402 4294967295 134512640 134569956 3221224400 3221214688 1131264555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 32402 13073 16 0 211207 0
vsize: 844892
[startup+800.051 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 76522 68 0 0 25 0 11 0 418964681 865169408 32441 4294967295 134512640 134569956 3221224400 3221214784 1131318110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32441 13073 16 0 211207 0
vsize: 844892
[startup+810.051 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 77501 69 0 0 25 0 11 0 418964681 865169408 32473 4294967295 134512640 134569956 3221224400 3221214536 1131129020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32473 13073 16 0 211207 0
vsize: 844892
[startup+820.051 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 78483 69 0 0 25 0 11 0 418964681 865169408 32507 4294967295 134512640 134569956 3221224400 3221214784 1131320059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32507 13073 16 0 211207 0
vsize: 844892
[startup+830.051 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 79460 69 0 0 25 0 11 0 418964681 865169408 32536 4294967295 134512640 134569956 3221224400 3221214688 1131264489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32536 13073 16 0 211207 0
vsize: 844892
[startup+840.052 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 80430 70 0 0 25 0 11 0 418964681 865169408 32609 4294967295 134512640 134569956 3221224400 3221214688 1131264485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32609 13073 16 0 211207 0
vsize: 844892
[startup+850.052 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 81409 70 0 0 25 0 11 0 418964681 865169408 32669 4294967295 134512640 134569956 3221224400 3221214496 1131683651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32669 13073 16 0 211207 0
vsize: 844892
[startup+860.053 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 82365 70 0 0 25 0 11 0 418964681 865169408 32760 4294967295 134512640 134569956 3221224400 3221214688 1131265114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32760 13073 16 0 211207 0
vsize: 844892
[startup+870.053 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 83324 71 0 0 25 0 11 0 418964681 865169408 32854 4294967295 134512640 134569956 3221224400 3221214232 1131555892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32854 13073 16 0 211207 0
vsize: 844892
[startup+880.054 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 84281 71 0 0 25 0 11 0 418964681 865169408 32941 4294967295 134512640 134569956 3221224400 3221214672 1131683278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 32941 13073 16 0 211207 0
vsize: 844892
[startup+890.054 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 85247 71 0 0 25 0 11 0 418964681 865169408 33029 4294967295 134512640 134569956 3221224400 3221214816 1131299623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33029 13073 16 0 211207 0
vsize: 844892
[startup+900.055 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 86212 72 0 0 25 0 11 0 418964681 865169408 33224 4294967295 134512640 134569956 3221224400 3221214508 1131560179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33224 13073 16 0 211207 0
vsize: 844892
[startup+910.056 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 87180 72 0 0 25 0 11 0 418964681 865169408 33297 4294967295 134512640 134569956 3221224400 3221214232 1131681758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33297 13073 16 0 211207 0
vsize: 844892
[startup+920.056 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 88167 72 0 0 25 0 11 0 418964681 865169408 33317 4294967295 134512640 134569956 3221224400 3221214444 1131129035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 33317 13073 16 0 211207 0
vsize: 844892
[startup+930.057 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 89153 72 0 0 25 0 11 0 418964681 865169408 33393 4294967295 134512640 134569956 3221224400 3221214624 1131129034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33393 13073 16 0 211207 0
vsize: 844892
[startup+940.057 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 90120 72 0 0 25 0 11 0 418964681 865169408 33416 4294967295 134512640 134569956 3221224400 3221214776 1131408042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33416 13073 16 0 211207 0
vsize: 844892
[startup+950.057 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 91103 73 0 0 25 0 11 0 418964681 865169408 33428 4294967295 134512640 134569956 3221224400 3221214496 1131683156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33428 13073 16 0 211207 0
vsize: 844892
[startup+960.058 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 92084 73 0 0 25 0 11 0 418964681 865169408 33441 4294967295 134512640 134569956 3221224400 3221214492 1131565856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33441 13073 16 0 211207 0
vsize: 844892
[startup+970.058 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 93075 73 0 0 25 0 11 0 418964681 865169408 33449 4294967295 134512640 134569956 3221224400 3221214624 1131129047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33449 13073 16 0 211207 0
vsize: 844892
[startup+980.059 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 94056 73 0 0 25 0 11 0 418964681 865169408 33460 4294967295 134512640 134569956 3221224400 3221214784 1131319152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33460 13073 16 0 211207 0
vsize: 844892
[startup+990.06 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 95016 74 0 0 25 0 11 0 418964681 865169408 33509 4294967295 134512640 134569956 3221224400 3221214696 1131346580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33509 13073 16 0 211207 0
vsize: 844892
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 95975 74 0 0 25 0 11 0 418964681 865169408 33776 4294967295 134512640 134569956 3221224400 3221214768 1131539201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33776 13073 16 0 211207 0
vsize: 844892
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 96925 74 0 0 25 0 11 0 418964681 865169408 33838 4294967295 134512640 134569956 3221224400 3221214672 1131686172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33838 13073 16 0 211207 0
vsize: 844892
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 97893 75 0 0 25 0 11 0 418964681 865169408 33932 4294967295 134512640 134569956 3221224400 3221214776 1131411903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 33932 13073 16 0 211207 0
vsize: 844892
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 98855 75 0 0 25 0 11 0 418964681 865169408 34044 4294967295 134512640 134569956 3221224400 3221214816 1131299872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34044 13073 16 0 211207 0
vsize: 844892
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 99815 75 0 0 25 0 11 0 418964681 865169408 34140 4294967295 134512640 134569956 3221224400 3221214496 1131682636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 34140 13073 16 0 211207 0
vsize: 844892
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23247
Raw data (stat): 23180 (java) S 23179 22932 22931 0 -1 0 18079 0 1 0 100778 76 0 0 25 0 11 0 418964681 865169408 34229 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34229 13073 16 0 211207 0
vsize: 844892
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 101753 76 0 0 25 0 11 0 418964681 865169408 34323 4294967295 134512640 134569956 3221224400 3221214816 1131299911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34323 13073 16 0 211207 0
vsize: 844892
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 102712 76 0 0 25 0 11 0 418964681 865169408 34461 4294967295 134512640 134569956 3221224400 3221214096 1131555912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34461 13073 16 0 211207 0
vsize: 844892
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 103701 76 0 0 25 0 11 0 418964681 865169408 34461 4294967295 134512640 134569956 3221224400 3221214140 1131129040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 34461 13073 16 0 211207 0
vsize: 844892
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 104670 77 0 0 25 0 11 0 418964681 865169408 34573 4294967295 134512640 134569956 3221224400 3221214688 1131264489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34573 13073 16 0 211207 0
vsize: 844892
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 105627 77 0 0 25 0 11 0 418964681 865169408 34686 4294967295 134512640 134569956 3221224400 3221214320 1131683148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34686 13073 16 0 211207 0
vsize: 844892
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 106595 78 0 0 25 0 11 0 418964681 865169408 34772 4294967295 134512640 134569956 3221224400 3221214056 1131128961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 34772 13073 16 0 211207 0
vsize: 844892
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 107564 78 0 0 25 0 11 0 418964681 865169408 34873 4294967295 134512640 134569956 3221224400 3221214852 1080204343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34873 13073 16 0 211207 0
vsize: 844892
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 108512 79 0 0 25 0 11 0 418964681 865169408 34975 4294967295 134512640 134569956 3221224400 3221214688 1131264555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 34975 13073 16 0 211207 0
vsize: 844892
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 109474 79 0 0 25 0 11 0 418964681 865169408 35102 4294967295 134512640 134569956 3221224400 3221214552 1131600991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35102 13073 16 0 211207 0
vsize: 844892
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 110445 80 0 0 25 0 11 0 418964681 865169408 35202 4294967295 134512640 134569956 3221224400 3221214672 1131685958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35202 13073 16 0 211207 0
vsize: 844892
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 111407 80 0 0 25 0 11 0 418964681 865169408 35305 4294967295 134512640 134569956 3221224400 3221214408 1131683512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35305 13073 16 0 211207 0
vsize: 844892
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 112372 80 0 0 25 0 11 0 418964681 865169408 35454 4294967295 134512640 134569956 3221224400 3221214584 1131682678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35454 13073 16 0 211207 0
vsize: 844892
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 113346 80 0 0 25 0 11 0 418964681 865169408 35516 4294967295 134512640 134569956 3221224400 3221214688 1131264555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35516 13073 16 0 211207 0
vsize: 844892
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 114304 81 0 0 25 0 11 0 418964681 865169408 35664 4294967295 134512640 134569956 3221224400 3221214400 1131684536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35664 13073 16 0 211207 0
vsize: 844892
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 115287 81 0 0 25 0 11 0 418964681 865169408 35722 4294967295 134512640 134569956 3221224400 3221214672 1131683448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35722 13073 16 0 211207 0
vsize: 844892
[startup+1210.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 116262 81 0 0 25 0 11 0 418964681 865169408 35793 4294967295 134512640 134569956 3221224400 3221214184 1131129009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211223 35793 13073 16 0 211207 0
vsize: 844892
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 117244 81 0 0 25 0 11 0 418964681 865169408 35818 4294967295 134512640 134569956 3221224400 3221214816 1131299600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35818 13073 16 0 211207 0
vsize: 844892
[startup+1230.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 118218 82 0 0 25 0 11 0 418964681 865169408 35840 4294967295 134512640 134569956 3221224400 3221214624 1131129016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35840 13073 16 0 211207 0
vsize: 844892
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 119182 82 0 0 24 0 11 0 418964681 865169408 35961 4294967295 134512640 134569956 3221224400 3221214656 1131678947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 35961 13073 16 0 211207 0
vsize: 844892
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 23247
Raw data (stat): 23180 (java) R 23179 22932 22931 0 -1 0 18079 0 1 0 120165 82 0 0 25 0 11 0 418964681 865169408 36018 4294967295 134512640 134569956 3221224400 3221214008 1085679750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211223 36018 13073 16 0 211207 0
vsize: 844892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 23249
Raw data (stat): 23180 (java) Z 23179 22932 22931 0 -1 1036 18079 14930 1 1 120170 83 4302 36 25 0 1 0 418964681 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): 1250.2
CPU time (s): 1245.93
CPU user time (s): 1244.73
CPU system time (s): 1.20382
CPU usage (%): 99.6584
Max. virtual memory (Kb): 846512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####