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.rf9.ucl.opb
MD5SUM	16020fb7e9a574406a9b7b25cd98594c
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	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.20806
Number of variables	11476
Total number of constraints	33090
Number of constraints which are clauses	32382
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	708
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4475

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-13 17:37:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2781 boxname=wulflinc28 idbench=309 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  16020fb7e9a574406a9b7b25cd98594c  /oldhome/oroussel/tmp/wulflinc28/normalized-ooo.rf9.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-ooo.rf9.ucl.opb
IDLAUNCH: 2781
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        914980 kB
Buffers:         33688 kB
Cached:          49812 kB
SwapCached:          4 kB
Active:          44956 kB
Inactive:        41376 kB
HighTotal:      131008 kB
HighFree:        77644 kB
LowTotal:       903652 kB
LowFree:        837336 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27804 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:58:18 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2781 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-ooo.rf9.ucl.opb
c reading problem 
c [nbvar=11476]
c [nbconstr=33090]
c time 65.385
c #vars     11476
c #clauses  33090
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.97 2/54 11394
Raw data (stat): 11394 (runsolver) R 11393 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477812324 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18008 0 1 0 799 43 0 0 25 0 10 0 477812324 856530944 21262 4294967295 134512640 134569956 3221224416 3221214448 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209114 21262 13073 16 0 209098 0
vsize: 836456
[startup+20.001 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18008 0 1 0 1664 43 0 0 25 0 10 0 477812324 856530944 21892 4294967295 134512640 134569956 3221224416 3221214672 1131155724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 21892 13073 16 0 209098 0
vsize: 836456
[startup+30.0013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) S 11393 10614 10613 0 -1 0 18008 0 1 0 2522 44 0 0 25 0 10 0 477812324 856530944 22390 4294967295 134512640 134569956 3221224416 3221213636 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 22390 13073 16 0 209098 0
vsize: 836456
[startup+40.0023 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) S 11393 10614 10613 0 -1 0 18008 0 1 0 3387 44 0 0 25 0 10 0 477812324 856530944 22796 4294967295 134512640 134569956 3221224416 3221213744 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 22796 13073 16 0 209098 0
vsize: 836456
[startup+50.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18008 0 1 0 4255 45 0 0 25 0 10 0 477812324 856530944 23239 4294967295 134512640 134569956 3221224416 3221214384 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 23239 13073 16 0 209098 0
vsize: 836456
[startup+60.0024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 11403
Raw data (stat): 11394 (java) S 11393 10614 10613 0 -1 0 18008 0 1 0 5119 45 0 0 25 0 10 0 477812324 856530944 23562 4294967295 134512640 134569956 3221224416 3221213640 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209114 23562 13073 16 0 209098 0
vsize: 836456
[startup+70.0033 s]
Raw data (loadavg): 1.00 1.00 0.97 4/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18081 0 1 0 5937 46 0 0 25 0 11 0 477812324 861581312 24820 4294967295 134512640 134569956 3221224416 3221213736 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210347 24820 13073 16 0 210331 0
vsize: 841388
[startup+80.0039 s]
Raw data (loadavg): 1.08 1.02 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18082 0 1 0 6907 46 0 0 25 0 11 0 477812324 859156480 24647 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 24647 13073 16 0 209739 0
vsize: 839020
[startup+90.0047 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18082 0 1 0 7905 47 0 0 25 0 11 0 477812324 859156480 24647 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 24647 13073 16 0 209739 0
vsize: 839020
[startup+100.005 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18082 0 1 0 8883 47 0 0 25 0 11 0 477812324 859156480 24947 4294967295 134512640 134569956 3221224416 3221214856 1131352884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 24947 13073 16 0 209739 0
vsize: 839020
[startup+110.005 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18082 0 1 0 9879 47 0 0 25 0 11 0 477812324 859156480 24948 4294967295 134512640 134569956 3221224416 3221214856 1131352806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 24948 13073 16 0 209739 0
vsize: 839020
[startup+120.005 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18083 0 1 0 10854 47 0 0 25 0 11 0 477812324 861253632 25521 4294967295 134512640 134569956 3221224416 3221214848 1131352899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 25521 13073 16 0 210251 0
vsize: 841068
[startup+130.005 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18083 0 1 0 11832 47 0 0 25 0 11 0 477812324 861253632 25700 4294967295 134512640 134569956 3221224416 3221214848 1131352896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25700 13073 16 0 210251 0
vsize: 841068
[startup+140.007 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18083 0 1 0 12811 47 0 0 25 0 11 0 477812324 859156480 25637 4294967295 134512640 134569956 3221224416 3221214848 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25637 13073 16 0 209739 0
vsize: 839020
[startup+150.008 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18083 0 1 0 13810 47 0 0 25 0 11 0 477812324 859156480 25642 4294967295 134512640 134569956 3221224416 3221214848 1131352619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 25642 13073 16 0 209739 0
vsize: 839020
[startup+160.007 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 14790 47 0 0 25 0 11 0 477812324 859156480 25644 4294967295 134512640 134569956 3221224416 3221214744 1131359089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25644 13073 16 0 209739 0
vsize: 839020
[startup+170.008 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 15790 47 0 0 25 0 11 0 477812324 859156480 25644 4294967295 134512640 134569956 3221224416 3221214856 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25644 13073 16 0 209739 0
vsize: 839020
[startup+180.009 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 16769 47 0 0 25 0 11 0 477812324 859156480 25644 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 25644 13073 16 0 209739 0
vsize: 839020
[startup+190.009 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 17768 48 0 0 25 0 11 0 477812324 859156480 25644 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 25644 13073 16 0 209739 0
vsize: 839020
[startup+200.01 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 18748 48 0 0 25 0 11 0 477812324 859156480 25644 4294967295 134512640 134569956 3221224416 3221214856 1131352604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25644 13073 16 0 209739 0
vsize: 839020
[startup+210.01 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 19726 48 0 0 25 0 11 0 477812324 859156480 25720 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25720 13073 16 0 209739 0
vsize: 839020
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 20726 48 0 0 25 0 11 0 477812324 859156480 25720 4294967295 134512640 134569956 3221224416 3221214856 1131352821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25720 13073 16 0 209739 0
vsize: 839020
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 21705 48 0 0 25 0 11 0 477812324 859156480 25832 4294967295 134512640 134569956 3221224416 3221214856 1131352628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 25832 13073 16 0 209739 0
vsize: 839020
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 22683 48 0 0 25 0 11 0 477812324 859156480 25936 4294967295 134512640 134569956 3221224416 3221214856 1131352903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25936 13073 16 0 209739 0
vsize: 839020
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 23665 48 0 0 25 0 11 0 477812324 859156480 25936 4294967295 134512640 134569956 3221224416 3221214856 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25936 13073 16 0 209739 0
vsize: 839020
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) S 11393 10614 10613 0 -1 0 18084 0 1 0 24644 48 0 0 25 0 11 0 477812324 859156480 25952 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 25953 13073 16 0 209739 0
vsize: 839020
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 25609 48 0 0 25 0 11 0 477812324 859156480 26108 4294967295 134512640 134569956 3221224416 3221214904 1131579742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26108 13073 16 0 209739 0
vsize: 839020
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 26591 48 0 0 25 0 11 0 477812324 859156480 26108 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26108 13073 16 0 209739 0
vsize: 839020
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 27591 48 0 0 25 0 11 0 477812324 859156480 26108 4294967295 134512640 134569956 3221224416 3221214856 1131352901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26108 13073 16 0 209739 0
vsize: 839020
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 28573 48 0 0 25 0 11 0 477812324 859156480 26108 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26108 13073 16 0 209739 0
vsize: 839020
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 29573 48 0 0 25 0 11 0 477812324 859156480 26108 4294967295 134512640 134569956 3221224416 3221214904 1131579738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26108 13073 16 0 209739 0
vsize: 839020
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 30554 48 0 0 25 0 11 0 477812324 859156480 26159 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26159 13073 16 0 209739 0
vsize: 839020
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 31553 48 0 0 25 0 11 0 477812324 859156480 26159 4294967295 134512640 134569956 3221224416 3221214744 1131359089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26159 13073 16 0 209739 0
vsize: 839020
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 32534 48 0 0 25 0 11 0 477812324 859156480 26285 4294967295 134512640 134569956 3221224416 3221214856 1131436275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 26285 13073 16 0 209739 0
vsize: 839020
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 33514 48 0 0 25 0 11 0 477812324 859156480 26355 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26355 13073 16 0 209739 0
vsize: 839020
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 34493 48 0 0 25 0 11 0 477812324 859156480 26500 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 26500 13073 16 0 209739 0
vsize: 839020
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 35493 49 0 0 25 0 11 0 477812324 859156480 26500 4294967295 134512640 134569956 3221224416 3221214904 1131579884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26500 13073 16 0 209739 0
vsize: 839020
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 36474 49 0 0 25 0 11 0 477812324 859156480 26500 4294967295 134512640 134569956 3221224416 3221214856 1131352899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 26500 13073 16 0 209739 0
vsize: 839020
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 37455 49 0 0 25 0 11 0 477812324 859156480 26611 4294967295 134512640 134569956 3221224416 3221214856 1131352619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26611 13073 16 0 209739 0
vsize: 839020
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 38455 49 0 0 25 0 11 0 477812324 859156480 26611 4294967295 134512640 134569956 3221224416 3221214856 1131352903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26611 13073 16 0 209739 0
vsize: 839020
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 39436 49 0 0 25 0 11 0 477812324 859156480 26735 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26735 13073 16 0 209739 0
vsize: 839020
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 40436 49 0 0 25 0 11 0 477812324 859156480 26735 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26735 13073 16 0 209739 0
vsize: 839020
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 41417 49 0 0 25 0 11 0 477812324 859156480 26877 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26877 13073 16 0 209739 0
vsize: 839020
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 42417 49 0 0 25 0 11 0 477812324 859156480 26877 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 26877 13073 16 0 209739 0
vsize: 839020
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 43399 49 0 0 25 0 11 0 477812324 859156480 27015 4294967295 134512640 134569956 3221224416 3221214856 1131352901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27015 13073 16 0 209739 0
vsize: 839020
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 44381 49 0 0 25 0 11 0 477812324 859156480 27015 4294967295 134512640 134569956 3221224416 3221214856 1131352823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27015 13073 16 0 209739 0
vsize: 839020
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 45381 49 0 0 25 0 11 0 477812324 859156480 27015 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27015 13073 16 0 209739 0
vsize: 839020
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 46363 49 0 0 25 0 11 0 477812324 859156480 27148 4294967295 134512640 134569956 3221224416 3221214856 1131352903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27148 13073 16 0 209739 0
vsize: 839020
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 47345 49 0 0 25 0 11 0 477812324 859156480 27298 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27298 13073 16 0 209739 0
vsize: 839020
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 48344 50 0 0 25 0 11 0 477812324 859156480 27298 4294967295 134512640 134569956 3221224416 3221214744 1131359981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27298 13073 16 0 209739 0
vsize: 839020
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 49327 50 0 0 25 0 11 0 477812324 859156480 27298 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27298 13073 16 0 209739 0
vsize: 839020
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 50309 50 0 0 25 0 11 0 477812324 859156480 27417 4294967295 134512640 134569956 3221224416 3221214744 1131360018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27417 13073 16 0 209739 0
vsize: 839020
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 51292 50 0 0 25 0 11 0 477812324 859156480 27493 4294967295 134512640 134569956 3221224416 3221214856 1131352604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27493 13073 16 0 209739 0
vsize: 839020
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 52292 50 0 0 25 0 11 0 477812324 859156480 27493 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27493 13073 16 0 209739 0
vsize: 839020
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 53275 50 0 0 25 0 11 0 477812324 859156480 27568 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 27568 13073 16 0 209739 0
vsize: 839020
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 54257 50 0 0 25 0 11 0 477812324 859156480 27674 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27674 13073 16 0 209739 0
vsize: 839020
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 55242 50 0 0 25 0 11 0 477812324 859156480 27758 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27758 13073 16 0 209739 0
vsize: 839020
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 56242 50 0 0 25 0 11 0 477812324 859156480 27758 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27758 13073 16 0 209739 0
vsize: 839020
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 57226 50 0 0 25 0 11 0 477812324 859156480 27794 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27794 13073 16 0 209739 0
vsize: 839020
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 58225 50 0 0 25 0 11 0 477812324 859156480 27794 4294967295 134512640 134569956 3221224416 3221214856 1131352903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 27794 13073 16 0 209739 0
vsize: 839020
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 59208 50 0 0 25 0 11 0 477812324 859156480 28007 4294967295 134512640 134569956 3221224416 3221214752 1131290935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28007 13073 16 0 209739 0
vsize: 839020
[startup+620.028 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 60192 50 0 0 25 0 11 0 477812324 859156480 28115 4294967295 134512640 134569956 3221224416 3221214856 1131352619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28115 13073 16 0 209739 0
vsize: 839020
[startup+630.029 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 61176 50 0 0 25 0 11 0 477812324 859156480 28115 4294967295 134512640 134569956 3221224416 3221214856 1131353053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28115 13073 16 0 209739 0
vsize: 839020
[startup+640.03 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 62159 50 0 0 25 0 11 0 477812324 859156480 28191 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28191 13073 16 0 209739 0
vsize: 839020
[startup+650.03 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 63143 50 0 0 25 0 11 0 477812324 859156480 28253 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28253 13073 16 0 209739 0
vsize: 839020
[startup+660.03 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 64125 50 0 0 25 0 11 0 477812324 859156480 28402 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28402 13073 16 0 209739 0
vsize: 839020
[startup+670.031 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 65126 50 0 0 25 0 11 0 477812324 859156480 28402 4294967295 134512640 134569956 3221224416 3221214744 1131360024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28402 13073 16 0 209739 0
vsize: 839020
[startup+680.03 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 66110 50 0 0 25 0 11 0 477812324 859156480 28402 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28402 13073 16 0 209739 0
vsize: 839020
[startup+690.031 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 67094 50 0 0 25 0 11 0 477812324 859156480 28559 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28559 13073 16 0 209739 0
vsize: 839020
[startup+700.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 68094 50 0 0 25 0 11 0 477812324 859156480 28559 4294967295 134512640 134569956 3221224416 3221214856 1131353053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 28559 13073 16 0 209739 0
vsize: 839020
[startup+710.031 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 69078 50 0 0 25 0 11 0 477812324 859156480 28559 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28559 13073 16 0 209739 0
vsize: 839020
[startup+720.032 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 70078 50 0 0 25 0 11 0 477812324 859156480 28559 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28559 13073 16 0 209739 0
vsize: 839020
[startup+730.032 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 71062 50 0 0 25 0 11 0 477812324 859156480 28700 4294967295 134512640 134569956 3221224416 3221214744 1131359087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28700 13073 16 0 209739 0
vsize: 839020
[startup+740.032 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 72047 50 0 0 25 0 11 0 477812324 859156480 28796 4294967295 134512640 134569956 3221224416 3221214856 1131352819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28796 13073 16 0 209739 0
vsize: 839020
[startup+750.032 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 73032 50 0 0 25 0 11 0 477812324 859156480 28796 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28796 13073 16 0 209739 0
vsize: 839020
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 74032 50 0 0 25 0 11 0 477812324 859156480 28796 4294967295 134512640 134569956 3221224416 3221214856 1131352903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28796 13073 16 0 209739 0
vsize: 839020
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 75016 50 0 0 25 0 11 0 477812324 859156480 28897 4294967295 134512640 134569956 3221224416 3221214856 1131352831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28897 13073 16 0 209739 0
vsize: 839020
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 76001 50 0 0 25 0 11 0 477812324 859156480 28990 4294967295 134512640 134569956 3221224416 3221214744 1131359117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28990 13073 16 0 209739 0
vsize: 839020
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 77001 50 0 0 25 0 11 0 477812324 859156480 28990 4294967295 134512640 134569956 3221224416 3221214856 1131352619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 28990 13073 16 0 209739 0
vsize: 839020
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 77986 50 0 0 25 0 11 0 477812324 859156480 29038 4294967295 134512640 134569956 3221224416 3221214856 1131352831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209755 29038 13073 16 0 209739 0
vsize: 839020
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 78969 51 0 0 25 0 11 0 477812324 859156480 29143 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29143 13073 16 0 209739 0
vsize: 839020
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 79969 51 0 0 25 0 11 0 477812324 859156480 29143 4294967295 134512640 134569956 3221224416 3221214744 1131359100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29143 13073 16 0 209739 0
vsize: 839020
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 80955 51 0 0 25 0 11 0 477812324 859156480 29247 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29247 13073 16 0 209739 0
vsize: 839020
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 81941 51 0 0 25 0 11 0 477812324 859156480 29247 4294967295 134512640 134569956 3221224416 3221214856 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29247 13073 16 0 209739 0
vsize: 839020
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 82926 51 0 0 25 0 11 0 477812324 859156480 29319 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29319 13073 16 0 209739 0
vsize: 839020
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 83912 51 0 0 25 0 11 0 477812324 859156480 29319 4294967295 134512640 134569956 3221224416 3221214856 1131352884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29319 13073 16 0 209739 0
vsize: 839020
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 84897 51 0 0 25 0 11 0 477812324 859156480 29387 4294967295 134512640 134569956 3221224416 3221214856 1131352831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29387 13073 16 0 209739 0
vsize: 839020
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 85882 51 0 0 25 0 11 0 477812324 859156480 29485 4294967295 134512640 134569956 3221224416 3221214856 1131353053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29485 13073 16 0 209739 0
vsize: 839020
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 86882 51 0 0 25 0 11 0 477812324 859156480 29485 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29485 13073 16 0 209739 0
vsize: 839020
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.99 3/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 87871 51 0 0 25 0 11 0 477812324 859156480 29485 4294967295 134512640 134569956 3221224416 3221214856 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209755 29485 13073 16 0 209739 0
vsize: 839020
[startup+910.067 s]
Raw data (loadavg): 1.15 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 88871 51 0 0 25 0 11 0 477812324 863350784 30369 4294967295 134512640 134569956 3221224416 3221214856 1131352726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210779 30369 13073 16 0 210763 0
vsize: 843116
[startup+920.068 s]
Raw data (loadavg): 1.13 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 89856 51 0 0 25 0 11 0 477812324 863350784 30522 4294967295 134512640 134569956 3221224416 3221214856 1131352619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30522 13073 16 0 210763 0
vsize: 843116
[startup+930.068 s]
Raw data (loadavg): 1.11 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 90841 51 0 0 25 0 11 0 477812324 863350784 30522 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30522 13073 16 0 210763 0
vsize: 843116
[startup+940.068 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 91823 51 0 0 25 0 11 0 477812324 863350784 30650 4294967295 134512640 134569956 3221224416 3221214856 1131352896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30650 13073 16 0 210763 0
vsize: 843116
[startup+950.069 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 92806 51 0 0 25 0 11 0 477812324 863350784 30803 4294967295 134512640 134569956 3221224416 3221214856 1131352823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30803 13073 16 0 210763 0
vsize: 843116
[startup+960.068 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 93806 51 0 0 25 0 11 0 477812324 863350784 30803 4294967295 134512640 134569956 3221224416 3221214856 1131352899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30803 13073 16 0 210763 0
vsize: 843116
[startup+970.069 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 94790 51 0 0 25 0 11 0 477812324 863350784 30893 4294967295 134512640 134569956 3221224416 3221214856 1131352821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 30893 13073 16 0 210763 0
vsize: 843116
[startup+980.069 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 95773 52 0 0 25 0 11 0 477812324 863350784 31042 4294967295 134512640 134569956 3221224416 3221214688 1131212120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31042 13073 16 0 210763 0
vsize: 843116
[startup+990.068 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 96773 52 0 0 25 0 11 0 477812324 863350784 31042 4294967295 134512640 134569956 3221224416 3221214856 1131352604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31042 13073 16 0 210763 0
vsize: 843116
[startup+1000.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 97756 52 0 0 25 0 11 0 477812324 863350784 31202 4294967295 134512640 134569956 3221224416 3221214856 1131353061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31202 13073 16 0 210763 0
vsize: 843116
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) S 11393 10614 10613 0 -1 0 18084 0 1 0 98744 52 0 0 25 0 11 0 477812324 863350784 31341 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31341 13073 16 0 210763 0
vsize: 843116
[startup+1020.07 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 99741 52 0 0 25 0 11 0 477812324 863350784 31362 4294967295 134512640 134569956 3221224416 3221214720 1131144089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31362 13073 16 0 210763 0
vsize: 843116
[startup+1030.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 100727 52 0 0 25 0 11 0 477812324 863350784 31362 4294967295 134512640 134569956 3221224416 3221214744 1131359089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210779 31362 13073 16 0 210763 0
vsize: 843116
[startup+1040.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 101712 52 0 0 25 0 11 0 477812324 863350784 31456 4294967295 134512640 134569956 3221224416 3221214856 1131352619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31456 13073 16 0 210763 0
vsize: 843116
[startup+1050.07 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 102712 52 0 0 25 0 11 0 477812324 863350784 31456 4294967295 134512640 134569956 3221224416 3221214856 1131353053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31456 13073 16 0 210763 0
vsize: 843116
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 103697 52 0 0 25 0 11 0 477812324 863350784 31596 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31596 13073 16 0 210763 0
vsize: 843116
[startup+1070.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 104697 52 0 0 25 0 11 0 477812324 863350784 31596 4294967295 134512640 134569956 3221224416 3221214780 1080203754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210779 31596 13073 16 0 210763 0
vsize: 843116
[startup+1080.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18084 0 1 0 105683 52 0 0 25 0 11 0 477812324 863350784 31596 4294967295 134512640 134569956 3221224416 3221214784 1131393954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31596 13073 16 0 210763 0
vsize: 843116
[startup+1090.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 106666 52 0 0 25 0 11 0 477812324 863350784 31776 4294967295 134512640 134569956 3221224416 3221214856 1131352831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 31776 13073 16 0 210763 0
vsize: 843116
[startup+1100.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 107649 52 0 0 25 0 11 0 477812324 863350784 32092 4294967295 134512640 134569956 3221224416 3221214856 1131352604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32092 13073 16 0 210763 0
vsize: 843116
[startup+1110.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 108649 52 0 0 25 0 11 0 477812324 863350784 32092 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32092 13073 16 0 210763 0
vsize: 843116
[startup+1120.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 109634 52 0 0 25 0 11 0 477812324 863350784 32092 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32092 13073 16 0 210763 0
vsize: 843116
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 110617 52 0 0 25 0 11 0 477812324 863350784 32256 4294967295 134512640 134569956 3221224416 3221214904 1131573442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32256 13073 16 0 210763 0
vsize: 843116
[startup+1140.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 111617 52 0 0 25 0 11 0 477812324 863350784 32256 4294967295 134512640 134569956 3221224416 3221214688 1131211042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210779 32256 13073 16 0 210763 0
vsize: 843116
[startup+1150.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 112600 53 0 0 25 0 11 0 477812324 863350784 32627 4294967295 134512640 134569956 3221224416 3221214856 1131352884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32627 13073 16 0 210763 0
vsize: 843116
[startup+1160.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 113586 53 0 0 25 0 11 0 477812324 863350784 32627 4294967295 134512640 134569956 3221224416 3221214856 1131352592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210779 32627 13073 16 0 210763 0
vsize: 843116
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 114570 53 0 0 25 0 11 0 477812324 863350784 32701 4294967295 134512640 134569956 3221224416 3221214856 1131352612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32701 13073 16 0 210763 0
vsize: 843116
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 115555 53 0 0 25 0 11 0 477812324 863350784 32853 4294967295 134512640 134569956 3221224416 3221214856 1131352831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32853 13073 16 0 210763 0
vsize: 843116
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 116555 53 0 0 25 0 11 0 477812324 863350784 32853 4294967295 134512640 134569956 3221224416 3221214688 1131211365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 32853 13073 16 0 210763 0
vsize: 843116
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 117540 53 0 0 25 0 11 0 477812324 863350784 33053 4294967295 134512640 134569956 3221224416 3221214856 1131353053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 33053 13073 16 0 210763 0
vsize: 843116
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 118527 53 0 0 25 0 11 0 477812324 863350784 33053 4294967295 134512640 134569956 3221224416 3221214856 1131353043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 33053 13073 16 0 210763 0
vsize: 843116
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 119527 53 0 0 25 0 11 0 477812324 863350784 33053 4294967295 134512640 134569956 3221224416 3221214856 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 33053 13073 16 0 210763 0
vsize: 843116
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11404
Raw data (stat): 11394 (java) R 11393 10614 10613 0 -1 0 18085 0 1 0 120510 53 0 0 25 0 11 0 477812324 863350784 33175 4294967295 134512640 134569956 3221224416 3221214856 1131352899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210779 33175 13073 16 0 210763 0
vsize: 843116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 11406
Raw data (stat): 11394 (java) Z 11393 10614 10613 0 -1 1036 18085 12522 1 0 120511 53 2207 25 25 0 1 0 477812324 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): 1230.16
CPU time (s): 1227.98
CPU user time (s): 1227.19
CPU system time (s): 0.791879
CPU usage (%): 99.8232
Max. virtual memory (Kb): 843116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####