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/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUM	a6997171dcc57638d93d44e87488aa8f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	39
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	132
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	26.086
Number of variables	18069
Total number of constraints	52475
Number of constraints which are clauses	51555
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	920
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4472

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-13 17:34:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2745 boxname=wulflinc2 idbench=305 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a6997171dcc57638d93d44e87488aa8f  /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.rf10.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.rf10.ucl.opb
IDLAUNCH: 2745
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        915008 kB
Buffers:         32280 kB
Cached:          66656 kB
SwapCached:          4 kB
Active:          50640 kB
Inactive:        51180 kB
HighTotal:      131008 kB
HighFree:        60564 kB
LowTotal:       903652 kB
LowFree:        854444 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            12388 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:55:26 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2745 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.rf10.ucl.opb
c reading problem 
c [nbvar=18069]
c [nbconstr=52475]
c time 147.199
c #vars     18069
c #clauses  52475
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.95 2/54 21731
Raw data (stat): 21731 (runsolver) R 21730 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419570173 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 793 44 0 0 25 0 10 0 419570173 855654400 20986 4294967295 134512640 134569956 3221224416 3221214508 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 20986 13073 16 0 208884 0
vsize: 835600
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 1666 44 0 0 25 0 10 0 419570173 855654400 21586 4294967295 134512640 134569956 3221224416 3221214508 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 21586 13073 16 0 208884 0
vsize: 835600
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 2523 45 0 0 25 0 10 0 419570173 855654400 22128 4294967295 134512640 134569956 3221224416 3221214556 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 22128 13073 16 0 208884 0
vsize: 835600
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 3392 45 0 0 25 0 10 0 419570173 855654400 22535 4294967295 134512640 134569956 3221224416 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 22535 13073 16 0 208884 0
vsize: 835600
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 4248 45 0 0 25 0 10 0 419570173 855654400 22984 4294967295 134512640 134569956 3221224416 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 22984 13073 16 0 208884 0
vsize: 835600
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 5107 46 0 0 25 0 10 0 419570173 855654400 23335 4294967295 134512640 134569956 3221224416 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 23335 13073 16 0 208884 0
vsize: 835600
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 5969 46 0 0 25 0 10 0 419570173 855654400 23629 4294967295 134512640 134569956 3221224416 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 23629 13073 16 0 208884 0
vsize: 835600
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 6831 46 0 0 25 0 10 0 419570173 855654400 24047 4294967295 134512640 134569956 3221224416 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 24047 13073 16 0 208884 0
vsize: 835600
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 7699 46 0 0 24 0 10 0 419570173 855654400 24318 4294967295 134512640 134569956 3221224416 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 24318 13073 16 0 208884 0
vsize: 835600
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 8578 47 0 0 25 0 10 0 419570173 855654400 24614 4294967295 134512640 134569956 3221224416 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 24614 13073 16 0 208884 0
vsize: 835600
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 9449 47 0 0 25 0 10 0 419570173 855654400 24876 4294967295 134512640 134569956 3221224416 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 24876 13073 16 0 208884 0
vsize: 835600
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 10325 47 0 0 25 0 10 0 419570173 855654400 25127 4294967295 134512640 134569956 3221224416 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 25127 13073 16 0 208884 0
vsize: 835600
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 11204 48 0 0 25 0 10 0 419570173 855654400 25365 4294967295 134512640 134569956 3221224416 3221214600 1131146408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 25365 13073 16 0 208884 0
vsize: 835600
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/63 21740
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18007 0 1 0 12079 48 0 0 25 0 10 0 419570173 855654400 25593 4294967295 134512640 134569956 3221224416 3221214600 1131146325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208900 25593 13073 16 0 208884 0
vsize: 835600
[startup+150.039 s]
Raw data (loadavg): 0.99 0.98 0.95 4/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18079 0 1 0 12928 49 0 0 25 0 11 0 419570173 859082752 26650 4294967295 134512640 134569956 3221224416 3221213584 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209737 26650 13073 16 0 209721 0
vsize: 838948
[startup+160.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 13875 49 0 0 25 0 11 0 419570173 866160640 28318 4294967295 134512640 134569956 3221224416 3221214880 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 28318 13073 16 0 211449 0
vsize: 845860
[startup+170.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 14850 49 0 0 25 0 11 0 419570173 866160640 28762 4294967295 134512640 134569956 3221224416 3221214880 1131363255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 28762 13073 16 0 211449 0
vsize: 845860
[startup+180.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 15849 49 0 0 25 0 11 0 419570173 866160640 28762 4294967295 134512640 134569956 3221224416 3221214880 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 28762 13073 16 0 211449 0
vsize: 845860
[startup+190.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 16824 49 0 0 25 0 11 0 419570173 865112064 29003 4294967295 134512640 134569956 3221224416 3221214880 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29003 13073 16 0 211193 0
vsize: 844836
[startup+200.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 17825 49 0 0 25 0 11 0 419570173 865112064 29003 4294967295 134512640 134569956 3221224416 3221214880 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29003 13073 16 0 211193 0
vsize: 844836
[startup+210.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 18804 49 0 0 25 0 11 0 419570173 865112064 29003 4294967295 134512640 134569956 3221224416 3221214880 1131363187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29003 13073 16 0 211193 0
vsize: 844836
[startup+220.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 19804 49 0 0 25 0 11 0 419570173 865112064 29003 4294967295 134512640 134569956 3221224416 3221214880 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29003 13073 16 0 211193 0
vsize: 844836
[startup+230.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 20777 49 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214880 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+240.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 21776 49 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214880 1131363281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+250.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 22752 49 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214876 1131397484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+260.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 23752 49 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214880 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+270.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 24728 49 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214880 1131363185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+280.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18085 0 1 0 25727 50 0 0 25 0 11 0 419570173 865112064 29421 4294967295 134512640 134569956 3221224416 3221214696 1131216460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211209 29421 13073 16 0 211193 0
vsize: 844836
[startup+290.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 26700 50 0 0 25 0 11 0 419570173 868257792 30296 4294967295 134512640 134569956 3221224416 3221214848 1131363187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211977 30296 13073 16 0 211961 0
vsize: 847908
[startup+300.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 27670 50 0 0 25 0 11 0 419570173 867209216 30240 4294967295 134512640 134569956 3221224416 3221214884 1131431052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211721 30240 13073 16 0 211705 0
vsize: 846884
[startup+310.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 28669 50 0 0 25 0 11 0 419570173 866160640 29927 4294967295 134512640 134569956 3221224416 3221214848 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 29927 13073 16 0 211449 0
vsize: 845860
[startup+320.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 29641 50 0 0 25 0 11 0 419570173 866160640 30092 4294967295 134512640 134569956 3221224416 3221214848 1131363197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 30092 13073 16 0 211449 0
vsize: 845860
[startup+330.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 30613 50 0 0 25 0 11 0 419570173 866160640 30449 4294967295 134512640 134569956 3221224416 3221214848 1131363187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30449 13073 16 0 211449 0
vsize: 845860
[startup+340.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 31613 50 0 0 25 0 11 0 419570173 866160640 30449 4294967295 134512640 134569956 3221224416 3221214848 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30449 13073 16 0 211449 0
vsize: 845860
[startup+350.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 32590 50 0 0 25 0 11 0 419570173 866160640 30449 4294967295 134512640 134569956 3221224416 3221214848 1131363168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 30449 13073 16 0 211449 0
vsize: 845860
[startup+360.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18087 0 1 0 33590 50 0 0 25 0 11 0 419570173 866160640 30449 4294967295 134512640 134569956 3221224416 3221214848 1131363281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30449 13073 16 0 211449 0
vsize: 845860
[startup+370.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 34566 50 0 0 25 0 11 0 419570173 866160640 30450 4294967295 134512640 134569956 3221224416 3221214856 1131363277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 30450 13073 16 0 211449 0
vsize: 845860
[startup+380.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 35534 51 0 0 25 0 11 0 419570173 866160640 30526 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30526 13073 16 0 211449 0
vsize: 845860
[startup+390.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 36535 51 0 0 25 0 11 0 419570173 866160640 30528 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30528 13073 16 0 211449 0
vsize: 845860
[startup+400.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 37503 51 0 0 25 0 11 0 419570173 866160640 30926 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30926 13073 16 0 211449 0
vsize: 845860
[startup+410.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 38502 51 0 0 25 0 11 0 419570173 866160640 30929 4294967295 134512640 134569956 3221224416 3221214616 1131370848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 30929 13073 16 0 211449 0
vsize: 845860
[startup+420.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 39472 51 0 0 25 0 11 0 419570173 866160640 31435 4294967295 134512640 134569956 3221224416 3221214856 1131363255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 31435 13073 16 0 211449 0
vsize: 845860
[startup+430.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 40472 51 0 0 25 0 11 0 419570173 866160640 31435 4294967295 134512640 134569956 3221224416 3221214856 1131363255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31435 13073 16 0 211449 0
vsize: 845860
[startup+440.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 41448 51 0 0 25 0 11 0 419570173 866160640 31435 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31435 13073 16 0 211449 0
vsize: 845860
[startup+450.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 42448 51 0 0 25 0 11 0 419570173 866160640 31435 4294967295 134512640 134569956 3221224416 3221214856 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31435 13073 16 0 211449 0
vsize: 845860
[startup+460.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 43423 51 0 0 25 0 11 0 419570173 866160640 31632 4294967295 134512640 134569956 3221224416 3221214856 1131363185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31632 13073 16 0 211449 0
vsize: 845860
[startup+470.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 44423 51 0 0 25 0 11 0 419570173 866160640 31632 4294967295 134512640 134569956 3221224416 3221214856 1131363168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31632 13073 16 0 211449 0
vsize: 845860
[startup+480.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 45401 51 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214856 1131363247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+490.045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 46401 51 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214856 1131363197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+500.045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 47381 51 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+510.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 48380 51 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214616 1131370969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+520.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 49360 52 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214856 1131363263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+530.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 50359 52 0 0 25 0 11 0 419570173 866160640 31876 4294967295 134512640 134569956 3221224416 3221214856 1131363249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 31876 13073 16 0 211449 0
vsize: 845860
[startup+540.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 51337 52 0 0 25 0 11 0 419570173 866160640 32028 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32028 13073 16 0 211449 0
vsize: 845860
[startup+550.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 52310 52 0 0 25 0 11 0 419570173 866160640 32160 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 32160 13073 16 0 211449 0
vsize: 845860
[startup+560.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 53310 52 0 0 25 0 11 0 419570173 866160640 32160 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32160 13073 16 0 211449 0
vsize: 845860
[startup+570.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 54310 52 0 0 25 0 11 0 419570173 866160640 32160 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32160 13073 16 0 211449 0
vsize: 845860
[startup+580.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 55283 53 0 0 25 0 11 0 419570173 866160640 32420 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 32420 13073 16 0 211449 0
vsize: 845860
[startup+590.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 56283 53 0 0 25 0 11 0 419570173 866160640 32420 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32420 13073 16 0 211449 0
vsize: 845860
[startup+600.048 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 57257 53 0 0 25 0 11 0 419570173 866160640 32626 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 32626 13073 16 0 211449 0
vsize: 845860
[startup+610.049 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 58256 53 0 0 25 0 11 0 419570173 866160640 32626 4294967295 134512640 134569956 3221224416 3221214856 1131363197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 32626 13073 16 0 211449 0
vsize: 845860
[startup+620.049 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 59232 54 0 0 25 0 11 0 419570173 866160640 32915 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32915 13073 16 0 211449 0
vsize: 845860
[startup+630.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 60208 54 0 0 25 0 11 0 419570173 866160640 32915 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 32915 13073 16 0 211449 0
vsize: 845860
[startup+640.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 61208 54 0 0 25 0 11 0 419570173 866160640 32915 4294967295 134512640 134569956 3221224416 3221214856 1131363249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 32915 13073 16 0 211449 0
vsize: 845860
[startup+650.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 62185 54 0 0 25 0 11 0 419570173 866160640 33195 4294967295 134512640 134569956 3221224416 3221214856 1131363197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33195 13073 16 0 211449 0
vsize: 845860
[startup+660.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 63164 54 0 0 25 0 11 0 419570173 866160640 33195 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 33195 13073 16 0 211449 0
vsize: 845860
[startup+670.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 64163 54 0 0 25 0 11 0 419570173 866160640 33195 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33195 13073 16 0 211449 0
vsize: 845860
[startup+680.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 65141 54 0 0 25 0 11 0 419570173 866160640 33283 4294967295 134512640 134569956 3221224416 3221214856 1131363281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33283 13073 16 0 211449 0
vsize: 845860
[startup+690.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 66120 54 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+700.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 67119 54 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+710.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 68120 54 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214688 1131215640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+720.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 69100 55 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+730.051 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 70100 55 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+740.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 71080 55 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+750.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) S 21730 20937 20936 0 -1 0 18088 0 1 0 72079 55 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+760.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 73059 55 0 0 25 0 11 0 419570173 866160640 33619 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33619 13073 16 0 211449 0
vsize: 845860
[startup+770.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) S 21730 20937 20936 0 -1 0 18088 0 1 0 74053 55 0 0 25 0 11 0 419570173 866160640 33667 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 33668 13073 16 0 211449 0
vsize: 845860
[startup+780.052 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 75036 55 0 0 25 0 11 0 419570173 866160640 33768 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33768 13073 16 0 211449 0
vsize: 845860
[startup+790.053 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 76036 55 0 0 25 0 11 0 419570173 866160640 33768 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 33768 13073 16 0 211449 0
vsize: 845860
[startup+800.053 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 77014 55 0 0 25 0 11 0 419570173 866160640 33829 4294967295 134512640 134569956 3221224416 3221214856 1131363197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 33829 13073 16 0 211449 0
vsize: 845860
[startup+810.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 77993 55 0 0 24 0 11 0 419570173 866160640 34003 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34003 13073 16 0 211449 0
vsize: 845860
[startup+820.055 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 78991 56 0 0 25 0 11 0 419570173 866160640 34003 4294967295 134512640 134569956 3221224416 3221214856 1131363271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34003 13073 16 0 211449 0
vsize: 845860
[startup+830.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 79971 56 0 0 25 0 11 0 419570173 866160640 34003 4294967295 134512640 134569956 3221224416 3221214856 1131363271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34003 13073 16 0 211449 0
vsize: 845860
[startup+840.054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 80970 56 0 0 25 0 11 0 419570173 866160640 34003 4294967295 134512640 134569956 3221224416 3221214856 1131363244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34003 13073 16 0 211449 0
vsize: 845860
[startup+850.055 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 81948 56 0 0 25 0 11 0 419570173 866160640 34160 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34160 13073 16 0 211449 0
vsize: 845860
[startup+860.055 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 82948 56 0 0 25 0 11 0 419570173 866160640 34160 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34160 13073 16 0 211449 0
vsize: 845860
[startup+870.055 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 83929 56 0 0 25 0 11 0 419570173 866160640 34160 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34160 13073 16 0 211449 0
vsize: 845860
[startup+880.056 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 84930 56 0 0 25 0 11 0 419570173 866160640 34160 4294967295 134512640 134569956 3221224416 3221214856 1131363281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34160 13073 16 0 211449 0
vsize: 845860
[startup+890.056 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 85910 57 0 0 25 0 11 0 419570173 866160640 34275 4294967295 134512640 134569956 3221224416 3221214856 1131363255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34275 13073 16 0 211449 0
vsize: 845860
[startup+900.056 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 86887 57 0 0 25 0 11 0 419570173 866160640 34393 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34393 13073 16 0 211449 0
vsize: 845860
[startup+910.057 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 87887 57 0 0 25 0 11 0 419570173 866160640 34393 4294967295 134512640 134569956 3221224416 3221214736 1131373963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34393 13073 16 0 211449 0
vsize: 845860
[startup+920.057 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 88864 57 0 0 25 0 11 0 419570173 866160640 34723 4294967295 134512640 134569956 3221224416 3221214856 1131363255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34723 13073 16 0 211449 0
vsize: 845860
[startup+930.058 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 89864 57 0 0 25 0 11 0 419570173 866160640 34723 4294967295 134512640 134569956 3221224416 3221214856 1131363247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34723 13073 16 0 211449 0
vsize: 845860
[startup+940.058 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 90845 57 0 0 25 0 11 0 419570173 866160640 34723 4294967295 134512640 134569956 3221224416 3221214856 1131363187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34723 13073 16 0 211449 0
vsize: 845860
[startup+950.058 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 91844 57 0 0 25 0 11 0 419570173 866160640 34723 4294967295 134512640 134569956 3221224416 3221214856 1131363187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34723 13073 16 0 211449 0
vsize: 845860
[startup+960.059 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 92825 57 0 0 25 0 11 0 419570173 866160640 34884 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 34884 13073 16 0 211449 0
vsize: 845860
[startup+970.059 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 93824 58 0 0 25 0 11 0 419570173 866160640 34884 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34884 13073 16 0 211449 0
vsize: 845860
[startup+980.058 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 94804 58 0 0 25 0 11 0 419570173 866160640 34884 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 34884 13073 16 0 211449 0
vsize: 845860
[startup+990.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 95785 58 0 0 25 0 11 0 419570173 866160640 35136 4294967295 134512640 134569956 3221224416 3221214856 1131363244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 35136 13073 16 0 211449 0
vsize: 845860
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 96785 58 0 0 25 0 11 0 419570173 866160640 35136 4294967295 134512640 134569956 3221224416 3221214856 1131363271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35136 13073 16 0 211449 0
vsize: 845860
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 97785 58 0 0 25 0 11 0 419570173 866160640 35136 4294967295 134512640 134569956 3221224416 3221214856 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35136 13073 16 0 211449 0
vsize: 845860
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 98767 58 0 0 25 0 11 0 419570173 866160640 35136 4294967295 134512640 134569956 3221224416 3221214856 1131363228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35136 13073 16 0 211449 0
vsize: 845860
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 99767 58 0 0 25 0 11 0 419570173 866160640 35136 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35136 13073 16 0 211449 0
vsize: 845860
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 100747 58 0 0 25 0 11 0 419570173 866160640 35255 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 35255 13073 16 0 211449 0
vsize: 845860
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 101747 58 0 0 25 0 11 0 419570173 866160640 35255 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35255 13073 16 0 211449 0
vsize: 845860
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 102726 58 0 0 25 0 11 0 419570173 866160640 35321 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35321 13073 16 0 211449 0
vsize: 845860
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 103702 58 0 0 25 0 11 0 419570173 866160640 35577 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 35577 13073 16 0 211449 0
vsize: 845860
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 104678 58 0 0 25 0 11 0 419570173 866160640 36183 4294967295 134512640 134569956 3221224416 3221214528 1131146249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 36183 13073 16 0 211449 0
vsize: 845860
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 105677 59 0 0 25 0 11 0 419570173 866160640 36183 4294967295 134512640 134569956 3221224416 3221214736 1131373940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 36183 13073 16 0 211449 0
vsize: 845860
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 106659 59 0 0 25 0 11 0 419570173 866160640 36183 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 36183 13073 16 0 211449 0
vsize: 845860
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 107659 59 0 0 25 0 11 0 419570173 866160640 36183 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36183 13073 16 0 211449 0
vsize: 845860
[startup+1120.12 s]
Raw data (loadavg): 1.15 1.02 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 108664 59 0 0 25 0 11 0 419570173 866160640 36184 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36184 13073 16 0 211449 0
vsize: 845860
[startup+1130.11 s]
Raw data (loadavg): 1.13 1.02 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 109644 59 0 0 25 0 11 0 419570173 866160640 36517 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36517 13073 16 0 211449 0
vsize: 845860
[startup+1140.12 s]
Raw data (loadavg): 1.11 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 110630 59 0 0 25 0 11 0 419570173 866160640 36517 4294967295 134512640 134569956 3221224416 3221214736 1131518833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 36517 13073 16 0 211449 0
vsize: 845860
[startup+1150.12 s]
Raw data (loadavg): 1.09 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 111614 59 0 0 25 0 11 0 419570173 866160640 36517 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36517 13073 16 0 211449 0
vsize: 845860
[startup+1160.12 s]
Raw data (loadavg): 1.08 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 112595 59 0 0 25 0 11 0 419570173 866160640 36517 4294967295 134512640 134569956 3221224416 3221214856 1131363236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36517 13073 16 0 211449 0
vsize: 845860
[startup+1170.12 s]
Raw data (loadavg): 1.07 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 113574 59 0 0 25 0 11 0 419570173 866160640 36736 4294967295 134512640 134569956 3221224416 3221214856 1131363168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 36736 13073 16 0 211449 0
vsize: 845860
[startup+1180.12 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 114573 60 0 0 25 0 11 0 419570173 866160640 36736 4294967295 134512640 134569956 3221224416 3221214856 1131363180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36736 13073 16 0 211449 0
vsize: 845860
[startup+1190.12 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 115553 60 0 0 25 0 11 0 419570173 866160640 36839 4294967295 134512640 134569956 3221224416 3221214856 1131363281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36839 13073 16 0 211449 0
vsize: 845860
[startup+1200.12 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 116553 60 0 0 25 0 11 0 419570173 866160640 36839 4294967295 134512640 134569956 3221224416 3221214856 1131363216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 36839 13073 16 0 211449 0
vsize: 845860
[startup+1210.12 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 117531 60 0 0 25 0 11 0 419570173 866160640 37014 4294967295 134512640 134569956 3221224416 3221214856 1131363240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 37014 13073 16 0 211449 0
vsize: 845860
[startup+1220.12 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 118510 60 0 0 25 0 11 0 419570173 866160640 37247 4294967295 134512640 134569956 3221224416 3221214856 1131363255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211465 37247 13073 16 0 211449 0
vsize: 845860
[startup+1230.12 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 119510 60 0 0 25 0 11 0 419570173 866160640 37247 4294967295 134512640 134569956 3221224416 3221214760 1131215632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 37247 13073 16 0 211449 0
vsize: 845860
[startup+1240.12 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 21741
Raw data (stat): 21731 (java) R 21730 20937 20936 0 -1 0 18088 0 1 0 120489 60 0 0 25 0 11 0 419570173 866160640 37247 4294967295 134512640 134569956 3221224416 3221214856 1131363262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211465 37247 13073 16 0 211449 0
vsize: 845860
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.22 s]
Raw data (loadavg): 1.02 1.00 0.96 1/54 21743
Raw data (stat): 21731 (java) Z 21730 20937 20936 0 -1 1036 18088 24496 1 0 120492 67 4507 48 25 0 1 0 419570173 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.22
CPU time (s): 1251.15
CPU user time (s): 1249.99
CPU system time (s): 1.15782
CPU usage (%): 100.882
Max. virtual memory (Kb): 847908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####