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.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
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	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 4471

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-13 17:32:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2727 boxname=wulflinc24 idbench=303 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 2727
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        861008 kB
Buffers:         32488 kB
Cached:          98188 kB
SwapCached:       3828 kB
Active:          50692 kB
Inactive:        86684 kB
HighTotal:      131008 kB
HighFree:        30520 kB
LowTotal:       903652 kB
LowFree:        830488 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30680 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:54:50 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2727 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
c reading problem 
c [nbvar=77106]
c [nbconstr=218779]
#### 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.86 0.97 0.99 2/54 30278
Raw data (stat): 30278 (runsolver) R 30277 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477772417 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 824 41 0 0 25 0 10 0 477772417 854880256 20562 4294967295 134512640 134569956 3221224400 3221213644 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208711 20562 13073 16 0 208695 0
vsize: 834844
[startup+20.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 1692 42 0 0 25 0 10 0 477772417 854781952 21222 4294967295 134512640 134569956 3221224400 3221214576 1131155811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 21222 13073 16 0 208671 0
vsize: 834748
[startup+30.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 2557 42 0 0 25 0 10 0 477772417 854781952 21721 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 21721 13073 16 0 208671 0
vsize: 834748
[startup+40.0116 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 3425 43 0 0 19 0 10 0 477772417 854781952 22148 4294967295 134512640 134569956 3221224400 3221214436 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 22148 13073 16 0 208671 0
vsize: 834748
[startup+50.014 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 4294 43 0 0 18 0 10 0 477772417 854781952 22434 4294967295 134512640 134569956 3221224400 3221214784 1131309326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 22434 13073 16 0 208671 0
vsize: 834748
[startup+60.0151 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 5162 44 0 0 20 0 10 0 477772417 854781952 22764 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 22764 13073 16 0 208671 0
vsize: 834748
[startup+70.0153 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 6034 44 0 0 21 0 10 0 477772417 854781952 23030 4294967295 134512640 134569956 3221224400 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 23030 13073 16 0 208671 0
vsize: 834748
[startup+80.0171 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 6903 45 0 0 22 0 10 0 477772417 854781952 23386 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 23386 13073 16 0 208671 0
vsize: 834748
[startup+90.0202 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 7771 45 0 0 17 0 10 0 477772417 854781952 23623 4294967295 134512640 134569956 3221224400 3221214604 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 23623 13073 16 0 208671 0
vsize: 834748
[startup+100.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 8647 45 0 0 21 0 10 0 477772417 854781952 23873 4294967295 134512640 134569956 3221224400 3221214604 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 23873 13073 16 0 208671 0
vsize: 834748
[startup+110.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 9522 46 0 0 20 0 10 0 477772417 854781952 24209 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 24209 13073 16 0 208671 0
vsize: 834748
[startup+120.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 10402 46 0 0 18 0 10 0 477772417 854781952 24450 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 24450 13073 16 0 208671 0
vsize: 834748
[startup+130.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 11286 47 0 0 16 0 10 0 477772417 854781952 24683 4294967295 134512640 134569956 3221224400 3221214432 1131186226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 24683 13073 16 0 208671 0
vsize: 834748
[startup+140.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 12173 47 0 0 16 0 10 0 477772417 854781952 24893 4294967295 134512640 134569956 3221224400 3221214872 1131200608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 24893 13073 16 0 208671 0
vsize: 834748
[startup+150.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 13064 48 0 0 16 0 10 0 477772417 854781952 25100 4294967295 134512640 134569956 3221224400 3221214532 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 25100 13073 16 0 208671 0
vsize: 834748
[startup+160.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 13959 48 0 0 16 0 10 0 477772417 854781952 25298 4294967295 134512640 134569956 3221224400 3221214248 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 25298 13073 16 0 208671 0
vsize: 834748
[startup+170.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 14854 48 0 0 16 0 10 0 477772417 854781952 25478 4294967295 134512640 134569956 3221224400 3221214568 1131155724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 25478 13073 16 0 208671 0
vsize: 834748
[startup+180.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 15738 48 0 0 16 0 10 0 477772417 854781952 25661 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 25661 13073 16 0 208671 0
vsize: 834748
[startup+190.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 16627 48 0 0 16 0 10 0 477772417 854781952 25834 4294967295 134512640 134569956 3221224400 3221213772 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 25834 13073 16 0 208671 0
vsize: 834748
[startup+200.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 17517 48 0 0 16 0 10 0 477772417 854781952 26099 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 26099 13073 16 0 208671 0
vsize: 834748
[startup+210.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 18415 48 0 0 16 0 10 0 477772417 854781952 26267 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 26267 13073 16 0 208671 0
vsize: 834748
[startup+220.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 19317 48 0 0 16 0 10 0 477772417 854781952 26431 4294967295 134512640 134569956 3221224400 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 26431 13073 16 0 208671 0
vsize: 834748
[startup+230.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 20220 48 0 0 16 0 10 0 477772417 854781952 26591 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 26591 13073 16 0 208671 0
vsize: 834748
[startup+240.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 21122 49 0 0 16 0 10 0 477772417 854781952 26743 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 26743 13073 16 0 208671 0
vsize: 834748
[startup+250.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 22025 49 0 0 16 0 10 0 477772417 854781952 26897 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 26897 13073 16 0 208671 0
vsize: 834748
[startup+260.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 22929 50 0 0 16 0 10 0 477772417 854781952 27049 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27049 13073 16 0 208671 0
vsize: 834748
[startup+270.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 23831 50 0 0 16 0 10 0 477772417 854781952 27193 4294967295 134512640 134569956 3221224400 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27193 13073 16 0 208671 0
vsize: 834748
[startup+280.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 24723 51 0 0 16 0 10 0 477772417 854781952 27325 4294967295 134512640 134569956 3221224400 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27325 13073 16 0 208671 0
vsize: 834748
[startup+290.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 25616 51 0 0 16 0 10 0 477772417 854781952 27462 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27462 13073 16 0 208671 0
vsize: 834748
[startup+300.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 26516 51 0 0 16 0 10 0 477772417 854781952 27765 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27765 13073 16 0 208671 0
vsize: 834748
[startup+310.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 27424 51 0 0 16 0 10 0 477772417 854781952 27892 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 27892 13073 16 0 208671 0
vsize: 834748
[startup+320.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 28323 51 0 0 16 0 10 0 477772417 854781952 28034 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28034 13073 16 0 208671 0
vsize: 834748
[startup+330.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 29231 52 0 0 16 0 10 0 477772417 854781952 28159 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28159 13073 16 0 208671 0
vsize: 834748
[startup+340.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 30139 52 0 0 16 0 10 0 477772417 854781952 28287 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28287 13073 16 0 208671 0
vsize: 834748
[startup+350.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 31048 53 0 0 16 0 10 0 477772417 854781952 28401 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28401 13073 16 0 208671 0
vsize: 834748
[startup+360.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 31956 53 0 0 16 0 10 0 477772417 854781952 28522 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28522 13073 16 0 208671 0
vsize: 834748
[startup+370.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 32864 54 0 0 16 0 10 0 477772417 854781952 28637 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28637 13073 16 0 208671 0
vsize: 834748
[startup+380.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 33764 54 0 0 16 0 10 0 477772417 854781952 28761 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28761 13073 16 0 208671 0
vsize: 834748
[startup+390.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 34673 54 0 0 16 0 10 0 477772417 854781952 28880 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28880 13073 16 0 208671 0
vsize: 834748
[startup+400.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 35583 54 0 0 16 0 10 0 477772417 854781952 28991 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 28991 13073 16 0 208671 0
vsize: 834748
[startup+410.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 36496 55 0 0 16 0 10 0 477772417 854781952 29101 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29101 13073 16 0 208671 0
vsize: 834748
[startup+420.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 37400 55 0 0 16 0 10 0 477772417 854781952 29218 4294967295 134512640 134569956 3221224400 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29218 13073 16 0 208671 0
vsize: 834748
[startup+430.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 38311 55 0 0 16 0 10 0 477772417 854781952 29314 4294967295 134512640 134569956 3221224400 3221214780 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29314 13073 16 0 208671 0
vsize: 834748
[startup+440.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 39224 56 0 0 16 0 10 0 477772417 854781952 29419 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29419 13073 16 0 208671 0
vsize: 834748
[startup+450.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 40134 56 0 0 17 0 10 0 477772417 854781952 29529 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29529 13073 16 0 208671 0
vsize: 834748
[startup+460.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 41043 56 0 0 16 0 10 0 477772417 854781952 29623 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29623 13073 16 0 208671 0
vsize: 834748
[startup+470.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 41955 57 0 0 16 0 10 0 477772417 854781952 29720 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29720 13073 16 0 208671 0
vsize: 834748
[startup+480.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 42870 58 0 0 16 0 10 0 477772417 854781952 29824 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 29824 13073 16 0 208671 0
vsize: 834748
[startup+490.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 43775 58 0 0 16 0 10 0 477772417 854781952 29913 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 29913 13073 16 0 208671 0
vsize: 834748
[startup+500.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 44687 58 0 0 16 0 10 0 477772417 854781952 30008 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30008 13073 16 0 208671 0
vsize: 834748
[startup+510.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 45600 59 0 0 16 0 10 0 477772417 854781952 30115 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30115 13073 16 0 208671 0
vsize: 834748
[startup+520.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 46511 59 0 0 16 0 10 0 477772417 854781952 30196 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30196 13073 16 0 208671 0
vsize: 834748
[startup+530.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 47420 59 0 0 16 0 10 0 477772417 854781952 30291 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30291 13073 16 0 208671 0
vsize: 834748
[startup+540.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 48330 60 0 0 16 0 10 0 477772417 854781952 30390 4294967295 134512640 134569956 3221224400 3221214568 1131155784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30390 13073 16 0 208671 0
vsize: 834748
[startup+550.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 49239 60 0 0 16 0 10 0 477772417 854781952 30488 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30488 13073 16 0 208671 0
vsize: 834748
[startup+560.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 50149 61 0 0 16 0 10 0 477772417 854781952 30588 4294967295 134512640 134569956 3221224400 3221214568 1131155873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30588 13073 16 0 208671 0
vsize: 834748
[startup+570.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 51059 62 0 0 16 0 10 0 477772417 854781952 30685 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30685 13073 16 0 208671 0
vsize: 834748
[startup+580.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 51968 62 0 0 16 0 10 0 477772417 854781952 30772 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30772 13073 16 0 208671 0
vsize: 834748
[startup+590.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 52878 63 0 0 16 0 10 0 477772417 854781952 30863 4294967295 134512640 134569956 3221224400 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 30863 13073 16 0 208671 0
vsize: 834748
[startup+600.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 53782 63 0 0 16 0 10 0 477772417 854781952 31026 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31026 13073 16 0 208671 0
vsize: 834748
[startup+610.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 54679 63 0 0 16 0 10 0 477772417 854781952 31084 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31084 13073 16 0 208671 0
vsize: 834748
[startup+620.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 55574 64 0 0 16 0 10 0 477772417 854781952 31368 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31368 13073 16 0 208671 0
vsize: 834748
[startup+630.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 56485 64 0 0 16 0 10 0 477772417 854781952 31421 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31421 13073 16 0 208671 0
vsize: 834748
[startup+640.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 57393 64 0 0 16 0 10 0 477772417 854781952 31510 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31510 13073 16 0 208671 0
vsize: 834748
[startup+650.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 58302 65 0 0 16 0 10 0 477772417 854781952 31599 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31599 13073 16 0 208671 0
vsize: 834748
[startup+660.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 59213 66 0 0 16 0 10 0 477772417 854781952 31688 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31688 13073 16 0 208671 0
vsize: 834748
[startup+670.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 60124 66 0 0 16 0 10 0 477772417 854781952 31770 4294967295 134512640 134569956 3221224400 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31770 13073 16 0 208671 0
vsize: 834748
[startup+680.086 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 61033 67 0 0 16 0 10 0 477772417 854781952 31851 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31851 13073 16 0 208671 0
vsize: 834748
[startup+690.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 61943 67 0 0 16 0 10 0 477772417 854781952 31934 4294967295 134512640 134569956 3221224400 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 31934 13073 16 0 208671 0
vsize: 834748
[startup+700.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 62852 67 0 0 16 0 10 0 477772417 854781952 32019 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32019 13073 16 0 208671 0
vsize: 834748
[startup+710.089 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 63759 68 0 0 16 0 10 0 477772417 854781952 32101 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32101 13073 16 0 208671 0
vsize: 834748
[startup+720.089 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 64674 68 0 0 16 0 10 0 477772417 854781952 32177 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32177 13073 16 0 208671 0
vsize: 834748
[startup+730.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 65581 68 0 0 16 0 10 0 477772417 854781952 32263 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32263 13073 16 0 208671 0
vsize: 834748
[startup+740.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 66490 69 0 0 16 0 10 0 477772417 854781952 32346 4294967295 134512640 134569956 3221224400 3221214568 1131155880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32346 13073 16 0 208671 0
vsize: 834748
[startup+750.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 67395 69 0 0 16 0 10 0 477772417 854781952 32433 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32433 13073 16 0 208671 0
vsize: 834748
[startup+760.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 68306 70 0 0 16 0 10 0 477772417 854781952 32508 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32508 13073 16 0 208671 0
vsize: 834748
[startup+770.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 69219 70 0 0 16 0 10 0 477772417 854781952 32578 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32578 13073 16 0 208671 0
vsize: 834748
[startup+780.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 70126 71 0 0 16 0 10 0 477772417 854781952 32651 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32651 13073 16 0 208671 0
vsize: 834748
[startup+790.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 71032 71 0 0 16 0 10 0 477772417 854781952 32731 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32731 13073 16 0 208671 0
vsize: 834748
[startup+800.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 71939 71 0 0 16 0 10 0 477772417 854781952 32816 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32816 13073 16 0 208671 0
vsize: 834748
[startup+810.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 72849 72 0 0 16 0 10 0 477772417 854781952 32892 4294967295 134512640 134569956 3221224400 3221213384 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 32892 13073 16 0 208671 0
vsize: 834748
[startup+820.109 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 73761 72 0 0 16 0 10 0 477772417 854781952 32968 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 32968 13073 16 0 208671 0
vsize: 834748
[startup+830.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 74668 72 0 0 16 0 10 0 477772417 854781952 33047 4294967295 134512640 134569956 3221224400 3221214536 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33047 13073 16 0 208671 0
vsize: 834748
[startup+840.111 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 75574 73 0 0 16 0 10 0 477772417 854781952 33123 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33123 13073 16 0 208671 0
vsize: 834748
[startup+850.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 76480 73 0 0 16 0 10 0 477772417 854781952 33201 4294967295 134512640 134569956 3221224400 3221214516 1077559776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33201 13073 16 0 208671 0
vsize: 834748
[startup+860.112 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 77386 73 0 0 16 0 10 0 477772417 854781952 33278 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33278 13073 16 0 208671 0
vsize: 834748
[startup+870.117 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 78294 74 0 0 17 0 10 0 477772417 854781952 33350 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33350 13073 16 0 208671 0
vsize: 834748
[startup+880.123 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 79208 74 0 0 16 0 10 0 477772417 854781952 33425 4294967295 134512640 134569956 3221224400 3221214568 1131155813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33425 13073 16 0 208671 0
vsize: 834748
[startup+890.123 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 80114 74 0 0 16 0 10 0 477772417 854781952 33499 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33499 13073 16 0 208671 0
vsize: 834748
[startup+900.123 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 81020 75 0 0 16 0 10 0 477772417 854781952 33573 4294967295 134512640 134569956 3221224400 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33573 13073 16 0 208671 0
vsize: 834748
[startup+910.123 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 81927 75 0 0 16 0 10 0 477772417 854781952 33649 4294967295 134512640 134569956 3221224400 3221214568 1131155852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33649 13073 16 0 208671 0
vsize: 834748
[startup+920.124 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 82833 75 0 0 16 0 10 0 477772417 854781952 33718 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33718 13073 16 0 208671 0
vsize: 834748
[startup+930.125 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 83739 76 0 0 16 0 10 0 477772417 854781952 33791 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33791 13073 16 0 208671 0
vsize: 834748
[startup+940.126 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 84646 76 0 0 16 0 10 0 477772417 854781952 33864 4294967295 134512640 134569956 3221224400 3221214536 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33864 13073 16 0 208671 0
vsize: 834748
[startup+950.126 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 85553 76 0 0 16 0 10 0 477772417 854781952 33931 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33931 13073 16 0 208671 0
vsize: 834748
[startup+960.127 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 86467 77 0 0 16 0 10 0 477772417 854781952 33992 4294967295 134512640 134569956 3221224400 3221214396 1076614592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 33992 13073 16 0 208671 0
vsize: 834748
[startup+970.128 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 87371 77 0 0 16 0 10 0 477772417 854781952 34062 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 34062 13073 16 0 208671 0
vsize: 834748
[startup+980.129 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 88275 77 0 0 16 0 10 0 477772417 854781952 34133 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 34133 13073 16 0 208671 0
vsize: 834748
[startup+990.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 89179 78 0 0 16 0 10 0 477772417 854781952 34205 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 34205 13073 16 0 208671 0
vsize: 834748
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 90083 78 0 0 16 0 10 0 477772417 854781952 34276 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 34276 13073 16 0 208671 0
vsize: 834748
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 90996 79 0 0 16 0 10 0 477772417 854781952 34341 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 34341 13073 16 0 208671 0
vsize: 834748
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 91900 79 0 0 16 0 10 0 477772417 854781952 34404 4294967295 134512640 134569956 3221224400 3221214776 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 34404 13073 16 0 208671 0
vsize: 834748
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 92803 79 0 0 16 0 10 0 477772417 854781952 34473 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 34473 13073 16 0 208671 0
vsize: 834748
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 93713 79 0 0 16 0 10 0 477772417 854781952 34536 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 34536 13073 16 0 208671 0
vsize: 834748
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 94620 79 0 0 16 0 10 0 477772417 854781952 35066 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35066 13073 16 0 208671 0
vsize: 834748
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 95525 79 0 0 16 0 10 0 477772417 854781952 35168 4294967295 134512640 134569956 3221224400 3221214608 1131205977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35168 13073 16 0 208671 0
vsize: 834748
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 96434 79 0 0 16 0 10 0 477772417 854781952 35177 4294967295 134512640 134569956 3221224400 3221214568 1131155873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35177 13073 16 0 208671 0
vsize: 834748
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 97332 79 0 0 16 0 10 0 477772417 854781952 35243 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35243 13073 16 0 208671 0
vsize: 834748
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 98231 79 0 0 16 0 10 0 477772417 854781952 35311 4294967295 134512640 134569956 3221224400 3221214248 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35311 13073 16 0 208671 0
vsize: 834748
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 99135 80 0 0 16 0 10 0 477772417 854781952 35378 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35378 13073 16 0 208671 0
vsize: 834748
[startup+1110.16 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 100037 80 0 0 16 0 10 0 477772417 854781952 35433 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35433 13073 16 0 208671 0
vsize: 834748
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 100935 80 0 0 16 0 10 0 477772417 854781952 35500 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35500 13073 16 0 208671 0
vsize: 834748
[startup+1130.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 101835 80 0 0 16 0 10 0 477772417 854781952 35577 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35577 13073 16 0 208671 0
vsize: 834748
[startup+1140.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 102738 80 0 0 16 0 10 0 477772417 854781952 35620 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35620 13073 16 0 208671 0
vsize: 834748
[startup+1150.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 103634 81 0 0 16 0 10 0 477772417 854781952 35685 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35685 13073 16 0 208671 0
vsize: 834748
[startup+1160.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 104538 81 0 0 16 0 10 0 477772417 854781952 35769 4294967295 134512640 134569956 3221224400 3221214248 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35769 13073 16 0 208671 0
vsize: 834748
[startup+1170.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 105435 82 0 0 16 0 10 0 477772417 854781952 35813 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 35813 13073 16 0 208671 0
vsize: 834748
[startup+1180.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 106334 83 0 0 16 0 10 0 477772417 854781952 35904 4294967295 134512640 134569956 3221224400 3221214248 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35904 13073 16 0 208671 0
vsize: 834748
[startup+1190.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 107242 83 0 0 16 0 10 0 477772417 854781952 35950 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 35950 13073 16 0 208671 0
vsize: 834748
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 108143 83 0 0 16 0 10 0 477772417 854781952 36003 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36003 13073 16 0 208671 0
vsize: 834748
[startup+1210.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 109050 83 0 0 16 0 10 0 477772417 854781952 36057 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36057 13073 16 0 208671 0
vsize: 834748
[startup+1220.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 109945 84 0 0 16 0 10 0 477772417 854781952 36123 4294967295 134512640 134569956 3221224400 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 36123 13073 16 0 208671 0
vsize: 834748
[startup+1230.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 110851 84 0 0 16 0 10 0 477772417 854781952 36229 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 36229 13073 16 0 208671 0
vsize: 834748
[startup+1240.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 111750 84 0 0 16 0 10 0 477772417 854781952 36245 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 36245 13073 16 0 208671 0
vsize: 834748
[startup+1250.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 112656 84 0 0 16 0 10 0 477772417 854781952 36326 4294967295 134512640 134569956 3221224400 3221214248 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208687 36326 13073 16 0 208671 0
vsize: 834748
[startup+1260.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 113555 84 0 0 16 0 10 0 477772417 854781952 36379 4294967295 134512640 134569956 3221224400 3221214568 1131155718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36379 13073 16 0 208671 0
vsize: 834748
[startup+1270.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 114461 85 0 0 16 0 10 0 477772417 854781952 36438 4294967295 134512640 134569956 3221224400 3221214248 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36438 13073 16 0 208671 0
vsize: 834748
[startup+1280.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 115359 85 0 0 16 0 10 0 477772417 854781952 36546 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36546 13073 16 0 208671 0
vsize: 834748
[startup+1290.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 116268 86 0 0 16 0 10 0 477772417 854781952 36610 4294967295 134512640 134569956 3221224400 3221214248 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36610 13073 16 0 208671 0
vsize: 834748
[startup+1300.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 117168 86 0 0 16 0 10 0 477772417 854781952 36631 4294967295 134512640 134569956 3221224400 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36631 13073 16 0 208671 0
vsize: 834748
[startup+1310.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 118075 87 0 0 16 0 10 0 477772417 854781952 36732 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36732 13073 16 0 208671 0
vsize: 834748
[startup+1320.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 118980 87 0 0 16 0 10 0 477772417 854781952 36808 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36808 13073 16 0 208671 0
vsize: 834748
[startup+1330.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) S 30277 28546 28545 0 -1 0 18002 0 1 0 119883 87 0 0 16 0 10 0 477772417 854781952 36815 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36815 13073 16 0 208671 0
vsize: 834748
[startup+1340.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30287
Raw data (stat): 30278 (java) R 30277 28546 28545 0 -1 0 18002 0 1 0 120789 88 0 0 16 0 10 0 477772417 854781952 36880 4294967295 134512640 134569956 3221224400 3221214248 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208687 36880 13073 16 0 208671 0
vsize: 834748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.28 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 30288
Raw data (stat): 30278 (java) Z 30277 28546 28545 0 -1 1036 18002 18280 1 0 120790 88 13029 63 16 0 1 0 477772417 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): 1340.28
CPU time (s): 1339.72
CPU user time (s): 1338.2
CPU system time (s): 1.52177
CPU usage (%): 99.9584
Max. virtual memory (Kb): 834844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####