PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUM	447ba4f56421c253ecaa010c1957f4f6
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	66
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	256
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.59415
Number of variables	23837
Total number of constraints	67568
Number of constraints which are clauses	64398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3170
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 4453

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-13 17:19:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2529 boxname=wulflinc17 idbench=281 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  447ba4f56421c253ecaa010c1957f4f6  /oldhome/oroussel/tmp/wulflinc17/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
IDLAUNCH: 2529
/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:        859616 kB
Buffers:         32960 kB
Cached:         107192 kB
SwapCached:       2376 kB
Active:          48764 kB
Inactive:        96736 kB
HighTotal:      131008 kB
HighFree:        20300 kB
LowTotal:       903652 kB
LowFree:        839316 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            24044 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:40:08 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2529 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
c reading problem 
c [nbvar=23837]
c [nbconstr=67568]
c time 248.467
c #vars     23837
c #clauses  67568
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): 1.02 1.00 0.97 2/55 22472
Raw data (stat): 22472 (runsolver) R 22471 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477704130 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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.0004 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) S 22471 20838 20837 0 -1 0 18011 0 1 0 791 41 0 0 25 0 10 0 477704130 854941696 20905 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 20906 13073 16 0 208710 0
vsize: 834904
[startup+20.0009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 1669 42 0 0 25 0 10 0 477704130 854941696 21366 4294967295 134512640 134569956 3221224384 3221214752 1131298050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 21366 13073 16 0 208710 0
vsize: 834904
[startup+30.0009 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 2527 42 0 0 24 0 10 0 477704130 854941696 21871 4294967295 134512640 134569956 3221224384 3221214472 1076461015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 21871 13073 16 0 208710 0
vsize: 834904
[startup+40.0013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 3397 43 0 0 25 0 10 0 477704130 854941696 22294 4294967295 134512640 134569956 3221224384 3221214808 1131192886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 22294 13073 16 0 208710 0
vsize: 834904
[startup+50.0028 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 4267 43 0 0 25 0 10 0 477704130 854941696 22655 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 22655 13073 16 0 208710 0
vsize: 834904
[startup+60.0027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 5138 43 0 0 25 0 10 0 477704130 854941696 22957 4294967295 134512640 134569956 3221224384 3221214568 1131155816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 22957 13073 16 0 208710 0
vsize: 834904
[startup+70.0029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 6000 43 0 0 25 0 10 0 477704130 854941696 23284 4294967295 134512640 134569956 3221224384 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 23284 13073 16 0 208710 0
vsize: 834904
[startup+80.0036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22481
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 6874 43 0 0 25 0 10 0 477704130 854941696 23604 4294967295 134512640 134569956 3221224384 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 23604 13073 16 0 208710 0
vsize: 834904
[startup+90.0032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 7741 44 0 0 24 0 10 0 477704130 854941696 23866 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 23866 13073 16 0 208710 0
vsize: 834904
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 8621 44 0 0 25 0 10 0 477704130 854941696 24100 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24100 13073 16 0 208710 0
vsize: 834904
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 9497 44 0 0 25 0 10 0 477704130 854941696 24438 4294967295 134512640 134569956 3221224384 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24438 13073 16 0 208710 0
vsize: 834904
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 10370 44 0 0 24 0 10 0 477704130 854941696 24702 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24702 13073 16 0 208710 0
vsize: 834904
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 11258 44 0 0 25 0 10 0 477704130 854941696 24939 4294967295 134512640 134569956 3221224384 3221214568 1131155792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 24939 13073 16 0 208710 0
vsize: 834904
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 12151 44 0 0 25 0 10 0 477704130 854941696 25153 4294967295 134512640 134569956 3221224384 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25153 13073 16 0 208710 0
vsize: 834904
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 13034 44 0 0 24 0 10 0 477704130 854941696 25365 4294967295 134512640 134569956 3221224384 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25365 13073 16 0 208710 0
vsize: 834904
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 13916 45 0 0 25 0 10 0 477704130 854941696 25564 4294967295 134512640 134569956 3221224384 3221214568 1131155792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 25564 13073 16 0 208710 0
vsize: 834904
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 14800 45 0 0 25 0 10 0 477704130 854941696 25757 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 25757 13073 16 0 208710 0
vsize: 834904
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 15684 45 0 0 24 0 10 0 477704130 854941696 26056 4294967295 134512640 134569956 3221224384 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26056 13073 16 0 208710 0
vsize: 834904
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 16583 45 0 0 25 0 10 0 477704130 854941696 26233 4294967295 134512640 134569956 3221224384 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26233 13073 16 0 208710 0
vsize: 834904
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 17473 46 0 0 25 0 10 0 477704130 854941696 26421 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26421 13073 16 0 208710 0
vsize: 834904
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 18372 46 0 0 25 0 10 0 477704130 854941696 26591 4294967295 134512640 134569956 3221224384 3221214568 1131155816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26591 13073 16 0 208710 0
vsize: 834904
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 19265 46 0 0 25 0 10 0 477704130 854941696 26770 4294967295 134512640 134569956 3221224384 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26770 13073 16 0 208710 0
vsize: 834904
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 20166 47 0 0 22 0 10 0 477704130 854941696 26925 4294967295 134512640 134569956 3221224384 3221214520 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 26925 13073 16 0 208710 0
vsize: 834904
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 22483
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18011 0 1 0 21058 47 0 0 18 0 10 0 477704130 854941696 27095 4294967295 134512640 134569956 3221224384 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27095 13073 16 0 208710 0
vsize: 834904
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.97 3/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18046 0 1 0 21948 48 0 0 25 0 11 0 477704130 858120192 28020 4294967295 134512640 134569956 3221224384 3221214840 1130890621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209502 28020 13073 16 0 209486 0
vsize: 838008
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 22810 49 0 0 25 0 11 0 477704130 865198080 30815 4294967295 134512640 134569956 3221224384 3221214832 1131349712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 30815 13073 16 0 211214 0
vsize: 844920
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 23809 49 0 0 25 0 11 0 477704130 864149504 30570 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 30570 13073 16 0 210958 0
vsize: 843896
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 24776 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131350016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 25775 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 26774 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131350049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 27752 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 28753 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131350031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 29728 49 0 0 25 0 11 0 477704130 864149504 31697 4294967295 134512640 134569956 3221224384 3221214832 1131349724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31697 13073 16 0 210958 0
vsize: 843896
[startup+340.007 s]
Raw data (loadavg): 1.08 1.02 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 30728 49 0 0 25 0 11 0 477704130 864149504 31702 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31702 13073 16 0 210958 0
vsize: 843896
[startup+350.008 s]
Raw data (loadavg): 1.07 1.02 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18098 0 1 0 31728 49 0 0 25 0 11 0 477704130 864149504 31702 4294967295 134512640 134569956 3221224384 3221214832 1131349922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31702 13073 16 0 210958 0
vsize: 843896
[startup+360.008 s]
Raw data (loadavg): 1.06 1.01 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 32699 49 0 0 25 0 11 0 477704130 864149504 31703 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31703 13073 16 0 210958 0
vsize: 843896
[startup+370.009 s]
Raw data (loadavg): 1.05 1.01 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 33699 49 0 0 25 0 11 0 477704130 864149504 31703 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31703 13073 16 0 210958 0
vsize: 843896
[startup+380.01 s]
Raw data (loadavg): 1.04 1.01 0.97 2/65 22484
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 34668 49 0 0 25 0 11 0 477704130 864149504 31964 4294967295 134512640 134569956 3221224384 3221214832 1131349742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31964 13073 16 0 210958 0
vsize: 843896
[startup+390.009 s]
Raw data (loadavg): 1.03 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 35668 50 0 0 25 0 11 0 477704130 864149504 31964 4294967295 134512640 134569956 3221224384 3221214832 1131350016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31964 13073 16 0 210958 0
vsize: 843896
[startup+400.01 s]
Raw data (loadavg): 1.03 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 36668 50 0 0 25 0 11 0 477704130 864149504 31964 4294967295 134512640 134569956 3221224384 3221214832 1131349922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31964 13073 16 0 210958 0
vsize: 843896
[startup+410.01 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 37643 50 0 0 25 0 11 0 477704130 864149504 31964 4294967295 134512640 134569956 3221224384 3221214832 1131350037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31964 13073 16 0 210958 0
vsize: 843896
[startup+420.011 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 38643 51 0 0 25 0 11 0 477704130 864149504 31964 4294967295 134512640 134569956 3221224384 3221214832 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31964 13073 16 0 210958 0
vsize: 843896
[startup+430.01 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 39614 51 0 0 25 0 11 0 477704130 864149504 31967 4294967295 134512640 134569956 3221224384 3221214832 1131349935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 31967 13073 16 0 210958 0
vsize: 843896
[startup+440.01 s]
Raw data (loadavg): 1.01 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 40614 51 0 0 25 0 11 0 477704130 864149504 31967 4294967295 134512640 134569956 3221224384 3221214720 1131356801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31967 13073 16 0 210958 0
vsize: 843896
[startup+450.011 s]
Raw data (loadavg): 1.01 1.01 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 41614 51 0 0 25 0 11 0 477704130 864149504 31967 4294967295 134512640 134569956 3221224384 3221214840 1131350037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 31967 13073 16 0 210958 0
vsize: 843896
[startup+460.01 s]
Raw data (loadavg): 1.01 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 42584 51 0 0 25 0 11 0 477704130 864149504 32084 4294967295 134512640 134569956 3221224384 3221214840 1131349939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32084 13073 16 0 210958 0
vsize: 843896
[startup+470.011 s]
Raw data (loadavg): 1.01 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 43584 51 0 0 25 0 11 0 477704130 864149504 32085 4294967295 134512640 134569956 3221224384 3221214932 1131204073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32085 13073 16 0 210958 0
vsize: 843896
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 44584 51 0 0 25 0 11 0 477704130 864149504 32085 4294967295 134512640 134569956 3221224384 3221214840 1131350012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32085 13073 16 0 210958 0
vsize: 843896
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 45559 51 0 0 25 0 11 0 477704130 864149504 32223 4294967295 134512640 134569956 3221224384 3221214840 1131349742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32223 13073 16 0 210958 0
vsize: 843896
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 46559 51 0 0 25 0 11 0 477704130 864149504 32223 4294967295 134512640 134569956 3221224384 3221214840 1131350049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32223 13073 16 0 210958 0
vsize: 843896
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 47557 51 0 0 25 0 11 0 477704130 864149504 32224 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32224 13073 16 0 210958 0
vsize: 843896
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18099 0 1 0 48536 51 0 0 25 0 11 0 477704130 864149504 32225 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32225 13073 16 0 210958 0
vsize: 843896
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 49535 51 0 0 25 0 11 0 477704130 864149504 32226 4294967295 134512640 134569956 3221224384 3221214840 1131350031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32226 13073 16 0 210958 0
vsize: 843896
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 50535 51 0 0 25 0 11 0 477704130 864149504 32226 4294967295 134512640 134569956 3221224384 3221214840 1131349922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32226 13073 16 0 210958 0
vsize: 843896
[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 51513 52 0 0 25 0 11 0 477704130 864149504 32226 4294967295 134512640 134569956 3221224384 3221214840 1131350031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32226 13073 16 0 210958 0
vsize: 843896
[startup+560.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 52512 52 0 0 25 0 11 0 477704130 864149504 32226 4294967295 134512640 134569956 3221224384 3221214840 1131350031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32226 13073 16 0 210958 0
vsize: 843896
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 53511 52 0 0 25 0 11 0 477704130 864149504 32226 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32226 13073 16 0 210958 0
vsize: 843896
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 54485 52 0 0 25 0 11 0 477704130 864149504 32473 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32473 13073 16 0 210958 0
vsize: 843896
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 55485 52 0 0 25 0 11 0 477704130 864149504 32473 4294967295 134512640 134569956 3221224384 3221214840 1131349742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32473 13073 16 0 210958 0
vsize: 843896
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 56484 52 0 0 25 0 11 0 477704130 864149504 32473 4294967295 134512640 134569956 3221224384 3221214840 1131350049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32473 13073 16 0 210958 0
vsize: 843896
[startup+610.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 57462 53 0 0 25 0 11 0 477704130 864149504 32473 4294967295 134512640 134569956 3221224384 3221214840 1131350027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32473 13073 16 0 210958 0
vsize: 843896
[startup+620.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 58461 53 0 0 25 0 11 0 477704130 864149504 32473 4294967295 134512640 134569956 3221224384 3221214840 1131349922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32473 13073 16 0 210958 0
vsize: 843896
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 59434 53 0 0 25 0 11 0 477704130 864149504 32613 4294967295 134512640 134569956 3221224384 3221214840 1131350049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32613 13073 16 0 210958 0
vsize: 843896
[startup+640.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 60434 53 0 0 25 0 11 0 477704130 864149504 32613 4294967295 134512640 134569956 3221224384 3221214728 1131356759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32613 13073 16 0 210958 0
vsize: 843896
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) S 22471 20838 20837 0 -1 0 18100 0 1 0 61422 53 0 0 25 0 11 0 477704130 864149504 32732 4294967295 134512640 134569956 3221224384 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32732 13073 16 0 210958 0
vsize: 843896
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 62406 53 0 0 25 0 11 0 477704130 864149504 32816 4294967295 134512640 134569956 3221224384 3221214840 1131349939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32816 13073 16 0 210958 0
vsize: 843896
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 63407 53 0 0 25 0 11 0 477704130 864149504 32816 4294967295 134512640 134569956 3221224384 3221214840 1131349742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32816 13073 16 0 210958 0
vsize: 843896
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22486
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 64378 53 0 0 25 0 11 0 477704130 864149504 32936 4294967295 134512640 134569956 3221224384 3221214840 1131349945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 32936 13073 16 0 210958 0
vsize: 843896
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 65378 53 0 0 25 0 11 0 477704130 864149504 32936 4294967295 134512640 134569956 3221224384 3221214752 1131387095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32936 13073 16 0 210958 0
vsize: 843896
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 66378 53 0 0 25 0 11 0 477704130 864149504 32936 4294967295 134512640 134569956 3221224384 3221214840 1131350021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 32936 13073 16 0 210958 0
vsize: 843896
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 67350 54 0 0 25 0 11 0 477704130 864149504 33187 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33187 13073 16 0 210958 0
vsize: 843896
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 68350 54 0 0 25 0 11 0 477704130 864149504 33187 4294967295 134512640 134569956 3221224384 3221214840 1131349922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33187 13073 16 0 210958 0
vsize: 843896
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 69350 54 0 0 25 0 11 0 477704130 864149504 33187 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33187 13073 16 0 210958 0
vsize: 843896
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 70325 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 71326 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+760.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 72326 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+770.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 73304 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214804 1080204226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+780.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 74304 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+790.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 75304 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+800.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 76283 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+810.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 77283 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131350000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+820.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 78283 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+830.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 79260 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+840.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 80260 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131350019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+850.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 81260 54 0 0 25 0 11 0 477704130 864149504 33480 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33480 13073 16 0 210958 0
vsize: 843896
[startup+860.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 82236 54 0 0 25 0 11 0 477704130 864149504 33589 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33589 13073 16 0 210958 0
vsize: 843896
[startup+870.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 83236 54 0 0 25 0 11 0 477704130 864149504 33589 4294967295 134512640 134569956 3221224384 3221214840 1131350019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33589 13073 16 0 210958 0
vsize: 843896
[startup+880.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 84235 54 0 0 25 0 11 0 477704130 864149504 33589 4294967295 134512640 134569956 3221224384 3221214840 1131350019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33589 13073 16 0 210958 0
vsize: 843896
[startup+890.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 85209 55 0 0 25 0 11 0 477704130 864149504 33672 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33672 13073 16 0 210958 0
vsize: 843896
[startup+900.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 86208 55 0 0 25 0 11 0 477704130 864149504 33672 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33672 13073 16 0 210958 0
vsize: 843896
[startup+910.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 87208 55 0 0 25 0 11 0 477704130 864149504 33672 4294967295 134512640 134569956 3221224384 3221214840 1131350012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33672 13073 16 0 210958 0
vsize: 843896
[startup+920.007 s]
Raw data (loadavg): 1.07 1.02 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 88185 55 0 0 25 0 11 0 477704130 864149504 33722 4294967295 134512640 134569956 3221224384 3221214840 1131349740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33722 13073 16 0 210958 0
vsize: 843896
[startup+930.006 s]
Raw data (loadavg): 1.06 1.02 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 89185 55 0 0 25 0 11 0 477704130 864149504 33722 4294967295 134512640 134569956 3221224384 3221214840 1131349922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33722 13073 16 0 210958 0
vsize: 843896
[startup+940.006 s]
Raw data (loadavg): 1.05 1.01 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 90184 55 0 0 25 0 11 0 477704130 864149504 33722 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33722 13073 16 0 210958 0
vsize: 843896
[startup+950.007 s]
Raw data (loadavg): 1.04 1.01 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 91161 56 0 0 25 0 11 0 477704130 864149504 33788 4294967295 134512640 134569956 3221224384 3221214352 1076461499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33788 13073 16 0 210958 0
vsize: 843896
[startup+960.006 s]
Raw data (loadavg): 1.04 1.01 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 92161 56 0 0 25 0 11 0 477704130 864149504 33788 4294967295 134512640 134569956 3221224384 3221214840 1131349724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 33788 13073 16 0 210958 0
vsize: 843896
[startup+970.006 s]
Raw data (loadavg): 1.03 1.01 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 93160 56 0 0 25 0 11 0 477704130 864149504 33788 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33788 13073 16 0 210958 0
vsize: 843896
[startup+980.005 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 22488
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 94138 56 0 0 25 0 11 0 477704130 864149504 33882 4294967295 134512640 134569956 3221224384 3221214840 1131350031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33882 13073 16 0 210958 0
vsize: 843896
[startup+990.005 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 95138 56 0 0 25 0 11 0 477704130 864149504 33882 4294967295 134512640 134569956 3221224384 3221214728 1131355917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33882 13073 16 0 210958 0
vsize: 843896
[startup+1000 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 96138 56 0 0 25 0 11 0 477704130 864149504 33882 4294967295 134512640 134569956 3221224384 3221214840 1131350016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 33882 13073 16 0 210958 0
vsize: 843896
[startup+1010 s]
Raw data (loadavg): 1.01 1.01 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 97116 56 0 0 25 0 11 0 477704130 864149504 34075 4294967295 134512640 134569956 3221224384 3221214840 1131350000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34075 13073 16 0 210958 0
vsize: 843896
[startup+1020 s]
Raw data (loadavg): 1.01 1.01 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 98115 56 0 0 25 0 11 0 477704130 864149504 34075 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34075 13073 16 0 210958 0
vsize: 843896
[startup+1030 s]
Raw data (loadavg): 1.01 1.01 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 99096 56 0 0 25 0 11 0 477704130 864149504 34075 4294967295 134512640 134569956 3221224384 3221214840 1131349945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34075 13073 16 0 210958 0
vsize: 843896
[startup+1040 s]
Raw data (loadavg): 1.01 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 100096 56 0 0 25 0 11 0 477704130 864149504 34075 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34075 13073 16 0 210958 0
vsize: 843896
[startup+1050 s]
Raw data (loadavg): 1.01 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 101074 57 0 0 25 0 11 0 477704130 864149504 34120 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34120 13073 16 0 210958 0
vsize: 843896
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 102072 57 0 0 25 0 11 0 477704130 864149504 34120 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34120 13073 16 0 210958 0
vsize: 843896
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 103045 57 0 0 25 0 11 0 477704130 864149504 34299 4294967295 134512640 134569956 3221224384 3221214840 1131349935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34299 13073 16 0 210958 0
vsize: 843896
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 104045 57 0 0 25 0 11 0 477704130 864149504 34299 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34299 13073 16 0 210958 0
vsize: 843896
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 105017 57 0 0 25 0 11 0 477704130 864149504 34513 4294967295 134512640 134569956 3221224384 3221214840 1131350019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34513 13073 16 0 210958 0
vsize: 843896
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 106016 58 0 0 25 0 11 0 477704130 864149504 34513 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34513 13073 16 0 210958 0
vsize: 843896
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 106990 58 0 0 25 0 11 0 477704130 864149504 34726 4294967295 134512640 134569956 3221224384 3221214840 1131349712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 34726 13073 16 0 210958 0
vsize: 843896
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 107990 58 0 0 25 0 11 0 477704130 864149504 34726 4294967295 134512640 134569956 3221224384 3221214840 1131349735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34726 13073 16 0 210958 0
vsize: 843896
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 108990 58 0 0 25 0 11 0 477704130 864149504 34726 4294967295 134512640 134569956 3221224384 3221214840 1131349742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34726 13073 16 0 210958 0
vsize: 843896
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 109966 58 0 0 25 0 11 0 477704130 864149504 34978 4294967295 134512640 134569956 3221224384 3221214840 1131349738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34978 13073 16 0 210958 0
vsize: 843896
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 110966 58 0 0 25 0 11 0 477704130 864149504 34978 4294967295 134512640 134569956 3221224384 3221214840 1131350012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34978 13073 16 0 210958 0
vsize: 843896
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 111966 58 0 0 25 0 11 0 477704130 864149504 34978 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34978 13073 16 0 210958 0
vsize: 843896
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 112945 58 0 0 25 0 11 0 477704130 864149504 34978 4294967295 134512640 134569956 3221224384 3221214840 1131349935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34978 13073 16 0 210958 0
vsize: 843896
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 113946 58 0 0 25 0 11 0 477704130 864149504 34978 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 34978 13073 16 0 210958 0
vsize: 843896
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 114921 58 0 0 25 0 11 0 477704130 864149504 35174 4294967295 134512640 134569956 3221224384 3221214728 1131356801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 35174 13073 16 0 210958 0
vsize: 843896
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 115920 58 0 0 25 0 11 0 477704130 864149504 35174 4294967295 134512640 134569956 3221224384 3221214840 1131350039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 35174 13073 16 0 210958 0
vsize: 843896
[startup+1210 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 116920 58 0 0 25 0 11 0 477704130 864149504 35174 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 35174 13073 16 0 210958 0
vsize: 843896
[startup+1220 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 117899 58 0 0 25 0 11 0 477704130 864149504 35310 4294967295 134512640 134569956 3221224384 3221214840 1131349945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 35310 13073 16 0 210958 0
vsize: 843896
[startup+1230 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 118899 58 0 0 25 0 11 0 477704130 864149504 35310 4294967295 134512640 134569956 3221224384 3221214840 1131349732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210974 35310 13073 16 0 210958 0
vsize: 843896
[startup+1240 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 119878 58 0 0 25 0 11 0 477704130 864149504 35310 4294967295 134512640 134569956 3221224384 3221214840 1131350000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 35310 13073 16 0 210958 0
vsize: 843896
[startup+1250 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 22490
Raw data (stat): 22472 (java) R 22471 20838 20837 0 -1 0 18100 0 1 0 120877 58 0 0 25 0 11 0 477704130 864149504 35310 4294967295 134512640 134569956 3221224384 3221214840 1131349746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210974 35310 13073 16 0 210958 0
vsize: 843896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 22492
Raw data (stat): 22472 (java) Z 22471 20838 20837 0 -1 1036 18100 21917 1 0 120879 65 5085 51 25 0 1 0 477704130 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): 1250.1
CPU time (s): 1260.81
CPU user time (s): 1259.65
CPU system time (s): 1.16382
CPU usage (%): 100.857
Max. virtual memory (Kb): 844920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####