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.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 4470

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        901316 kB
Buffers:         32468 kB
Cached:          80120 kB
SwapCached:        564 kB
Active:          62184 kB
Inactive:        53868 kB
HighTotal:      131008 kB
HighFree:        46900 kB
LowTotal:       903652 kB
LowFree:        854416 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11644 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:54:37 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2718 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
c reading problem 
c [nbvar=168111]
c [nbconstr=487525]
#### 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.93 0.98 0.97 2/54 31742
Raw data (stat): 31742 (runsolver) R 31741 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419554505 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 802 45 0 0 21 0 10 0 419554505 854831104 20492 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 20492 13073 16 0 208683 0
vsize: 834796
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 1672 45 0 0 18 0 10 0 419554505 854708224 21224 4294967295 134512640 134569956 3221224400 3221214568 1131154234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 21224 13073 16 0 208653 0
vsize: 834676
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 2538 46 0 0 20 0 10 0 419554505 854708224 21784 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21784 13073 16 0 208653 0
vsize: 834676
[startup+40.0046 s]
Raw data (loadavg): 0.96 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 3402 46 0 0 22 0 10 0 419554505 854708224 22180 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22180 13073 16 0 208653 0
vsize: 834676
[startup+50.006 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 4266 46 0 0 17 0 10 0 419554505 854708224 22575 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22575 13073 16 0 208653 0
vsize: 834676
[startup+60.0068 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 5138 46 0 0 17 0 10 0 419554505 854708224 22865 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22865 13073 16 0 208653 0
vsize: 834676
[startup+70.007 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 6012 46 0 0 19 0 10 0 419554505 854708224 23122 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 23122 13073 16 0 208653 0
vsize: 834676
[startup+80.0081 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 6887 46 0 0 22 0 10 0 419554505 854708224 23493 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 23493 13073 16 0 208653 0
vsize: 834676
[startup+90.0121 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 7753 47 0 0 16 0 10 0 419554505 854708224 23746 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23746 13073 16 0 208653 0
vsize: 834676
[startup+100.015 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 8627 47 0 0 16 0 10 0 419554505 854708224 24000 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24000 13073 16 0 208653 0
vsize: 834676
[startup+110.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 9508 48 0 0 16 0 10 0 419554505 854708224 24343 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24343 13073 16 0 208653 0
vsize: 834676
[startup+120.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 10388 48 0 0 16 0 10 0 419554505 854708224 24583 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24583 13073 16 0 208653 0
vsize: 834676
[startup+130.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 11277 48 0 0 16 0 10 0 419554505 854708224 24802 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24802 13073 16 0 208653 0
vsize: 834676
[startup+140.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 12169 49 0 0 16 0 10 0 419554505 854708224 25007 4294967295 134512640 134569956 3221224400 3221214560 1131154297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25007 13073 16 0 208653 0
vsize: 834676
[startup+150.028 s]
Raw data (loadavg): 1.06 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 13063 49 0 0 16 0 10 0 419554505 854708224 25213 4294967295 134512640 134569956 3221224400 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25213 13073 16 0 208653 0
vsize: 834676
[startup+160.027 s]
Raw data (loadavg): 1.05 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 13957 50 0 0 16 0 10 0 419554505 854708224 25406 4294967295 134512640 134569956 3221224400 3221214520 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25406 13073 16 0 208653 0
vsize: 834676
[startup+170.029 s]
Raw data (loadavg): 1.05 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 14844 50 0 0 16 0 10 0 419554505 854708224 25601 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25601 13073 16 0 208653 0
vsize: 834676
[startup+180.032 s]
Raw data (loadavg): 1.04 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 15731 50 0 0 16 0 10 0 419554505 854708224 25792 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25792 13073 16 0 208653 0
vsize: 834676
[startup+190.035 s]
Raw data (loadavg): 1.03 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 16622 50 0 0 16 0 10 0 419554505 854708224 26071 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26071 13073 16 0 208653 0
vsize: 834676
[startup+200.035 s]
Raw data (loadavg): 1.03 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 17527 51 0 0 16 0 10 0 419554505 854708224 26246 4294967295 134512640 134569956 3221224400 3221213912 1076877605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26246 13073 16 0 208653 0
vsize: 834676
[startup+210.04 s]
Raw data (loadavg): 1.02 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 18434 51 0 0 16 0 10 0 419554505 854708224 26389 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 26389 13073 16 0 208653 0
vsize: 834676
[startup+220.041 s]
Raw data (loadavg): 1.09 1.02 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 19332 51 0 0 16 0 10 0 419554505 854708224 26553 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26553 13073 16 0 208653 0
vsize: 834676
[startup+230.043 s]
Raw data (loadavg): 1.08 1.02 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 20237 52 0 0 16 0 10 0 419554505 854708224 26714 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26714 13073 16 0 208653 0
vsize: 834676
[startup+240.045 s]
Raw data (loadavg): 1.06 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 21145 52 0 0 16 0 10 0 419554505 854708224 26867 4294967295 134512640 134569956 3221224400 3221214560 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26867 13073 16 0 208653 0
vsize: 834676
[startup+250.045 s]
Raw data (loadavg): 1.05 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 22049 52 0 0 16 0 10 0 419554505 854708224 27024 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 27024 13073 16 0 208653 0
vsize: 834676
[startup+260.045 s]
Raw data (loadavg): 1.05 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 22960 52 0 0 16 0 10 0 419554505 854708224 27165 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 27165 13073 16 0 208653 0
vsize: 834676
[startup+270.049 s]
Raw data (loadavg): 1.04 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 23860 52 0 0 16 0 10 0 419554505 854708224 27292 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 27292 13073 16 0 208653 0
vsize: 834676
[startup+280.053 s]
Raw data (loadavg): 1.03 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 24746 53 0 0 16 0 10 0 419554505 854708224 27436 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 27436 13073 16 0 208653 0
vsize: 834676
[startup+290.054 s]
Raw data (loadavg): 1.03 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 25643 53 0 0 16 0 10 0 419554505 854708224 27585 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 27585 13073 16 0 208653 0
vsize: 834676
[startup+300.055 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 26552 53 0 0 16 0 10 0 419554505 854708224 27873 4294967295 134512640 134569956 3221224400 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 27873 13073 16 0 208653 0
vsize: 834676
[startup+310.056 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 27455 54 0 0 16 0 10 0 419554505 854708224 28019 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 28019 13073 16 0 208653 0
vsize: 834676
[startup+320.057 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 28367 54 0 0 16 0 10 0 419554505 854708224 28141 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28141 13073 16 0 208653 0
vsize: 834676
[startup+330.058 s]
Raw data (loadavg): 1.01 1.01 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 29277 54 0 0 16 0 10 0 419554505 854708224 28261 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28261 13073 16 0 208653 0
vsize: 834676
[startup+340.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 30182 55 0 0 16 0 10 0 419554505 854708224 28394 4294967295 134512640 134569956 3221224400 3221214344 1077559942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28394 13073 16 0 208653 0
vsize: 834676
[startup+350.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 31094 55 0 0 16 0 10 0 419554505 854708224 28509 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28509 13073 16 0 208653 0
vsize: 834676
[startup+360.061 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 31999 55 0 0 16 0 10 0 419554505 854708224 28631 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28631 13073 16 0 208653 0
vsize: 834676
[startup+370.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 32908 55 0 0 16 0 10 0 419554505 854708224 28754 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28754 13073 16 0 208653 0
vsize: 834676
[startup+380.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 33826 55 0 0 16 0 10 0 419554505 854708224 28865 4294967295 134512640 134569956 3221224400 3221214560 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 28865 13073 16 0 208653 0
vsize: 834676
[startup+390.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 34738 55 0 0 16 0 10 0 419554505 854708224 28963 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 28963 13073 16 0 208653 0
vsize: 834676
[startup+400.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 35654 56 0 0 16 0 10 0 419554505 854708224 29065 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29065 13073 16 0 208653 0
vsize: 834676
[startup+410.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 36563 56 0 0 16 0 10 0 419554505 854708224 29163 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29163 13073 16 0 208653 0
vsize: 834676
[startup+420.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 37471 56 0 0 16 0 10 0 419554505 854708224 29282 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29282 13073 16 0 208653 0
vsize: 834676
[startup+430.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 38383 56 0 0 16 0 10 0 419554505 854708224 29388 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29388 13073 16 0 208653 0
vsize: 834676
[startup+440.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 39300 56 0 0 16 0 10 0 419554505 854708224 29483 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 29483 13073 16 0 208653 0
vsize: 834676
[startup+450.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 40209 57 0 0 16 0 10 0 419554505 854708224 29577 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29577 13073 16 0 208653 0
vsize: 834676
[startup+460.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 41122 57 0 0 16 0 10 0 419554505 854708224 29672 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29672 13073 16 0 208653 0
vsize: 834676
[startup+470.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 42036 57 0 0 16 0 10 0 419554505 854708224 29772 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29772 13073 16 0 208653 0
vsize: 834676
[startup+480.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 42941 57 0 0 16 0 10 0 419554505 854708224 29876 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29876 13073 16 0 208653 0
vsize: 834676
[startup+490.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 43851 58 0 0 16 0 10 0 419554505 854708224 29976 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 29976 13073 16 0 208653 0
vsize: 834676
[startup+500.086 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 44761 58 0 0 16 0 10 0 419554505 854708224 30077 4294967295 134512640 134569956 3221224400 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30077 13073 16 0 208653 0
vsize: 834676
[startup+510.086 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 45672 58 0 0 16 0 10 0 419554505 854708224 30179 4294967295 134512640 134569956 3221224400 3221214560 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30179 13073 16 0 208653 0
vsize: 834676
[startup+520.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 46580 58 0 0 16 0 10 0 419554505 854708224 30284 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30284 13073 16 0 208653 0
vsize: 834676
[startup+530.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 47486 58 0 0 16 0 10 0 419554505 854708224 30392 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30392 13073 16 0 208653 0
vsize: 834676
[startup+540.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 48397 58 0 0 16 0 10 0 419554505 854708224 30491 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30491 13073 16 0 208653 0
vsize: 834676
[startup+550.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 49308 59 0 0 16 0 10 0 419554505 854708224 30588 4294967295 134512640 134569956 3221224400 3221214560 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30588 13073 16 0 208653 0
vsize: 834676
[startup+560.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 50219 59 0 0 16 0 10 0 419554505 854708224 30686 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30686 13073 16 0 208653 0
vsize: 834676
[startup+570.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 51129 59 0 0 16 0 10 0 419554505 854708224 30782 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 30782 13073 16 0 208653 0
vsize: 834676
[startup+580.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 52037 59 0 0 16 0 10 0 419554505 854708224 30879 4294967295 134512640 134569956 3221224400 3221213368 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 30879 13073 16 0 208653 0
vsize: 834676
[startup+590.103 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 52935 60 0 0 16 0 10 0 419554505 854708224 31019 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31019 13073 16 0 208653 0
vsize: 834676
[startup+600.109 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 53837 60 0 0 16 0 10 0 419554505 854708224 31129 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31129 13073 16 0 208653 0
vsize: 834676
[startup+610.111 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 54733 60 0 0 16 0 10 0 419554505 854708224 31359 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31359 13073 16 0 208653 0
vsize: 834676
[startup+620.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 55643 61 0 0 16 0 10 0 419554505 854708224 31453 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31453 13073 16 0 208653 0
vsize: 834676
[startup+630.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 56552 61 0 0 16 0 10 0 419554505 854708224 31543 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31543 13073 16 0 208653 0
vsize: 834676
[startup+640.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 57462 61 0 0 16 0 10 0 419554505 854708224 31632 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 31632 13073 16 0 208653 0
vsize: 834676
[startup+650.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 58373 62 0 0 16 0 10 0 419554505 854708224 31722 4294967295 134512640 134569956 3221224400 3221214520 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 31722 13073 16 0 208653 0
vsize: 834676
[startup+660.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 59284 62 0 0 16 0 10 0 419554505 854708224 31810 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 31810 13073 16 0 208653 0
vsize: 834676
[startup+670.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 60195 62 0 0 17 0 10 0 419554505 854708224 31891 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 31891 13073 16 0 208653 0
vsize: 834676
[startup+680.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 61105 62 0 0 17 0 10 0 419554505 854708224 31982 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 31982 13073 16 0 208653 0
vsize: 834676
[startup+690.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 62009 63 0 0 16 0 10 0 419554505 854708224 32072 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32072 13073 16 0 208653 0
vsize: 834676
[startup+700.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 62920 63 0 0 16 0 10 0 419554505 854708224 32154 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32154 13073 16 0 208653 0
vsize: 834676
[startup+710.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 63831 63 0 0 16 0 10 0 419554505 854708224 32235 4294967295 134512640 134569956 3221224400 3221214816 1131307352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 32235 13073 16 0 208653 0
vsize: 834676
[startup+720.132 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 64741 63 0 0 16 0 10 0 419554505 854708224 32315 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32315 13073 16 0 208653 0
vsize: 834676
[startup+730.132 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 65652 63 0 0 16 0 10 0 419554505 854708224 32398 4294967295 134512640 134569956 3221224400 3221214600 1131194969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32398 13073 16 0 208653 0
vsize: 834676
[startup+740.133 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 66562 64 0 0 16 0 10 0 419554505 854708224 32483 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32483 13073 16 0 208653 0
vsize: 834676
[startup+750.136 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 67472 64 0 0 16 0 10 0 419554505 854708224 32565 4294967295 134512640 134569956 3221224400 3221213756 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32565 13073 16 0 208653 0
vsize: 834676
[startup+760.136 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 68380 64 0 0 16 0 10 0 419554505 854708224 32644 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32644 13073 16 0 208653 0
vsize: 834676
[startup+770.137 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 69281 64 0 0 16 0 10 0 419554505 854708224 32725 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32725 13073 16 0 208653 0
vsize: 834676
[startup+780.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 70196 65 0 0 16 0 10 0 419554505 854708224 32807 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32807 13073 16 0 208653 0
vsize: 834676
[startup+790.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 71098 65 0 0 16 0 10 0 419554505 854708224 32896 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32896 13073 16 0 208653 0
vsize: 834676
[startup+800.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 72004 65 0 0 16 0 10 0 419554505 854708224 32979 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 32979 13073 16 0 208653 0
vsize: 834676
[startup+810.145 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 72919 65 0 0 16 0 10 0 419554505 854708224 33053 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 33053 13073 16 0 208653 0
vsize: 834676
[startup+820.145 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 73826 65 0 0 16 0 10 0 419554505 854708224 33116 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33116 13073 16 0 208653 0
vsize: 834676
[startup+830.145 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 74736 65 0 0 16 0 10 0 419554505 854708224 33181 4294967295 134512640 134569956 3221224400 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 33181 13073 16 0 208653 0
vsize: 834676
[startup+840.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 75646 65 0 0 16 0 10 0 419554505 854708224 33250 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 33250 13073 16 0 208653 0
vsize: 834676
[startup+850.151 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 76554 65 0 0 16 0 10 0 419554505 854708224 33320 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33320 13073 16 0 208653 0
vsize: 834676
[startup+860.151 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 77461 66 0 0 16 0 10 0 419554505 854708224 33395 4294967295 134512640 134569956 3221224400 3221214520 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33395 13073 16 0 208653 0
vsize: 834676
[startup+870.152 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 78369 66 0 0 16 0 10 0 419554505 854708224 33473 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33473 13073 16 0 208653 0
vsize: 834676
[startup+880.152 s]
Raw data (loadavg): 1.07 1.02 0.99 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 79277 66 0 0 16 0 10 0 419554505 854708224 33547 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33547 13073 16 0 208653 0
vsize: 834676
[startup+890.154 s]
Raw data (loadavg): 1.06 1.02 0.99 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 80184 66 0 0 16 0 10 0 419554505 854708224 33623 4294967295 134512640 134569956 3221224400 3221214560 1131154243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33623 13073 16 0 208653 0
vsize: 834676
[startup+900.154 s]
Raw data (loadavg): 1.05 1.01 0.99 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 81092 67 0 0 16 0 10 0 419554505 854708224 33700 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33700 13073 16 0 208653 0
vsize: 834676
[startup+910.155 s]
Raw data (loadavg): 1.12 1.03 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 81999 67 0 0 16 0 10 0 419554505 854708224 33776 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33776 13073 16 0 208653 0
vsize: 834676
[startup+920.155 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 82913 67 0 0 16 0 10 0 419554505 854708224 33844 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33844 13073 16 0 208653 0
vsize: 834676
[startup+930.156 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 83819 67 0 0 16 0 10 0 419554505 854708224 33919 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 33919 13073 16 0 208653 0
vsize: 834676
[startup+940.16 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 84726 67 0 0 16 0 10 0 419554505 854708224 33995 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 33995 13073 16 0 208653 0
vsize: 834676
[startup+950.161 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 85631 67 0 0 16 0 10 0 419554505 854708224 34069 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 34069 13073 16 0 208653 0
vsize: 834676
[startup+960.163 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 86537 68 0 0 16 0 10 0 419554505 854708224 34142 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34142 13073 16 0 208653 0
vsize: 834676
[startup+970.163 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 87443 68 0 0 16 0 10 0 419554505 854708224 34213 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34213 13073 16 0 208653 0
vsize: 834676
[startup+980.164 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 88350 68 0 0 16 0 10 0 419554505 854708224 34285 4294967295 134512640 134569956 3221224400 3221214520 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34285 13073 16 0 208653 0
vsize: 834676
[startup+990.169 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 89257 68 0 0 16 0 10 0 419554505 854708224 34355 4294967295 134512640 134569956 3221224400 3221214368 1076619331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 34355 13073 16 0 208653 0
vsize: 834676
[startup+1000.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 90164 68 0 0 16 0 10 0 419554505 854708224 34423 4294967295 134512640 134569956 3221224400 3221214560 1131154234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34423 13073 16 0 208653 0
vsize: 834676
[startup+1010.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 91071 69 0 0 16 0 10 0 419554505 854708224 34492 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34492 13073 16 0 208653 0
vsize: 834676
[startup+1020.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 91977 69 0 0 16 0 10 0 419554505 854708224 34564 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 34564 13073 16 0 208653 0
vsize: 834676
[startup+1030.17 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 92888 69 0 0 16 0 10 0 419554505 854708224 35335 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35335 13073 16 0 208653 0
vsize: 834676
[startup+1040.18 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 93806 70 0 0 16 0 10 0 419554505 854708224 35335 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35335 13073 16 0 208653 0
vsize: 834676
[startup+1050.18 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 94718 70 0 0 16 0 10 0 419554505 854708224 35335 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35335 13073 16 0 208653 0
vsize: 834676
[startup+1060.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 95616 70 0 0 16 0 10 0 419554505 854708224 35399 4294967295 134512640 134569956 3221224400 3221214560 1131154345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 35399 13073 16 0 208653 0
vsize: 834676
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 96514 70 0 0 16 0 10 0 419554505 854708224 35471 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 35471 13073 16 0 208653 0
vsize: 834676
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 97412 70 0 0 16 0 10 0 419554505 854708224 35543 4294967295 134512640 134569956 3221224400 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 35543 13073 16 0 208653 0
vsize: 834676
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 98319 70 0 0 16 0 10 0 419554505 854708224 35606 4294967295 134512640 134569956 3221224400 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 35606 13073 16 0 208653 0
vsize: 834676
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 99218 71 0 0 16 0 10 0 419554505 854708224 35675 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35675 13073 16 0 208653 0
vsize: 834676
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 100117 71 0 0 16 0 10 0 419554505 854708224 35744 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35744 13073 16 0 208653 0
vsize: 834676
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 101016 71 0 0 16 0 10 0 419554505 854708224 35840 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35840 13073 16 0 208653 0
vsize: 834676
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 101916 71 0 0 16 0 10 0 419554505 854708224 35880 4294967295 134512640 134569956 3221224400 3221214560 1131154237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35880 13073 16 0 208653 0
vsize: 834676
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 102825 71 0 0 16 0 10 0 419554505 854708224 35952 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 35952 13073 16 0 208653 0
vsize: 834676
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 103722 71 0 0 16 0 10 0 419554505 854708224 36002 4294967295 134512640 134569956 3221224400 3221214560 1131154237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36002 13073 16 0 208653 0
vsize: 834676
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 104622 72 0 0 16 0 10 0 419554505 854708224 36114 4294967295 134512640 134569956 3221224400 3221214192 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36114 13073 16 0 208653 0
vsize: 834676
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 105533 72 0 0 16 0 10 0 419554505 854708224 36160 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36160 13073 16 0 208653 0
vsize: 834676
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 106433 72 0 0 16 0 10 0 419554505 854708224 36235 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 36235 13073 16 0 208653 0
vsize: 834676
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 107334 72 0 0 16 0 10 0 419554505 854708224 36313 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 36313 13073 16 0 208653 0
vsize: 834676
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 108237 72 0 0 16 0 10 0 419554505 854708224 36342 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 36342 13073 16 0 208653 0
vsize: 834676
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 109138 73 0 0 16 0 10 0 419554505 854708224 36435 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36435 13073 16 0 208653 0
vsize: 834676
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 110049 74 0 0 16 0 10 0 419554505 854708224 36502 4294967295 134512640 134569956 3221224400 3221214560 1131154246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 36502 13073 16 0 208653 0
vsize: 834676
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 110949 74 0 0 16 0 10 0 419554505 854708224 36524 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36524 13073 16 0 208653 0
vsize: 834676
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 111851 74 0 0 16 0 10 0 419554505 854708224 36635 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36635 13073 16 0 208653 0
vsize: 834676
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 112751 75 0 0 16 0 10 0 419554505 854708224 36652 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36652 13073 16 0 208653 0
vsize: 834676
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) S 31741 30854 30853 0 -1 0 18010 0 1 0 113654 75 0 0 16 0 10 0 419554505 854708224 36711 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36711 13073 16 0 208653 0
vsize: 834676
[startup+1270.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 114557 75 0 0 16 0 10 0 419554505 854708224 36792 4294967295 134512640 134569956 3221224400 3221214636 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36792 13073 16 0 208653 0
vsize: 834676
[startup+1280.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 115460 76 0 0 16 0 10 0 419554505 854708224 36843 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36843 13073 16 0 208653 0
vsize: 834676
[startup+1290.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 116362 76 0 0 16 0 10 0 419554505 854708224 36926 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 36926 13073 16 0 208653 0
vsize: 834676
[startup+1300.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 117272 76 0 0 16 0 10 0 419554505 854708224 37021 4294967295 134512640 134569956 3221224400 3221214560 1131154377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 37021 13073 16 0 208653 0
vsize: 834676
[startup+1310.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 118180 77 0 0 16 0 10 0 419554505 854708224 37055 4294967295 134512640 134569956 3221224400 3221214520 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 37055 13073 16 0 208653 0
vsize: 834676
[startup+1320.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 119086 77 0 0 16 0 10 0 419554505 854708224 37143 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 37143 13073 16 0 208653 0
vsize: 834676
[startup+1330.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31751
Raw data (stat): 31742 (java) R 31741 30854 30853 0 -1 0 18010 0 1 0 119994 77 0 0 16 0 10 0 419554505 854708224 37189 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 37189 13073 16 0 208653 0
vsize: 834676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31752
Raw data (stat): 31742 (java) Z 31741 30854 30853 0 -1 1036 18010 20237 1 0 119998 77 13183 65 16 0 1 0 419554505 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): 1330.35
CPU time (s): 1333.25
CPU user time (s): 1331.82
CPU system time (s): 1.43278
CPU usage (%): 100.218
Max. virtual memory (Kb): 834796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####