PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	13.9929
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 13277

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-20 20:23:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15258 boxname=wulflinc1 idbench=1174 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 15258
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        833036 kB
Buffers:         18640 kB
Cached:         155440 kB
SwapCached:          0 kB
Active:          87296 kB
Inactive:        89940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        832784 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            18616 kB
Committed_AS:    92816 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 20:43:39 (client local time) WITH STATUS 143 IN 1225.27 SECONDS
stats: 15258 7 1225.27 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp98ar.opb
c reading problem 
c [nbvar=15085]
c [nbconstr=16520]
c time 83.481
c #vars     15085
c #clauses  1431
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 1/56 12873
Raw data (stat): 12873 (runsolver) D 12872 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 424212942 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.28 0.06 0.02 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17973 0 1 0 831 38 0 0 25 0 10 0 424212942 853377024 19042 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208344 19042 13073 16 0 208328 0
vsize: 833376
[startup+20.0142 s]
Raw data (loadavg): 0.39 0.09 0.03 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17974 0 1 0 1725 39 0 0 24 0 10 0 424212942 854425600 19845 4294967295 134512640 134569956 3221224400 3221214824 1131211018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 19845 13073 16 0 208584 0
vsize: 834400
[startup+30.014 s]
Raw data (loadavg): 0.49 0.12 0.04 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17974 0 1 0 2626 39 0 0 25 0 10 0 424212942 854425600 20269 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20269 13073 16 0 208584 0
vsize: 834400
[startup+40.0137 s]
Raw data (loadavg): 0.56 0.15 0.05 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17974 0 1 0 3554 40 0 0 25 0 10 0 424212942 854425600 20502 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20502 13073 16 0 208584 0
vsize: 834400
[startup+50.0155 s]
Raw data (loadavg): 0.63 0.18 0.06 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17974 0 1 0 4483 40 0 0 25 0 10 0 424212942 854425600 20624 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20624 13073 16 0 208584 0
vsize: 834400
[startup+60.0158 s]
Raw data (loadavg): 0.69 0.21 0.07 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17974 0 1 0 5412 41 0 0 25 0 10 0 424212942 854425600 20729 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20729 13073 16 0 208584 0
vsize: 834400
[startup+70.016 s]
Raw data (loadavg): 0.89 0.26 0.09 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17978 0 1 0 6293 41 0 0 25 0 10 0 424212942 854425600 20930 4294967295 134512640 134569956 3221224400 3221214392 1131282237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208600 20930 13073 16 0 208584 0
vsize: 834400
[startup+80.0179 s]
Raw data (loadavg): 0.91 0.29 0.10 2/65 12882
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 17978 0 1 0 7236 43 0 0 25 0 10 0 424212942 855019520 21721 4294967295 134512640 134569956 3221224400 3221214808 1131149364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208745 21721 13073 16 0 208729 0
vsize: 834980
[startup+90.0176 s]
Raw data (loadavg): 1.08 0.34 0.12 2/66 12883
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18046 0 1 0 8096 47 0 0 25 0 11 0 424212942 860282880 25583 4294967295 134512640 134569956 3221224400 3221214616 1131485550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210030 25583 13073 16 0 210014 0
vsize: 840120
[startup+100.017 s]
Raw data (loadavg): 1.07 0.37 0.13 2/66 12883
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18046 0 1 0 9087 47 0 0 25 0 11 0 424212942 858853376 25236 4294967295 134512640 134569956 3221224400 3221214676 1080204329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25236 13073 16 0 209665 0
vsize: 838724
[startup+110.018 s]
Raw data (loadavg): 1.06 0.39 0.14 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 10031 48 0 0 25 0 11 0 424212942 859115520 25318 4294967295 134512640 134569956 3221224400 3221214672 1131320877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209745 25318 13073 16 0 209729 0
vsize: 838980
[startup+120.039 s]
Raw data (loadavg): 1.12 0.42 0.15 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 10977 48 0 0 25 0 11 0 424212942 858853376 25259 4294967295 134512640 134569956 3221224400 3221214736 1131321284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25259 13073 16 0 209665 0
vsize: 838724
[startup+130.039 s]
Raw data (loadavg): 1.10 0.44 0.16 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 11929 48 0 0 25 0 11 0 424212942 858853376 25263 4294967295 134512640 134569956 3221224400 3221214736 1131320511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25263 13073 16 0 209665 0
vsize: 838724
[startup+140.038 s]
Raw data (loadavg): 1.09 0.46 0.17 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 12882 48 0 0 25 0 11 0 424212942 858853376 25263 4294967295 134512640 134569956 3221224400 3221214736 1131320385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25263 13073 16 0 209665 0
vsize: 838724
[startup+150.053 s]
Raw data (loadavg): 1.07 0.48 0.18 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 13861 48 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214736 1131321199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+160.053 s]
Raw data (loadavg): 1.06 0.49 0.18 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 14860 49 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214720 1131277478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+170.054 s]
Raw data (loadavg): 1.05 0.51 0.19 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 15859 49 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214824 1131599859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+180.054 s]
Raw data (loadavg): 1.04 0.52 0.20 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 16858 49 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214720 1131277775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+190.054 s]
Raw data (loadavg): 1.04 0.54 0.21 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 17856 49 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214720 1131277623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+200.054 s]
Raw data (loadavg): 1.03 0.55 0.22 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18047 0 1 0 18855 49 0 0 25 0 11 0 424212942 858853376 25638 4294967295 134512640 134569956 3221224400 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25638 13073 16 0 209665 0
vsize: 838724
[startup+210.054 s]
Raw data (loadavg): 1.02 0.57 0.22 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 19849 49 0 0 25 0 11 0 424212942 858853376 25644 4294967295 134512640 134569956 3221224400 3221214472 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25644 13073 16 0 209665 0
vsize: 838724
[startup+220.055 s]
Raw data (loadavg): 1.02 0.58 0.23 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 20846 49 0 0 25 0 11 0 424212942 858853376 25644 4294967295 134512640 134569956 3221224400 3221214568 1131677005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25644 13073 16 0 209665 0
vsize: 838724
[startup+230.055 s]
Raw data (loadavg): 1.02 0.60 0.24 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 21843 50 0 0 25 0 11 0 424212942 858853376 25644 4294967295 134512640 134569956 3221224400 3221214472 1131277581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25644 13073 16 0 209665 0
vsize: 838724
[startup+240.055 s]
Raw data (loadavg): 1.01 0.61 0.25 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 22842 50 0 0 25 0 11 0 424212942 858853376 25644 4294967295 134512640 134569956 3221224400 3221214568 1131676530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25644 13073 16 0 209665 0
vsize: 838724
[startup+250.055 s]
Raw data (loadavg): 1.01 0.62 0.26 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 23839 50 0 0 25 0 11 0 424212942 858853376 25647 4294967295 134512640 134569956 3221224400 3221214568 1131676920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25647 13073 16 0 209665 0
vsize: 838724
[startup+260.056 s]
Raw data (loadavg): 1.01 0.63 0.26 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 24838 50 0 0 25 0 11 0 424212942 858853376 25661 4294967295 134512640 134569956 3221224400 3221214568 1131676920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25661 13073 16 0 209665 0
vsize: 838724
[startup+270.057 s]
Raw data (loadavg): 1.01 0.64 0.27 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 25836 50 0 0 25 0 11 0 424212942 858853376 25661 4294967295 134512640 134569956 3221224400 3221214568 1131677148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25661 13073 16 0 209665 0
vsize: 838724
[startup+280.056 s]
Raw data (loadavg): 1.01 0.66 0.28 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18048 0 1 0 26835 51 0 0 25 0 11 0 424212942 858853376 25661 4294967295 134512640 134569956 3221224400 3221214568 1131677934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25661 13073 16 0 209665 0
vsize: 838724
[startup+290.056 s]
Raw data (loadavg): 1.00 0.67 0.29 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 27831 51 0 0 25 0 11 0 424212942 858853376 25663 4294967295 134512640 134569956 3221224400 3221214472 1131277797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25663 13073 16 0 209665 0
vsize: 838724
[startup+300.056 s]
Raw data (loadavg): 1.00 0.68 0.29 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 28829 51 0 0 25 0 11 0 424212942 858853376 25665 4294967295 134512640 134569956 3221224400 3221214568 1131676473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25665 13073 16 0 209665 0
vsize: 838724
[startup+310.057 s]
Raw data (loadavg): 1.00 0.69 0.30 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 29828 51 0 0 25 0 11 0 424212942 858853376 25665 4294967295 134512640 134569956 3221224400 3221214568 1131676940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25665 13073 16 0 209665 0
vsize: 838724
[startup+320.058 s]
Raw data (loadavg): 1.00 0.70 0.31 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 30826 51 0 0 25 0 11 0 424212942 858853376 25666 4294967295 134512640 134569956 3221224400 3221214576 1131631520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25666 13073 16 0 209665 0
vsize: 838724
[startup+330.058 s]
Raw data (loadavg): 1.00 0.71 0.31 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 31825 51 0 0 25 0 11 0 424212942 858853376 25666 4294967295 134512640 134569956 3221224400 3221214584 1131641279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25666 13073 16 0 209665 0
vsize: 838724
[startup+340.058 s]
Raw data (loadavg): 1.00 0.71 0.32 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 32824 51 0 0 25 0 11 0 424212942 858853376 25666 4294967295 134512640 134569956 3221224400 3221214568 1131676470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25666 13073 16 0 209665 0
vsize: 838724
[startup+350.058 s]
Raw data (loadavg): 1.00 0.72 0.33 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 33823 52 0 0 25 0 11 0 424212942 858853376 25666 4294967295 134512640 134569956 3221224400 3221214568 1131676470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25666 13073 16 0 209665 0
vsize: 838724
[startup+360.059 s]
Raw data (loadavg): 1.00 0.73 0.33 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 34821 52 0 0 25 0 11 0 424212942 858853376 25666 4294967295 134512640 134569956 3221224400 3221214568 1131676920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25666 13073 16 0 209665 0
vsize: 838724
[startup+370.059 s]
Raw data (loadavg): 1.00 0.74 0.34 3/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 35820 52 0 0 25 0 11 0 424212942 862236672 26267 4294967295 134512640 134569956 3221224400 3221214472 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210507 26267 13073 16 0 210491 0
vsize: 842028
[startup+380.059 s]
Raw data (loadavg): 1.07 0.77 0.35 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 36818 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214472 1131277623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+390.059 s]
Raw data (loadavg): 1.06 0.77 0.36 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 37817 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214576 1131631527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+400.06 s]
Raw data (loadavg): 1.05 0.78 0.37 2/66 12885
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 38814 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214576 1131277555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+410.059 s]
Raw data (loadavg): 1.04 0.79 0.37 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 39810 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214744 1131507098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+420.061 s]
Raw data (loadavg): 1.04 0.79 0.38 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 40808 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214676 1131278342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+430.061 s]
Raw data (loadavg): 1.03 0.80 0.38 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 41805 52 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+440.061 s]
Raw data (loadavg): 1.02 0.80 0.39 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 42803 53 0 0 25 0 11 0 424212942 858853376 25674 4294967295 134512640 134569956 3221224400 3221214568 1131677071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25674 13073 16 0 209665 0
vsize: 838724
[startup+450.06 s]
Raw data (loadavg): 1.02 0.81 0.39 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 43801 53 0 0 25 0 11 0 424212942 858853376 25676 4294967295 134512640 134569956 3221224400 3221214568 1131676473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25676 13073 16 0 209665 0
vsize: 838724
[startup+460.06 s]
Raw data (loadavg): 1.02 0.82 0.40 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 44799 53 0 0 25 0 11 0 424212942 858853376 25676 4294967295 134512640 134569956 3221224400 3221214576 1131277478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25676 13073 16 0 209665 0
vsize: 838724
[startup+470.061 s]
Raw data (loadavg): 1.01 0.82 0.41 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 45798 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214576 1131277478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+480.061 s]
Raw data (loadavg): 1.01 0.83 0.41 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 46797 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214676 1131420616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+490.061 s]
Raw data (loadavg): 1.01 0.83 0.42 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 47795 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214576 1131277775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+500.061 s]
Raw data (loadavg): 1.01 0.84 0.42 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 48794 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131676862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+510.061 s]
Raw data (loadavg): 1.01 0.84 0.43 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 49793 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131677930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+520.062 s]
Raw data (loadavg): 1.00 0.85 0.44 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 50792 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+530.063 s]
Raw data (loadavg): 1.00 0.85 0.44 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 51791 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131677133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+540.063 s]
Raw data (loadavg): 1.00 0.86 0.45 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 52790 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214576 1131277396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+550.063 s]
Raw data (loadavg): 1.00 0.86 0.45 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 53789 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+560.063 s]
Raw data (loadavg): 1.00 0.86 0.46 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 54788 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214676 1131277260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+570.064 s]
Raw data (loadavg): 1.00 0.87 0.46 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 55787 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131677071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+580.063 s]
Raw data (loadavg): 1.00 0.87 0.47 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 56786 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131678782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+590.063 s]
Raw data (loadavg): 1.00 0.88 0.47 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 57785 53 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214676 1131277260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+600.074 s]
Raw data (loadavg): 1.00 0.88 0.48 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 58785 54 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131678815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+610.074 s]
Raw data (loadavg): 1.00 0.88 0.48 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 59785 54 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214680 1131711381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+620.074 s]
Raw data (loadavg): 1.00 0.89 0.49 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 60782 54 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214728 1131487305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+630.074 s]
Raw data (loadavg): 1.00 0.89 0.49 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 61778 54 0 0 25 0 11 0 424212942 858853376 25691 4294967295 134512640 134569956 3221224400 3221214568 1131676862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25691 13073 16 0 209665 0
vsize: 838724
[startup+640.074 s]
Raw data (loadavg): 1.00 0.89 0.50 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 62775 54 0 0 25 0 11 0 424212942 858853376 25692 4294967295 134512640 134569956 3221224400 3221214576 1131277612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25692 13073 16 0 209665 0
vsize: 838724
[startup+650.074 s]
Raw data (loadavg): 1.00 0.90 0.50 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 63773 54 0 0 25 0 11 0 424212942 858853376 25692 4294967295 134512640 134569956 3221224400 3221214600 1131691413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25692 13073 16 0 209665 0
vsize: 838724
[startup+660.076 s]
Raw data (loadavg): 1.00 0.90 0.51 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 64770 54 0 0 25 0 11 0 424212942 858853376 25694 4294967295 134512640 134569956 3221224400 3221214576 1131277469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25694 13073 16 0 209665 0
vsize: 838724
[startup+670.078 s]
Raw data (loadavg): 1.00 0.90 0.51 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 65769 54 0 0 25 0 11 0 424212942 858853376 25694 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25694 13073 16 0 209665 0
vsize: 838724
[startup+680.078 s]
Raw data (loadavg): 1.00 0.90 0.52 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 66768 54 0 0 25 0 11 0 424212942 858853376 25708 4294967295 134512640 134569956 3221224400 3221214576 1131277694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25708 13073 16 0 209665 0
vsize: 838724
[startup+690.078 s]
Raw data (loadavg): 1.00 0.91 0.52 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 67766 54 0 0 25 0 11 0 424212942 858853376 25708 4294967295 134512640 134569956 3221224400 3221214568 1131676502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25708 13073 16 0 209665 0
vsize: 838724
[startup+700.078 s]
Raw data (loadavg): 1.00 0.91 0.53 2/66 12887
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 68765 54 0 0 25 0 11 0 424212942 858853376 25708 4294967295 134512640 134569956 3221224400 3221214576 1131278069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25708 13073 16 0 209665 0
vsize: 838724
[startup+710.086 s]
Raw data (loadavg): 1.00 0.91 0.53 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 69764 54 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214568 1131676534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+720.087 s]
Raw data (loadavg): 1.00 0.91 0.54 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 70763 54 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214568 1131676878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+730.087 s]
Raw data (loadavg): 1.00 0.92 0.54 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 71762 54 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214568 1131676862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+740.094 s]
Raw data (loadavg): 1.00 0.92 0.55 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 72762 54 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214680 1131711311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+750.094 s]
Raw data (loadavg): 1.00 0.92 0.55 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 73760 54 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214680 1131711367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+760.093 s]
Raw data (loadavg): 1.00 0.92 0.55 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 74759 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214568 1131676626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+770.094 s]
Raw data (loadavg): 1.00 0.92 0.56 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 75758 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214656 1131420593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+780.095 s]
Raw data (loadavg): 1.00 0.93 0.56 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 76757 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+790.095 s]
Raw data (loadavg): 1.00 0.93 0.57 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 77756 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214576 1131278052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+800.094 s]
Raw data (loadavg): 1.00 0.93 0.57 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 78755 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+810.102 s]
Raw data (loadavg): 1.00 0.93 0.57 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 79755 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+820.103 s]
Raw data (loadavg): 1.00 0.93 0.58 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 80754 55 0 0 25 0 11 0 424212942 858853376 25710 4294967295 134512640 134569956 3221224400 3221214568 1131676576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25710 13073 16 0 209665 0
vsize: 838724
[startup+830.103 s]
Raw data (loadavg): 1.00 0.94 0.58 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 81751 55 0 0 25 0 11 0 424212942 858853376 25712 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25712 13073 16 0 209665 0
vsize: 838724
[startup+840.108 s]
Raw data (loadavg): 1.00 0.94 0.59 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 82749 55 0 0 25 0 11 0 424212942 858853376 25712 4294967295 134512640 134569956 3221224400 3221214656 1131420593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25712 13073 16 0 209665 0
vsize: 838724
[startup+850.116 s]
Raw data (loadavg): 1.00 0.94 0.59 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 83748 55 0 0 25 0 11 0 424212942 858853376 25712 4294967295 134512640 134569956 3221224400 3221214376 1076460984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25712 13073 16 0 209665 0
vsize: 838724
[startup+860.116 s]
Raw data (loadavg): 1.00 0.94 0.59 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 84746 55 0 0 25 0 11 0 424212942 858853376 25712 4294967295 134512640 134569956 3221224400 3221214576 1131277666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25712 13073 16 0 209665 0
vsize: 838724
[startup+870.117 s]
Raw data (loadavg): 1.00 0.94 0.60 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 85744 56 0 0 25 0 11 0 424212942 858853376 25712 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25712 13073 16 0 209665 0
vsize: 838724
[startup+880.118 s]
Raw data (loadavg): 1.00 0.94 0.60 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 86742 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+890.117 s]
Raw data (loadavg): 1.00 0.94 0.61 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 87741 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214568 1131676473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+900.118 s]
Raw data (loadavg): 1.00 0.95 0.61 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 88740 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214568 1131677894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+910.118 s]
Raw data (loadavg): 1.00 0.95 0.61 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 89739 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131277733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+920.119 s]
Raw data (loadavg): 1.00 0.95 0.62 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 90738 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131277287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+930.119 s]
Raw data (loadavg): 1.00 0.95 0.62 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 91737 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+940.118 s]
Raw data (loadavg): 1.00 0.95 0.62 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 92736 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+950.119 s]
Raw data (loadavg): 1.00 0.95 0.63 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 93735 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131277535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+960.119 s]
Raw data (loadavg): 1.00 0.95 0.63 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 94734 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214568 1131676865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+970.119 s]
Raw data (loadavg): 1.00 0.95 0.64 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 95733 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131277478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+980.12 s]
Raw data (loadavg): 1.00 0.95 0.64 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 96732 56 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+990.12 s]
Raw data (loadavg): 1.00 0.95 0.64 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 97731 57 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.96 0.65 2/66 12889
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 98730 57 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.96 0.65 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 99728 57 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131277583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.96 0.65 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 100728 57 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214576 1131278055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.96 0.65 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 101727 58 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214568 1131676552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.96 0.66 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 102723 58 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.96 0.66 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 103720 58 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.96 0.66 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 104718 58 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214680 1131696620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.96 0.67 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 105716 58 0 0 25 0 11 0 424212942 858853376 25727 4294967295 134512640 134569956 3221224400 3221214568 1131676836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25727 13073 16 0 209665 0
vsize: 838724
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.96 0.67 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 106714 58 0 0 25 0 11 0 424212942 858853376 25729 4294967295 134512640 134569956 3221224400 3221214656 1131420593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25729 13073 16 0 209665 0
vsize: 838724
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.96 0.67 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 107712 58 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214576 1131277623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.97 0.67 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 108710 58 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1110.13 s]
Raw data (loadavg): 1.00 0.97 0.68 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 109709 58 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214576 1131278319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.68 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 110709 58 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214568 1131676862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1130.13 s]
Raw data (loadavg): 1.00 0.97 0.68 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 111707 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214568 1131676920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 112707 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 113705 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214656 1131420550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 0.69 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 114704 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214680 1131711267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 115703 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214568 1131676473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 116702 59 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214576 1131277478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.97 0.70 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 117701 60 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214576 1131277478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.97 0.70 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 118701 60 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214568 1131677069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1210.15 s]
Raw data (loadavg): 1.00 0.97 0.71 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 119700 60 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214576 1131277612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
[startup+1220.15 s]
Raw data (loadavg): 1.00 0.97 0.71 2/66 12891
Raw data (stat): 12873 (java) R 12872 12452 12451 0 -1 0 18049 0 1 0 120699 60 0 0 25 0 11 0 424212942 858853376 25744 4294967295 134512640 134569956 3221224400 3221214568 1131676473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209681 25744 13073 16 0 209665 0
vsize: 838724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.21 s]
Raw data (loadavg): 1.00 0.97 0.71 1/56 12893
Raw data (stat): 12873 (java) Z 12872 12452 12451 0 -1 1036 18049 11155 1 0 120700 60 1735 30 25 0 1 0 424212942 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): 1220.21
CPU time (s): 1225.27
CPU user time (s): 1224.36
CPU system time (s): 0.909861
CPU usage (%): 100.414
Max. virtual memory (Kb): 842028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####