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/fctp/normalized-mps-v2-20-10-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45178
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 13708

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        660256 kB
Buffers:         33300 kB
Cached:         318192 kB
SwapCached:          0 kB
Active:          89404 kB
Inactive:       264864 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        660004 kB
SwapTotal:     2097136 kB
SwapFree:      2097036 kB
Dirty:              28 kB
Writeback:          12 kB
Mapped:           6808 kB
Slab:            14488 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:46:14 (client local time) WITH STATUS 143 IN 1309.96 SECONDS
stats: 14166 7 1309.96 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n370c.opb
c reading problem 
c [nbvar=155000]
c [nbconstr=5150]
#### 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.88 0.98 0.95 2/54 23530
Raw data (stat): 23530 (runsolver) R 23529 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481438645 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.002 s]
Raw data (loadavg): 0.90 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17976 0 1 0 888 41 0 0 24 0 10 0 481438645 853606400 19097 4294967295 134512640 134569956 3221224400 3221214472 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208400 19097 13073 16 0 208384 0
vsize: 833600
[startup+20.0085 s]
Raw data (loadavg): 0.92 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 1777 41 0 0 25 0 10 0 481438645 854736896 19858 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 19858 13073 16 0 208660 0
vsize: 834704
[startup+30.0078 s]
Raw data (loadavg): 0.93 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 2677 41 0 0 25 0 10 0 481438645 854736896 20286 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20286 13073 16 0 208660 0
vsize: 834704
[startup+40.009 s]
Raw data (loadavg): 0.94 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 3606 41 0 0 24 0 10 0 481438645 854736896 20519 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20519 13073 16 0 208660 0
vsize: 834704
[startup+50.0195 s]
Raw data (loadavg): 0.95 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 4536 41 0 0 24 0 10 0 481438645 854736896 20636 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20636 13073 16 0 208660 0
vsize: 834704
[startup+60.0187 s]
Raw data (loadavg): 0.95 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 5470 41 0 0 25 0 10 0 481438645 854736896 20733 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20733 13073 16 0 208660 0
vsize: 834704
[startup+70.0191 s]
Raw data (loadavg): 0.96 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 6414 42 0 0 24 0 10 0 481438645 854736896 20942 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 20942 13073 16 0 208660 0
vsize: 834704
[startup+80.0198 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 7363 42 0 0 25 0 10 0 481438645 854736896 21016 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21016 13073 16 0 208660 0
vsize: 834704
[startup+90.0198 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 8311 42 0 0 25 0 10 0 481438645 854736896 21089 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21089 13073 16 0 208660 0
vsize: 834704
[startup+100.02 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 9259 42 0 0 25 0 10 0 481438645 854736896 21156 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21156 13073 16 0 208660 0
vsize: 834704
[startup+110.021 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 10210 42 0 0 25 0 10 0 481438645 854736896 21216 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21216 13073 16 0 208660 0
vsize: 834704
[startup+120.022 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 11158 43 0 0 25 0 10 0 481438645 854736896 21275 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21275 13073 16 0 208660 0
vsize: 834704
[startup+130.022 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 12106 43 0 0 25 0 10 0 481438645 854736896 21332 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21332 13073 16 0 208660 0
vsize: 834704
[startup+140.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 13054 43 0 0 24 0 10 0 481438645 854736896 21386 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21386 13073 16 0 208660 0
vsize: 834704
[startup+150.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 14004 43 0 0 25 0 10 0 481438645 854736896 21435 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21435 13073 16 0 208660 0
vsize: 834704
[startup+160.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 14951 43 0 0 25 0 10 0 481438645 854736896 21486 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21486 13073 16 0 208660 0
vsize: 834704
[startup+170.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 15885 43 0 0 25 0 10 0 481438645 854736896 21532 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21532 13073 16 0 208660 0
vsize: 834704
[startup+180.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 16811 44 0 0 25 0 10 0 481438645 854736896 21578 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21578 13073 16 0 208660 0
vsize: 834704
[startup+190.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 17749 44 0 0 22 0 10 0 481438645 854736896 21878 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21878 13073 16 0 208660 0
vsize: 834704
[startup+200.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 18694 44 0 0 25 0 10 0 481438645 854736896 21921 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 21921 13073 16 0 208660 0
vsize: 834704
[startup+210.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 19637 44 0 0 25 0 10 0 481438645 854736896 21964 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 21964 13073 16 0 208660 0
vsize: 834704
[startup+220.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 20579 45 0 0 24 0 10 0 481438645 854736896 22006 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22006 13073 16 0 208660 0
vsize: 834704
[startup+230.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 21524 45 0 0 25 0 10 0 481438645 854736896 22044 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22044 13073 16 0 208660 0
vsize: 834704
[startup+240.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 22466 45 0 0 25 0 10 0 481438645 854736896 22084 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22084 13073 16 0 208660 0
vsize: 834704
[startup+250.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 23407 45 0 0 24 0 10 0 481438645 854736896 22122 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22122 13073 16 0 208660 0
vsize: 834704
[startup+260.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 24350 45 0 0 25 0 10 0 481438645 854736896 22158 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22158 13073 16 0 208660 0
vsize: 834704
[startup+270.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 25290 45 0 0 25 0 10 0 481438645 854736896 22196 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22196 13073 16 0 208660 0
vsize: 834704
[startup+280.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 26230 46 0 0 24 0 10 0 481438645 854736896 22233 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22233 13073 16 0 208660 0
vsize: 834704
[startup+290.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 27172 46 0 0 25 0 10 0 481438645 854736896 22267 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22267 13073 16 0 208660 0
vsize: 834704
[startup+300.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 28110 46 0 0 25 0 10 0 481438645 854736896 22303 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22303 13073 16 0 208660 0
vsize: 834704
[startup+310.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 29048 47 0 0 24 0 10 0 481438645 854736896 22338 4294967295 134512640 134569956 3221224400 3221213832 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22338 13073 16 0 208660 0
vsize: 834704
[startup+320.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 29989 47 0 0 25 0 10 0 481438645 854736896 22370 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22370 13073 16 0 208660 0
vsize: 834704
[startup+330.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 30926 47 0 0 25 0 10 0 481438645 854736896 22404 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22404 13073 16 0 208660 0
vsize: 834704
[startup+340.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 31866 47 0 0 25 0 10 0 481438645 854736896 22436 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22436 13073 16 0 208660 0
vsize: 834704
[startup+350.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 32801 47 0 0 25 0 10 0 481438645 854736896 22468 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22468 13073 16 0 208660 0
vsize: 834704
[startup+360.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 33740 47 0 0 25 0 10 0 481438645 854736896 22500 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22500 13073 16 0 208660 0
vsize: 834704
[startup+370.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 34675 48 0 0 25 0 10 0 481438645 854736896 22532 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22532 13073 16 0 208660 0
vsize: 834704
[startup+380.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 35613 48 0 0 25 0 10 0 481438645 854736896 22561 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22561 13073 16 0 208660 0
vsize: 834704
[startup+390.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 36547 48 0 0 25 0 10 0 481438645 854736896 22592 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22592 13073 16 0 208660 0
vsize: 834704
[startup+400.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 37485 48 0 0 25 0 10 0 481438645 854736896 22621 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22621 13073 16 0 208660 0
vsize: 834704
[startup+410.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 38417 48 0 0 25 0 10 0 481438645 854736896 22651 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22651 13073 16 0 208660 0
vsize: 834704
[startup+420.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 39353 49 0 0 25 0 10 0 481438645 854736896 22679 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22679 13073 16 0 208660 0
vsize: 834704
[startup+430.045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 40285 49 0 0 25 0 10 0 481438645 854736896 22709 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22709 13073 16 0 208660 0
vsize: 834704
[startup+440.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 41221 49 0 0 25 0 10 0 481438645 854736896 22736 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22736 13073 16 0 208660 0
vsize: 834704
[startup+450.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 42153 49 0 0 24 0 10 0 481438645 854736896 22765 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22765 13073 16 0 208660 0
vsize: 834704
[startup+460.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 43087 49 0 0 25 0 10 0 481438645 854736896 22791 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22791 13073 16 0 208660 0
vsize: 834704
[startup+470.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 44021 49 0 0 25 0 10 0 481438645 854736896 22818 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22818 13073 16 0 208660 0
vsize: 834704
[startup+480.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 44951 50 0 0 25 0 10 0 481438645 854736896 22846 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22846 13073 16 0 208660 0
vsize: 834704
[startup+490.053 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 45884 50 0 0 25 0 10 0 481438645 854736896 22871 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22871 13073 16 0 208660 0
vsize: 834704
[startup+500.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 46813 50 0 0 25 0 10 0 481438645 854736896 22899 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22899 13073 16 0 208660 0
vsize: 834704
[startup+510.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 47746 50 0 0 25 0 10 0 481438645 854736896 22924 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22924 13073 16 0 208660 0
vsize: 834704
[startup+520.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 48678 50 0 0 25 0 10 0 481438645 854736896 22949 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22949 13073 16 0 208660 0
vsize: 834704
[startup+530.057 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 49605 50 0 0 25 0 10 0 481438645 854736896 22975 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 22975 13073 16 0 208660 0
vsize: 834704
[startup+540.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 50537 51 0 0 25 0 10 0 481438645 854736896 23001 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23001 13073 16 0 208660 0
vsize: 834704
[startup+550.063 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 51466 51 0 0 25 0 10 0 481438645 854736896 23026 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23026 13073 16 0 208660 0
vsize: 834704
[startup+560.064 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 52394 51 0 0 25 0 10 0 481438645 854736896 23051 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23051 13073 16 0 208660 0
vsize: 834704
[startup+570.066 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 53325 51 0 0 25 0 10 0 481438645 854736896 23075 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23075 13073 16 0 208660 0
vsize: 834704
[startup+580.066 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 54250 51 0 0 24 0 10 0 481438645 854736896 23100 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23100 13073 16 0 208660 0
vsize: 834704
[startup+590.067 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 55179 51 0 0 25 0 10 0 481438645 854736896 23123 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23123 13073 16 0 208660 0
vsize: 834704
[startup+600.067 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 56107 51 0 0 22 0 10 0 481438645 854736896 23147 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23147 13073 16 0 208660 0
vsize: 834704
[startup+610.067 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 57031 52 0 0 24 0 10 0 481438645 854736896 23171 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23171 13073 16 0 208660 0
vsize: 834704
[startup+620.068 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 57959 52 0 0 25 0 10 0 481438645 854736896 23194 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23194 13073 16 0 208660 0
vsize: 834704
[startup+630.068 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 58888 52 0 0 25 0 10 0 481438645 854736896 23217 4294967295 134512640 134569956 3221224400 3221214808 1131211360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23217 13073 16 0 208660 0
vsize: 834704
[startup+640.073 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 59814 52 0 0 25 0 10 0 481438645 854736896 23240 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23240 13073 16 0 208660 0
vsize: 834704
[startup+650.073 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 60738 52 0 0 25 0 10 0 481438645 854736896 23267 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 23267 13073 16 0 208660 0
vsize: 834704
[startup+660.073 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 61659 52 0 0 25 0 10 0 481438645 854736896 24296 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24296 13073 16 0 208660 0
vsize: 834704
[startup+670.073 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 62581 53 0 0 25 0 10 0 481438645 854736896 24296 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24296 13073 16 0 208660 0
vsize: 834704
[startup+680.073 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 63498 53 0 0 25 0 10 0 481438645 854736896 24322 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24322 13073 16 0 208660 0
vsize: 834704
[startup+690.074 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 64413 53 0 0 25 0 10 0 481438645 854736896 24348 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24348 13073 16 0 208660 0
vsize: 834704
[startup+700.075 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 65328 53 0 0 25 0 10 0 481438645 854736896 24372 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24372 13073 16 0 208660 0
vsize: 834704
[startup+710.076 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 66242 53 0 0 25 0 10 0 481438645 854736896 24398 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24398 13073 16 0 208660 0
vsize: 834704
[startup+720.076 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 67155 53 0 0 25 0 10 0 481438645 854736896 24426 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 24426 13073 16 0 208660 0
vsize: 834704
[startup+730.076 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 68070 53 0 0 25 0 10 0 481438645 854736896 24448 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24448 13073 16 0 208660 0
vsize: 834704
[startup+740.078 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 68983 54 0 0 25 0 10 0 481438645 854736896 24469 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24469 13073 16 0 208660 0
vsize: 834704
[startup+750.078 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 69896 54 0 0 25 0 10 0 481438645 854736896 24500 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 24500 13073 16 0 208660 0
vsize: 834704
[startup+760.078 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 70808 54 0 0 25 0 10 0 481438645 854736896 24524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24524 13073 16 0 208660 0
vsize: 834704
[startup+770.079 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 71721 55 0 0 25 0 10 0 481438645 854736896 24548 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24548 13073 16 0 208660 0
vsize: 834704
[startup+780.079 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 72632 55 0 0 25 0 10 0 481438645 854736896 24569 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 24569 13073 16 0 208660 0
vsize: 834704
[startup+790.08 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 73545 55 0 0 25 0 10 0 481438645 854736896 24600 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24600 13073 16 0 208660 0
vsize: 834704
[startup+800.081 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 74456 56 0 0 25 0 10 0 481438645 854736896 24622 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24622 13073 16 0 208660 0
vsize: 834704
[startup+810.081 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 75367 56 0 0 25 0 10 0 481438645 854736896 24645 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24645 13073 16 0 208660 0
vsize: 834704
[startup+820.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 76278 56 0 0 25 0 10 0 481438645 854736896 24672 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24672 13073 16 0 208660 0
vsize: 834704
[startup+830.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 77187 57 0 0 25 0 10 0 481438645 854736896 24696 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24696 13073 16 0 208660 0
vsize: 834704
[startup+840.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 78097 57 0 0 25 0 10 0 481438645 854736896 24715 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24715 13073 16 0 208660 0
vsize: 834704
[startup+850.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 79007 57 0 0 25 0 10 0 481438645 854736896 24740 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24740 13073 16 0 208660 0
vsize: 834704
[startup+860.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 79917 58 0 0 24 0 10 0 481438645 854736896 24759 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24759 13073 16 0 208660 0
vsize: 834704
[startup+870.082 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 80831 58 0 0 25 0 10 0 481438645 854736896 24788 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 24788 13073 16 0 208660 0
vsize: 834704
[startup+880.083 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 81740 58 0 0 25 0 10 0 481438645 854736896 24809 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24809 13073 16 0 208660 0
vsize: 834704
[startup+890.084 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 82649 59 0 0 25 0 10 0 481438645 854736896 24834 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24834 13073 16 0 208660 0
vsize: 834704
[startup+900.084 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 83557 59 0 0 25 0 10 0 481438645 854736896 24857 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24857 13073 16 0 208660 0
vsize: 834704
[startup+910.084 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 84465 60 0 0 25 0 10 0 481438645 854736896 24877 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24877 13073 16 0 208660 0
vsize: 834704
[startup+920.084 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 85372 60 0 0 25 0 10 0 481438645 854736896 24902 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24902 13073 16 0 208660 0
vsize: 834704
[startup+930.085 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 86282 60 0 0 25 0 10 0 481438645 854736896 24920 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24920 13073 16 0 208660 0
vsize: 834704
[startup+940.189 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 87198 60 0 0 25 0 10 0 481438645 854736896 24946 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24946 13073 16 0 208660 0
vsize: 834704
[startup+950.189 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 88108 60 0 0 25 0 10 0 481438645 854736896 24969 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24969 13073 16 0 208660 0
vsize: 834704
[startup+960.188 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 89013 61 0 0 25 0 10 0 481438645 854736896 24990 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 24990 13073 16 0 208660 0
vsize: 834704
[startup+970.189 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 89921 61 0 0 25 0 10 0 481438645 854736896 25012 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25012 13073 16 0 208660 0
vsize: 834704
[startup+980.189 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 90828 61 0 0 25 0 10 0 481438645 854736896 25031 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25031 13073 16 0 208660 0
vsize: 834704
[startup+990.191 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 91736 62 0 0 24 0 10 0 481438645 854736896 25055 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25055 13073 16 0 208660 0
vsize: 834704
[startup+1000.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 92648 62 0 0 25 0 10 0 481438645 854736896 25074 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25074 13073 16 0 208660 0
vsize: 834704
[startup+1010.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 93554 62 0 0 23 0 10 0 481438645 854736896 25092 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25092 13073 16 0 208660 0
vsize: 834704
[startup+1020.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 94461 63 0 0 22 0 10 0 481438645 854736896 25120 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25120 13073 16 0 208660 0
vsize: 834704
[startup+1030.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 95368 63 0 0 21 0 10 0 481438645 854736896 25139 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25139 13073 16 0 208660 0
vsize: 834704
[startup+1040.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 96274 63 0 0 20 0 10 0 481438645 854736896 25163 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25163 13073 16 0 208660 0
vsize: 834704
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 97179 63 0 0 19 0 10 0 481438645 854736896 25184 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25184 13073 16 0 208660 0
vsize: 834704
[startup+1060.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 98085 63 0 0 24 0 10 0 481438645 854736896 25205 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25205 13073 16 0 208660 0
vsize: 834704
[startup+1070.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 98990 63 0 0 23 0 10 0 481438645 854736896 25226 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25226 13073 16 0 208660 0
vsize: 834704
[startup+1080.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 99895 64 0 0 20 0 10 0 481438645 854736896 25243 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25243 13073 16 0 208660 0
vsize: 834704
[startup+1090.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 100796 64 0 0 19 0 10 0 481438645 854736896 25266 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25266 13073 16 0 208660 0
vsize: 834704
[startup+1100.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 101704 65 0 0 24 0 10 0 481438645 854736896 25286 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25286 13073 16 0 208660 0
vsize: 834704
[startup+1110.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 102606 65 0 0 21 0 10 0 481438645 854736896 25306 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25306 13073 16 0 208660 0
vsize: 834704
[startup+1120.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 103507 65 0 0 19 0 10 0 481438645 854736896 25328 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25328 13073 16 0 208660 0
vsize: 834704
[startup+1130.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 104413 65 0 0 23 0 10 0 481438645 854736896 25347 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25347 13073 16 0 208660 0
vsize: 834704
[startup+1140.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 105314 66 0 0 21 0 10 0 481438645 854736896 25364 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25364 13073 16 0 208660 0
vsize: 834704
[startup+1150.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 106215 66 0 0 19 0 10 0 481438645 854736896 25388 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25388 13073 16 0 208660 0
vsize: 834704
[startup+1160.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 107121 67 0 0 23 0 10 0 481438645 854736896 25407 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25407 13073 16 0 208660 0
vsize: 834704
[startup+1170.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 108022 67 0 0 20 0 10 0 481438645 854736896 25424 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25424 13073 16 0 208660 0
vsize: 834704
[startup+1180.2 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 108922 67 0 0 19 0 10 0 481438645 854736896 25447 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 25447 13073 16 0 208660 0
vsize: 834704
[startup+1190.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 109825 67 0 0 23 0 10 0 481438645 854736896 25466 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25466 13073 16 0 208660 0
vsize: 834704
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 110725 67 0 0 22 0 10 0 481438645 854736896 25485 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25485 13073 16 0 208660 0
vsize: 834704
[startup+1210.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 111626 68 0 0 20 0 10 0 481438645 854736896 25506 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25506 13073 16 0 208660 0
vsize: 834704
[startup+1220.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 112526 68 0 0 19 0 10 0 481438645 854736896 25522 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25522 13073 16 0 208660 0
vsize: 834704
[startup+1230.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 113433 68 0 0 23 0 10 0 481438645 854736896 25537 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25537 13073 16 0 208660 0
vsize: 834704
[startup+1240.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 114333 68 0 0 20 0 10 0 481438645 854736896 25553 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25553 13073 16 0 208660 0
vsize: 834704
[startup+1250.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 115233 68 0 0 19 0 10 0 481438645 854736896 25582 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25582 13073 16 0 208660 0
vsize: 834704
[startup+1260.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 116139 69 0 0 23 0 10 0 481438645 854736896 25597 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25597 13073 16 0 208660 0
vsize: 834704
[startup+1270.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 117038 69 0 0 22 0 10 0 481438645 854736896 25622 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25622 13073 16 0 208660 0
vsize: 834704
[startup+1280.21 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 117938 69 0 0 19 0 10 0 481438645 854736896 25640 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25640 13073 16 0 208660 0
vsize: 834704
[startup+1290.22 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) S 23529 30701 30700 0 -1 0 17977 0 1 0 118844 70 0 0 24 0 10 0 481438645 854736896 25660 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25660 13073 16 0 208660 0
vsize: 834704
[startup+1300.22 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 119748 70 0 0 22 0 10 0 481438645 854736896 25686 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25686 13073 16 0 208660 0
vsize: 834704
[startup+1310.22 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 23539
Raw data (stat): 23530 (java) R 23529 30701 30700 0 -1 0 17977 0 1 0 120652 70 0 0 20 0 10 0 481438645 854736896 25697 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208676 25697 13073 16 0 208660 0
vsize: 834704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.32 s]
Raw data (loadavg): 0.99 0.98 0.95 1/54 23540
Raw data (stat): 23530 (java) Z 23529 30701 30700 0 -1 1036 17977 7188 1 0 120657 70 10222 44 16 0 1 0 481438645 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.32
CPU time (s): 1309.96
CPU user time (s): 1308.81
CPU system time (s): 1.15382
CPU usage (%): 99.9724
Max. virtual memory (Kb): 834704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####