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/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	454.966
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 13795

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-20 21:45:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13945 boxname=wulflinc18 idbench=1073 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 13945
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        720280 kB
Buffers:         33248 kB
Cached:         249992 kB
SwapCached:        388 kB
Active:          44496 kB
Inactive:       241232 kB
HighTotal:      131008 kB
HighFree:        23100 kB
LowTotal:       903652 kB
LowFree:        697180 kB
SwapTotal:     2097892 kB
SwapFree:      2096996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            22976 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:06:41 (client local time) WITH STATUS 143 IN 1243.02 SECONDS
stats: 13945 7 1243.02 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-vpm1.opb
c reading problem 
c [nbvar=2754]
c [nbconstr=612]
c time 5.673
c #vars     2754
c #clauses  486
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.92 0.95 0.90 2/55 10387
Raw data (stat): 10387 (runsolver) R 10386 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539776946 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0066 s]
Raw data (loadavg): 1.24 1.02 0.93 3/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18071 0 1 0 657 39 0 0 25 0 11 0 539776946 859918336 20632 4294967295 134512640 134569956 3221224400 3221213716 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 20632 13073 16 0 209925 0
vsize: 839764
[startup+20.0077 s]
Raw data (loadavg): 1.20 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18073 0 1 0 1577 39 0 0 25 0 11 0 539776946 858976256 21091 4294967295 134512640 134569956 3221224400 3221214560 1131361832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 21091 13073 16 0 209695 0
vsize: 838844
[startup+30.0075 s]
Raw data (loadavg): 1.17 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18073 0 1 0 2525 39 0 0 25 0 11 0 539776946 858976256 21440 4294967295 134512640 134569956 3221224400 3221214896 1131330537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 21440 13073 16 0 209695 0
vsize: 838844
[startup+40.0079 s]
Raw data (loadavg): 1.14 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 3467 39 0 0 25 0 11 0 539776946 858976256 21713 4294967295 134512640 134569956 3221224400 3221214552 1131293625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 21713 13073 16 0 209695 0
vsize: 838844
[startup+50.0084 s]
Raw data (loadavg): 1.12 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 4410 39 0 0 25 0 11 0 539776946 858976256 21796 4294967295 134512640 134569956 3221224400 3221214544 1131293582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 21796 13073 16 0 209695 0
vsize: 838844
[startup+60.0126 s]
Raw data (loadavg): 1.10 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) S 10386 20024 20023 0 -1 0 18074 0 1 0 5356 39 0 0 25 0 11 0 539776946 858976256 22033 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 22033 13073 16 0 209695 0
vsize: 838844
[startup+70.0139 s]
Raw data (loadavg): 1.09 1.02 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 6296 39 0 0 25 0 11 0 539776946 858976256 22250 4294967295 134512640 134569956 3221224400 3221214692 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 22250 13073 16 0 209695 0
vsize: 838844
[startup+80.0144 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 7238 39 0 0 25 0 11 0 539776946 858976256 22501 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 22501 13073 16 0 209695 0
vsize: 838844
[startup+90.0152 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 8196 39 0 0 25 0 11 0 539776946 858976256 22673 4294967295 134512640 134569956 3221224400 3221214896 1131331012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 22673 13073 16 0 209695 0
vsize: 838844
[startup+100.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 9156 39 0 0 25 0 11 0 539776946 858976256 22925 4294967295 134512640 134569956 3221224400 3221214800 1131243849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 22925 13073 16 0 209695 0
vsize: 838844
[startup+110.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 10123 39 0 0 25 0 11 0 539776946 858976256 23026 4294967295 134512640 134569956 3221224400 3221214800 1131243953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23026 13073 16 0 209695 0
vsize: 838844
[startup+120.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 11089 40 0 0 25 0 11 0 539776946 858976256 23111 4294967295 134512640 134569956 3221224400 3221214656 1131377482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23111 13073 16 0 209695 0
vsize: 838844
[startup+130.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 12055 40 0 0 25 0 11 0 539776946 858976256 23223 4294967295 134512640 134569956 3221224400 3221214840 1131200960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23223 13073 16 0 209695 0
vsize: 838844
[startup+140.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 13024 40 0 0 25 0 11 0 539776946 858976256 23353 4294967295 134512640 134569956 3221224400 3221214800 1131243905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23353 13073 16 0 209695 0
vsize: 838844
[startup+150.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 13996 40 0 0 25 0 11 0 539776946 858976256 23531 4294967295 134512640 134569956 3221224400 3221214656 1131377472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23531 13073 16 0 209695 0
vsize: 838844
[startup+160.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) S 10386 20024 20023 0 -1 0 18074 0 1 0 14967 40 0 0 25 0 11 0 539776946 858976256 23670 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23670 13073 16 0 209695 0
vsize: 838844
[startup+170.025 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 15939 40 0 0 25 0 11 0 539776946 858976256 23762 4294967295 134512640 134569956 3221224400 3221214800 1131243265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23762 13073 16 0 209695 0
vsize: 838844
[startup+180.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 16910 40 0 0 25 0 11 0 539776946 858976256 23835 4294967295 134512640 134569956 3221224400 3221214840 1131201005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23835 13073 16 0 209695 0
vsize: 838844
[startup+190.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18074 0 1 0 17878 40 0 0 25 0 11 0 539776946 858976256 23997 4294967295 134512640 134569956 3221224400 3221214800 1131243524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 23997 13073 16 0 209695 0
vsize: 838844
[startup+200.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 18852 40 0 0 25 0 11 0 539776946 858976256 24123 4294967295 134512640 134569956 3221224400 3221214840 1131200985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24123 13073 16 0 209695 0
vsize: 838844
[startup+210.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 19823 40 0 0 25 0 11 0 539776946 858976256 24239 4294967295 134512640 134569956 3221224400 3221214892 1131244555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24239 13073 16 0 209695 0
vsize: 838844
[startup+220.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 20796 40 0 0 25 0 11 0 539776946 858976256 24321 4294967295 134512640 134569956 3221224400 3221214840 1131200960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24321 13073 16 0 209695 0
vsize: 838844
[startup+230.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 21761 40 0 0 24 0 11 0 539776946 858976256 24425 4294967295 134512640 134569956 3221224400 3221214656 1131377476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24425 13073 16 0 209695 0
vsize: 838844
[startup+240.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 22728 41 0 0 25 0 11 0 539776946 858976256 24552 4294967295 134512640 134569956 3221224400 3221214656 1131378007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24552 13073 16 0 209695 0
vsize: 838844
[startup+250.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 23694 41 0 0 25 0 11 0 539776946 858976256 24689 4294967295 134512640 134569956 3221224400 3221214892 1131289132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24689 13073 16 0 209695 0
vsize: 838844
[startup+260.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 24659 41 0 0 25 0 11 0 539776946 858976256 24858 4294967295 134512640 134569956 3221224400 3221214840 1131200985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 24858 13073 16 0 209695 0
vsize: 838844
[startup+270.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 25625 41 0 0 25 0 11 0 539776946 858976256 25025 4294967295 134512640 134569956 3221224400 3221214892 1131200940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 25025 13073 16 0 209695 0
vsize: 838844
[startup+280.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10397
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 26589 41 0 0 25 0 11 0 539776946 858976256 25170 4294967295 134512640 134569956 3221224400 3221214800 1131243861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 25170 13073 16 0 209695 0
vsize: 838844
[startup+290.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 27548 41 0 0 25 0 11 0 539776946 858976256 25365 4294967295 134512640 134569956 3221224400 3221214896 1131330514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 25365 13073 16 0 209695 0
vsize: 838844
[startup+300.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 28511 42 0 0 25 0 11 0 539776946 858976256 25536 4294967295 134512640 134569956 3221224400 3221214800 1131243905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 25536 13073 16 0 209695 0
vsize: 838844
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 29478 42 0 0 24 0 11 0 539776946 858976256 25678 4294967295 134512640 134569956 3221224400 3221214800 1131243909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 25678 13073 16 0 209695 0
vsize: 838844
[startup+320.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 30447 42 0 0 25 0 11 0 539776946 858976256 25805 4294967295 134512640 134569956 3221224400 3221214800 1131243328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 25805 13073 16 0 209695 0
vsize: 838844
[startup+330.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 31412 42 0 0 25 0 11 0 539776946 858976256 25953 4294967295 134512640 134569956 3221224400 3221214656 1131378025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 25953 13073 16 0 209695 0
vsize: 838844
[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 32378 42 0 0 24 0 11 0 539776946 858976256 26112 4294967295 134512640 134569956 3221224400 3221214800 1131243833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 26112 13073 16 0 209695 0
vsize: 838844
[startup+350.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 33349 42 0 0 25 0 11 0 539776946 858976256 26256 4294967295 134512640 134569956 3221224400 3221214800 1131244183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 26256 13073 16 0 209695 0
vsize: 838844
[startup+360.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 34320 42 0 0 25 0 11 0 539776946 858976256 26350 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 26350 13073 16 0 209695 0
vsize: 838844
[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 35288 42 0 0 25 0 11 0 539776946 858976256 26488 4294967295 134512640 134569956 3221224400 3221214800 1131243265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 26488 13073 16 0 209695 0
vsize: 838844
[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 36257 42 0 0 25 0 11 0 539776946 858976256 26614 4294967295 134512640 134569956 3221224400 3221214800 1131243865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 26614 13073 16 0 209695 0
vsize: 838844
[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 37225 43 0 0 25 0 11 0 539776946 858976256 26755 4294967295 134512640 134569956 3221224400 3221214488 1131183861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 26755 13073 16 0 209695 0
vsize: 838844
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 38194 43 0 0 25 0 11 0 539776946 858976256 26870 4294967295 134512640 134569956 3221224400 3221214800 1131243436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 26870 13073 16 0 209695 0
vsize: 838844
[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 39165 43 0 0 25 0 11 0 539776946 858976256 27005 4294967295 134512640 134569956 3221224400 3221214800 1131243265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27005 13073 16 0 209695 0
vsize: 838844
[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 40133 43 0 0 25 0 11 0 539776946 858976256 27099 4294967295 134512640 134569956 3221224400 3221214800 1131243609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27099 13073 16 0 209695 0
vsize: 838844
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 41103 44 0 0 25 0 11 0 539776946 858976256 27206 4294967295 134512640 134569956 3221224400 3221214656 1131377479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27206 13073 16 0 209695 0
vsize: 838844
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 42068 44 0 0 25 0 11 0 539776946 858976256 27342 4294967295 134512640 134569956 3221224400 3221214800 1131244259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27342 13073 16 0 209695 0
vsize: 838844
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 43038 44 0 0 22 0 11 0 539776946 858976256 27507 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27507 13073 16 0 209695 0
vsize: 838844
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 44008 44 0 0 25 0 11 0 539776946 858976256 27688 4294967295 134512640 134569956 3221224400 3221214696 1131294541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27688 13073 16 0 209695 0
vsize: 838844
[startup+470.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 44989 45 0 0 25 0 11 0 539776946 858976256 27809 4294967295 134512640 134569956 3221224400 3221214800 1131243825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27809 13073 16 0 209695 0
vsize: 838844
[startup+480.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 45962 45 0 0 25 0 11 0 539776946 858976256 27916 4294967295 134512640 134569956 3221224400 3221214644 1131176940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 27916 13073 16 0 209695 0
vsize: 838844
[startup+490.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 46929 45 0 0 25 0 11 0 539776946 858976256 28023 4294967295 134512640 134569956 3221224400 3221214800 1131243841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28023 13073 16 0 209695 0
vsize: 838844
[startup+500.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 47897 45 0 0 25 0 11 0 539776946 858976256 28132 4294967295 134512640 134569956 3221224400 3221214896 1131331616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28132 13073 16 0 209695 0
vsize: 838844
[startup+510.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 48862 45 0 0 25 0 11 0 539776946 858976256 28258 4294967295 134512640 134569956 3221224400 3221214840 1131200981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28258 13073 16 0 209695 0
vsize: 838844
[startup+520.161 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 49833 46 0 0 25 0 11 0 539776946 858976256 28417 4294967295 134512640 134569956 3221224400 3221214840 1131200985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28417 13073 16 0 209695 0
vsize: 838844
[startup+530.163 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 50803 46 0 0 25 0 11 0 539776946 858976256 28544 4294967295 134512640 134569956 3221224400 3221214800 1131243726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28544 13073 16 0 209695 0
vsize: 838844
[startup+540.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 51774 46 0 0 25 0 11 0 539776946 858976256 28665 4294967295 134512640 134569956 3221224400 3221214800 1131243849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28665 13073 16 0 209695 0
vsize: 838844
[startup+550.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 52746 46 0 0 25 0 11 0 539776946 858976256 28759 4294967295 134512640 134569956 3221224400 3221214896 1131330633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28759 13073 16 0 209695 0
vsize: 838844
[startup+560.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 53713 47 0 0 24 0 11 0 539776946 858976256 28876 4294967295 134512640 134569956 3221224400 3221214800 1131244259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28876 13073 16 0 209695 0
vsize: 838844
[startup+570.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 54681 48 0 0 25 0 11 0 539776946 858976256 28978 4294967295 134512640 134569956 3221224400 3221214896 1131331702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 28978 13073 16 0 209695 0
vsize: 838844
[startup+580.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10399
Raw data (stat): 10387 (java) S 10386 20024 20023 0 -1 0 18075 0 1 0 55646 48 0 0 25 0 11 0 539776946 858976256 29115 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29115 13073 16 0 209695 0
vsize: 838844
[startup+590.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 56610 48 0 0 25 0 11 0 539776946 858976256 29301 4294967295 134512640 134569956 3221224400 3221214840 1131200977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29301 13073 16 0 209695 0
vsize: 838844
[startup+600.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 57575 48 0 0 24 0 11 0 539776946 858976256 29523 4294967295 134512640 134569956 3221224400 3221214800 1131244297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29523 13073 16 0 209695 0
vsize: 838844
[startup+610.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 58547 48 0 0 25 0 11 0 539776946 858976256 29673 4294967295 134512640 134569956 3221224400 3221214800 1131243689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29673 13073 16 0 209695 0
vsize: 838844
[startup+620.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) S 10386 20024 20023 0 -1 0 18075 0 1 0 59518 48 0 0 25 0 11 0 539776946 858976256 29818 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29818 13073 16 0 209695 0
vsize: 838844
[startup+630.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 60489 49 0 0 25 0 11 0 539776946 858976256 29919 4294967295 134512640 134569956 3221224400 3221214800 1131243269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 29919 13073 16 0 209695 0
vsize: 838844
[startup+640.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 61462 49 0 0 25 0 11 0 539776946 858976256 30053 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30053 13073 16 0 209695 0
vsize: 838844
[startup+650.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 62413 49 0 0 25 0 11 0 539776946 858976256 30184 4294967295 134512640 134569956 3221224400 3221214840 1131200960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30184 13073 16 0 209695 0
vsize: 838844
[startup+660.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 63376 50 0 0 25 0 11 0 539776946 858976256 30307 4294967295 134512640 134569956 3221224400 3221214592 1131616714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30307 13073 16 0 209695 0
vsize: 838844
[startup+670.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 64328 50 0 0 25 0 11 0 539776946 858976256 30429 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30429 13073 16 0 209695 0
vsize: 838844
[startup+680.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 65308 50 0 0 25 0 11 0 539776946 858976256 30594 4294967295 134512640 134569956 3221224400 3221214592 1131478535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30594 13073 16 0 209695 0
vsize: 838844
[startup+690.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 66293 50 0 0 25 0 11 0 539776946 858976256 30644 4294967295 134512640 134569956 3221224400 3221214840 1131200977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30644 13073 16 0 209695 0
vsize: 838844
[startup+700.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 67256 51 0 0 25 0 11 0 539776946 858976256 30771 4294967295 134512640 134569956 3221224400 3221214800 1131243693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30771 13073 16 0 209695 0
vsize: 838844
[startup+710.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 68230 51 0 0 25 0 11 0 539776946 858976256 30820 4294967295 134512640 134569956 3221224400 3221214896 1131331684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30820 13073 16 0 209695 0
vsize: 838844
[startup+720.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 69204 51 0 0 25 0 11 0 539776946 858976256 30874 4294967295 134512640 134569956 3221224400 3221214896 1131330963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 30874 13073 16 0 209695 0
vsize: 838844
[startup+730.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 70180 51 0 0 25 0 11 0 539776946 858976256 30986 4294967295 134512640 134569956 3221224400 3221214840 1131200977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 30986 13073 16 0 209695 0
vsize: 838844
[startup+740.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 71174 51 0 0 25 0 11 0 539776946 858976256 31018 4294967295 134512640 134569956 3221224400 3221213936 1131615953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31018 13073 16 0 209695 0
vsize: 838844
[startup+750.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 72172 51 0 0 25 0 11 0 539776946 858976256 31030 4294967295 134512640 134569956 3221224400 3221213936 1131615876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31030 13073 16 0 209695 0
vsize: 838844
[startup+760.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 73167 52 0 0 25 0 11 0 539776946 858976256 31060 4294967295 134512640 134569956 3221224400 3221213936 1131615962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31060 13073 16 0 209695 0
vsize: 838844
[startup+770.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 74162 52 0 0 25 0 11 0 539776946 858976256 31131 4294967295 134512640 134569956 3221224400 3221214016 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31131 13073 16 0 209695 0
vsize: 838844
[startup+780.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 75157 52 0 0 25 0 11 0 539776946 858976256 31144 4294967295 134512640 134569956 3221224400 3221214296 1131620185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31144 13073 16 0 209695 0
vsize: 838844
[startup+790.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 76149 52 0 0 25 0 11 0 539776946 858976256 31159 4294967295 134512640 134569956 3221224400 3221214008 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31159 13073 16 0 209695 0
vsize: 838844
[startup+800.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 77141 52 0 0 25 0 11 0 539776946 858976256 31184 4294967295 134512640 134569956 3221224400 3221214160 1131615892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31184 13073 16 0 209695 0
vsize: 838844
[startup+810.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 78137 52 0 0 25 0 11 0 539776946 858976256 31199 4294967295 134512640 134569956 3221224400 3221214800 1131243741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31199 13073 16 0 209695 0
vsize: 838844
[startup+820.219 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 79130 52 0 0 25 0 11 0 539776946 858976256 31214 4294967295 134512640 134569956 3221224400 3221214456 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31214 13073 16 0 209695 0
vsize: 838844
[startup+830.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 80121 52 0 0 25 0 11 0 539776946 858976256 31230 4294967295 134512640 134569956 3221224400 3221214408 1131620024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31230 13073 16 0 209695 0
vsize: 838844
[startup+840.234 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 81110 52 0 0 25 0 11 0 539776946 858976256 31244 4294967295 134512640 134569956 3221224400 3221214368 1131616654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31244 13073 16 0 209695 0
vsize: 838844
[startup+850.25 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10401
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 82102 52 0 0 25 0 11 0 539776946 858976256 31279 4294967295 134512640 134569956 3221224400 3221214736 1131428529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31279 13073 16 0 209695 0
vsize: 838844
[startup+860.249 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 10454
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 83086 52 0 0 25 0 11 0 539776946 858976256 31331 4294967295 134512640 134569956 3221224400 3221214160 1131615953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31331 13073 16 0 209695 0
vsize: 838844
[startup+870.255 s]
Raw data (loadavg): 1.06 1.02 0.93 2/65 10454
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 84078 53 0 0 25 0 11 0 539776946 858976256 31347 4294967295 134512640 134569956 3221224400 3221214160 1131615959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31347 13073 16 0 209695 0
vsize: 838844
[startup+880.255 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 10454
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 85066 53 0 0 25 0 11 0 539776946 858976256 31379 4294967295 134512640 134569956 3221224400 3221214800 1131243909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31379 13073 16 0 209695 0
vsize: 838844
[startup+890.257 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 10456
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 86055 53 0 0 25 0 11 0 539776946 858976256 31410 4294967295 134512640 134569956 3221224400 3221214640 1131616712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31410 13073 16 0 209695 0
vsize: 838844
[startup+900.257 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 10456
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 87045 54 0 0 25 0 11 0 539776946 858976256 31454 4294967295 134512640 134569956 3221224400 3221213960 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31454 13073 16 0 209695 0
vsize: 838844
[startup+910.257 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 10456
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 88036 54 0 0 25 0 11 0 539776946 858976256 31470 4294967295 134512640 134569956 3221224400 3221214896 1131330809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31470 13073 16 0 209695 0
vsize: 838844
[startup+920.258 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 89028 54 0 0 25 0 11 0 539776946 858976256 31508 4294967295 134512640 134569956 3221224400 3221214800 1131244103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31508 13073 16 0 209695 0
vsize: 838844
[startup+930.258 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 90017 55 0 0 24 0 11 0 539776946 858976256 31573 4294967295 134512640 134569956 3221224400 3221214648 1131616553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31573 13073 16 0 209695 0
vsize: 838844
[startup+940.259 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 91009 55 0 0 25 0 11 0 539776946 858976256 31623 4294967295 134512640 134569956 3221224400 3221214800 1131243849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31623 13073 16 0 209695 0
vsize: 838844
[startup+950.26 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 92002 56 0 0 25 0 11 0 539776946 858976256 31649 4294967295 134512640 134569956 3221224400 3221214152 1131616668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31649 13073 16 0 209695 0
vsize: 838844
[startup+960.26 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 92992 56 0 0 25 0 11 0 539776946 858976256 31686 4294967295 134512640 134569956 3221224400 3221214800 1131243269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31686 13073 16 0 209695 0
vsize: 838844
[startup+970.26 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 93985 56 0 0 25 0 11 0 539776946 858976256 31709 4294967295 134512640 134569956 3221224400 3221214288 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31709 13073 16 0 209695 0
vsize: 838844
[startup+980.26 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 94976 57 0 0 25 0 11 0 539776946 858976256 31757 4294967295 134512640 134569956 3221224400 3221214592 1131478718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31757 13073 16 0 209695 0
vsize: 838844
[startup+990.26 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 95967 57 0 0 25 0 11 0 539776946 858976256 31813 4294967295 134512640 134569956 3221224400 3221214800 1131243677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31813 13073 16 0 209695 0
vsize: 838844
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 96958 57 0 0 24 0 11 0 539776946 858976256 31845 4294967295 134512640 134569956 3221224400 3221214156 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31845 13073 16 0 209695 0
vsize: 838844
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 97950 58 0 0 25 0 11 0 539776946 858976256 31875 4294967295 134512640 134569956 3221224400 3221214228 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31875 13073 16 0 209695 0
vsize: 838844
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 98940 58 0 0 25 0 11 0 539776946 858976256 31918 4294967295 134512640 134569956 3221224400 3221214320 1131615892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31918 13073 16 0 209695 0
vsize: 838844
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 99929 58 0 0 25 0 11 0 539776946 858976256 31952 4294967295 134512640 134569956 3221224400 3221214048 1131615900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31952 13073 16 0 209695 0
vsize: 838844
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 100918 58 0 0 25 0 11 0 539776946 858976256 31992 4294967295 134512640 134569956 3221224400 3221214800 1131243926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 31992 13073 16 0 209695 0
vsize: 838844
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 101907 58 0 0 25 0 11 0 539776946 858976256 32049 4294967295 134512640 134569956 3221224400 3221214040 1131615953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32049 13073 16 0 209695 0
vsize: 838844
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 102895 59 0 0 25 0 11 0 539776946 858976256 32120 4294967295 134512640 134569956 3221224400 3221214208 1131616700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32120 13073 16 0 209695 0
vsize: 838844
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 103885 59 0 0 25 0 11 0 539776946 858976256 32201 4294967295 134512640 134569956 3221224400 3221214896 1131331684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32201 13073 16 0 209695 0
vsize: 838844
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 104875 60 0 0 24 0 11 0 539776946 858976256 32259 4294967295 134512640 134569956 3221224400 3221214316 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32259 13073 16 0 209695 0
vsize: 838844
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 105867 60 0 0 25 0 11 0 539776946 858976256 32328 4294967295 134512640 134569956 3221224400 3221214736 1131244262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32328 13073 16 0 209695 0
vsize: 838844
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 106856 60 0 0 25 0 11 0 539776946 858976256 32421 4294967295 134512640 134569956 3221224400 3221214392 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32421 13073 16 0 209695 0
vsize: 838844
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 107847 61 0 0 25 0 11 0 539776946 858976256 32479 4294967295 134512640 134569956 3221224400 3221214736 1131243276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32479 13073 16 0 209695 0
vsize: 838844
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 108837 61 0 0 25 0 11 0 539776946 858976256 32521 4294967295 134512640 134569956 3221224400 3221214144 1131616679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32521 13073 16 0 209695 0
vsize: 838844
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 109828 61 0 0 25 0 11 0 539776946 858976256 32568 4294967295 134512640 134569956 3221224400 3221214736 1131243602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32568 13073 16 0 209695 0
vsize: 838844
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 110818 62 0 0 24 0 11 0 539776946 858976256 32625 4294967295 134512640 134569956 3221224400 3221214752 1131500365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32625 13073 16 0 209695 0
vsize: 838844
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 111810 62 0 0 25 0 11 0 539776946 858976256 32676 4294967295 134512640 134569956 3221224400 3221214364 1131615947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32676 13073 16 0 209695 0
vsize: 838844
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 112801 62 0 0 25 0 11 0 539776946 858976256 32712 4294967295 134512640 134569956 3221224400 3221214064 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32712 13073 16 0 209695 0
vsize: 838844
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 113790 63 0 0 25 0 11 0 539776946 858976256 32788 4294967295 134512640 134569956 3221224400 3221214036 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32788 13073 16 0 209695 0
vsize: 838844
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10458
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 114781 63 0 0 25 0 11 0 539776946 858976256 32823 4294967295 134512640 134569956 3221224400 3221214736 1131243677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32823 13073 16 0 209695 0
vsize: 838844
[startup+1190.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10460
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 115771 64 0 0 25 0 11 0 539776946 858976256 32841 4294967295 134512640 134569956 3221224400 3221214592 1131615900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32841 13073 16 0 209695 0
vsize: 838844
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10460
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 116762 64 0 0 25 0 11 0 539776946 858976256 32903 4294967295 134512640 134569956 3221224400 3221214736 1131243802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32903 13073 16 0 209695 0
vsize: 838844
[startup+1210.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10462
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 117751 65 0 0 25 0 11 0 539776946 858976256 32944 4294967295 134512640 134569956 3221224400 3221214360 1131616493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 32944 13073 16 0 209695 0
vsize: 838844
[startup+1220.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10462
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 118742 65 0 0 25 0 11 0 539776946 858976256 33022 4294967295 134512640 134569956 3221224400 3221214368 1131615928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 33022 13073 16 0 209695 0
vsize: 838844
[startup+1230.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10462
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 119732 65 0 0 25 0 11 0 539776946 858976256 33076 4294967295 134512640 134569956 3221224400 3221214448 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 33076 13073 16 0 209695 0
vsize: 838844
[startup+1240.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 10462
Raw data (stat): 10387 (java) R 10386 20024 20023 0 -1 0 18075 0 1 0 120721 66 0 0 25 0 11 0 539776946 858976256 33137 4294967295 134512640 134569956 3221224400 3221214736 1131243356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209711 33137 13073 16 0 209695 0
vsize: 838844
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.47 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10464
Raw data (stat): 10387 (java) Z 10386 20024 20023 0 -1 1036 18075 15859 1 1 120731 66 3457 46 25 0 1 0 539776946 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): 1240.47
CPU time (s): 1243.02
CPU user time (s): 1241.89
CPU system time (s): 1.13283
CPU usage (%): 100.206
Max. virtual memory (Kb): 839764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####