PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 4526

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 18:14:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3258 boxname=wulflinc18 idbench=362 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc18/normalized-ppp:1-12,16.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-ppp:1-12,16.opb
IDLAUNCH: 3258
/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:        920524 kB
Buffers:         33836 kB
Cached:          44180 kB
SwapCached:        320 kB
Active:          46960 kB
Inactive:        34280 kB
HighTotal:      131008 kB
HighFree:        82796 kB
LowTotal:       903652 kB
LowFree:        837728 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27448 kB
Committed_AS:    63696 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:35:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3258 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-ppp:1-12,16.opb
c reading problem 
c [nbvar=4662]
c [nbconstr=36387]
c time 19.532
c #vars     4662
c #clauses  31899
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.85 0.98 0.99 2/55 21546
Raw data (stat): 21546 (runsolver) R 21545 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478018277 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.0005 s]
Raw data (loadavg): 0.87 0.98 0.99 2/64 21555
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 17994 0 1 0 802 46 0 0 25 0 10 0 478018277 856989696 20433 4294967295 134512640 134569956 3221224416 3221214684 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209226 20433 13073 16 0 209210 0
vsize: 836904
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.98 0.99 2/64 21555
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 17994 0 1 0 1764 47 0 0 25 0 10 0 478018277 856006656 20551 4294967295 134512640 134569956 3221224416 3221214656 1131155404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208986 20551 13073 16 0 208970 0
vsize: 835944
[startup+30.0172 s]
Raw data (loadavg): 1.13 1.03 1.01 3/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 2432 48 0 0 25 0 11 0 478018277 864542720 27659 4294967295 134512640 134569956 3221224416 3221214892 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27659 13073 16 0 211054 0
vsize: 844280
[startup+40.0181 s]
Raw data (loadavg): 1.11 1.03 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 3395 48 0 0 25 0 11 0 478018277 864542720 27517 4294967295 134512640 134569956 3221224416 3221214856 1131353432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27517 13073 16 0 211054 0
vsize: 844280
[startup+50.0194 s]
Raw data (loadavg): 1.09 1.03 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 4358 48 0 0 25 0 11 0 478018277 864542720 27518 4294967295 134512640 134569956 3221224416 3221214696 1131701440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27518 13073 16 0 211054 0
vsize: 844280
[startup+60.02 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 5311 48 0 0 25 0 11 0 478018277 864542720 27523 4294967295 134512640 134569956 3221224416 3221214864 1131353598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27523 13073 16 0 211054 0
vsize: 844280
[startup+70.0209 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 6260 48 0 0 25 0 11 0 478018277 864542720 27716 4294967295 134512640 134569956 3221224416 3221214704 1131701587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27716 13073 16 0 211054 0
vsize: 844280
[startup+80.0212 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 7198 48 0 0 25 0 11 0 478018277 864542720 27795 4294967295 134512640 134569956 3221224416 3221214704 1131701456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 27795 13073 16 0 211054 0
vsize: 844280
[startup+90.0221 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 8142 48 0 0 25 0 11 0 478018277 864542720 28065 4294967295 134512640 134569956 3221224416 3221214864 1131353435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 28065 13073 16 0 211054 0
vsize: 844280
[startup+100.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 9087 48 0 0 25 0 11 0 478018277 864542720 28357 4294967295 134512640 134569956 3221224416 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 28357 13073 16 0 211054 0
vsize: 844280
[startup+110.026 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 10006 48 0 0 25 0 11 0 478018277 864542720 28612 4294967295 134512640 134569956 3221224416 3221214688 1131210070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 28612 13073 16 0 211054 0
vsize: 844280
[startup+120.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 10930 48 0 0 25 0 11 0 478018277 864542720 28841 4294967295 134512640 134569956 3221224416 3221214704 1131701466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 28841 13073 16 0 211054 0
vsize: 844280
[startup+130.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 11878 48 0 0 25 0 11 0 478018277 864542720 29038 4294967295 134512640 134569956 3221224416 3221214688 1131209573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 29038 13073 16 0 211054 0
vsize: 844280
[startup+140.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 12818 48 0 0 25 0 11 0 478018277 864542720 29423 4294967295 134512640 134569956 3221224416 3221214688 1131210179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 29423 13073 16 0 211054 0
vsize: 844280
[startup+150.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 13733 48 0 0 25 0 11 0 478018277 864542720 29754 4294967295 134512640 134569956 3221224416 3221214720 1131395800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 29754 13073 16 0 211054 0
vsize: 844280
[startup+160.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21556
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 14616 48 0 0 25 0 11 0 478018277 864542720 30061 4294967295 134512640 134569956 3221224416 3221214824 1131445831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 30061 13073 16 0 211054 0
vsize: 844280
[startup+170.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 15521 49 0 0 25 0 11 0 478018277 864542720 30346 4294967295 134512640 134569956 3221224416 3221214784 1131584026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 30346 13073 16 0 211054 0
vsize: 844280
[startup+180.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 16420 49 0 0 25 0 11 0 478018277 864542720 30499 4294967295 134512640 134569956 3221224416 3221214704 1131701587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 30499 13073 16 0 211054 0
vsize: 844280
[startup+190.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 17367 49 0 0 25 0 11 0 478018277 864542720 30717 4294967295 134512640 134569956 3221224416 3221214688 1131210070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 30717 13073 16 0 211054 0
vsize: 844280
[startup+200.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 18314 49 0 0 25 0 11 0 478018277 864542720 30951 4294967295 134512640 134569956 3221224416 3221214864 1131353116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 30951 13073 16 0 211054 0
vsize: 844280
[startup+210.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 19247 49 0 0 24 0 11 0 478018277 864542720 31203 4294967295 134512640 134569956 3221224416 3221214632 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 31203 13073 16 0 211054 0
vsize: 844280
[startup+220.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 20189 49 0 0 25 0 11 0 478018277 864542720 31564 4294967295 134512640 134569956 3221224416 3221214744 1131365864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 31564 13073 16 0 211054 0
vsize: 844280
[startup+230.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 21122 49 0 0 25 0 11 0 478018277 864542720 31797 4294967295 134512640 134569956 3221224416 3221214560 1131246377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 31797 13073 16 0 211054 0
vsize: 844280
[startup+240.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 22069 49 0 0 25 0 11 0 478018277 864542720 31958 4294967295 134512640 134569956 3221224416 3221214784 1131582205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 31958 13073 16 0 211054 0
vsize: 844280
[startup+250.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 23016 49 0 0 25 0 11 0 478018277 864542720 32059 4294967295 134512640 134569956 3221224416 3221214864 1131353124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 32059 13073 16 0 211054 0
vsize: 844280
[startup+260.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 23953 49 0 0 25 0 11 0 478018277 864542720 32291 4294967295 134512640 134569956 3221224416 3221214720 1131246163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 32291 13073 16 0 211054 0
vsize: 844280
[startup+270.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 21558
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 24899 49 0 0 25 0 11 0 478018277 864542720 32411 4294967295 134512640 134569956 3221224416 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 32411 13073 16 0 211054 0
vsize: 844280
[startup+280.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 25838 49 0 0 25 0 11 0 478018277 864542720 32580 4294967295 134512640 134569956 3221224416 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 32580 13073 16 0 211054 0
vsize: 844280
[startup+290.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 26781 49 0 0 25 0 11 0 478018277 864542720 32852 4294967295 134512640 134569956 3221224416 3221214864 1131353124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 32852 13073 16 0 211054 0
vsize: 844280
[startup+300.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 27705 49 0 0 25 0 11 0 478018277 864542720 33086 4294967295 134512640 134569956 3221224416 3221214664 1131395712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 33086 13073 16 0 211054 0
vsize: 844280
[startup+310.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 28638 49 0 0 25 0 11 0 478018277 864542720 33264 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 33264 13073 16 0 211054 0
vsize: 844280
[startup+320.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 29571 50 0 0 25 0 11 0 478018277 864542720 33514 4294967295 134512640 134569956 3221224416 3221214864 1131353432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 33514 13073 16 0 211054 0
vsize: 844280
[startup+330.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 30501 50 0 0 25 0 11 0 478018277 864542720 33705 4294967295 134512640 134569956 3221224416 3221214744 1131366649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 33705 13073 16 0 211054 0
vsize: 844280
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 31449 50 0 0 25 0 11 0 478018277 864542720 33890 4294967295 134512640 134569956 3221224416 3221214768 1131442021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 33890 13073 16 0 211054 0
vsize: 844280
[startup+350.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 32384 50 0 0 25 0 11 0 478018277 864542720 34080 4294967295 134512640 134569956 3221224416 3221214688 1131210591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34080 13073 16 0 211054 0
vsize: 844280
[startup+360.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 33318 51 0 0 25 0 11 0 478018277 864542720 34265 4294967295 134512640 134569956 3221224416 3221214664 1131203064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34265 13073 16 0 211054 0
vsize: 844280
[startup+370.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 34256 51 0 0 25 0 11 0 478018277 864542720 34390 4294967295 134512640 134569956 3221224416 3221214824 1131442180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34390 13073 16 0 211054 0
vsize: 844280
[startup+380.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 35193 51 0 0 25 0 11 0 478018277 864542720 34570 4294967295 134512640 134569956 3221224416 3221214704 1131701456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34570 13073 16 0 211054 0
vsize: 844280
[startup+390.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 36131 51 0 0 25 0 11 0 478018277 864542720 34746 4294967295 134512640 134569956 3221224416 3221214600 1131506811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34746 13073 16 0 211054 0
vsize: 844280
[startup+400.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 37082 52 0 0 25 0 11 0 478018277 864542720 34834 4294967295 134512640 134569956 3221224416 3221214688 1131209905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34834 13073 16 0 211054 0
vsize: 844280
[startup+410.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 38022 52 0 0 25 0 11 0 478018277 864542720 34954 4294967295 134512640 134569956 3221224416 3221214796 1130916537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 34954 13073 16 0 211054 0
vsize: 844280
[startup+420.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 38950 52 0 0 25 0 11 0 478018277 864542720 35156 4294967295 134512640 134569956 3221224416 3221214688 1131210559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35156 13073 16 0 211054 0
vsize: 844280
[startup+430.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 39890 53 0 0 25 0 11 0 478018277 864542720 35291 4294967295 134512640 134569956 3221224416 3221214704 1131701440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35291 13073 16 0 211054 0
vsize: 844280
[startup+440.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 40830 53 0 0 25 0 11 0 478018277 864542720 35499 4294967295 134512640 134569956 3221224416 3221214704 1131701440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35499 13073 16 0 211054 0
vsize: 844280
[startup+450.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 41771 54 0 0 25 0 11 0 478018277 864542720 35624 4294967295 134512640 134569956 3221224416 3221214560 1131246312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35624 13073 16 0 211054 0
vsize: 844280
[startup+460.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21558
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 42712 54 0 0 25 0 11 0 478018277 864542720 35781 4294967295 134512640 134569956 3221224416 3221214744 1131364812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35781 13073 16 0 211054 0
vsize: 844280
[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 43652 54 0 0 25 0 11 0 478018277 864542720 35890 4294967295 134512640 134569956 3221224416 3221214784 1131582173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 35890 13073 16 0 211054 0
vsize: 844280
[startup+480.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 44581 55 0 0 25 0 11 0 478018277 864542720 36047 4294967295 134512640 134569956 3221224416 3221214688 1131210029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 36047 13073 16 0 211054 0
vsize: 844280
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 45523 56 0 0 25 0 11 0 478018277 864542720 36207 4294967295 134512640 134569956 3221224416 3221214772 1131413231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 36207 13073 16 0 211054 0
vsize: 844280
[startup+500.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 46460 56 0 0 25 0 11 0 478018277 864542720 36366 4294967295 134512640 134569956 3221224416 3221214624 1131608661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 36366 13073 16 0 211054 0
vsize: 844280
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 47403 57 0 0 25 0 11 0 478018277 864542720 36630 4294967295 134512640 134569956 3221224416 3221214688 1131210183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 36630 13073 16 0 211054 0
vsize: 844280
[startup+520.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 48334 57 0 0 25 0 11 0 478018277 864542720 36858 4294967295 134512640 134569956 3221224416 3221214704 1131701587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 36858 13073 16 0 211054 0
vsize: 844280
[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 49280 57 0 0 25 0 11 0 478018277 864542720 37017 4294967295 134512640 134569956 3221224416 3221214720 1131396875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37017 13073 16 0 211054 0
vsize: 844280
[startup+540.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 50211 57 0 0 25 0 11 0 478018277 864542720 37265 4294967295 134512640 134569956 3221224416 3221214784 1131582238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37265 13073 16 0 211054 0
vsize: 844280
[startup+550.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 51142 58 0 0 25 0 11 0 478018277 864542720 37449 4294967295 134512640 134569956 3221224416 3221214688 1131210037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37449 13073 16 0 211054 0
vsize: 844280
[startup+560.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 52086 58 0 0 25 0 11 0 478018277 864542720 37560 4294967295 134512640 134569956 3221224416 3221214720 1131396228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37560 13073 16 0 211054 0
vsize: 844280
[startup+570.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 53018 58 0 0 25 0 11 0 478018277 864542720 37731 4294967295 134512640 134569956 3221224416 3221214664 1131514194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37731 13073 16 0 211054 0
vsize: 844280
[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 53962 58 0 0 25 0 11 0 478018277 864542720 37876 4294967295 134512640 134569956 3221224416 3221214744 1131365836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37876 13073 16 0 211054 0
vsize: 844280
[startup+590.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 54908 59 0 0 25 0 11 0 478018277 864542720 37976 4294967295 134512640 134569956 3221224416 3221214704 1131701579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 37976 13073 16 0 211054 0
vsize: 844280
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 55839 59 0 0 25 0 11 0 478018277 864542720 38130 4294967295 134512640 134569956 3221224416 3221214512 1131304097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38130 13073 16 0 211054 0
vsize: 844280
[startup+610.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 56785 59 0 0 25 0 11 0 478018277 864542720 38253 4294967295 134512640 134569956 3221224416 3221214688 1131209953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38253 13073 16 0 211054 0
vsize: 844280
[startup+620.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 57722 59 0 0 25 0 11 0 478018277 864542720 38391 4294967295 134512640 134569956 3221224416 3221214560 1131246285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38391 13073 16 0 211054 0
vsize: 844280
[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 58665 60 0 0 25 0 11 0 478018277 864542720 38498 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38498 13073 16 0 211054 0
vsize: 844280
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 59616 60 0 0 25 0 11 0 478018277 864542720 38660 4294967295 134512640 134569956 3221224416 3221214784 1131582173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38660 13073 16 0 211054 0
vsize: 844280
[startup+650.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 60557 61 0 0 25 0 11 0 478018277 864542720 38809 4294967295 134512640 134569956 3221224416 3221214784 1131582238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38809 13073 16 0 211054 0
vsize: 844280
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 61498 61 0 0 25 0 11 0 478018277 864542720 38958 4294967295 134512640 134569956 3221224416 3221214656 1131254454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 38958 13073 16 0 211054 0
vsize: 844280
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 62441 61 0 0 25 0 11 0 478018277 864542720 39077 4294967295 134512640 134569956 3221224416 3221214688 1131209953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39077 13073 16 0 211054 0
vsize: 844280
[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 63383 62 0 0 25 0 11 0 478018277 864542720 39225 4294967295 134512640 134569956 3221224416 3221214560 1131246275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39225 13073 16 0 211054 0
vsize: 844280
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 64325 62 0 0 25 0 11 0 478018277 864542720 39337 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39337 13073 16 0 211054 0
vsize: 844280
[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 65276 63 0 0 25 0 11 0 478018277 864542720 39486 4294967295 134512640 134569956 3221224416 3221214744 1131364672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39486 13073 16 0 211054 0
vsize: 844280
[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 66219 63 0 0 25 0 11 0 478018277 864542720 39654 4294967295 134512640 134569956 3221224416 3221214704 1131701460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39654 13073 16 0 211054 0
vsize: 844280
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 67163 64 0 0 25 0 11 0 478018277 864542720 39791 4294967295 134512640 134569956 3221224416 3221214784 1131583266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39791 13073 16 0 211054 0
vsize: 844280
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 68118 64 0 0 25 0 11 0 478018277 864542720 39879 4294967295 134512640 134569956 3221224416 3221214448 1078032589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 39879 13073 16 0 211054 0
vsize: 844280
[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 69052 64 0 0 24 0 11 0 478018277 864542720 40037 4294967295 134512640 134569956 3221224416 3221214784 1131582267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40037 13073 16 0 211054 0
vsize: 844280
[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 69997 64 0 0 25 0 11 0 478018277 864542720 40184 4294967295 134512640 134569956 3221224416 3221214416 1076619294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40184 13073 16 0 211054 0
vsize: 844280
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21560
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 70943 65 0 0 24 0 11 0 478018277 864542720 40338 4294967295 134512640 134569956 3221224416 3221214864 1131353124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40338 13073 16 0 211054 0
vsize: 844280
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 71890 66 0 0 24 0 11 0 478018277 864542720 40472 4294967295 134512640 134569956 3221224416 3221214600 1131505410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40472 13073 16 0 211054 0
vsize: 844280
[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 72840 66 0 0 25 0 11 0 478018277 864542720 40599 4294967295 134512640 134569956 3221224416 3221214704 1131701579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40599 13073 16 0 211054 0
vsize: 844280
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 73789 66 0 0 25 0 11 0 478018277 864542720 40725 4294967295 134512640 134569956 3221224416 3221214688 1131209953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40725 13073 16 0 211054 0
vsize: 844280
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 74739 67 0 0 25 0 11 0 478018277 864542720 40825 4294967295 134512640 134569956 3221224416 3221214812 1080203730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40825 13073 16 0 211054 0
vsize: 844280
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 75690 67 0 0 25 0 11 0 478018277 864542720 40973 4294967295 134512640 134569956 3221224416 3221214704 1131701466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 40973 13073 16 0 211054 0
vsize: 844280
[startup+820.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 76641 67 0 0 25 0 11 0 478018277 864542720 41095 4294967295 134512640 134569956 3221224416 3221214704 1131701463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41095 13073 16 0 211054 0
vsize: 844280
[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 77593 68 0 0 25 0 11 0 478018277 864542720 41196 4294967295 134512640 134569956 3221224416 3221214704 1131701452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41196 13073 16 0 211054 0
vsize: 844280
[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 78545 68 0 0 24 0 11 0 478018277 864542720 41301 4294967295 134512640 134569956 3221224416 3221214688 1131210564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41301 13073 16 0 211054 0
vsize: 844280
[startup+850.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 79507 68 0 0 25 0 11 0 478018277 864542720 41405 4294967295 134512640 134569956 3221224416 3221214704 1131701456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41405 13073 16 0 211054 0
vsize: 844280
[startup+860.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 80461 68 0 0 25 0 11 0 478018277 864542720 41528 4294967295 134512640 134569956 3221224416 3221214600 1131505488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41528 13073 16 0 211054 0
vsize: 844280
[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 81409 69 0 0 24 0 11 0 478018277 864542720 41660 4294967295 134512640 134569956 3221224416 3221214784 1131582242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41660 13073 16 0 211054 0
vsize: 844280
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 82368 69 0 0 25 0 11 0 478018277 864542720 41760 4294967295 134512640 134569956 3221224416 3221214704 1131701541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41760 13073 16 0 211054 0
vsize: 844280
[startup+890.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 83319 70 0 0 25 0 11 0 478018277 864542720 41848 4294967295 134512640 134569956 3221224416 3221214704 1131701452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41848 13073 16 0 211054 0
vsize: 844280
[startup+900.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 84273 70 0 0 25 0 11 0 478018277 864542720 41934 4294967295 134512640 134569956 3221224416 3221214688 1131210798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211070 41934 13073 16 0 211054 0
vsize: 844280
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 85212 70 0 0 25 0 11 0 478018277 864542720 42025 4294967295 134512640 134569956 3221224416 3221214560 1131246631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42025 13073 16 0 211054 0
vsize: 844280
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 86149 70 0 0 25 0 11 0 478018277 864542720 42097 4294967295 134512640 134569956 3221224416 3221214784 1131582238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42097 13073 16 0 211054 0
vsize: 844280
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 87085 70 0 0 25 0 11 0 478018277 864542720 42179 4294967295 134512640 134569956 3221224416 3221214720 1131246443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42179 13073 16 0 211054 0
vsize: 844280
[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 88022 70 0 0 25 0 11 0 478018277 864542720 42264 4294967295 134512640 134569956 3221224416 3221214656 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42264 13073 16 0 211054 0
vsize: 844280
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 88957 70 0 0 25 0 11 0 478018277 864542720 42401 4294967295 134512640 134569956 3221224416 3221214864 1131353131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42401 13073 16 0 211054 0
vsize: 844280
[startup+960.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 89901 70 0 0 25 0 11 0 478018277 864542720 42619 4294967295 134512640 134569956 3221224416 3221214704 1131701456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42619 13073 16 0 211054 0
vsize: 844280
[startup+970.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 90853 70 0 0 25 0 11 0 478018277 864542720 42784 4294967295 134512640 134569956 3221224416 3221214608 1131210584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42784 13073 16 0 211054 0
vsize: 844280
[startup+980.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 91801 70 0 0 25 0 11 0 478018277 864542720 42905 4294967295 134512640 134569956 3221224416 3221214824 1131441840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 42905 13073 16 0 211054 0
vsize: 844280
[startup+990.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 92752 70 0 0 25 0 11 0 478018277 864542720 43003 4294967295 134512640 134569956 3221224416 3221214744 1131366647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43003 13073 16 0 211054 0
vsize: 844280
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 93706 70 0 0 25 0 11 0 478018277 864542720 43145 4294967295 134512640 134569956 3221224416 3221214704 1131701587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43145 13073 16 0 211054 0
vsize: 844280
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 94669 71 0 0 25 0 11 0 478018277 864542720 43254 4294967295 134512640 134569956 3221224416 3221214688 1131209957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43254 13073 16 0 211054 0
vsize: 844280
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 95624 71 0 0 25 0 11 0 478018277 864542720 43366 4294967295 134512640 134569956 3221224416 3221214704 1131701579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43366 13073 16 0 211054 0
vsize: 844280
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 96579 71 0 0 25 0 11 0 478018277 864542720 43469 4294967295 134512640 134569956 3221224416 3221214664 1131513814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43469 13073 16 0 211054 0
vsize: 844280
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 97542 71 0 0 25 0 11 0 478018277 864542720 43539 4294967295 134512640 134569956 3221224416 3221214864 1131353424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43539 13073 16 0 211054 0
vsize: 844280
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 98497 71 0 0 25 0 11 0 478018277 864542720 43638 4294967295 134512640 134569956 3221224416 3221214704 1131701468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43638 13073 16 0 211054 0
vsize: 844280
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21562
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 99448 71 0 0 25 0 11 0 478018277 864542720 43742 4294967295 134512640 134569956 3221224416 3221214704 1131701440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43742 13073 16 0 211054 0
vsize: 844280
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 100408 71 0 0 25 0 11 0 478018277 864542720 43841 4294967295 134512640 134569956 3221224416 3221214864 1131353453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43841 13073 16 0 211054 0
vsize: 844280
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 101361 71 0 0 25 0 11 0 478018277 864542720 43962 4294967295 134512640 134569956 3221224416 3221214688 1131209905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 43962 13073 16 0 211054 0
vsize: 844280
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 102315 71 0 0 25 0 11 0 478018277 864542720 44063 4294967295 134512640 134569956 3221224416 3221214688 1131210623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44063 13073 16 0 211054 0
vsize: 844280
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 103277 71 0 0 25 0 11 0 478018277 864542720 44133 4294967295 134512640 134569956 3221224416 3221214784 1131581987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44133 13073 16 0 211054 0
vsize: 844280
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 104233 71 0 0 25 0 11 0 478018277 864542720 44269 4294967295 134512640 134569956 3221224416 3221214560 1131246321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44269 13073 16 0 211054 0
vsize: 844280
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 105194 71 0 0 25 0 11 0 478018277 864542720 44376 4294967295 134512640 134569956 3221224416 3221214784 1131582292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44376 13073 16 0 211054 0
vsize: 844280
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 106156 71 0 0 25 0 11 0 478018277 864542720 44475 4294967295 134512640 134569956 3221224416 3221214688 1131209953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44475 13073 16 0 211054 0
vsize: 844280
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 107125 71 0 0 25 0 11 0 478018277 864542720 44560 4294967295 134512640 134569956 3221224416 3221214720 1131399939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44560 13073 16 0 211054 0
vsize: 844280
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 108088 71 0 0 25 0 11 0 478018277 864542720 44654 4294967295 134512640 134569956 3221224416 3221214704 1131701463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44654 13073 16 0 211054 0
vsize: 844280
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 109053 71 0 0 25 0 11 0 478018277 864542720 44724 4294967295 134512640 134569956 3221224416 3221214784 1131581987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44724 13073 16 0 211054 0
vsize: 844280
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 110014 71 0 0 25 0 11 0 478018277 864542720 44799 4294967295 134512640 134569956 3221224416 3221214688 1131209953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44799 13073 16 0 211054 0
vsize: 844280
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 110970 71 0 0 25 0 11 0 478018277 864542720 44894 4294967295 134512640 134569956 3221224416 3221214704 1131701440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44894 13073 16 0 211054 0
vsize: 844280
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 111932 72 0 0 25 0 11 0 478018277 864542720 44984 4294967295 134512640 134569956 3221224416 3221214688 1131210606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 44984 13073 16 0 211054 0
vsize: 844280
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) S 21545 20024 20023 0 -1 0 18103 0 1 0 112895 72 0 0 25 0 11 0 478018277 864542720 45074 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45074 13073 16 0 211054 0
vsize: 844280
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 113853 72 0 0 25 0 11 0 478018277 864542720 45180 4294967295 134512640 134569956 3221224416 3221214784 1131582173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45180 13073 16 0 211054 0
vsize: 844280
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 114819 72 0 0 25 0 11 0 478018277 864542720 45260 4294967295 134512640 134569956 3221224416 3221214720 1131400141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45260 13073 16 0 211054 0
vsize: 844280
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 115780 72 0 0 25 0 11 0 478018277 864542720 45361 4294967295 134512640 134569956 3221224416 3221214704 1131701456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45361 13073 16 0 211054 0
vsize: 844280
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 116740 72 0 0 25 0 11 0 478018277 864542720 45468 4294967295 134512640 134569956 3221224416 3221214824 1131444215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45468 13073 16 0 211054 0
vsize: 844280
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 117704 72 0 0 25 0 11 0 478018277 864542720 45544 4294967295 134512640 134569956 3221224416 3221214688 1131209573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45544 13073 16 0 211054 0
vsize: 844280
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 118669 72 0 0 25 0 11 0 478018277 864542720 45621 4294967295 134512640 134569956 3221224416 3221214688 1131210070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45621 13073 16 0 211054 0
vsize: 844280
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 119631 72 0 0 25 0 11 0 478018277 864542720 45684 4294967295 134512640 134569956 3221224416 3221214864 1131353432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45684 13073 16 0 211054 0
vsize: 844280
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21564
Raw data (stat): 21546 (java) R 21545 20024 20023 0 -1 0 18103 0 1 0 120590 72 0 0 25 0 11 0 478018277 864542720 45753 4294967295 134512640 134569956 3221224416 3221214704 1131701587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211070 45753 13073 16 0 211054 0
vsize: 844280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 21566
Raw data (stat): 21546 (java) Z 21545 20024 20023 0 -1 1036 18103 24712 1 0 120596 72 6928 58 25 0 1 0 478018277 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): 1280.24
CPU time (s): 1276.55
CPU user time (s): 1275.25
CPU system time (s): 1.3058
CPU usage (%): 99.7122
Max. virtual memory (Kb): 844280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####