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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
MD5SUM	a7baaeaa26a0026c630e11c495604909
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1091178
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	5292
Total number of constraints	284
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	284
Minimum length of a constraint	21
Maximum length of a constraint	360
Trace number 14795

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        578640 kB
Buffers:         33448 kB
Cached:         390416 kB
SwapCached:         48 kB
Active:         139460 kB
Inactive:       287436 kB
HighTotal:      131008 kB
HighFree:         3304 kB
LowTotal:       903652 kB
LowFree:        575336 kB
SwapTotal:     2097892 kB
SwapFree:      2097840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            23428 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 01:41:15 (client local time) WITH STATUS 143 IN 1252.24 SECONDS
stats: 19301 7 1252.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-ran14x18.opb
c reading problem 
c [nbvar=5292]
c [nbconstr=284]
c time 13.078
c #vars     5292
c #clauses  316
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1428748
c Current CPU time (ms) : 47.115
c starts	: 1
c conflicts	: 12
c decisions	: 4770
c propagations	: 18622
c inspects	: 18462
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 9
c 
c CURRENT OPTIMUM=1114233
c Current CPU time (ms) : 74.363
c starts	: 2
c conflicts	: 16
c decisions	: 6079
c propagations	: 27437
c inspects	: 31080
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 16
c root simplifications	: 12
c 
c CURRENT OPTIMUM=1089169
c Current CPU time (ms) : 143.114
c starts	: 3
c conflicts	: 22
c decisions	: 9901
c propagations	: 44343
c inspects	: 59725
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 19
#### 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.92 0.97 0.91 2/55 20631
Raw data (stat): 20631 (runsolver) R 20630 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541083226 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/64 20640
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 17979 0 1 0 891 37 0 0 25 0 10 0 541083226 853364736 19192 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208341 19192 13073 16 0 208325 0
vsize: 833364
[startup+20.0011 s]
Raw data (loadavg): 1.10 1.00 0.92 4/65 20641
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18130 0 1 0 1670 38 0 0 25 0 11 0 541083226 875298816 24709 4294967295 134512640 134569956 3221224400 3221214816 1131288145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213696 24709 13073 16 0 213680 0
vsize: 854784
[startup+30.002 s]
Raw data (loadavg): 1.31 1.05 0.94 3/65 20641
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18132 0 1 0 2442 38 0 0 24 0 11 0 541083226 874418176 25102 4294967295 134512640 134569956 3221224400 3221214880 1130890424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213481 25102 13073 16 0 213465 0
vsize: 853924
[startup+40.0021 s]
Raw data (loadavg): 1.35 1.07 0.94 2/65 20641
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18132 0 1 0 3342 39 0 0 24 0 11 0 541083226 876453888 25650 4294967295 134512640 134569956 3221224400 3221214800 1131270914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213978 25650 13073 16 0 213962 0
vsize: 855912
[startup+50.0037 s]
Raw data (loadavg): 1.29 1.06 0.94 3/65 20642
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 4250 39 0 0 25 0 11 0 541083226 876658688 26217 4294967295 134512640 134569956 3221224400 3221214840 1131288133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214028 26217 13073 16 0 214012 0
vsize: 856112
[startup+60.0039 s]
Raw data (loadavg): 1.47 1.11 0.96 2/65 20642
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 5186 39 0 0 25 0 11 0 541083226 876302336 26665 4294967295 134512640 134569956 3221224400 3221214800 1131270821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213941 26665 13073 16 0 213925 0
vsize: 855764
[startup+70.0039 s]
Raw data (loadavg): 1.40 1.11 0.96 2/65 20642
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 6157 39 0 0 25 0 11 0 541083226 876302336 26687 4294967295 134512640 134569956 3221224400 3221214744 1131442327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213941 26687 13073 16 0 213925 0
vsize: 855764
[startup+80.0048 s]
Raw data (loadavg): 1.42 1.12 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 7112 39 0 0 25 0 11 0 541083226 876302336 26882 4294967295 134512640 134569956 3221224400 3221214800 1131270828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26882 13073 16 0 213925 0
vsize: 855764
[startup+90.0047 s]
Raw data (loadavg): 1.35 1.11 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 8085 39 0 0 25 0 11 0 541083226 876302336 26906 4294967295 134512640 134569956 3221224400 3221214840 1131288171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26906 13073 16 0 213925 0
vsize: 855764
[startup+100.006 s]
Raw data (loadavg): 1.30 1.11 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 9060 40 0 0 25 0 11 0 541083226 876302336 26764 4294967295 134512640 134569956 3221224400 3221214800 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26764 13073 16 0 213925 0
vsize: 855764
[startup+110.006 s]
Raw data (loadavg): 1.25 1.11 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 10044 40 0 0 25 0 11 0 541083226 876302336 26893 4294967295 134512640 134569956 3221224400 3221214800 1131270830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26893 13073 16 0 213925 0
vsize: 855764
[startup+120.006 s]
Raw data (loadavg): 1.21 1.10 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 11034 40 0 0 25 0 11 0 541083226 876302336 26910 4294967295 134512640 134569956 3221224400 3221214840 1131288128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213941 26910 13073 16 0 213925 0
vsize: 855764
[startup+130.007 s]
Raw data (loadavg): 1.18 1.10 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 12024 40 0 0 25 0 11 0 541083226 876302336 26924 4294967295 134512640 134569956 3221224400 3221214800 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26924 13073 16 0 213925 0
vsize: 855764
[startup+140.007 s]
Raw data (loadavg): 1.15 1.10 0.96 2/65 20643
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 13015 40 0 0 25 0 11 0 541083226 876302336 26942 4294967295 134512640 134569956 3221224400 3221214840 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26942 13073 16 0 213925 0
vsize: 855764
[startup+150.008 s]
Raw data (loadavg): 1.13 1.09 0.96 2/65 20644
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 13996 41 0 0 25 0 11 0 541083226 876302336 26954 4294967295 134512640 134569956 3221224400 3221214896 1131378389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26954 13073 16 0 213925 0
vsize: 855764
[startup+160.008 s]
Raw data (loadavg): 1.11 1.09 0.96 2/65 20644
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 14974 41 0 0 25 0 11 0 541083226 876302336 26995 4294967295 134512640 134569956 3221224400 3221214896 1131378136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26995 13073 16 0 213925 0
vsize: 855764
[startup+170.008 s]
Raw data (loadavg): 1.09 1.08 0.96 2/65 20644
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18133 4 1 0 15957 41 0 0 25 0 11 0 541083226 876302336 26997 4294967295 134512640 134569956 3221224400 3221214496 1131253379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 26997 13073 16 0 213925 0
vsize: 855764
[startup+180.008 s]
Raw data (loadavg): 1.08 1.08 0.96 2/65 20644
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 16941 42 0 0 25 0 11 0 541083226 876302336 27123 4294967295 134512640 134569956 3221224400 3221214584 1131684315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27123 13073 16 0 213925 0
vsize: 855764
[startup+190.009 s]
Raw data (loadavg): 1.06 1.08 0.96 2/65 20644
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 17934 42 0 0 25 0 11 0 541083226 876302336 27136 4294967295 134512640 134569956 3221224400 3221214688 1131194832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27136 13073 16 0 213925 0
vsize: 855764
[startup+200.01 s]
Raw data (loadavg): 1.05 1.08 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 18927 42 0 0 25 0 11 0 541083226 876302336 27148 4294967295 134512640 134569956 3221224400 3221214800 1131271174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27148 13073 16 0 213925 0
vsize: 855764
[startup+210.01 s]
Raw data (loadavg): 1.05 1.07 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 19917 43 0 0 25 0 11 0 541083226 876302336 27148 4294967295 134512640 134569956 3221224400 3221214840 1131288257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27148 13073 16 0 213925 0
vsize: 855764
[startup+220.01 s]
Raw data (loadavg): 1.04 1.07 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 20907 43 0 0 25 0 11 0 541083226 876302336 27150 4294967295 134512640 134569956 3221224400 3221214840 1131429256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27150 13073 16 0 213925 0
vsize: 855764
[startup+230.011 s]
Raw data (loadavg): 1.03 1.07 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 21897 43 0 0 25 0 11 0 541083226 876302336 27192 4294967295 134512640 134569956 3221224400 3221214840 1131288294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27192 13073 16 0 213925 0
vsize: 855764
[startup+240.01 s]
Raw data (loadavg): 1.03 1.06 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 22891 44 0 0 25 0 11 0 541083226 876302336 27205 4294967295 134512640 134569956 3221224400 3221214480 1131528515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27205 13073 16 0 213925 0
vsize: 855764
[startup+250.011 s]
Raw data (loadavg): 1.02 1.06 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 23869 44 0 0 25 0 11 0 541083226 876302336 27218 4294967295 134512640 134569956 3221224400 3221214808 1131393667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27218 13073 16 0 213925 0
vsize: 855764
[startup+260.012 s]
Raw data (loadavg): 1.02 1.06 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 24845 45 0 0 25 0 11 0 541083226 876302336 27228 4294967295 134512640 134569956 3221224400 3221214800 1131271955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27228 13073 16 0 213925 0
vsize: 855764
[startup+270.012 s]
Raw data (loadavg): 1.02 1.06 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 25822 45 0 0 25 0 11 0 541083226 876302336 27237 4294967295 134512640 134569956 3221224400 3221214800 1131270910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27237 13073 16 0 213925 0
vsize: 855764
[startup+280.013 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 26812 45 0 0 25 0 11 0 541083226 876302336 27369 4294967295 134512640 134569956 3221224400 3221214800 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27369 13073 16 0 213925 0
vsize: 855764
[startup+290.013 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 27805 46 0 0 23 0 11 0 541083226 876302336 27383 4294967295 134512640 134569956 3221224400 3221214800 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27383 13073 16 0 213925 0
vsize: 855764
[startup+300.014 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 28797 46 0 0 25 0 11 0 541083226 876302336 27397 4294967295 134512640 134569956 3221224400 3221214752 1131270910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27397 13073 16 0 213925 0
vsize: 855764
[startup+310.014 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 29787 46 0 0 25 0 11 0 541083226 876302336 27407 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27407 13073 16 0 213925 0
vsize: 855764
[startup+320.015 s]
Raw data (loadavg): 1.00 1.05 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 30779 46 0 0 25 0 11 0 541083226 876302336 27420 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27420 13073 16 0 213925 0
vsize: 855764
[startup+330.014 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 31769 47 0 0 25 0 11 0 541083226 876302336 27452 4294967295 134512640 134569956 3221224400 3221214792 1131288125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27452 13073 16 0 213925 0
vsize: 855764
[startup+340.014 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 32762 47 0 0 25 0 11 0 541083226 876302336 27466 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27466 13073 16 0 213925 0
vsize: 855764
[startup+350.016 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 33756 47 0 0 25 0 11 0 541083226 876302336 27481 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27481 13073 16 0 213925 0
vsize: 855764
[startup+360.016 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 34749 48 0 0 25 0 11 0 541083226 876302336 27496 4294967295 134512640 134569956 3221224400 3221214752 1131271471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27496 13073 16 0 213925 0
vsize: 855764
[startup+370.016 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 35742 48 0 0 25 0 11 0 541083226 876302336 27511 4294967295 134512640 134569956 3221224400 3221214752 1131271948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27511 13073 16 0 213925 0
vsize: 855764
[startup+380.017 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 36735 48 0 0 25 0 11 0 541083226 876302336 27512 4294967295 134512640 134569956 3221224400 3221214752 1131271420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27512 13073 16 0 213925 0
vsize: 855764
[startup+390.017 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 37728 48 0 0 25 0 11 0 541083226 876302336 27525 4294967295 134512640 134569956 3221224400 3221214824 1131319345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27525 13073 16 0 213925 0
vsize: 855764
[startup+400.018 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 38720 49 0 0 25 0 11 0 541083226 876302336 27535 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27535 13073 16 0 213925 0
vsize: 855764
[startup+410.019 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 39714 49 0 0 25 0 11 0 541083226 876302336 27555 4294967295 134512640 134569956 3221224400 3221214848 1131378956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27555 13073 16 0 213925 0
vsize: 855764
[startup+420.019 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 40707 49 0 0 25 0 11 0 541083226 876302336 27570 4294967295 134512640 134569956 3221224400 3221214752 1131270997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27570 13073 16 0 213925 0
vsize: 855764
[startup+430.02 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 41702 50 0 0 25 0 11 0 541083226 876302336 27587 4294967295 134512640 134569956 3221224400 3221214792 1131288125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27587 13073 16 0 213925 0
vsize: 855764
[startup+440.021 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 42696 50 0 0 25 0 11 0 541083226 876302336 27590 4294967295 134512640 134569956 3221224400 3221214792 1131288145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27590 13073 16 0 213925 0
vsize: 855764
[startup+450.021 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 43690 51 0 0 25 0 11 0 541083226 876302336 27605 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27605 13073 16 0 213925 0
vsize: 855764
[startup+460.022 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 44684 51 0 0 25 0 11 0 541083226 876302336 27626 4294967295 134512640 134569956 3221224400 3221214752 1131271030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27626 13073 16 0 213925 0
vsize: 855764
[startup+470.021 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 45678 51 0 0 25 0 11 0 541083226 876302336 27637 4294967295 134512640 134569956 3221224400 3221214848 1131378393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27637 13073 16 0 213925 0
vsize: 855764
[startup+480.022 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 46673 52 0 0 25 0 11 0 541083226 876302336 27643 4294967295 134512640 134569956 3221224400 3221214844 1131288108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27643 13073 16 0 213925 0
vsize: 855764
[startup+490.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20646
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 47667 52 0 0 25 0 11 0 541083226 876302336 27662 4294967295 134512640 134569956 3221224400 3221214752 1131270946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27662 13073 16 0 213925 0
vsize: 855764
[startup+500.024 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 48663 52 0 0 25 0 11 0 541083226 876302336 27664 4294967295 134512640 134569956 3221224400 3221214752 1131271281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27664 13073 16 0 213925 0
vsize: 855764
[startup+510.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 49657 53 0 0 25 0 11 0 541083226 876302336 27675 4294967295 134512640 134569956 3221224400 3221214752 1131270828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27675 13073 16 0 213925 0
vsize: 855764
[startup+520.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 50652 53 0 0 25 0 11 0 541083226 876302336 27697 4294967295 134512640 134569956 3221224400 3221214440 1131500833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27697 13073 16 0 213925 0
vsize: 855764
[startup+530.024 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 51638 53 0 0 24 0 11 0 541083226 876302336 27712 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27712 13073 16 0 213925 0
vsize: 855764
[startup+540.024 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 52619 54 0 0 25 0 11 0 541083226 876302336 27725 4294967295 134512640 134569956 3221224400 3221214752 1131271267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27725 13073 16 0 213925 0
vsize: 855764
[startup+550.025 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 53596 54 0 0 25 0 11 0 541083226 876302336 27733 4294967295 134512640 134569956 3221224400 3221214792 1131288153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27733 13073 16 0 213925 0
vsize: 855764
[startup+560.026 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 54579 55 0 0 19 0 11 0 541083226 876302336 27836 4294967295 134512640 134569956 3221224400 3221214752 1131270910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27836 13073 16 0 213925 0
vsize: 855764
[startup+570.026 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 55569 55 0 0 25 0 11 0 541083226 876302336 27858 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27858 13073 16 0 213925 0
vsize: 855764
[startup+580.027 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 56561 55 0 0 25 0 11 0 541083226 876302336 27875 4294967295 134512640 134569956 3221224400 3221214792 1131288145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27875 13073 16 0 213925 0
vsize: 855764
[startup+590.028 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 57554 55 0 0 25 0 11 0 541083226 876302336 27897 4294967295 134512640 134569956 3221224400 3221214752 1131270910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27897 13073 16 0 213925 0
vsize: 855764
[startup+600.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 58549 56 0 0 25 0 11 0 541083226 876302336 27909 4294967295 134512640 134569956 3221224400 3221214752 1131271955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27909 13073 16 0 213925 0
vsize: 855764
[startup+610.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 59543 56 0 0 25 0 11 0 541083226 876302336 27918 4294967295 134512640 134569956 3221224400 3221214752 1131270946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27918 13073 16 0 213925 0
vsize: 855764
[startup+620.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 60534 56 0 0 25 0 11 0 541083226 876302336 27926 4294967295 134512640 134569956 3221224400 3221214752 1131271988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27926 13073 16 0 213925 0
vsize: 855764
[startup+630.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 61526 57 0 0 25 0 11 0 541083226 876302336 27944 4294967295 134512640 134569956 3221224400 3221214752 1131270974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27944 13073 16 0 213925 0
vsize: 855764
[startup+640.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 62519 57 0 0 25 0 11 0 541083226 876302336 27960 4294967295 134512640 134569956 3221224400 3221214792 1131288245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27960 13073 16 0 213925 0
vsize: 855764
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 63513 57 0 0 25 0 11 0 541083226 876302336 27963 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27963 13073 16 0 213925 0
vsize: 855764
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 64506 58 0 0 25 0 11 0 541083226 876302336 27974 4294967295 134512640 134569956 3221224400 3221214816 1131508901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27974 13073 16 0 213925 0
vsize: 855764
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 65499 59 0 0 25 0 11 0 541083226 876302336 27989 4294967295 134512640 134569956 3221224400 3221214752 1131271246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27989 13073 16 0 213925 0
vsize: 855764
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 66494 59 0 0 25 0 11 0 541083226 876302336 27999 4294967295 134512640 134569956 3221224400 3221214792 1131288261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 27999 13073 16 0 213925 0
vsize: 855764
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 67489 59 0 0 25 0 11 0 541083226 876302336 28009 4294967295 134512640 134569956 3221224400 3221214792 1131288153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28009 13073 16 0 213925 0
vsize: 855764
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 68483 60 0 0 25 0 11 0 541083226 876302336 28013 4294967295 134512640 134569956 3221224400 3221214848 1131377931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28013 13073 16 0 213925 0
vsize: 855764
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 69477 60 0 0 25 0 11 0 541083226 876302336 28015 4294967295 134512640 134569956 3221224400 3221214752 1131271664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28015 13073 16 0 213925 0
vsize: 855764
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 70471 60 0 0 25 0 11 0 541083226 876302336 28045 4294967295 134512640 134569956 3221224400 3221214752 1131270853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28045 13073 16 0 213925 0
vsize: 855764
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 71466 60 0 0 25 0 11 0 541083226 876302336 28054 4294967295 134512640 134569956 3221224400 3221214844 1131270796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28054 13073 16 0 213925 0
vsize: 855764
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 72460 61 0 0 25 0 11 0 541083226 876302336 28057 4294967295 134512640 134569956 3221224400 3221214752 1131270903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28057 13073 16 0 213925 0
vsize: 855764
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 73455 61 0 0 25 0 11 0 541083226 876302336 28069 4294967295 134512640 134569956 3221224400 3221214848 1131379109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28069 13073 16 0 213925 0
vsize: 855764
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 74450 61 0 0 25 0 11 0 541083226 876302336 28087 4294967295 134512640 134569956 3221224400 3221214752 1131272056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28087 13073 16 0 213925 0
vsize: 855764
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 75445 62 0 0 25 0 11 0 541083226 876302336 28090 4294967295 134512640 134569956 3221224400 3221214752 1131271183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28090 13073 16 0 213925 0
vsize: 855764
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 76437 62 0 0 25 0 11 0 541083226 876302336 28093 4294967295 134512640 134569956 3221224400 3221214824 1131319345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28093 13073 16 0 213925 0
vsize: 855764
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20648
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 77430 62 0 0 25 0 11 0 541083226 876302336 28094 4294967295 134512640 134569956 3221224400 3221214792 1131288125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28094 13073 16 0 213925 0
vsize: 855764
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 78423 62 0 0 25 0 11 0 541083226 876302336 28113 4294967295 134512640 134569956 3221224400 3221214752 1131271362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213941 28113 13073 16 0 213925 0
vsize: 855764
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 79418 63 0 0 25 0 11 0 541083226 876302336 28122 4294967295 134512640 134569956 3221224400 3221214752 1131271099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28122 13073 16 0 213925 0
vsize: 855764
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 80412 63 0 0 25 0 11 0 541083226 876302336 28136 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28136 13073 16 0 213925 0
vsize: 855764
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 81406 64 0 0 25 0 11 0 541083226 876302336 28137 4294967295 134512640 134569956 3221224400 3221214792 1131288149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28137 13073 16 0 213925 0
vsize: 855764
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 82399 64 0 0 25 0 11 0 541083226 876302336 28160 4294967295 134512640 134569956 3221224400 3221214792 1131288241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28160 13073 16 0 213925 0
vsize: 855764
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 83394 64 0 0 25 0 11 0 541083226 876302336 28166 4294967295 134512640 134569956 3221224400 3221214848 1131378393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28166 13073 16 0 213925 0
vsize: 855764
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 84386 65 0 0 25 0 11 0 541083226 876302336 28179 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28179 13073 16 0 213925 0
vsize: 855764
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 85381 65 0 0 25 0 11 0 541083226 876302336 28217 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28217 13073 16 0 213925 0
vsize: 855764
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 86375 65 0 0 25 0 11 0 541083226 876302336 28225 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28225 13073 16 0 213925 0
vsize: 855764
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 87370 65 0 0 25 0 11 0 541083226 876302336 28241 4294967295 134512640 134569956 3221224400 3221214752 1131271692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28241 13073 16 0 213925 0
vsize: 855764
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 88364 66 0 0 25 0 11 0 541083226 876302336 28250 4294967295 134512640 134569956 3221224400 3221214848 1131378699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28250 13073 16 0 213925 0
vsize: 855764
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 89359 66 0 0 25 0 11 0 541083226 876302336 28262 4294967295 134512640 134569956 3221224400 3221214752 1131270946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28262 13073 16 0 213925 0
vsize: 855764
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 90353 66 0 0 25 0 11 0 541083226 876302336 28272 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28272 13073 16 0 213925 0
vsize: 855764
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 91349 67 0 0 25 0 11 0 541083226 876302336 28277 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28277 13073 16 0 213925 0
vsize: 855764
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 92342 67 0 0 25 0 11 0 541083226 876302336 28290 4294967295 134512640 134569956 3221224400 3221214752 1131271978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28290 13073 16 0 213925 0
vsize: 855764
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 93335 68 0 0 25 0 11 0 541083226 876302336 28294 4294967295 134512640 134569956 3221224400 3221214752 1131272056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28294 13073 16 0 213925 0
vsize: 855764
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 94328 68 0 0 25 0 11 0 541083226 876302336 28300 4294967295 134512640 134569956 3221224400 3221214752 1131271036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28300 13073 16 0 213925 0
vsize: 855764
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 95322 68 0 0 25 0 11 0 541083226 876302336 28321 4294967295 134512640 134569956 3221224400 3221214752 1131271169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28321 13073 16 0 213925 0
vsize: 855764
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 96313 69 0 0 25 0 11 0 541083226 876302336 28335 4294967295 134512640 134569956 3221224400 3221214824 1131319345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28335 13073 16 0 213925 0
vsize: 855764
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 97306 69 0 0 25 0 11 0 541083226 876302336 28346 4294967295 134512640 134569956 3221224400 3221214752 1131270828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28346 13073 16 0 213925 0
vsize: 855764
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 98300 70 0 0 25 0 11 0 541083226 876302336 28368 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28368 13073 16 0 213925 0
vsize: 855764
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 99295 70 0 0 25 0 11 0 541083226 876302336 28376 4294967295 134512640 134569956 3221224400 3221214752 1131271240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28376 13073 16 0 213925 0
vsize: 855764
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 100290 70 0 0 25 0 11 0 541083226 876302336 28379 4294967295 134512640 134569956 3221224400 3221214560 1131409107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28379 13073 16 0 213925 0
vsize: 855764
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 101277 71 0 0 24 0 11 0 541083226 876302336 28381 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28381 13073 16 0 213925 0
vsize: 855764
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 102257 71 0 0 25 0 11 0 541083226 876302336 28402 4294967295 134512640 134569956 3221224400 3221214752 1131271179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28402 13073 16 0 213925 0
vsize: 855764
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 103234 72 0 0 25 0 11 0 541083226 876302336 28404 4294967295 134512640 134569956 3221224400 3221214752 1131271347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28404 13073 16 0 213925 0
vsize: 855764
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 104213 72 0 0 25 0 11 0 541083226 876302336 28517 4294967295 134512640 134569956 3221224400 3221214752 1131271169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28517 13073 16 0 213925 0
vsize: 855764
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 105206 72 0 0 25 0 11 0 541083226 876302336 28533 4294967295 134512640 134569956 3221224400 3221214752 1131270828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28533 13073 16 0 213925 0
vsize: 855764
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 3/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 106200 73 0 0 25 0 11 0 541083226 876302336 28558 4294967295 134512640 134569956 3221224400 3221214792 1131288128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28558 13073 16 0 213925 0
vsize: 855764
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20650
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 107195 73 0 0 25 0 11 0 541083226 876302336 28559 4294967295 134512640 134569956 3221224400 3221214752 1131271240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28559 13073 16 0 213925 0
vsize: 855764
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 108185 74 0 0 25 0 11 0 541083226 876302336 28568 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28568 13073 16 0 213925 0
vsize: 855764
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 109178 74 0 0 25 0 11 0 541083226 876302336 28570 4294967295 134512640 134569956 3221224400 3221214752 1131271036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28570 13073 16 0 213925 0
vsize: 855764
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 110169 74 0 0 25 0 11 0 541083226 876302336 28600 4294967295 134512640 134569956 3221224400 3221214752 1131271221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28600 13073 16 0 213925 0
vsize: 855764
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 111163 75 0 0 25 0 11 0 541083226 876302336 28608 4294967295 134512640 134569956 3221224400 3221214752 1131271998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28608 13073 16 0 213925 0
vsize: 855764
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 112158 75 0 0 25 0 11 0 541083226 876302336 28620 4294967295 134512640 134569956 3221224400 3221214752 1131270813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28620 13073 16 0 213925 0
vsize: 855764
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 113153 75 0 0 25 0 11 0 541083226 876302336 28629 4294967295 134512640 134569956 3221224400 3221214752 1131270821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28629 13073 16 0 213925 0
vsize: 855764
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 114147 76 0 0 25 0 11 0 541083226 876302336 28629 4294967295 134512640 134569956 3221224400 3221214848 1131378356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28629 13073 16 0 213925 0
vsize: 855764
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 115140 76 0 0 25 0 11 0 541083226 876302336 28637 4294967295 134512640 134569956 3221224400 3221214848 1131378994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28637 13073 16 0 213925 0
vsize: 855764
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.96 3/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 116133 77 0 0 25 0 11 0 541083226 876302336 28652 4294967295 134512640 134569956 3221224400 3221214752 1131271218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28652 13073 16 0 213925 0
vsize: 855764
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 117126 77 0 0 25 0 11 0 541083226 876302336 28666 4294967295 134512640 134569956 3221224400 3221214752 1131270828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28666 13073 16 0 213925 0
vsize: 855764
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 118118 78 0 0 25 0 11 0 541083226 876302336 28676 4294967295 134512640 134569956 3221224400 3221214752 1131270817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28676 13073 16 0 213925 0
vsize: 855764
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 119113 78 0 0 25 0 11 0 541083226 876302336 28712 4294967295 134512640 134569956 3221224400 3221214792 1131288149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28712 13073 16 0 213925 0
vsize: 855764
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 20652
Raw data (stat): 20631 (java) R 20630 20838 20837 0 -1 0 18134 4 1 0 120109 78 0 0 25 0 11 0 541083226 876302336 28716 4294967295 134512640 134569956 3221224400 3221214752 1131270997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213941 28716 13073 16 0 213925 0
vsize: 855764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 20654
Raw data (stat): 20631 (java) Z 20630 20838 20837 0 -1 1036 18134 24842 1 0 120114 84 4955 70 25 0 1 0 541083226 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.16
CPU time (s): 1252.24
CPU user time (s): 1250.7
CPU system time (s): 1.54377
CPU usage (%): 102.629
Max. virtual memory (Kb): 856112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####