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.tag10.ucl.opb
MD5SUM	091959fe1286f391097654d0def293d7
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	5.13722
Number of variables	9071
Total number of constraints	25914
Number of constraints which are clauses	25190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	724
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4474

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 17:37:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2790 boxname=wulflinc31 idbench=310 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  091959fe1286f391097654d0def293d7  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
IDLAUNCH: 2790
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915716 kB
Buffers:         33952 kB
Cached:          46236 kB
SwapCached:        392 kB
Active:          42360 kB
Inactive:        40948 kB
HighTotal:      131008 kB
HighFree:        81088 kB
LowTotal:       903652 kB
LowFree:        834628 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            30028 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:58:09 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2790 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
c reading problem 
c [nbvar=9071]
c [nbconstr=25914]
c time 43.819
c #vars     9071
c #clauses  25914
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.99 1.00 0.98 2/54 23962
Raw data (stat): 23962 (runsolver) R 23961 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477795210 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.0011 s]
Raw data (loadavg): 1.07 1.01 0.99 2/63 23971
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18002 0 1 0 803 45 0 0 25 0 10 0 477795210 855412736 20882 4294967295 134512640 134569956 3221224416 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 20882 13073 16 0 208825 0
vsize: 835364
[startup+20.0024 s]
Raw data (loadavg): 1.06 1.01 0.99 2/63 23971
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18002 0 1 0 1677 45 0 0 25 0 10 0 477795210 855412736 21385 4294967295 134512640 134569956 3221224416 3221214568 1131155368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 21385 13073 16 0 208825 0
vsize: 835364
[startup+30.0031 s]
Raw data (loadavg): 1.05 1.01 0.99 2/63 23971
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18002 0 1 0 2535 45 0 0 25 0 10 0 477795210 855412736 21984 4294967295 134512640 134569956 3221224416 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 21984 13073 16 0 208825 0
vsize: 835364
[startup+40.0029 s]
Raw data (loadavg): 1.04 1.01 0.99 2/63 23971
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18002 0 1 0 3397 46 0 0 25 0 10 0 477795210 855412736 22361 4294967295 134512640 134569956 3221224416 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 22361 13073 16 0 208825 0
vsize: 835364
[startup+50.0042 s]
Raw data (loadavg): 1.11 1.03 1.00 4/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18093 0 1 0 4270 46 0 0 25 0 11 0 477795210 874299392 26852 4294967295 134512640 134569956 3221224416 3221214864 1131376792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213452 26852 13073 16 0 213436 0
vsize: 853808
[startup+60.0046 s]
Raw data (loadavg): 1.24 1.06 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 5265 46 0 0 25 0 11 0 477795210 873283584 27214 4294967295 134512640 134569956 3221224416 3221214864 1131377288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213204 27214 13073 16 0 213188 0
vsize: 852816
[startup+70.0045 s]
Raw data (loadavg): 1.28 1.07 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 6243 47 0 0 25 0 11 0 477795210 868204544 26378 4294967295 134512640 134569956 3221224416 3221214800 1131377298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211964 26378 13073 16 0 211948 0
vsize: 847856
[startup+80.0079 s]
Raw data (loadavg): 1.24 1.07 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 7240 47 0 0 25 0 11 0 477795210 867745792 26270 4294967295 134512640 134569956 3221224416 3221214856 1131377298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211852 26270 13073 16 0 211836 0
vsize: 847408
[startup+90.0083 s]
Raw data (loadavg): 1.20 1.07 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 8220 47 0 0 25 0 11 0 477795210 867745792 26270 4294967295 134512640 134569956 3221224416 3221214856 1131377116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211852 26270 13073 16 0 211836 0
vsize: 847408
[startup+100.008 s]
Raw data (loadavg): 1.17 1.06 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 9220 47 0 0 25 0 11 0 477795210 867225600 26143 4294967295 134512640 134569956 3221224416 3221214856 1131377015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26143 13073 16 0 211709 0
vsize: 846900
[startup+110.01 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18099 0 1 0 10203 47 0 0 25 0 11 0 477795210 867225600 26202 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26202 13073 16 0 211709 0
vsize: 846900
[startup+120.01 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 11200 47 0 0 25 0 11 0 477795210 867225600 26204 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26204 13073 16 0 211709 0
vsize: 846900
[startup+130.01 s]
Raw data (loadavg): 1.10 1.06 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 12182 47 0 0 25 0 11 0 477795210 867225600 26262 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26262 13073 16 0 211709 0
vsize: 846900
[startup+140.01 s]
Raw data (loadavg): 1.09 1.05 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 13182 48 0 0 25 0 11 0 477795210 867225600 26262 4294967295 134512640 134569956 3221224416 3221214564 1130863342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26262 13073 16 0 211709 0
vsize: 846900
[startup+150.011 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 14164 48 0 0 25 0 11 0 477795210 867225600 26389 4294967295 134512640 134569956 3221224416 3221214856 1131377271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26389 13073 16 0 211709 0
vsize: 846900
[startup+160.011 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 15164 48 0 0 25 0 11 0 477795210 867225600 26392 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26392 13073 16 0 211709 0
vsize: 846900
[startup+170.011 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 16147 48 0 0 25 0 11 0 477795210 867225600 26392 4294967295 134512640 134569956 3221224416 3221214856 1131376994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26392 13073 16 0 211709 0
vsize: 846900
[startup+180.012 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 17148 48 0 0 25 0 11 0 477795210 867225600 26392 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26392 13073 16 0 211709 0
vsize: 846900
[startup+190.012 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 18131 48 0 0 25 0 11 0 477795210 867225600 26423 4294967295 134512640 134569956 3221224416 3221214856 1131377288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26423 13073 16 0 211709 0
vsize: 846900
[startup+200.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 19131 48 0 0 25 0 11 0 477795210 867225600 26423 4294967295 134512640 134569956 3221224416 3221214856 1131376810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26423 13073 16 0 211709 0
vsize: 846900
[startup+210.012 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 20115 48 0 0 25 0 11 0 477795210 867225600 26705 4294967295 134512640 134569956 3221224416 3221214856 1131377088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26705 13073 16 0 211709 0
vsize: 846900
[startup+220.012 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 21115 48 0 0 25 0 11 0 477795210 867225600 26705 4294967295 134512640 134569956 3221224416 3221214856 1131377116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26705 13073 16 0 211709 0
vsize: 846900
[startup+230.012 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 22102 48 0 0 25 0 11 0 477795210 867225600 26705 4294967295 134512640 134569956 3221224416 3221214736 1131239191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26705 13073 16 0 211709 0
vsize: 846900
[startup+240.013 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18100 0 1 0 23086 48 0 0 25 0 11 0 477795210 867225600 26705 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26705 13073 16 0 211709 0
vsize: 846900
[startup+250.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 24086 48 0 0 25 0 11 0 477795210 867225600 26708 4294967295 134512640 134569956 3221224416 3221214760 1131239517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26708 13073 16 0 211709 0
vsize: 846900
[startup+260.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 25071 48 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131377088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+270.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 26069 49 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131377288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+280.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 27053 49 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131377007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+290.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 28052 49 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131376800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+300.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 29036 49 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131377007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+310.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 30036 49 0 0 25 0 11 0 477795210 867225600 26709 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26709 13073 16 0 211709 0
vsize: 846900
[startup+320.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 31019 49 0 0 25 0 11 0 477795210 867225600 26825 4294967295 134512640 134569956 3221224416 3221214856 1131376796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26825 13073 16 0 211709 0
vsize: 846900
[startup+330.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 32020 49 0 0 25 0 11 0 477795210 867225600 26825 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26825 13073 16 0 211709 0
vsize: 846900
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 33003 49 0 0 25 0 11 0 477795210 867225600 26867 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26867 13073 16 0 211709 0
vsize: 846900
[startup+350.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 33986 49 0 0 25 0 11 0 477795210 867225600 26957 4294967295 134512640 134569956 3221224416 3221214856 1131377100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 26957 13073 16 0 211709 0
vsize: 846900
[startup+360.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 34986 49 0 0 25 0 11 0 477795210 867225600 26957 4294967295 134512640 134569956 3221224416 3221214856 1131377271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 26957 13073 16 0 211709 0
vsize: 846900
[startup+370.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 35970 49 0 0 25 0 11 0 477795210 867225600 27038 4294967295 134512640 134569956 3221224416 3221214856 1131377124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27038 13073 16 0 211709 0
vsize: 846900
[startup+380.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 36956 49 0 0 25 0 11 0 477795210 867225600 27081 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27081 13073 16 0 211709 0
vsize: 846900
[startup+390.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 37955 50 0 0 25 0 11 0 477795210 867225600 27081 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27081 13073 16 0 211709 0
vsize: 846900
[startup+400.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 38938 50 0 0 25 0 11 0 477795210 867225600 27157 4294967295 134512640 134569956 3221224416 3221214856 1131377271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27157 13073 16 0 211709 0
vsize: 846900
[startup+410.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 39922 50 0 0 25 0 11 0 477795210 867225600 27280 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 27280 13073 16 0 211709 0
vsize: 846900
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 40921 50 0 0 25 0 11 0 477795210 867225600 27280 4294967295 134512640 134569956 3221224416 3221214744 1131394107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27280 13073 16 0 211709 0
vsize: 846900
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 41906 51 0 0 25 0 11 0 477795210 867225600 27280 4294967295 134512640 134569956 3221224416 3221214696 1131478891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 27280 13073 16 0 211709 0
vsize: 846900
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 42891 51 0 0 25 0 11 0 477795210 867225600 27362 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 27362 13073 16 0 211709 0
vsize: 846900
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 43890 51 0 0 25 0 11 0 477795210 867225600 27362 4294967295 134512640 134569956 3221224416 3221214856 1131377288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 27362 13073 16 0 211709 0
vsize: 846900
[startup+460.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 44872 51 0 0 25 0 11 0 477795210 867225600 27362 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27362 13073 16 0 211709 0
vsize: 846900
[startup+470.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 45872 51 0 0 25 0 11 0 477795210 867225600 27362 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27362 13073 16 0 211709 0
vsize: 846900
[startup+480.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 46856 52 0 0 25 0 11 0 477795210 867225600 27472 4294967295 134512640 134569956 3221224416 3221214856 1131376804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27472 13073 16 0 211709 0
vsize: 846900
[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 47840 52 0 0 25 0 11 0 477795210 867225600 27529 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27529 13073 16 0 211709 0
vsize: 846900
[startup+500.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 48840 52 0 0 25 0 11 0 477795210 867225600 27529 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27529 13073 16 0 211709 0
vsize: 846900
[startup+510.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 49824 52 0 0 25 0 11 0 477795210 867225600 27621 4294967295 134512640 134569956 3221224416 3221214856 1131377088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27621 13073 16 0 211709 0
vsize: 846900
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 50808 52 0 0 25 0 11 0 477795210 867225600 27757 4294967295 134512640 134569956 3221224416 3221214840 1131415177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 27757 13073 16 0 211709 0
vsize: 846900
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 51808 52 0 0 25 0 11 0 477795210 867225600 27757 4294967295 134512640 134569956 3221224416 3221214856 1131376812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27757 13073 16 0 211709 0
vsize: 846900
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 52793 52 0 0 25 0 11 0 477795210 867225600 27858 4294967295 134512640 134569956 3221224416 3221214856 1131376800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27858 13073 16 0 211709 0
vsize: 846900
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 53793 52 0 0 25 0 11 0 477795210 867225600 27858 4294967295 134512640 134569956 3221224416 3221214856 1131376814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 27858 13073 16 0 211709 0
vsize: 846900
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 54779 53 0 0 25 0 11 0 477795210 867225600 28007 4294967295 134512640 134569956 3221224416 3221214856 1131377015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28007 13073 16 0 211709 0
vsize: 846900
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 55764 53 0 0 25 0 11 0 477795210 867225600 28128 4294967295 134512640 134569956 3221224416 3221214856 1131376800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28128 13073 16 0 211709 0
vsize: 846900
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 56764 53 0 0 25 0 11 0 477795210 867225600 28128 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28128 13073 16 0 211709 0
vsize: 846900
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 57750 53 0 0 25 0 11 0 477795210 867225600 28128 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28128 13073 16 0 211709 0
vsize: 846900
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 58735 53 0 0 25 0 11 0 477795210 867225600 28261 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28261 13073 16 0 211709 0
vsize: 846900
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 59734 53 0 0 25 0 11 0 477795210 867225600 28261 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28261 13073 16 0 211709 0
vsize: 846900
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 60720 53 0 0 25 0 11 0 477795210 867225600 28365 4294967295 134512640 134569956 3221224416 3221214792 1131350560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28365 13073 16 0 211709 0
vsize: 846900
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 61705 53 0 0 25 0 11 0 477795210 867225600 28503 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28503 13073 16 0 211709 0
vsize: 846900
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 62692 53 0 0 25 0 11 0 477795210 867225600 28582 4294967295 134512640 134569956 3221224416 3221214856 1131376810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28582 13073 16 0 211709 0
vsize: 846900
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 63692 53 0 0 25 0 11 0 477795210 867225600 28582 4294967295 134512640 134569956 3221224416 3221214856 1131377298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 28582 13073 16 0 211709 0
vsize: 846900
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 64678 53 0 0 25 0 11 0 477795210 867225600 28776 4294967295 134512640 134569956 3221224416 3221214856 1131377271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 28776 13073 16 0 211709 0
vsize: 846900
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 65679 53 0 0 25 0 11 0 477795210 867225600 28776 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28776 13073 16 0 211709 0
vsize: 846900
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 66665 53 0 0 25 0 11 0 477795210 867225600 28784 4294967295 134512640 134569956 3221224416 3221214856 1131376796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28784 13073 16 0 211709 0
vsize: 846900
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18101 0 1 0 67665 54 0 0 25 0 11 0 477795210 867225600 28784 4294967295 134512640 134569956 3221224416 3221214856 1131377100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 28784 13073 16 0 211709 0
vsize: 846900
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 68650 54 0 0 25 0 11 0 477795210 867225600 28886 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 28886 13073 16 0 211709 0
vsize: 846900
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 69636 54 0 0 25 0 11 0 477795210 867225600 29024 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29024 13073 16 0 211709 0
vsize: 846900
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 70623 54 0 0 25 0 11 0 477795210 867225600 29135 4294967295 134512640 134569956 3221224416 3221214856 1131377124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29135 13073 16 0 211709 0
vsize: 846900
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 71622 55 0 0 25 0 11 0 477795210 867225600 29135 4294967295 134512640 134569956 3221224416 3221214808 1131437967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29135 13073 16 0 211709 0
vsize: 846900
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 72609 55 0 0 25 0 11 0 477795210 867225600 29323 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29323 13073 16 0 211709 0
vsize: 846900
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 73598 55 0 0 25 0 11 0 477795210 867225600 29323 4294967295 134512640 134569956 3221224416 3221214744 1131394075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29323 13073 16 0 211709 0
vsize: 846900
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 74587 55 0 0 25 0 11 0 477795210 867225600 29323 4294967295 134512640 134569956 3221224416 3221214784 1131412493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29323 13073 16 0 211709 0
vsize: 846900
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 75587 55 0 0 25 0 11 0 477795210 867225600 29323 4294967295 134512640 134569956 3221224416 3221214856 1131376796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29323 13073 16 0 211709 0
vsize: 846900
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 76574 55 0 0 25 0 11 0 477795210 867225600 29415 4294967295 134512640 134569956 3221224416 3221214856 1131377298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29415 13073 16 0 211709 0
vsize: 846900
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 77561 55 0 0 25 0 11 0 477795210 867225600 29482 4294967295 134512640 134569956 3221224416 3221214360 1078829665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29482 13073 16 0 211709 0
vsize: 846900
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 78561 55 0 0 25 0 11 0 477795210 867225600 29482 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29482 13073 16 0 211709 0
vsize: 846900
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 79547 55 0 0 25 0 11 0 477795210 867225600 29577 4294967295 134512640 134569956 3221224416 3221214856 1131376800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29577 13073 16 0 211709 0
vsize: 846900
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 80547 55 0 0 25 0 11 0 477795210 867225600 29577 4294967295 134512640 134569956 3221224416 3221214744 1131393191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29577 13073 16 0 211709 0
vsize: 846900
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 81534 56 0 0 25 0 11 0 477795210 867225600 29663 4294967295 134512640 134569956 3221224416 3221214856 1131377100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29663 13073 16 0 211709 0
vsize: 846900
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 82534 56 0 0 25 0 11 0 477795210 867225600 29663 4294967295 134512640 134569956 3221224416 3221214856 1131377112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29663 13073 16 0 211709 0
vsize: 846900
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 83520 56 0 0 25 0 11 0 477795210 867225600 29747 4294967295 134512640 134569956 3221224416 3221214744 1131393173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29747 13073 16 0 211709 0
vsize: 846900
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 84519 56 0 0 25 0 11 0 477795210 867225600 29747 4294967295 134512640 134569956 3221224416 3221214856 1131377124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29747 13073 16 0 211709 0
vsize: 846900
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 85504 57 0 0 25 0 11 0 477795210 867225600 29849 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29849 13073 16 0 211709 0
vsize: 846900
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 86491 57 0 0 25 0 11 0 477795210 867225600 29930 4294967295 134512640 134569956 3221224416 3221214832 1131420397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 29930 13073 16 0 211709 0
vsize: 846900
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 87490 57 0 0 25 0 11 0 477795210 867225600 29930 4294967295 134512640 134569956 3221224416 3221214856 1131377088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 29930 13073 16 0 211709 0
vsize: 846900
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 88476 57 0 0 25 0 11 0 477795210 867225600 30022 4294967295 134512640 134569956 3221224416 3221214856 1131377298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30022 13073 16 0 211709 0
vsize: 846900
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 89476 57 0 0 25 0 11 0 477795210 867225600 30022 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30022 13073 16 0 211709 0
vsize: 846900
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 90462 57 0 0 25 0 11 0 477795210 867225600 30183 4294967295 134512640 134569956 3221224416 3221214744 1131393173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30183 13073 16 0 211709 0
vsize: 846900
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 91449 57 0 0 25 0 11 0 477795210 867225600 30282 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30282 13073 16 0 211709 0
vsize: 846900
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 92449 57 0 0 25 0 11 0 477795210 867225600 30282 4294967295 134512640 134569956 3221224416 3221214856 1131377100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30282 13073 16 0 211709 0
vsize: 846900
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 93436 57 0 0 25 0 11 0 477795210 867225600 30360 4294967295 134512640 134569956 3221224416 3221214832 1131420195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30360 13073 16 0 211709 0
vsize: 846900
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 94422 57 0 0 25 0 11 0 477795210 867225600 30448 4294967295 134512640 134569956 3221224416 3221214856 1131376804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30448 13073 16 0 211709 0
vsize: 846900
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 95421 57 0 0 25 0 11 0 477795210 867225600 30448 4294967295 134512640 134569956 3221224416 3221214856 1131377298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30448 13073 16 0 211709 0
vsize: 846900
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 96407 58 0 0 25 0 11 0 477795210 867225600 30545 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30545 13073 16 0 211709 0
vsize: 846900
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 97393 58 0 0 25 0 11 0 477795210 867225600 30633 4294967295 134512640 134569956 3221224416 3221214856 1131376994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30633 13073 16 0 211709 0
vsize: 846900
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 98393 58 0 0 25 0 11 0 477795210 867225600 30633 4294967295 134512640 134569956 3221224416 3221214856 1131376807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30633 13073 16 0 211709 0
vsize: 846900
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 99379 58 0 0 25 0 11 0 477795210 867225600 30764 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30764 13073 16 0 211709 0
vsize: 846900
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 100367 58 0 0 25 0 11 0 477795210 867225600 30894 4294967295 134512640 134569956 3221224416 3221214856 1131377108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30894 13073 16 0 211709 0
vsize: 846900
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 101356 58 0 0 25 0 11 0 477795210 867225600 30981 4294967295 134512640 134569956 3221224416 3221214856 1131377112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 30981 13073 16 0 211709 0
vsize: 846900
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 102355 59 0 0 25 0 11 0 477795210 867225600 30981 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 30981 13073 16 0 211709 0
vsize: 846900
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 103344 59 0 0 25 0 11 0 477795210 867225600 31074 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31074 13073 16 0 211709 0
vsize: 846900
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 104333 59 0 0 25 0 11 0 477795210 867225600 31163 4294967295 134512640 134569956 3221224416 3221214856 1131377104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31163 13073 16 0 211709 0
vsize: 846900
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 105332 59 0 0 25 0 11 0 477795210 867225600 31163 4294967295 134512640 134569956 3221224416 3221214744 1131393159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31163 13073 16 0 211709 0
vsize: 846900
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 106320 59 0 0 25 0 11 0 477795210 867225600 31229 4294967295 134512640 134569956 3221224416 3221214744 1131383521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31229 13073 16 0 211709 0
vsize: 846900
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 107309 59 0 0 25 0 11 0 477795210 867225600 31332 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31332 13073 16 0 211709 0
vsize: 846900
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 108309 59 0 0 25 0 11 0 477795210 867225600 31332 4294967295 134512640 134569956 3221224416 3221214904 1131664499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31332 13073 16 0 211709 0
vsize: 846900
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 109297 59 0 0 25 0 11 0 477795210 867225600 31451 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31451 13073 16 0 211709 0
vsize: 846900
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 110286 60 0 0 25 0 11 0 477795210 867225600 31451 4294967295 134512640 134569956 3221224416 3221214856 1131377271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31451 13073 16 0 211709 0
vsize: 846900
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 111286 60 0 0 25 0 11 0 477795210 867225600 31451 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31451 13073 16 0 211709 0
vsize: 846900
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 112275 60 0 0 25 0 11 0 477795210 867225600 31563 4294967295 134512640 134569956 3221224416 3221214856 1131377007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31563 13073 16 0 211709 0
vsize: 846900
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 113263 60 0 0 25 0 11 0 477795210 867225600 31689 4294967295 134512640 134569956 3221224416 3221214856 1131377119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31689 13073 16 0 211709 0
vsize: 846900
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 114251 60 0 0 25 0 11 0 477795210 867225600 31755 4294967295 134512640 134569956 3221224416 3221214744 1131393173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 31755 13073 16 0 211709 0
vsize: 846900
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 115239 60 0 0 25 0 11 0 477795210 867225600 31858 4294967295 134512640 134569956 3221224416 3221214856 1131376800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31858 13073 16 0 211709 0
vsize: 846900
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 116238 60 0 0 25 0 11 0 477795210 867225600 31858 4294967295 134512640 134569956 3221224416 3221214856 1131376812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31858 13073 16 0 211709 0
vsize: 846900
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 117224 61 0 0 25 0 11 0 477795210 867225600 31939 4294967295 134512640 134569956 3221224416 3221214856 1131377284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 31939 13073 16 0 211709 0
vsize: 846900
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 118211 61 0 0 25 0 11 0 477795210 867225600 32086 4294967295 134512640 134569956 3221224416 3221214856 1131377021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32086 13073 16 0 211709 0
vsize: 846900
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 119211 61 0 0 25 0 11 0 477795210 867225600 32086 4294967295 134512640 134569956 3221224416 3221214576 1131502335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211725 32086 13073 16 0 211709 0
vsize: 846900
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23972
Raw data (stat): 23962 (java) R 23961 23176 23175 0 -1 0 18102 0 1 0 120199 61 0 0 25 0 11 0 477795210 867225600 32176 4294967295 134512640 134569956 3221224416 3221214856 1131376784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211725 32176 13073 16 0 211709 0
vsize: 846900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23974
Raw data (stat): 23962 (java) Z 23961 23176 23175 0 -1 1036 18102 10629 1 0 120204 61 1543 20 25 0 1 0 477795210 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.18
CPU time (s): 1218.3
CPU user time (s): 1217.48
CPU system time (s): 0.823874
CPU usage (%): 99.8457
Max. virtual memory (Kb): 853808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####