PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUM	827023c27ed4657a4077da2b27355df8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	83886080000000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	508832629179091
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.72089
Number of variables	11503
Total number of constraints	10724
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10588
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	9784
Trace number 20427

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        777168 kB
Buffers:         12512 kB
Cached:         222836 kB
SwapCached:          0 kB
Active:          50804 kB
Inactive:       187072 kB
HighTotal:      131008 kB
HighFree:        13076 kB
LowTotal:       903652 kB
LowFree:        764092 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            14028 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:18:17 (client local time) WITH STATUS 143 IN 1239.77 SECONDS
stats: 14972 7 1239.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-blp-ic97.opb
c reading problem 
c [nbvar=11503]
c [nbconstr=10724]
c time 56.35
c #vars     11503
c #clauses  1059
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 5345
Raw data (stat): 5345 (runsolver) R 5344 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489924009 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.001 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 5354
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 17982 0 1 0 872 40 0 0 25 0 10 0 489924009 854900736 19578 4294967295 134512640 134569956 3221224400 3221214556 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208716 19578 13073 16 0 208700 0
vsize: 834864
[startup+20.0066 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 5354
Raw data (stat): 5345 (java) S 5344 25347 25346 0 -1 0 17982 0 1 0 1787 40 0 0 25 0 10 0 489924009 854867968 19934 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208708 19934 13073 16 0 208692 0
vsize: 834832
[startup+30.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5354
Raw data (stat): 5345 (java) S 5344 25347 25346 0 -1 0 17982 0 1 0 2681 40 0 0 25 0 10 0 489924009 854867968 20496 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208708 20496 13073 16 0 208692 0
vsize: 834832
[startup+40.0254 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5354
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 17982 0 1 0 3605 40 0 0 25 0 10 0 489924009 854867968 20779 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208708 20779 13073 16 0 208692 0
vsize: 834832
[startup+50.0303 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5354
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 17983 0 1 0 4468 44 0 0 25 0 10 0 489924009 854867968 24867 4294967295 134512640 134569956 3221224400 3221214832 1131274190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208708 24867 13073 16 0 208692 0
vsize: 834832
[startup+60.0311 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18010 0 1 0 5340 46 0 0 25 0 11 0 489924009 855461888 26143 4294967295 134512640 134569956 3221224400 3221214832 1131238244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208853 26143 13073 16 0 208837 0
vsize: 835412
[startup+70.0359 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18011 0 1 0 6252 47 0 0 25 0 11 0 489924009 855396352 26141 4294967295 134512640 134569956 3221224400 3221214832 1131238553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 26141 13073 16 0 208821 0
vsize: 835348
[startup+80.0484 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18011 0 1 0 7165 47 0 0 25 0 11 0 489924009 855396352 26142 4294967295 134512640 134569956 3221224400 3221214760 1131324641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 26142 13073 16 0 208821 0
vsize: 835348
[startup+90.0485 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18011 0 1 0 8077 47 0 0 25 0 11 0 489924009 855396352 26142 4294967295 134512640 134569956 3221224400 3221214856 1131238244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 26142 13073 16 0 208821 0
vsize: 835348
[startup+100.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18011 0 1 0 9042 48 0 0 25 0 11 0 489924009 855396352 26941 4294967295 134512640 134569956 3221224400 3221214896 1131367814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 26941 13073 16 0 208821 0
vsize: 835348
[startup+110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 4/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 9976 48 0 0 25 0 11 0 489924009 858738688 27773 4294967295 134512640 134569956 3221224400 3221214520 1077074451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 27773 13073 16 0 209637 0
vsize: 838612
[startup+120.051 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 10947 48 0 0 25 0 11 0 489924009 857133056 27412 4294967295 134512640 134569956 3221224400 3221214760 1131324601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 27412 13073 16 0 209245 0
vsize: 837044
[startup+130.051 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 5355
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 11935 48 0 0 25 0 11 0 489924009 857133056 27429 4294967295 134512640 134569956 3221224400 3221214760 1131324641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 27429 13073 16 0 209245 0
vsize: 837044
[startup+140.054 s]
Raw data (loadavg): 1.05 0.99 0.92 2/67 5358
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 12924 51 0 0 25 0 11 0 489924009 857133056 27440 4294967295 134512640 134569956 3221224400 3221214760 1131324912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 27440 13073 16 0 209245 0
vsize: 837044
[startup+150.055 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 13912 57 0 0 25 0 11 0 489924009 857133056 27468 4294967295 134512640 134569956 3221224400 3221214936 1131220185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 27468 13073 16 0 209245 0
vsize: 837044
[startup+160.055 s]
Raw data (loadavg): 1.25 1.04 0.93 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 14909 57 0 0 25 0 11 0 489924009 857100288 27469 4294967295 134512640 134569956 3221224400 3221214856 1131238244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 27469 13073 16 0 209237 0
vsize: 837012
[startup+170.055 s]
Raw data (loadavg): 1.21 1.03 0.93 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 15904 58 0 0 25 0 11 0 489924009 857100288 27485 4294967295 134512640 134569956 3221224400 3221214752 1131285762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 27485 13073 16 0 209237 0
vsize: 837012
[startup+180.056 s]
Raw data (loadavg): 1.17 1.03 0.93 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 16899 58 0 0 25 0 11 0 489924009 857100288 27489 4294967295 134512640 134569956 3221224400 3221214808 1131266680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209253 27489 13073 16 0 209237 0
vsize: 837012
[startup+190.056 s]
Raw data (loadavg): 1.34 1.08 0.95 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18051 0 1 0 17892 58 0 0 25 0 11 0 489924009 857100288 27493 4294967295 134512640 134569956 3221224400 3221214760 1131324517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 27493 13073 16 0 209237 0
vsize: 837012
[startup+200.056 s]
Raw data (loadavg): 1.29 1.08 0.95 2/64 5408
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18052 0 1 0 18882 59 0 0 25 0 11 0 489924009 857100288 27500 4294967295 134512640 134569956 3221224400 3221214752 1131285165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209253 27500 13073 16 0 209237 0
vsize: 837012
[startup+210.056 s]
Raw data (loadavg): 1.25 1.07 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 19832 59 0 0 25 0 11 0 489924009 858148864 27834 4294967295 134512640 134569956 3221224400 3221214896 1131367767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209509 27834 13073 16 0 209493 0
vsize: 838036
[startup+220.055 s]
Raw data (loadavg): 1.21 1.07 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 20816 59 0 0 25 0 11 0 489924009 857067520 27527 4294967295 134512640 134569956 3221224400 3221214856 1131238568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27527 13073 16 0 209229 0
vsize: 836980
[startup+230.055 s]
Raw data (loadavg): 1.18 1.07 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 21802 60 0 0 24 0 11 0 489924009 857067520 27544 4294967295 134512640 134569956 3221224400 3221214624 1131503580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27544 13073 16 0 209229 0
vsize: 836980
[startup+240.055 s]
Raw data (loadavg): 1.15 1.06 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 22790 60 0 0 25 0 11 0 489924009 857067520 27558 4294967295 134512640 134569956 3221224400 3221214760 1131324641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27558 13073 16 0 209229 0
vsize: 836980
[startup+250.055 s]
Raw data (loadavg): 1.12 1.06 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 23778 60 0 0 25 0 11 0 489924009 857067520 27602 4294967295 134512640 134569956 3221224400 3221214760 1131324699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27602 13073 16 0 209229 0
vsize: 836980
[startup+260.056 s]
Raw data (loadavg): 1.10 1.06 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 24766 60 0 0 25 0 11 0 489924009 857067520 27620 4294967295 134512640 134569956 3221224400 3221214760 1131324899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27620 13073 16 0 209229 0
vsize: 836980
[startup+270.056 s]
Raw data (loadavg): 1.09 1.06 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 25755 61 0 0 25 0 11 0 489924009 857067520 27632 4294967295 134512640 134569956 3221224400 3221214856 1131238568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27632 13073 16 0 209229 0
vsize: 836980
[startup+280.056 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 26743 61 0 0 25 0 11 0 489924009 857067520 27638 4294967295 134512640 134569956 3221224400 3221214760 1131325476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27638 13073 16 0 209229 0
vsize: 836980
[startup+290.056 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 27731 61 0 0 25 0 11 0 489924009 857067520 27657 4294967295 134512640 134569956 3221224400 3221214760 1131324500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27657 13073 16 0 209229 0
vsize: 836980
[startup+300.058 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 28722 61 0 0 25 0 11 0 489924009 857067520 27669 4294967295 134512640 134569956 3221224400 3221214876 1130895505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27669 13073 16 0 209229 0
vsize: 836980
[startup+310.058 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 29715 62 0 0 25 0 11 0 489924009 857067520 27682 4294967295 134512640 134569956 3221224400 3221214856 1131238599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27682 13073 16 0 209229 0
vsize: 836980
[startup+320.057 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 30712 62 0 0 25 0 11 0 489924009 857067520 27700 4294967295 134512640 134569956 3221224400 3221214824 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27700 13073 16 0 209229 0
vsize: 836980
[startup+330.058 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 31708 62 0 0 25 0 11 0 489924009 857067520 27700 4294967295 134512640 134569956 3221224400 3221214852 1131324480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27700 13073 16 0 209229 0
vsize: 836980
[startup+340.058 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 32705 62 0 0 25 0 11 0 489924009 857067520 27710 4294967295 134512640 134569956 3221224400 3221214856 1131238568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27710 13073 16 0 209229 0
vsize: 836980
[startup+350.059 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 33701 63 0 0 25 0 11 0 489924009 857067520 27722 4294967295 134512640 134569956 3221224400 3221214856 1131238244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27722 13073 16 0 209229 0
vsize: 836980
[startup+360.06 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 34698 63 0 0 25 0 11 0 489924009 857067520 27727 4294967295 134512640 134569956 3221224400 3221214852 1131205189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27727 13073 16 0 209229 0
vsize: 836980
[startup+370.06 s]
Raw data (loadavg): 1.01 1.04 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 35694 63 0 0 25 0 11 0 489924009 857067520 27747 4294967295 134512640 134569956 3221224400 3221214856 1131238599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27747 13073 16 0 209229 0
vsize: 836980
[startup+380.059 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 36691 64 0 0 25 0 11 0 489924009 857067520 27750 4294967295 134512640 134569956 3221224400 3221214856 1131238568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27750 13073 16 0 209229 0
vsize: 836980
[startup+390.066 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 37687 64 0 0 25 0 11 0 489924009 857067520 27755 4294967295 134512640 134569956 3221224400 3221214808 1131266909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27755 13073 16 0 209229 0
vsize: 836980
[startup+400.072 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 38684 65 0 0 25 0 11 0 489924009 857067520 27769 4294967295 134512640 134569956 3221224400 3221214856 1131238255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27769 13073 16 0 209229 0
vsize: 836980
[startup+410.071 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 39671 65 0 0 25 0 11 0 489924009 857067520 27781 4294967295 134512640 134569956 3221224400 3221214856 1131238568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27781 13073 16 0 209229 0
vsize: 836980
[startup+420.072 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 40661 66 0 0 25 0 11 0 489924009 857067520 27785 4294967295 134512640 134569956 3221224400 3221214848 1131242944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27785 13073 16 0 209229 0
vsize: 836980
[startup+430.073 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 41653 67 0 0 25 0 11 0 489924009 857067520 27789 4294967295 134512640 134569956 3221224400 3221214856 1131238548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27789 13073 16 0 209229 0
vsize: 836980
[startup+440.073 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 42644 67 0 0 25 0 11 0 489924009 857067520 27843 4294967295 134512640 134569956 3221224400 3221214848 1131243025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27843 13073 16 0 209229 0
vsize: 836980
[startup+450.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 43636 67 0 0 25 0 11 0 489924009 857067520 27850 4294967295 134512640 134569956 3221224400 3221214760 1131326389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27850 13073 16 0 209229 0
vsize: 836980
[startup+460.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 44626 68 0 0 25 0 11 0 489924009 857067520 27855 4294967295 134512640 134569956 3221224400 3221214760 1131324726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27855 13073 16 0 209229 0
vsize: 836980
[startup+470.073 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 45613 68 0 0 25 0 11 0 489924009 857067520 27859 4294967295 134512640 134569956 3221224400 3221214896 1131367796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27859 13073 16 0 209229 0
vsize: 836980
[startup+480.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5410
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 46594 69 0 0 25 0 11 0 489924009 857067520 27886 4294967295 134512640 134569956 3221224400 3221214872 1131352689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27886 13073 16 0 209229 0
vsize: 836980
[startup+490.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 47576 70 0 0 25 0 11 0 489924009 857067520 27894 4294967295 134512640 134569956 3221224400 3221214848 1131242981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27894 13073 16 0 209229 0
vsize: 836980
[startup+500.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 48555 70 0 0 25 0 11 0 489924009 857067520 27922 4294967295 134512640 134569956 3221224400 3221214624 1131506337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27922 13073 16 0 209229 0
vsize: 836980
[startup+510.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 49519 70 0 0 25 0 11 0 489924009 857067520 27928 4294967295 134512640 134569956 3221224400 3221214872 1131352689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27928 13073 16 0 209229 0
vsize: 836980
[startup+520.073 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18053 0 1 0 50472 71 0 0 25 0 11 0 489924009 857067520 27964 4294967295 134512640 134569956 3221224400 3221214512 1131320211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27964 13073 16 0 209229 0
vsize: 836980
[startup+530.073 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 51424 71 0 0 25 0 11 0 489924009 857067520 27978 4294967295 134512640 134569956 3221224400 3221214624 1131183581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 27978 13073 16 0 209229 0
vsize: 836980
[startup+540.073 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 52377 72 0 0 25 0 11 0 489924009 857067520 27985 4294967295 134512640 134569956 3221224400 3221214472 1131320211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 27985 13073 16 0 209229 0
vsize: 836980
[startup+550.074 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 53322 72 0 0 25 0 11 0 489924009 857067520 28008 4294967295 134512640 134569956 3221224400 3221214672 1131474992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28008 13073 16 0 209229 0
vsize: 836980
[startup+560.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 54277 72 0 0 25 0 11 0 489924009 857067520 28229 4294967295 134512640 134569956 3221224400 3221214512 1131320490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28229 13073 16 0 209229 0
vsize: 836980
[startup+570.073 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 55255 73 0 0 25 0 11 0 489924009 857067520 28640 4294967295 134512640 134569956 3221224400 3221214672 1131474999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28640 13073 16 0 209229 0
vsize: 836980
[startup+580.073 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 56250 73 0 0 25 0 11 0 489924009 857067520 28688 4294967295 134512640 134569956 3221224400 3221214672 1131475006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28688 13073 16 0 209229 0
vsize: 836980
[startup+590.072 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 57249 73 0 0 25 0 11 0 489924009 857067520 28698 4294967295 134512640 134569956 3221224400 3221214616 1131281078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28698 13073 16 0 209229 0
vsize: 836980
[startup+600.073 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 58248 73 0 0 25 0 11 0 489924009 857067520 28698 4294967295 134512640 134569956 3221224400 3221214672 1131475060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28698 13073 16 0 209229 0
vsize: 836980
[startup+610.073 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 59242 73 0 0 25 0 11 0 489924009 857067520 28698 4294967295 134512640 134569956 3221224400 3221214656 1131558011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28698 13073 16 0 209229 0
vsize: 836980
[startup+620.073 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 60233 74 0 0 25 0 11 0 489924009 857067520 28700 4294967295 134512640 134569956 3221224400 3221214656 1131559976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28700 13073 16 0 209229 0
vsize: 836980
[startup+630.072 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 61224 74 0 0 25 0 11 0 489924009 857067520 28700 4294967295 134512640 134569956 3221224400 3221214672 1131474992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28700 13073 16 0 209229 0
vsize: 836980
[startup+640.072 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 62215 74 0 0 25 0 11 0 489924009 857067520 28700 4294967295 134512640 134569956 3221224400 3221214616 1131281088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28700 13073 16 0 209229 0
vsize: 836980
[startup+650.072 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 63208 74 0 0 25 0 11 0 489924009 857067520 28700 4294967295 134512640 134569956 3221224400 3221214656 1131559191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28700 13073 16 0 209229 0
vsize: 836980
[startup+660.073 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 64202 74 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214512 1131320141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+670.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 65197 74 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214656 1131559198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+680.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 66189 75 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214672 1131475006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+690.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 67181 75 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214656 1131558272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+700.072 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 68174 75 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214472 1131321928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+710.073 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 69164 75 0 0 25 0 11 0 489924009 857067520 28704 4294967295 134512640 134569956 3221224400 3221214656 1131558061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28704 13073 16 0 209229 0
vsize: 836980
[startup+720.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 70154 75 0 0 25 0 11 0 489924009 857067520 28708 4294967295 134512640 134569956 3221224400 3221214640 1131528308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28708 13073 16 0 209229 0
vsize: 836980
[startup+730.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 71148 76 0 0 25 0 11 0 489924009 857067520 28708 4294967295 134512640 134569956 3221224400 3221214656 1131558407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28708 13073 16 0 209229 0
vsize: 836980
[startup+740.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 72145 76 0 0 25 0 11 0 489924009 857067520 28708 4294967295 134512640 134569956 3221224400 3221214744 1131438425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28708 13073 16 0 209229 0
vsize: 836980
[startup+750.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 73138 76 0 0 25 0 11 0 489924009 857067520 28708 4294967295 134512640 134569956 3221224400 3221214768 1131599744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28708 13073 16 0 209229 0
vsize: 836980
[startup+760.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 74133 76 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214728 1131423766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+770.072 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 75118 77 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214656 1131558279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+780.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 76100 77 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214640 1131527306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+790.072 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 77082 77 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214656 1131558393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+800.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 78067 78 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214656 1131558011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+810.073 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 79052 78 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214768 1131599756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 80045 78 0 0 25 0 11 0 489924009 857067520 28709 4294967295 134512640 134569956 3221224400 3221214656 1131559973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28709 13073 16 0 209229 0
vsize: 836980
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 81024 78 0 0 25 0 11 0 489924009 857067520 28862 4294967295 134512640 134569956 3221224400 3221214536 1131322120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28862 13073 16 0 209229 0
vsize: 836980
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 82012 79 0 0 24 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 83006 79 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 84002 79 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214768 1131599756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 84996 80 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214608 1131320064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 85993 80 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131558279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 86987 80 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214608 1131320064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.95 3/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 87980 80 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131558547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 88974 81 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131528417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 89968 81 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131560628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 90963 82 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214768 1131599868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 91959 82 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214768 1131599756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 92955 82 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214728 1131423777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 93937 83 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214728 1131423793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 94913 83 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131559947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 95895 83 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214768 1131599759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 96872 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 97854 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 98842 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214640 1131527296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 99830 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131559223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 100818 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214608 1131320470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 101795 84 0 0 25 0 11 0 489924009 857067520 28943 4294967295 134512640 134569956 3221224400 3221214656 1131558008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 28943 13073 16 0 209229 0
vsize: 836980
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 102764 84 0 0 25 0 11 0 489924009 857067520 29055 4294967295 134512640 134569956 3221224400 3221214640 1131527209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29055 13073 16 0 209229 0
vsize: 836980
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 103747 85 0 0 25 0 11 0 489924009 857067520 29247 4294967295 134512640 134569956 3221224400 3221214536 1131321917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29247 13073 16 0 209229 0
vsize: 836980
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 104736 85 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214656 1131558011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 105731 85 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214656 1131558294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 106726 85 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 107725 85 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214632 1131547091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 108716 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214536 1131320064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 109710 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214768 1131599759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 110701 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214640 1131527306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 111696 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214640 1131527184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 112691 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214656 1131558279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 113687 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214656 1131560607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 114685 86 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214624 1131503221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 115678 87 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214744 1131352698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 116671 87 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214728 1131423714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 117659 87 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214768 1131599848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 118640 88 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214656 1131560631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 119623 88 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214852 1131205189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5412
Raw data (stat): 5345 (java) R 5344 25347 25346 0 -1 0 18054 0 1 0 120577 89 0 0 25 0 11 0 489924009 857067520 29349 4294967295 134512640 134569956 3221224400 3221214536 1131320175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209245 29349 13073 16 0 209229 0
vsize: 836980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 5414
Raw data (stat): 5345 (java) Z 5344 25347 25346 0 -1 1036 18054 14407 1 0 120582 94 3261 38 25 0 1 0 489924009 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): 1230.2
CPU time (s): 1239.77
CPU user time (s): 1238.44
CPU system time (s): 1.3278
CPU usage (%): 100.778
Max. virtual memory (Kb): 838612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####