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-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
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	29645337650291
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	29645337650291
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.43078
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 13727

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-20 21:31:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14088 boxname=wulflinc8 idbench=1084 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9e0552681bd542cf776486fc35ee9977  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-n3706.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-n3706.opb
IDLAUNCH: 14088
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        745416 kB
Buffers:         33520 kB
Cached:         232292 kB
SwapCached:          0 kB
Active:          84548 kB
Inactive:       184192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        745164 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14860 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:53:17 (client local time) WITH STATUS 143 IN 1310.53 SECONDS
stats: 14088 7 1310.53 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-n3706.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.64 0.89 0.90 2/54 16142
Raw data (stat): 16142 (runsolver) R 16141 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 467911815 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.0004 s]
Raw data (loadavg): 0.70 0.90 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 896 40 0 0 25 0 10 0 467911815 853508096 19110 4294967295 134512640 134569956 3221224400 3221214424 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208376 19110 13073 16 0 208360 0
vsize: 833504
[startup+20.0017 s]
Raw data (loadavg): 0.75 0.90 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 1785 41 0 0 25 0 10 0 467911815 853630976 19640 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19640 13073 16 0 208390 0
vsize: 833624
[startup+30.0029 s]
Raw data (loadavg): 0.78 0.90 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 2685 41 0 0 25 0 10 0 467911815 853630976 20068 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20068 13073 16 0 208390 0
vsize: 833624
[startup+40.0028 s]
Raw data (loadavg): 0.82 0.90 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 3615 41 0 0 25 0 10 0 467911815 853630976 20293 4294967295 134512640 134569956 3221224400 3221214824 1131222975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20293 13073 16 0 208390 0
vsize: 833624
[startup+50.0035 s]
Raw data (loadavg): 0.84 0.91 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 4543 41 0 0 25 0 10 0 467911815 853630976 20412 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20412 13073 16 0 208390 0
vsize: 833624
[startup+60.0043 s]
Raw data (loadavg): 0.87 0.91 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 5472 41 0 0 25 0 10 0 467911815 853630976 20513 4294967295 134512640 134569956 3221224400 3221214844 1130883254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20513 13073 16 0 208390 0
vsize: 833624
[startup+70.0053 s]
Raw data (loadavg): 0.89 0.91 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 6418 41 0 0 25 0 10 0 467911815 853630976 20723 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20723 13073 16 0 208390 0
vsize: 833624
[startup+80.0072 s]
Raw data (loadavg): 0.90 0.91 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 7364 42 0 0 25 0 10 0 467911815 853630976 20803 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20803 13073 16 0 208390 0
vsize: 833624
[startup+90.0077 s]
Raw data (loadavg): 0.92 0.92 0.90 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 8310 42 0 0 25 0 10 0 467911815 853630976 20876 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20876 13073 16 0 208390 0
vsize: 833624
[startup+100.008 s]
Raw data (loadavg): 0.93 0.92 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 9260 42 0 0 25 0 10 0 467911815 853630976 20939 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20939 13073 16 0 208390 0
vsize: 833624
[startup+110.008 s]
Raw data (loadavg): 0.94 0.92 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 10206 42 0 0 25 0 10 0 467911815 853630976 21003 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21003 13073 16 0 208390 0
vsize: 833624
[startup+120.011 s]
Raw data (loadavg): 0.95 0.92 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 11153 42 0 0 24 0 10 0 467911815 853630976 21062 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21062 13073 16 0 208390 0
vsize: 833624
[startup+130.012 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 12103 42 0 0 25 0 10 0 467911815 853630976 21116 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21116 13073 16 0 208390 0
vsize: 833624
[startup+140.012 s]
Raw data (loadavg): 0.96 0.93 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 13050 42 0 0 25 0 10 0 467911815 853630976 21170 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21170 13073 16 0 208390 0
vsize: 833624
[startup+150.012 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 13996 43 0 0 24 0 10 0 467911815 853630976 21222 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21222 13073 16 0 208390 0
vsize: 833624
[startup+160.013 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 14946 43 0 0 25 0 10 0 467911815 853630976 21270 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21270 13073 16 0 208390 0
vsize: 833624
[startup+170.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 15877 43 0 0 24 0 10 0 467911815 853630976 21319 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21319 13073 16 0 208390 0
vsize: 833624
[startup+180.015 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 16804 43 0 0 25 0 10 0 467911815 853630976 21363 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21363 13073 16 0 208390 0
vsize: 833624
[startup+190.014 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 17743 43 0 0 25 0 10 0 467911815 853630976 21661 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21661 13073 16 0 208390 0
vsize: 833624
[startup+200.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 18685 43 0 0 25 0 10 0 467911815 853630976 21705 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21705 13073 16 0 208390 0
vsize: 833624
[startup+210.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 19630 43 0 0 25 0 10 0 467911815 853630976 21746 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21746 13073 16 0 208390 0
vsize: 833624
[startup+220.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 20571 43 0 0 25 0 10 0 467911815 853630976 21788 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21788 13073 16 0 208390 0
vsize: 833624
[startup+230.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) S 16141 26667 26666 0 -1 0 17978 0 1 0 21514 43 0 0 25 0 10 0 467911815 853630976 21827 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21827 13073 16 0 208390 0
vsize: 833624
[startup+240.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 22457 43 0 0 25 0 10 0 467911815 853630976 21866 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21866 13073 16 0 208390 0
vsize: 833624
[startup+250.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 23397 43 0 0 24 0 10 0 467911815 853630976 21905 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21905 13073 16 0 208390 0
vsize: 833624
[startup+260.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 24340 43 0 0 25 0 10 0 467911815 853630976 21941 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21941 13073 16 0 208390 0
vsize: 833624
[startup+270.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 25279 43 0 0 24 0 10 0 467911815 853630976 21978 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 21978 13073 16 0 208390 0
vsize: 833624
[startup+280.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 26221 44 0 0 25 0 10 0 467911815 853630976 22013 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22013 13073 16 0 208390 0
vsize: 833624
[startup+290.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 27160 44 0 0 24 0 10 0 467911815 853630976 22050 4294967295 134512640 134569956 3221224400 3221214168 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22050 13073 16 0 208390 0
vsize: 833624
[startup+300.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 28101 44 0 0 25 0 10 0 467911815 853630976 22083 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22083 13073 16 0 208390 0
vsize: 833624
[startup+310.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 29041 44 0 0 25 0 10 0 467911815 853630976 22117 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22117 13073 16 0 208390 0
vsize: 833624
[startup+320.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 29977 44 0 0 25 0 10 0 467911815 853630976 22151 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22151 13073 16 0 208390 0
vsize: 833624
[startup+330.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 30917 44 0 0 25 0 10 0 467911815 853630976 22183 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22183 13073 16 0 208390 0
vsize: 833624
[startup+340.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 31853 44 0 0 25 0 10 0 467911815 853630976 22217 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22217 13073 16 0 208390 0
vsize: 833624
[startup+350.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 32792 45 0 0 25 0 10 0 467911815 853630976 22248 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22248 13073 16 0 208390 0
vsize: 833624
[startup+360.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) S 16141 26667 26666 0 -1 0 17978 0 1 0 33729 45 0 0 25 0 10 0 467911815 853630976 22280 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22280 13073 16 0 208390 0
vsize: 833624
[startup+370.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 34663 45 0 0 25 0 10 0 467911815 853630976 22311 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22311 13073 16 0 208390 0
vsize: 833624
[startup+380.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 35600 45 0 0 25 0 10 0 467911815 853630976 22341 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22341 13073 16 0 208390 0
vsize: 833624
[startup+390.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 36537 45 0 0 25 0 10 0 467911815 853630976 22370 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22370 13073 16 0 208390 0
vsize: 833624
[startup+400.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 37469 46 0 0 25 0 10 0 467911815 853630976 22401 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22401 13073 16 0 208390 0
vsize: 833624
[startup+410.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 38404 46 0 0 25 0 10 0 467911815 853630976 22429 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22429 13073 16 0 208390 0
vsize: 833624
[startup+420.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 39339 47 0 0 25 0 10 0 467911815 853630976 22457 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22457 13073 16 0 208390 0
vsize: 833624
[startup+430.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 40274 47 0 0 25 0 10 0 467911815 853630976 22485 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22485 13073 16 0 208390 0
vsize: 833624
[startup+440.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 41205 47 0 0 24 0 10 0 467911815 853630976 22514 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22514 13073 16 0 208390 0
vsize: 833624
[startup+450.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 42139 48 0 0 25 0 10 0 467911815 853630976 22542 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22542 13073 16 0 208390 0
vsize: 833624
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 43073 48 0 0 25 0 10 0 467911815 853630976 22568 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 22568 13073 16 0 208390 0
vsize: 833624
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 44007 48 0 0 25 0 10 0 467911815 853630976 22595 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22595 13073 16 0 208390 0
vsize: 833624
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 44939 49 0 0 25 0 10 0 467911815 853630976 22621 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22621 13073 16 0 208390 0
vsize: 833624
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) S 16141 26667 26666 0 -1 0 17978 0 1 0 45868 49 0 0 25 0 10 0 467911815 853630976 22648 4294967295 134512640 134569956 3221224400 3221213416 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22648 13073 16 0 208390 0
vsize: 833624
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 46798 50 0 0 25 0 10 0 467911815 853630976 22674 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22674 13073 16 0 208390 0
vsize: 833624
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 47730 51 0 0 25 0 10 0 467911815 853630976 22700 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22700 13073 16 0 208390 0
vsize: 833624
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 48661 51 0 0 25 0 10 0 467911815 853630976 22725 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22725 13073 16 0 208390 0
vsize: 833624
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 49592 51 0 0 19 0 10 0 467911815 853630976 22750 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22750 13073 16 0 208390 0
vsize: 833624
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 50522 52 0 0 25 0 10 0 467911815 853630976 22775 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22775 13073 16 0 208390 0
vsize: 833624
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 51452 52 0 0 25 0 10 0 467911815 853630976 22800 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22800 13073 16 0 208390 0
vsize: 833624
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 52378 53 0 0 24 0 10 0 467911815 853630976 22826 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22826 13073 16 0 208390 0
vsize: 833624
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 53308 53 0 0 24 0 10 0 467911815 853630976 22850 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22850 13073 16 0 208390 0
vsize: 833624
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 54237 53 0 0 25 0 10 0 467911815 853630976 22874 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22874 13073 16 0 208390 0
vsize: 833624
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 55167 54 0 0 25 0 10 0 467911815 853630976 22897 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22897 13073 16 0 208390 0
vsize: 833624
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 56094 54 0 0 25 0 10 0 467911815 853630976 22921 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22921 13073 16 0 208390 0
vsize: 833624
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 57022 54 0 0 25 0 10 0 467911815 853630976 22944 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22944 13073 16 0 208390 0
vsize: 833624
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 57950 55 0 0 25 0 10 0 467911815 853630976 22967 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22967 13073 16 0 208390 0
vsize: 833624
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 58878 55 0 0 25 0 10 0 467911815 853630976 22990 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 22990 13073 16 0 208390 0
vsize: 833624
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 59805 55 0 0 25 0 10 0 467911815 853630976 23012 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 23012 13073 16 0 208390 0
vsize: 833624
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 60732 56 0 0 25 0 10 0 467911815 853630976 23035 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 23035 13073 16 0 208390 0
vsize: 833624
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 61659 56 0 0 25 0 10 0 467911815 853630976 23061 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 23061 13073 16 0 208390 0
vsize: 833624
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 62580 56 0 0 25 0 10 0 467911815 853630976 24083 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24083 13073 16 0 208390 0
vsize: 833624
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 63502 57 0 0 25 0 10 0 467911815 853630976 24083 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24083 13073 16 0 208390 0
vsize: 833624
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 64418 57 0 0 25 0 10 0 467911815 853630976 24120 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24120 13073 16 0 208390 0
vsize: 833624
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 65335 57 0 0 25 0 10 0 467911815 853630976 24144 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24144 13073 16 0 208390 0
vsize: 833624
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 66249 58 0 0 25 0 10 0 467911815 853630976 24172 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24172 13073 16 0 208390 0
vsize: 833624
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 67164 58 0 0 24 0 10 0 467911815 853630976 24198 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24198 13073 16 0 208390 0
vsize: 833624
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 68085 59 0 0 25 0 10 0 467911815 853630976 24222 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24222 13073 16 0 208390 0
vsize: 833624
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 69001 59 0 0 25 0 10 0 467911815 853630976 24243 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24243 13073 16 0 208390 0
vsize: 833624
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 69915 59 0 0 25 0 10 0 467911815 853630976 24264 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24264 13073 16 0 208390 0
vsize: 833624
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 70829 60 0 0 25 0 10 0 467911815 853630976 24296 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24296 13073 16 0 208390 0
vsize: 833624
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 71742 60 0 0 25 0 10 0 467911815 853630976 24322 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24322 13073 16 0 208390 0
vsize: 833624
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 72660 60 0 0 25 0 10 0 467911815 853630976 24342 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24342 13073 16 0 208390 0
vsize: 833624
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 73573 60 0 0 25 0 10 0 467911815 853630976 24363 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24363 13073 16 0 208390 0
vsize: 833624
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 74485 60 0 0 25 0 10 0 467911815 853630976 24395 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24395 13073 16 0 208390 0
vsize: 833624
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 75396 60 0 0 24 0 10 0 467911815 853630976 24419 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24419 13073 16 0 208390 0
vsize: 833624
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 76313 60 0 0 25 0 10 0 467911815 853630976 24438 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24438 13073 16 0 208390 0
vsize: 833624
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 77224 60 0 0 25 0 10 0 467911815 853630976 24464 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24464 13073 16 0 208390 0
vsize: 833624
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 78135 61 0 0 25 0 10 0 467911815 853630976 24488 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24488 13073 16 0 208390 0
vsize: 833624
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 79050 61 0 0 25 0 10 0 467911815 853630976 24512 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24512 13073 16 0 208390 0
vsize: 833624
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 79961 61 0 0 25 0 10 0 467911815 853630976 24531 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24531 13073 16 0 208390 0
vsize: 833624
[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 80872 61 0 0 25 0 10 0 467911815 853630976 24550 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24550 13073 16 0 208390 0
vsize: 833624
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 81781 61 0 0 24 0 10 0 467911815 853630976 24581 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24581 13073 16 0 208390 0
vsize: 833624
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 82696 61 0 0 25 0 10 0 467911815 853630976 24601 4294967295 134512640 134569956 3221224400 3221214280 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24601 13073 16 0 208390 0
vsize: 833624
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 83605 61 0 0 25 0 10 0 467911815 853630976 24626 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24626 13073 16 0 208390 0
vsize: 833624
[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 84514 61 0 0 24 0 10 0 467911815 853630976 24649 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24649 13073 16 0 208390 0
vsize: 833624
[startup+920.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 85430 61 0 0 25 0 10 0 467911815 853630976 24667 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24667 13073 16 0 208390 0
vsize: 833624
[startup+930.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 86338 61 0 0 25 0 10 0 467911815 853630976 24692 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24692 13073 16 0 208390 0
vsize: 833624
[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 87251 61 0 0 25 0 10 0 467911815 853630976 24710 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24710 13073 16 0 208390 0
vsize: 833624
[startup+950.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 88158 61 0 0 25 0 10 0 467911815 853630976 24736 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24736 13073 16 0 208390 0
vsize: 833624
[startup+960.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 89065 61 0 0 24 0 10 0 467911815 853630976 24759 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24759 13073 16 0 208390 0
vsize: 833624
[startup+970.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 89976 62 0 0 25 0 10 0 467911815 853630976 24779 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24779 13073 16 0 208390 0
vsize: 833624
[startup+980.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 90882 62 0 0 25 0 10 0 467911815 853630976 24801 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24801 13073 16 0 208390 0
vsize: 833624
[startup+990.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 91794 62 0 0 25 0 10 0 467911815 853630976 24819 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24819 13073 16 0 208390 0
vsize: 833624
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 92700 62 0 0 25 0 10 0 467911815 853630976 24843 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24843 13073 16 0 208390 0
vsize: 833624
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 93606 62 0 0 24 0 10 0 467911815 853630976 24863 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24863 13073 16 0 208390 0
vsize: 833624
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 94516 62 0 0 25 0 10 0 467911815 853630976 24880 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24880 13073 16 0 208390 0
vsize: 833624
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 95422 62 0 0 25 0 10 0 467911815 853630976 24908 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24908 13073 16 0 208390 0
vsize: 833624
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 96333 63 0 0 25 0 10 0 467911815 853630976 24925 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 24925 13073 16 0 208390 0
vsize: 833624
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 97239 63 0 0 25 0 10 0 467911815 853630976 24944 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24944 13073 16 0 208390 0
vsize: 833624
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) S 16141 26667 26666 0 -1 0 17978 0 1 0 98147 64 0 0 25 0 10 0 467911815 853630976 24970 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24970 13073 16 0 208390 0
vsize: 833624
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 99050 64 0 0 25 0 10 0 467911815 853630976 24991 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 24991 13073 16 0 208390 0
vsize: 833624
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 99952 64 0 0 24 0 10 0 467911815 853630976 25012 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25012 13073 16 0 208390 0
vsize: 833624
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 100862 64 0 0 21 0 10 0 467911815 853630976 25028 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25028 13073 16 0 208390 0
vsize: 833624
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 101765 65 0 0 19 0 10 0 467911815 853630976 25052 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25052 13073 16 0 208390 0
vsize: 833624
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 102674 65 0 0 22 0 10 0 467911815 853630976 25072 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25072 13073 16 0 208390 0
vsize: 833624
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 103577 65 0 0 20 0 10 0 467911815 853630976 25092 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25092 13073 16 0 208390 0
vsize: 833624
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 104485 66 0 0 23 0 10 0 467911815 853630976 25110 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25110 13073 16 0 208390 0
vsize: 833624
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 105387 66 0 0 19 0 10 0 467911815 853630976 25133 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25133 13073 16 0 208390 0
vsize: 833624
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 106295 66 0 0 22 0 10 0 467911815 853630976 25149 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25149 13073 16 0 208390 0
vsize: 833624
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 107196 66 0 0 19 0 10 0 467911815 853630976 25172 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25172 13073 16 0 208390 0
vsize: 833624
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 108103 67 0 0 22 0 10 0 467911815 853630976 25189 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25189 13073 16 0 208390 0
vsize: 833624
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 109005 67 0 0 19 0 10 0 467911815 853630976 25209 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25209 13073 16 0 208390 0
vsize: 833624
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 109911 67 0 0 21 0 10 0 467911815 853630976 25230 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25230 13073 16 0 208390 0
vsize: 833624
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 110817 67 0 0 24 0 10 0 467911815 853630976 25249 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25249 13073 16 0 208390 0
vsize: 833624
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 111715 68 0 0 20 0 10 0 467911815 853630976 25268 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25268 13073 16 0 208390 0
vsize: 833624
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 112620 68 0 0 23 0 10 0 467911815 853630976 25286 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25286 13073 16 0 208390 0
vsize: 833624
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 113519 68 0 0 20 0 10 0 467911815 853630976 25305 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25305 13073 16 0 208390 0
vsize: 833624
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 114425 68 0 0 21 0 10 0 467911815 853630976 25320 4294967295 134512640 134569956 3221224400 3221214232 1076460984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 25320 13073 16 0 208390 0
vsize: 833624
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 115324 68 0 0 19 0 10 0 467911815 853630976 25336 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25336 13073 16 0 208390 0
vsize: 833624
[startup+1260.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 116230 69 0 0 21 0 10 0 467911815 853630976 25363 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25363 13073 16 0 208390 0
vsize: 833624
[startup+1270.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 117135 69 0 0 23 0 10 0 467911815 853630976 25379 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 25379 13073 16 0 208390 0
vsize: 833624
[startup+1280.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 118034 69 0 0 21 0 10 0 467911815 853630976 25402 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25402 13073 16 0 208390 0
vsize: 833624
[startup+1290.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 118938 70 0 0 23 0 10 0 467911815 853630976 25419 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25419 13073 16 0 208390 0
vsize: 833624
[startup+1300.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 119837 70 0 0 19 0 10 0 467911815 853630976 25438 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25438 13073 16 0 208390 0
vsize: 833624
[startup+1310.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16151
Raw data (stat): 16142 (java) R 16141 26667 26666 0 -1 0 17978 0 1 0 120743 70 0 0 22 0 10 0 467911815 853630976 25465 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 25465 13073 16 0 208390 0
vsize: 833624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.67 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16152
Raw data (stat): 16142 (java) Z 16141 26667 26666 0 -1 1036 17978 7287 1 0 120744 70 10194 42 23 0 1 0 467911815 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.67
CPU time (s): 1310.53
CPU user time (s): 1309.39
CPU system time (s): 1.13583
CPU usage (%): 99.9894
Max. virtual memory (Kb): 833624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####