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/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	9136d330eaa53552ba154b6915193b35
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.131979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 13849

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        369360 kB
Buffers:         37316 kB
Cached:         587388 kB
SwapCached:         12 kB
Active:         196560 kB
Inactive:       431008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        369108 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            32220 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:22:27 (client local time) WITH STATUS 143 IN 1244.83 SECONDS
stats: 20289 7 1244.83 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-tr12-30.opb
c reading problem 
c [nbvar=14760]
c [nbconstr=1110]
c time 64.627
c #vars     14760
c #clauses  1110
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.91 2/54 15399
Raw data (stat): 15399 (runsolver) R 15398 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539878221 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.91 2/63 15408
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18003 0 1 0 888 40 0 0 25 0 10 0 539878221 853950464 19263 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 19263 13073 16 0 208468 0
vsize: 833936
[startup+20.0014 s]
Raw data (loadavg): 1.02 1.00 0.92 3/63 15408
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18034 0 1 0 1724 40 0 0 24 0 10 0 539878221 860872704 21248 4294967295 134512640 134569956 3221224400 3221214776 1131206911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210174 21248 13073 16 0 210158 0
vsize: 840696
[startup+30.0056 s]
Raw data (loadavg): 1.09 1.01 0.93 2/63 15408
Raw data (stat): 15399 (java) S 15398 27222 27221 0 -1 0 18034 0 1 0 2602 41 0 0 25 0 10 0 539878221 859430912 21721 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209822 21721 13073 16 0 209806 0
vsize: 839288
[startup+40.0065 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 15408
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18034 0 1 0 3515 42 0 0 23 0 10 0 539878221 859430912 22020 4294967295 134512640 134569956 3221224400 3221214848 1131206911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22020 13073 16 0 209806 0
vsize: 839288
[startup+50.0073 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 15408
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18034 0 1 0 4428 42 0 0 25 0 10 0 539878221 859430912 22199 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22199 13073 16 0 209806 0
vsize: 839288
[startup+60.007 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 15408
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18034 0 1 0 5340 42 0 0 25 0 10 0 539878221 859430912 22344 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209822 22344 13073 16 0 209806 0
vsize: 839288
[startup+70.0078 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18102 0 1 0 6168 44 0 0 25 0 11 0 539878221 861007872 23333 4294967295 134512640 134569956 3221224400 3221214776 1131476194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210207 23333 13073 16 0 210191 0
vsize: 840828
[startup+80.0086 s]
Raw data (loadavg): 1.18 1.04 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 7066 45 0 0 25 0 11 0 539878221 865239040 24940 4294967295 134512640 134569956 3221224400 3221214672 1131302433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 24940 13073 16 0 211224 0
vsize: 844960
[startup+90.0085 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 7990 45 0 0 25 0 11 0 539878221 863141888 25279 4294967295 134512640 134569956 3221224400 3221214728 1131431850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210728 25279 13073 16 0 210712 0
vsize: 842912
[startup+100.008 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 8968 45 0 0 25 0 11 0 539878221 860155904 24570 4294967295 134512640 134569956 3221224400 3221214776 1131473838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24570 13073 16 0 209983 0
vsize: 839996
[startup+110.009 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 9948 45 0 0 25 0 11 0 539878221 860155904 24637 4294967295 134512640 134569956 3221224400 3221214776 1131476188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24637 13073 16 0 209983 0
vsize: 839996
[startup+120.01 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 10927 46 0 0 25 0 11 0 539878221 860155904 24714 4294967295 134512640 134569956 3221224400 3221214776 1131476188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24714 13073 16 0 209983 0
vsize: 839996
[startup+130.012 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) S 15398 27222 27221 0 -1 0 18103 0 1 0 11911 46 0 0 25 0 11 0 539878221 860155904 24811 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24811 13073 16 0 209983 0
vsize: 839996
[startup+140.012 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 12889 46 0 0 25 0 11 0 539878221 860155904 24870 4294967295 134512640 134569956 3221224400 3221214672 1131303213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24870 13073 16 0 209983 0
vsize: 839996
[startup+150.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 13862 46 0 0 25 0 11 0 539878221 860155904 24941 4294967295 134512640 134569956 3221224400 3221214672 1131303290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 24941 13073 16 0 209983 0
vsize: 839996
[startup+160.013 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 14837 46 0 0 25 0 11 0 539878221 860155904 25025 4294967295 134512640 134569956 3221224400 3221214672 1131302987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25025 13073 16 0 209983 0
vsize: 839996
[startup+170.014 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 15817 46 0 0 25 0 11 0 539878221 860155904 25178 4294967295 134512640 134569956 3221224400 3221214772 1131303882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25178 13073 16 0 209983 0
vsize: 839996
[startup+180.013 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 16804 46 0 0 25 0 11 0 539878221 860155904 25232 4294967295 134512640 134569956 3221224400 3221214672 1131303014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25232 13073 16 0 209983 0
vsize: 839996
[startup+190.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 17790 46 0 0 25 0 11 0 539878221 860155904 25274 4294967295 134512640 134569956 3221224400 3221214672 1131303055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25274 13073 16 0 209983 0
vsize: 839996
[startup+200.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 18775 46 0 0 25 0 11 0 539878221 860155904 25306 4294967295 134512640 134569956 3221224400 3221214672 1131303055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25306 13073 16 0 209983 0
vsize: 839996
[startup+210.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 19760 46 0 0 25 0 11 0 539878221 860155904 25344 4294967295 134512640 134569956 3221224400 3221214672 1131303134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25344 13073 16 0 209983 0
vsize: 839996
[startup+220.016 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 20745 46 0 0 25 0 11 0 539878221 860155904 25393 4294967295 134512640 134569956 3221224400 3221214776 1131476113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25393 13073 16 0 209983 0
vsize: 839996
[startup+230.016 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 21729 47 0 0 25 0 11 0 539878221 860155904 25454 4294967295 134512640 134569956 3221224400 3221214672 1131302666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25454 13073 16 0 209983 0
vsize: 839996
[startup+240.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15409
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 22714 47 0 0 25 0 11 0 539878221 860155904 25514 4294967295 134512640 134569956 3221224400 3221214624 1131302939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25514 13073 16 0 209983 0
vsize: 839996
[startup+250.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 23698 47 0 0 25 0 11 0 539878221 860155904 25565 4294967295 134512640 134569956 3221224400 3221214728 1131476171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25565 13073 16 0 209983 0
vsize: 839996
[startup+260.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 24682 47 0 0 25 0 11 0 539878221 860155904 25633 4294967295 134512640 134569956 3221224400 3221214624 1131303028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25633 13073 16 0 209983 0
vsize: 839996
[startup+270.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 25667 47 0 0 25 0 11 0 539878221 860155904 25691 4294967295 134512640 134569956 3221224400 3221214624 1131303808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25691 13073 16 0 209983 0
vsize: 839996
[startup+280.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 26651 47 0 0 24 0 11 0 539878221 860155904 25762 4294967295 134512640 134569956 3221224400 3221214624 1131302704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25762 13073 16 0 209983 0
vsize: 839996
[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 27634 47 0 0 25 0 11 0 539878221 860155904 25816 4294967295 134512640 134569956 3221224400 3221214624 1131303801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25816 13073 16 0 209983 0
vsize: 839996
[startup+300.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 28600 47 0 0 25 0 11 0 539878221 860155904 25863 4294967295 134512640 134569956 3221224400 3221214728 1131476194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25863 13073 16 0 209983 0
vsize: 839996
[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 29566 47 0 0 25 0 11 0 539878221 860155904 25936 4294967295 134512640 134569956 3221224400 3221214624 1131303787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25936 13073 16 0 209983 0
vsize: 839996
[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 30537 47 0 0 24 0 11 0 539878221 860155904 26168 4294967295 134512640 134569956 3221224400 3221214624 1131302704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26168 13073 16 0 209983 0
vsize: 839996
[startup+330.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 31523 48 0 0 25 0 11 0 539878221 860155904 26216 4294967295 134512640 134569956 3221224400 3221214624 1131302901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26216 13073 16 0 209983 0
vsize: 839996
[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 32508 48 0 0 25 0 11 0 539878221 860155904 26256 4294967295 134512640 134569956 3221224400 3221214728 1131472771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26256 13073 16 0 209983 0
vsize: 839996
[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 33495 48 0 0 25 0 11 0 539878221 860155904 26305 4294967295 134512640 134569956 3221224400 3221214624 1131303046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26305 13073 16 0 209983 0
vsize: 839996
[startup+360.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 34481 48 0 0 25 0 11 0 539878221 860155904 26338 4294967295 134512640 134569956 3221224400 3221214728 1131472931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26338 13073 16 0 209983 0
vsize: 839996
[startup+370.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 35466 48 0 0 24 0 11 0 539878221 860155904 26394 4294967295 134512640 134569956 3221224400 3221214728 1131474804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26394 13073 16 0 209983 0
vsize: 839996
[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 36453 48 0 0 25 0 11 0 539878221 860155904 26439 4294967295 134512640 134569956 3221224400 3221214728 1131476154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26439 13073 16 0 209983 0
vsize: 839996
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 37440 48 0 0 25 0 11 0 539878221 860155904 26471 4294967295 134512640 134569956 3221224400 3221214616 1131303052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26471 13073 16 0 209983 0
vsize: 839996
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 38427 49 0 0 25 0 11 0 539878221 860155904 26503 4294967295 134512640 134569956 3221224400 3221214616 1131303028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26503 13073 16 0 209983 0
vsize: 839996
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 39414 49 0 0 25 0 11 0 539878221 860155904 26549 4294967295 134512640 134569956 3221224400 3221214648 1131412063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26549 13073 16 0 209983 0
vsize: 839996
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 40400 49 0 0 25 0 11 0 539878221 860155904 26585 4294967295 134512640 134569956 3221224400 3221214616 1131302481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26585 13073 16 0 209983 0
vsize: 839996
[startup+430.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 41387 49 0 0 25 0 11 0 539878221 860155904 26615 4294967295 134512640 134569956 3221224400 3221214720 1131472771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26615 13073 16 0 209983 0
vsize: 839996
[startup+440.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 42374 49 0 0 25 0 11 0 539878221 860155904 26644 4294967295 134512640 134569956 3221224400 3221214752 1131420620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 26644 13073 16 0 209983 0
vsize: 839996
[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 43361 49 0 0 25 0 11 0 539878221 860155904 26679 4294967295 134512640 134569956 3221224400 3221214616 1131303197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26679 13073 16 0 209983 0
vsize: 839996
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 44345 50 0 0 25 0 11 0 539878221 860155904 26708 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26708 13073 16 0 209983 0
vsize: 839996
[startup+470.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 45331 50 0 0 25 0 11 0 539878221 860155904 26735 4294967295 134512640 134569956 3221224400 3221214720 1131476945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26735 13073 16 0 209983 0
vsize: 839996
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 46313 51 0 0 24 0 11 0 539878221 860155904 26779 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26779 13073 16 0 209983 0
vsize: 839996
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 47298 51 0 0 25 0 11 0 539878221 860155904 26829 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26829 13073 16 0 209983 0
vsize: 839996
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 48283 51 0 0 25 0 11 0 539878221 860155904 26877 4294967295 134512640 134569956 3221224400 3221214616 1131302433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26877 13073 16 0 209983 0
vsize: 839996
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 49266 52 0 0 24 0 11 0 539878221 860155904 26933 4294967295 134512640 134569956 3221224400 3221214616 1131302462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26933 13073 16 0 209983 0
vsize: 839996
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 50250 52 0 0 25 0 11 0 539878221 860155904 26981 4294967295 134512640 134569956 3221224400 3221214616 1131303761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 26981 13073 16 0 209983 0
vsize: 839996
[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 51234 53 0 0 25 0 11 0 539878221 860155904 27029 4294967295 134512640 134569956 3221224400 3221214616 1131303761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27029 13073 16 0 209983 0
vsize: 839996
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 52217 53 0 0 24 0 11 0 539878221 860155904 27102 4294967295 134512640 134569956 3221224400 3221214720 1131473773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27102 13073 16 0 209983 0
vsize: 839996
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 53202 53 0 0 25 0 11 0 539878221 860155904 27145 4294967295 134512640 134569956 3221224400 3221214720 1131472559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27145 13073 16 0 209983 0
vsize: 839996
[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 54186 54 0 0 25 0 11 0 539878221 860155904 27194 4294967295 134512640 134569956 3221224400 3221214616 1131302674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27194 13073 16 0 209983 0
vsize: 839996
[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 55169 54 0 0 25 0 11 0 539878221 860155904 27243 4294967295 134512640 134569956 3221224400 3221214720 1131476934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27243 13073 16 0 209983 0
vsize: 839996
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 56153 55 0 0 25 0 11 0 539878221 860155904 27310 4294967295 134512640 134569956 3221224400 3221214720 1131473882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27310 13073 16 0 209983 0
vsize: 839996
[startup+590.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 57138 55 0 0 25 0 11 0 539878221 860155904 27357 4294967295 134512640 134569956 3221224400 3221214616 1131302901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27357 13073 16 0 209983 0
vsize: 839996
[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 58121 55 0 0 25 0 11 0 539878221 860155904 27403 4294967295 134512640 134569956 3221224400 3221214616 1131302455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27403 13073 16 0 209983 0
vsize: 839996
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 59106 56 0 0 25 0 11 0 539878221 860155904 27448 4294967295 134512640 134569956 3221224400 3221214616 1131302425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27448 13073 16 0 209983 0
vsize: 839996
[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 60090 56 0 0 25 0 11 0 539878221 860155904 27509 4294967295 134512640 134569956 3221224400 3221214720 1131473675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27509 13073 16 0 209983 0
vsize: 839996
[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 61075 56 0 0 25 0 11 0 539878221 860155904 27554 4294967295 134512640 134569956 3221224400 3221214720 1131473714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27554 13073 16 0 209983 0
vsize: 839996
[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 62059 57 0 0 25 0 11 0 539878221 860155904 27599 4294967295 134512640 134569956 3221224400 3221214720 1131477029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27599 13073 16 0 209983 0
vsize: 839996
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 63045 57 0 0 25 0 11 0 539878221 860155904 27642 4294967295 134512640 134569956 3221224400 3221214720 1131472870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27642 13073 16 0 209983 0
vsize: 839996
[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 64029 57 0 0 25 0 11 0 539878221 860155904 27693 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27693 13073 16 0 209983 0
vsize: 839996
[startup+670.062 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 65014 58 0 0 25 0 11 0 539878221 860155904 27739 4294967295 134512640 134569956 3221224400 3221214720 1131472843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27739 13073 16 0 209983 0
vsize: 839996
[startup+680.063 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 66000 58 0 0 25 0 11 0 539878221 860155904 27787 4294967295 134512640 134569956 3221224400 3221214616 1131302444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27787 13073 16 0 209983 0
vsize: 839996
[startup+690.063 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 66984 59 0 0 25 0 11 0 539878221 860155904 27837 4294967295 134512640 134569956 3221224400 3221214720 1131476264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27837 13073 16 0 209983 0
vsize: 839996
[startup+700.063 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 67969 59 0 0 25 0 11 0 539878221 860155904 27880 4294967295 134512640 134569956 3221224400 3221214616 1131302820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27880 13073 16 0 209983 0
vsize: 839996
[startup+710.064 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 68957 59 0 0 25 0 11 0 539878221 860155904 27921 4294967295 134512640 134569956 3221224400 3221214616 1131302889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27921 13073 16 0 209983 0
vsize: 839996
[startup+720.065 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 69944 60 0 0 25 0 11 0 539878221 860155904 27963 4294967295 134512640 134569956 3221224400 3221214616 1131303245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 27963 13073 16 0 209983 0
vsize: 839996
[startup+730.064 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 70931 60 0 0 25 0 11 0 539878221 860155904 28006 4294967295 134512640 134569956 3221224400 3221214720 1131476144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28006 13073 16 0 209983 0
vsize: 839996
[startup+740.064 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 71919 61 0 0 25 0 11 0 539878221 860155904 28050 4294967295 134512640 134569956 3221224400 3221214720 1131474767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28050 13073 16 0 209983 0
vsize: 839996
[startup+750.065 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 72907 61 0 0 25 0 11 0 539878221 860155904 28083 4294967295 134512640 134569956 3221224400 3221214616 1131303822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28083 13073 16 0 209983 0
vsize: 839996
[startup+760.066 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 73892 61 0 0 25 0 11 0 539878221 860155904 28123 4294967295 134512640 134569956 3221224400 3221214616 1131302688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28123 13073 16 0 209983 0
vsize: 839996
[startup+770.067 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 74877 62 0 0 25 0 11 0 539878221 860155904 28187 4294967295 134512640 134569956 3221224400 3221214616 1131303290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28187 13073 16 0 209983 0
vsize: 839996
[startup+780.067 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 75864 62 0 0 25 0 11 0 539878221 860155904 28224 4294967295 134512640 134569956 3221224400 3221214720 1131473838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28224 13073 16 0 209983 0
vsize: 839996
[startup+790.067 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 76849 62 0 0 25 0 11 0 539878221 860155904 28276 4294967295 134512640 134569956 3221224400 3221214616 1131302724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28276 13073 16 0 209983 0
vsize: 839996
[startup+800.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 77837 62 0 0 25 0 11 0 539878221 860155904 28311 4294967295 134512640 134569956 3221224400 3221214616 1131303046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28311 13073 16 0 209983 0
vsize: 839996
[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 78825 62 0 0 25 0 11 0 539878221 860155904 28355 4294967295 134512640 134569956 3221224400 3221214616 1131303726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28355 13073 16 0 209983 0
vsize: 839996
[startup+820.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 79812 63 0 0 25 0 11 0 539878221 860155904 28390 4294967295 134512640 134569956 3221224400 3221214616 1131302444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 28390 13073 16 0 209983 0
vsize: 839996
[startup+830.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 80798 63 0 0 25 0 11 0 539878221 860155904 28427 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28427 13073 16 0 209983 0
vsize: 839996
[startup+840.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 81786 63 0 0 25 0 11 0 539878221 860155904 28459 4294967295 134512640 134569956 3221224400 3221214616 1131302724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28459 13073 16 0 209983 0
vsize: 839996
[startup+850.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 82774 64 0 0 25 0 11 0 539878221 860155904 28491 4294967295 134512640 134569956 3221224400 3221214616 1131302981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28491 13073 16 0 209983 0
vsize: 839996
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 83760 64 0 0 25 0 11 0 539878221 860155904 28530 4294967295 134512640 134569956 3221224400 3221214616 1131303869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28530 13073 16 0 209983 0
vsize: 839996
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 84746 64 0 0 25 0 11 0 539878221 860155904 28583 4294967295 134512640 134569956 3221224400 3221214888 1131604240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28583 13073 16 0 209983 0
vsize: 839996
[startup+880.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 85733 65 0 0 25 0 11 0 539878221 860155904 28623 4294967295 134512640 134569956 3221224400 3221214720 1131474707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28623 13073 16 0 209983 0
vsize: 839996
[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 86719 65 0 0 25 0 11 0 539878221 860155904 28665 4294967295 134512640 134569956 3221224400 3221214616 1131303169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28665 13073 16 0 209983 0
vsize: 839996
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18103 0 1 0 87705 66 0 0 25 0 11 0 539878221 860155904 28697 4294967295 134512640 134569956 3221224400 3221214616 1131302469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28697 13073 16 0 209983 0
vsize: 839996
[startup+910.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 88693 66 0 0 25 0 11 0 539878221 860155904 28733 4294967295 134512640 134569956 3221224400 3221214616 1131302905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28733 13073 16 0 209983 0
vsize: 839996
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 89678 66 0 0 25 0 11 0 539878221 860155904 28767 4294967295 134512640 134569956 3221224400 3221214720 1131474836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28767 13073 16 0 209983 0
vsize: 839996
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 90661 67 0 0 25 0 11 0 539878221 860155904 28806 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28806 13073 16 0 209983 0
vsize: 839996
[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 91646 67 0 0 25 0 11 0 539878221 860155904 28847 4294967295 134512640 134569956 3221224400 3221214720 1131474767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28847 13073 16 0 209983 0
vsize: 839996
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 92632 68 0 0 25 0 11 0 539878221 860155904 28903 4294967295 134512640 134569956 3221224400 3221214720 1131473868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28903 13073 16 0 209983 0
vsize: 839996
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 93619 68 0 0 25 0 11 0 539878221 860155904 28942 4294967295 134512640 134569956 3221224400 3221214616 1131302666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28942 13073 16 0 209983 0
vsize: 839996
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 94606 68 0 0 25 0 11 0 539878221 860155904 28976 4294967295 134512640 134569956 3221224400 3221214720 1131476113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 28976 13073 16 0 209983 0
vsize: 839996
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 95595 68 0 0 25 0 11 0 539878221 860155904 29017 4294967295 134512640 134569956 3221224400 3221214720 1131473838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29017 13073 16 0 209983 0
vsize: 839996
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 96582 69 0 0 25 0 11 0 539878221 860155904 29050 4294967295 134512640 134569956 3221224400 3221214720 1131477037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29050 13073 16 0 209983 0
vsize: 839996
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 97570 69 0 0 25 0 11 0 539878221 860155904 29078 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29078 13073 16 0 209983 0
vsize: 839996
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 98556 69 0 0 25 0 11 0 539878221 860155904 29111 4294967295 134512640 134569956 3221224400 3221214616 1131302485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29111 13073 16 0 209983 0
vsize: 839996
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 99541 70 0 0 25 0 11 0 539878221 860155904 29139 4294967295 134512640 134569956 3221224400 3221214616 1131303787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29139 13073 16 0 209983 0
vsize: 839996
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 100527 70 0 0 25 0 11 0 539878221 860155904 29181 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29181 13073 16 0 209983 0
vsize: 839996
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 101514 70 0 0 25 0 11 0 539878221 860155904 29207 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29207 13073 16 0 209983 0
vsize: 839996
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 102502 71 0 0 25 0 11 0 539878221 860155904 29254 4294967295 134512640 134569956 3221224400 3221214616 1131303756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29254 13073 16 0 209983 0
vsize: 839996
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 103489 71 0 0 25 0 11 0 539878221 860155904 29287 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29287 13073 16 0 209983 0
vsize: 839996
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 104477 71 0 0 25 0 11 0 539878221 860155904 29316 4294967295 134512640 134569956 3221224400 3221214800 1131437748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29316 13073 16 0 209983 0
vsize: 839996
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 105465 72 0 0 25 0 11 0 539878221 860155904 29341 4294967295 134512640 134569956 3221224400 3221214716 1131302412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29341 13073 16 0 209983 0
vsize: 839996
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 106452 73 0 0 25 0 11 0 539878221 860155904 29366 4294967295 134512640 134569956 3221224400 3221214720 1131476128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29366 13073 16 0 209983 0
vsize: 839996
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 107435 73 0 0 25 0 11 0 539878221 860155904 29394 4294967295 134512640 134569956 3221224400 3221214720 1131472778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29394 13073 16 0 209983 0
vsize: 839996
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 108419 73 0 0 24 0 11 0 539878221 860155904 29442 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29442 13073 16 0 209983 0
vsize: 839996
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 109405 74 0 0 25 0 11 0 539878221 860155904 29472 4294967295 134512640 134569956 3221224400 3221214616 1131302437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29472 13073 16 0 209983 0
vsize: 839996
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 110392 74 0 0 25 0 11 0 539878221 860155904 29502 4294967295 134512640 134569956 3221224400 3221214720 1131473726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29502 13073 16 0 209983 0
vsize: 839996
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 111378 74 0 0 25 0 11 0 539878221 860155904 29535 4294967295 134512640 134569956 3221224400 3221214720 1131476154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29535 13073 16 0 209983 0
vsize: 839996
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 112363 75 0 0 25 0 11 0 539878221 860155904 29556 4294967295 134512640 134569956 3221224400 3221214720 1131472771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29556 13073 16 0 209983 0
vsize: 839996
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 113350 75 0 0 25 0 11 0 539878221 860155904 29598 4294967295 134512640 134569956 3221224400 3221214616 1131302444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29598 13073 16 0 209983 0
vsize: 839996
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 114336 75 0 0 25 0 11 0 539878221 860155904 29626 4294967295 134512640 134569956 3221224400 3221214616 1131302994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29626 13073 16 0 209983 0
vsize: 839996
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 115323 76 0 0 25 0 11 0 539878221 860155904 29649 4294967295 134512640 134569956 3221224400 3221214616 1131303504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29649 13073 16 0 209983 0
vsize: 839996
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 116311 76 0 0 25 0 11 0 539878221 860155904 29670 4294967295 134512640 134569956 3221224400 3221214616 1131303055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29670 13073 16 0 209983 0
vsize: 839996
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 117298 76 0 0 25 0 11 0 539878221 860155904 29694 4294967295 134512640 134569956 3221224400 3221214616 1131303201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29694 13073 16 0 209983 0
vsize: 839996
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 118286 77 0 0 25 0 11 0 539878221 860155904 29715 4294967295 134512640 134569956 3221224400 3221214720 1131473985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29715 13073 16 0 209983 0
vsize: 839996
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 119273 77 0 0 25 0 11 0 539878221 860155904 29745 4294967295 134512640 134569956 3221224400 3221214720 1131473730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29745 13073 16 0 209983 0
vsize: 839996
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15411
Raw data (stat): 15399 (java) R 15398 27222 27221 0 -1 0 18104 0 1 0 120260 77 0 0 25 0 11 0 539878221 860155904 29768 4294967295 134512640 134569956 3221224400 3221214616 1131303480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209999 29768 13073 16 0 209983 0
vsize: 839996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 15413
Raw data (stat): 15399 (java) Z 15398 27222 27221 0 -1 1036 18104 21573 1 0 120261 83 4069 68 25 0 1 0 539878221 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1244.83
CPU user time (s): 1243.31
CPU system time (s): 1.52177
CPU usage (%): 101.191
Max. virtual memory (Kb): 844960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####