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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 29560

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 09:02:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20962 boxname=wulflinc29 idbench=950 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 20962
/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:        688616 kB
Buffers:         32648 kB
Cached:         288284 kB
SwapCached:        572 kB
Active:          43424 kB
Inactive:       283036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        688364 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            13860 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:22:49 (client local time) WITH STATUS 143 IN 1252.7 SECONDS
stats: 20962 0 1252.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-stein45.opb
c reading problem ... done. Time 0.597 ms.
c #vars     45
c #constraints  331
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  33 		Current CPU time: 0.67 ms
c CURRENT OPTIMUM=                  32 		Current CPU time: 1.17 ms
c CURRENT OPTIMUM=                  31 		Current CPU time: 2.13 ms
c CURRENT OPTIMUM=                  30 		Current CPU time: 18.62 ms
c starts	: 17
c conflicts	: 9936
c decisions	: 10343
c propagations	: 54749
c inspects	: 19296512
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9936
c root simplifications	: 17
s SATISFIABLE
v -V0001_bit0 V0002_bit0 V0003_bit0 -V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 -V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 V0023_bit0 -V0024_bit0 -V0025_bit0 V0026_bit0 V0027_bit0 -V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 -V0033_bit0 V0034_bit0 -V0035_bit0 -V0036_bit0 -V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 -V0041_bit0 -V0042_bit0 V0043_bit0 V0044_bit0 V0045_bit0 
c objectif function=30
c Total CPU time (ms) : 1239.103
#### 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.96 1.02 1.00 2/54 31951
Raw data (stat): 31951 (runsolver) R 31950 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837637915 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0001 s]
Raw data (loadavg): 1.35 1.10 1.03 4/64 31964
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 17916 3 1 0 593 39 0 0 25 0 11 0 837637915 895774720 28045 4294967295 134512640 134569956 3221224368 3221214764 1130907682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 218695 28045 13086 16 0 218679 0
vsize: 874780
[startup+20.0025 s]
Raw data (loadavg): 1.37 1.12 1.03 2/64 31965
Raw data (stat): 31951 (java) S 31950 20001 20000 0 -1 0 18196 3 1 0 1521 39 0 0 25 0 11 0 837637915 891305984 28383 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217604 28383 13086 16 0 217588 0
vsize: 870416
[startup+30.0032 s]
Raw data (loadavg): 1.31 1.11 1.03 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18196 3 1 0 2471 39 0 0 25 0 11 0 837637915 877334528 25592 4294967295 134512640 134569956 3221224368 3221214800 1131165337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214193 25592 13086 16 0 214177 0
vsize: 856772
[startup+40.0034 s]
Raw data (loadavg): 1.26 1.11 1.03 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 3422 39 0 0 25 0 11 0 837637915 875991040 25773 4294967295 134512640 134569956 3221224368 3221214832 1131246630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 25773 13086 16 0 213849 0
vsize: 855460
[startup+50.0046 s]
Raw data (loadavg): 1.22 1.10 1.03 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 4376 39 0 0 25 0 11 0 837637915 875991040 25805 4294967295 134512640 134569956 3221224368 3221214720 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 25805 13086 16 0 213849 0
vsize: 855460
[startup+60.0057 s]
Raw data (loadavg): 1.19 1.10 1.03 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 5326 39 0 0 25 0 11 0 837637915 875991040 25950 4294967295 134512640 134569956 3221224368 3221214648 1131460174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 25950 13086 16 0 213849 0
vsize: 855460
[startup+70.0058 s]
Raw data (loadavg): 1.16 1.10 1.03 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 6275 39 0 0 25 0 11 0 837637915 875991040 26062 4294967295 134512640 134569956 3221224368 3221214648 1131462962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26062 13086 16 0 213849 0
vsize: 855460
[startup+80.0071 s]
Raw data (loadavg): 1.13 1.09 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 7224 39 0 0 25 0 11 0 837637915 875991040 26214 4294967295 134512640 134569956 3221224368 3221214648 1131467572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26214 13086 16 0 213849 0
vsize: 855460
[startup+90.0079 s]
Raw data (loadavg): 1.11 1.09 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 8173 39 0 0 25 0 11 0 837637915 875991040 26298 4294967295 134512640 134569956 3221224368 3221214648 1131458147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26298 13086 16 0 213849 0
vsize: 855460
[startup+100.008 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 9132 39 0 0 25 0 11 0 837637915 875991040 26471 4294967295 134512640 134569956 3221224368 3221214648 1131458147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26471 13086 16 0 213849 0
vsize: 855460
[startup+110.009 s]
Raw data (loadavg): 1.08 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 10094 39 0 0 25 0 11 0 837637915 875991040 26606 4294967295 134512640 134569956 3221224368 3221213772 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26606 13086 16 0 213849 0
vsize: 855460
[startup+120.01 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 11057 39 0 0 25 0 11 0 837637915 875991040 26739 4294967295 134512640 134569956 3221224368 3221214648 1131458216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26739 13086 16 0 213849 0
vsize: 855460
[startup+130.011 s]
Raw data (loadavg): 1.13 1.09 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 12012 39 0 0 25 0 11 0 837637915 875991040 26875 4294967295 134512640 134569956 3221224368 3221214648 1131463715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26875 13086 16 0 213849 0
vsize: 855460
[startup+140.014 s]
Raw data (loadavg): 1.11 1.09 1.02 2/64 31965
Raw data (stat): 31951 (java) S 31950 20001 20000 0 -1 0 18197 3 1 0 12975 39 0 0 25 0 11 0 837637915 875991040 26967 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 26967 13086 16 0 213849 0
vsize: 855460
[startup+150.016 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 13936 39 0 0 25 0 11 0 837637915 875991040 27079 4294967295 134512640 134569956 3221224368 3221214160 1085679473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27079 13086 16 0 213849 0
vsize: 855460
[startup+160.016 s]
Raw data (loadavg): 1.08 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 14904 40 0 0 25 0 11 0 837637915 875991040 27171 4294967295 134512640 134569956 3221224368 3221214664 1130895135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27171 13086 16 0 213849 0
vsize: 855460
[startup+170.016 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 15864 40 0 0 25 0 11 0 837637915 875991040 27298 4294967295 134512640 134569956 3221224368 3221214648 1131466387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27298 13086 16 0 213849 0
vsize: 855460
[startup+180.017 s]
Raw data (loadavg): 1.06 1.08 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 16835 40 0 0 25 0 11 0 837637915 875991040 27397 4294967295 134512640 134569956 3221224368 3221214068 1131324523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27397 13086 16 0 213849 0
vsize: 855460
[startup+190.017 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 17805 40 0 0 25 0 11 0 837637915 875991040 27491 4294967295 134512640 134569956 3221224368 3221214648 1131466662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27491 13086 16 0 213849 0
vsize: 855460
[startup+200.019 s]
Raw data (loadavg): 1.04 1.07 1.02 2/64 31965
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 18778 40 0 0 25 0 11 0 837637915 875991040 27568 4294967295 134512640 134569956 3221224368 3221214648 1131460061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27568 13086 16 0 213849 0
vsize: 855460
[startup+210.019 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 19744 40 0 0 24 0 11 0 837637915 875991040 27659 4294967295 134512640 134569956 3221224368 3221214328 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27659 13086 16 0 213849 0
vsize: 855460
[startup+220.02 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 20717 40 0 0 25 0 11 0 837637915 875991040 27731 4294967295 134512640 134569956 3221224368 3221214648 1131466350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27731 13086 16 0 213849 0
vsize: 855460
[startup+230.02 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 21690 40 0 0 25 0 11 0 837637915 875991040 27799 4294967295 134512640 134569956 3221224368 3221214648 1131462950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27799 13086 16 0 213849 0
vsize: 855460
[startup+240.02 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 22663 40 0 0 25 0 11 0 837637915 875991040 27860 4294967295 134512640 134569956 3221224368 3221214088 1131326161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 27860 13086 16 0 213849 0
vsize: 855460
[startup+250.021 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 23636 40 0 0 25 0 11 0 837637915 875991040 27937 4294967295 134512640 134569956 3221224368 3221213904 1131324552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 27937 13086 16 0 213849 0
vsize: 855460
[startup+260.021 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 24609 40 0 0 25 0 11 0 837637915 875991040 28001 4294967295 134512640 134569956 3221224368 3221214560 1131328368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28001 13086 16 0 213849 0
vsize: 855460
[startup+270.021 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 25582 40 0 0 25 0 11 0 837637915 875991040 28055 4294967295 134512640 134569956 3221224368 3221214272 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28055 13086 16 0 213849 0
vsize: 855460
[startup+280.021 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 26554 40 0 0 25 0 11 0 837637915 875991040 28114 4294967295 134512640 134569956 3221224368 3221214648 1131458120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28114 13086 16 0 213849 0
vsize: 855460
[startup+290.022 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 27527 40 0 0 25 0 11 0 837637915 875991040 28176 4294967295 134512640 134569956 3221224368 3221213908 1131326155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28176 13086 16 0 213849 0
vsize: 855460
[startup+300.023 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 28499 40 0 0 25 0 11 0 837637915 875991040 28234 4294967295 134512640 134569956 3221224368 3221214184 1131324393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28234 13086 16 0 213849 0
vsize: 855460
[startup+310.023 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 29471 40 0 0 25 0 11 0 837637915 875991040 28308 4294967295 134512640 134569956 3221224368 3221214392 1131328600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28308 13086 16 0 213849 0
vsize: 855460
[startup+320.023 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 30444 40 0 0 25 0 11 0 837637915 875991040 28377 4294967295 134512640 134569956 3221224368 3221213808 1131326005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28377 13086 16 0 213849 0
vsize: 855460
[startup+330.024 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 31424 40 0 0 25 0 11 0 837637915 875991040 28425 4294967295 134512640 134569956 3221224368 3221214080 1131326136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28425 13086 16 0 213849 0
vsize: 855460
[startup+340.023 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 32396 40 0 0 25 0 11 0 837637915 875991040 28512 4294967295 134512640 134569956 3221224368 3221214648 1131462943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28512 13086 16 0 213849 0
vsize: 855460
[startup+350.024 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 33370 40 0 0 25 0 11 0 837637915 875991040 28579 4294967295 134512640 134569956 3221224368 3221214080 1131326108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28579 13086 16 0 213849 0
vsize: 855460
[startup+360.025 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 34343 40 0 0 25 0 11 0 837637915 875991040 28631 4294967295 134512640 134569956 3221224368 3221214608 1131189672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28631 13086 16 0 213849 0
vsize: 855460
[startup+370.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 35317 40 0 0 25 0 11 0 837637915 875991040 28694 4294967295 134512640 134569956 3221224368 3221213860 1131326160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28694 13086 16 0 213849 0
vsize: 855460
[startup+380.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 36291 40 0 0 25 0 11 0 837637915 875991040 28757 4294967295 134512640 134569956 3221224368 3221214648 1131460109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28757 13086 16 0 213849 0
vsize: 855460
[startup+390.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 37265 41 0 0 25 0 11 0 837637915 875991040 28814 4294967295 134512640 134569956 3221224368 3221214384 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28814 13086 16 0 213849 0
vsize: 855460
[startup+400.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 38239 41 0 0 25 0 11 0 837637915 875991040 28875 4294967295 134512640 134569956 3221224368 3221214104 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28875 13086 16 0 213849 0
vsize: 855460
[startup+410.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 39213 41 0 0 25 0 11 0 837637915 875991040 28943 4294967295 134512640 134569956 3221224368 3221214648 1131470500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28943 13086 16 0 213849 0
vsize: 855460
[startup+420.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 40194 41 0 0 25 0 11 0 837637915 875991040 28987 4294967295 134512640 134569956 3221224368 3221214328 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 28987 13086 16 0 213849 0
vsize: 855460
[startup+430.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 41169 41 0 0 25 0 11 0 837637915 875991040 29042 4294967295 134512640 134569956 3221224368 3221214056 1131328600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29042 13086 16 0 213849 0
vsize: 855460
[startup+440.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 42143 41 0 0 25 0 11 0 837637915 875991040 29092 4294967295 134512640 134569956 3221224368 3221214356 1131326160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29092 13086 16 0 213849 0
vsize: 855460
[startup+450.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 43118 41 0 0 25 0 11 0 837637915 875991040 29142 4294967295 134512640 134569956 3221224368 3221213528 1131326161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29142 13086 16 0 213849 0
vsize: 855460
[startup+460.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 44092 41 0 0 25 0 11 0 837637915 875991040 29187 4294967295 134512640 134569956 3221224368 3221213976 1131326161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29187 13086 16 0 213849 0
vsize: 855460
[startup+470.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 45066 41 0 0 25 0 11 0 837637915 875991040 29244 4294967295 134512640 134569956 3221224368 3221214648 1131468943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29244 13086 16 0 213849 0
vsize: 855460
[startup+480.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 46047 41 0 0 25 0 11 0 837637915 875991040 29291 4294967295 134512640 134569956 3221224368 3221214436 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29291 13086 16 0 213849 0
vsize: 855460
[startup+490.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 47022 41 0 0 25 0 11 0 837637915 875991040 29335 4294967295 134512640 134569956 3221224368 3221214648 1131462905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29335 13086 16 0 213849 0
vsize: 855460
[startup+500.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 47997 41 0 0 25 0 11 0 837637915 875991040 29390 4294967295 134512640 134569956 3221224368 3221213696 1131326100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29390 13086 16 0 213849 0
vsize: 855460
[startup+510.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 48972 41 0 0 25 0 11 0 837637915 875991040 29456 4294967295 134512640 134569956 3221224368 3221214192 1131324452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29456 13086 16 0 213849 0
vsize: 855460
[startup+520.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 49953 41 0 0 25 0 11 0 837637915 875991040 29500 4294967295 134512640 134569956 3221224368 3221214648 1131462978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29500 13086 16 0 213849 0
vsize: 855460
[startup+530.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 50928 41 0 0 25 0 11 0 837637915 875991040 29552 4294967295 134512640 134569956 3221224368 3221214648 1131457839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29552 13086 16 0 213849 0
vsize: 855460
[startup+540.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 51909 42 0 0 25 0 11 0 837637915 875991040 29585 4294967295 134512640 134569956 3221224368 3221214648 1131467572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29585 13086 16 0 213849 0
vsize: 855460
[startup+550.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 52889 42 0 0 25 0 11 0 837637915 875991040 29625 4294967295 134512640 134569956 3221224368 3221214296 1131324527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29625 13086 16 0 213849 0
vsize: 855460
[startup+560.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 53864 42 0 0 25 0 11 0 837637915 875991040 29670 4294967295 134512640 134569956 3221224368 3221214648 1131462905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29670 13086 16 0 213849 0
vsize: 855460
[startup+570.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 54844 43 0 0 25 0 11 0 837637915 875991040 29713 4294967295 134512640 134569956 3221224368 3221214648 1131460153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29713 13086 16 0 213849 0
vsize: 855460
[startup+580.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 55819 43 0 0 25 0 11 0 837637915 875991040 29756 4294967295 134512640 134569956 3221224368 3221213800 1131324508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29756 13086 16 0 213849 0
vsize: 855460
[startup+590.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 56799 44 0 0 25 0 11 0 837637915 875991040 29802 4294967295 134512640 134569956 3221224368 3221213832 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29802 13086 16 0 213849 0
vsize: 855460
[startup+600.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 57773 44 0 0 25 0 11 0 837637915 875991040 29839 4294967295 134512640 134569956 3221224368 3221214384 1085679429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29839 13086 16 0 213849 0
vsize: 855460
[startup+610.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 58748 44 0 0 25 0 11 0 837637915 875991040 29889 4294967295 134512640 134569956 3221224368 3221214024 1131326161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 29889 13086 16 0 213849 0
vsize: 855460
[startup+620.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 59723 45 0 0 25 0 11 0 837637915 875991040 29930 4294967295 134512640 134569956 3221224368 3221213548 1131324291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29930 13086 16 0 213849 0
vsize: 855460
[startup+630.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 60703 45 0 0 25 0 11 0 837637915 875991040 29972 4294967295 134512640 134569956 3221224368 3221214648 1131461684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 29972 13086 16 0 213849 0
vsize: 855460
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 61678 46 0 0 25 0 11 0 837637915 875991040 30032 4294967295 134512640 134569956 3221224368 3221214544 1131190141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30032 13086 16 0 213849 0
vsize: 855460
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 62660 46 0 0 25 0 11 0 837637915 875991040 30070 4294967295 134512640 134569956 3221224368 3221214648 1131481205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30070 13086 16 0 213849 0
vsize: 855460
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 63640 47 0 0 25 0 11 0 837637915 875991040 30099 4294967295 134512640 134569956 3221224368 3221213908 1131326160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30099 13086 16 0 213849 0
vsize: 855460
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 64621 47 0 0 25 0 11 0 837637915 875991040 30131 4294967295 134512640 134569956 3221224368 3221214648 1131462628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 30131 13086 16 0 213849 0
vsize: 855460
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) S 31950 20001 20000 0 -1 0 18197 3 1 0 65597 47 0 0 25 0 11 0 837637915 875991040 30175 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30175 13086 16 0 213849 0
vsize: 855460
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 66577 47 0 0 25 0 11 0 837637915 875991040 30213 4294967295 134512640 134569956 3221224368 3221214648 1131462909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30213 13086 16 0 213849 0
vsize: 855460
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 67556 48 0 0 25 0 11 0 837637915 875991040 30235 4294967295 134512640 134569956 3221224368 3221214648 1131463724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30235 13086 16 0 213849 0
vsize: 855460
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 68537 48 0 0 25 0 11 0 837637915 875991040 30263 4294967295 134512640 134569956 3221224368 3221214268 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30263 13086 16 0 213849 0
vsize: 855460
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 69510 49 0 0 25 0 11 0 837637915 875991040 30324 4294967295 134512640 134569956 3221224368 3221214672 1131189606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30324 13086 16 0 213849 0
vsize: 855460
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 70490 49 0 0 25 0 11 0 837637915 875991040 30363 4294967295 134512640 134569956 3221224368 3221213888 1131328594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30363 13086 16 0 213849 0
vsize: 855460
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 71471 50 0 0 25 0 11 0 837637915 875991040 30405 4294967295 134512640 134569956 3221224368 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30405 13086 16 0 213849 0
vsize: 855460
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 72446 50 0 0 25 0 11 0 837637915 875991040 30453 4294967295 134512640 134569956 3221224368 3221214648 1131463860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30453 13086 16 0 213849 0
vsize: 855460
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 73427 50 0 0 25 0 11 0 837637915 875991040 30488 4294967295 134512640 134569956 3221224368 3221213688 1131324402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30488 13086 16 0 213849 0
vsize: 855460
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 74408 51 0 0 25 0 11 0 837637915 875991040 30527 4294967295 134512640 134569956 3221224368 3221214648 1131459213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30527 13086 16 0 213849 0
vsize: 855460
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 75383 51 0 0 25 0 11 0 837637915 875991040 30579 4294967295 134512640 134569956 3221224368 3221214104 1085679449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30579 13086 16 0 213849 0
vsize: 855460
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 76364 51 0 0 25 0 11 0 837637915 875991040 30616 4294967295 134512640 134569956 3221224368 3221213688 1131326108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30616 13086 16 0 213849 0
vsize: 855460
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 77346 52 0 0 25 0 11 0 837637915 875991040 30652 4294967295 134512640 134569956 3221224368 3221214720 1131268496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30652 13086 16 0 213849 0
vsize: 855460
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 78321 52 0 0 25 0 11 0 837637915 875991040 30699 4294967295 134512640 134569956 3221224368 3221213684 1131325984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30699 13086 16 0 213849 0
vsize: 855460
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 79303 52 0 0 25 0 11 0 837637915 875991040 30729 4294967295 134512640 134569956 3221224368 3221214024 1131326235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30729 13086 16 0 213849 0
vsize: 855460
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 80279 52 0 0 25 0 11 0 837637915 875991040 30779 4294967295 134512640 134569956 3221224368 3221214648 1131460153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30779 13086 16 0 213849 0
vsize: 855460
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 81261 53 0 0 25 0 11 0 837637915 875991040 30813 4294967295 134512640 134569956 3221224368 3221214304 1131326136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 30813 13086 16 0 213849 0
vsize: 855460
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 82238 53 0 0 25 0 11 0 837637915 875991040 30855 4294967295 134512640 134569956 3221224368 3221214104 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30855 13086 16 0 213849 0
vsize: 855460
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 83220 53 0 0 25 0 11 0 837637915 875991040 30891 4294967295 134512640 134569956 3221224368 3221214568 1131327255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30891 13086 16 0 213849 0
vsize: 855460
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 84196 53 0 0 25 0 11 0 837637915 875991040 30933 4294967295 134512640 134569956 3221224368 3221214216 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30933 13086 16 0 213849 0
vsize: 855460
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 85177 53 0 0 25 0 11 0 837637915 875991040 30966 4294967295 134512640 134569956 3221224368 3221214408 1131324447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 30966 13086 16 0 213849 0
vsize: 855460
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 86153 54 0 0 25 0 11 0 837637915 875991040 31005 4294967295 134512640 134569956 3221224368 3221214296 1131324508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31005 13086 16 0 213849 0
vsize: 855460
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 87135 54 0 0 25 0 11 0 837637915 875991040 31034 4294967295 134512640 134569956 3221224368 3221213916 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31034 13086 16 0 213849 0
vsize: 855460
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 88117 54 0 0 25 0 11 0 837637915 875991040 31059 4294967295 134512640 134569956 3221224368 3221213632 1131326161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31059 13086 16 0 213849 0
vsize: 855460
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 89092 55 0 0 25 0 11 0 837637915 875991040 31100 4294967295 134512640 134569956 3221224368 3221214572 1131324523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31100 13086 16 0 213849 0
vsize: 855460
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 90067 55 0 0 25 0 11 0 837637915 875991040 31136 4294967295 134512640 134569956 3221224368 3221214648 1131485176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31136 13086 16 0 213849 0
vsize: 855460
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 91042 56 0 0 25 0 11 0 837637915 875991040 31172 4294967295 134512640 134569956 3221224368 3221214648 1131460151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31172 13086 16 0 213849 0
vsize: 855460
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 92024 56 0 0 25 0 11 0 837637915 875991040 31217 4294967295 134512640 134569956 3221224368 3221213960 1131324393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31217 13086 16 0 213849 0
vsize: 855460
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 92999 57 0 0 25 0 11 0 837637915 875991040 31259 4294967295 134512640 134569956 3221224368 3221213696 1131326028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31259 13086 16 0 213849 0
vsize: 855460
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 93981 57 0 0 25 0 11 0 837637915 875991040 31289 4294967295 134512640 134569956 3221224368 3221214468 1131326160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31289 13086 16 0 213849 0
vsize: 855460
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 94958 57 0 0 25 0 11 0 837637915 875991040 31326 4294967295 134512640 134569956 3221224368 3221214648 1131466449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31326 13086 16 0 213849 0
vsize: 855460
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 95940 57 0 0 25 0 11 0 837637915 875991040 31363 4294967295 134512640 134569956 3221224368 3221214648 1131458216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 31363 13086 16 0 213849 0
vsize: 855460
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 96922 58 0 0 25 0 11 0 837637915 875991040 31400 4294967295 134512640 134569956 3221224368 3221213856 1131326108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213865 31400 13086 16 0 213849 0
vsize: 855460
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 97905 58 0 0 25 0 11 0 837637915 875991040 31422 4294967295 134512640 134569956 3221224368 3221214428 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31422 13086 16 0 213849 0
vsize: 855460
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 98880 59 0 0 25 0 11 0 837637915 875991040 31451 4294967295 134512640 134569956 3221224368 3221214464 1131324540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31451 13086 16 0 213849 0
vsize: 855460
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 99862 59 0 0 25 0 11 0 837637915 875991040 31481 4294967295 134512640 134569956 3221224368 3221214164 1131324297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31481 13086 16 0 213849 0
vsize: 855460
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 100838 59 0 0 25 0 11 0 837637915 875991040 31520 4294967295 134512640 134569956 3221224368 3221213796 1131326160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31520 13086 16 0 213849 0
vsize: 855460
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 101820 60 0 0 25 0 11 0 837637915 875991040 31552 4294967295 134512640 134569956 3221224368 3221213740 1131324523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31552 13086 16 0 213849 0
vsize: 855460
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 102802 61 0 0 25 0 11 0 837637915 875991040 31582 4294967295 134512640 134569956 3221224368 3221214648 1131466597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31582 13086 16 0 213849 0
vsize: 855460
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 103783 62 0 0 25 0 11 0 837637915 875991040 31606 4294967295 134512640 134569956 3221224368 3221214064 1131327255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31606 13086 16 0 213849 0
vsize: 855460
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 104765 62 0 0 25 0 11 0 837637915 875991040 31631 4294967295 134512640 134569956 3221224368 3221213936 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31631 13086 16 0 213849 0
vsize: 855460
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 105741 63 0 0 25 0 11 0 837637915 875991040 31668 4294967295 134512640 134569956 3221224368 3221214648 1131466594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31668 13086 16 0 213849 0
vsize: 855460
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 106723 63 0 0 25 0 11 0 837637915 875991040 31699 4294967295 134512640 134569956 3221224368 3221214048 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31699 13086 16 0 213849 0
vsize: 855460
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 107705 64 0 0 25 0 11 0 837637915 875991040 31727 4294967295 134512640 134569956 3221224368 3221214160 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31727 13086 16 0 213849 0
vsize: 855460
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 108687 64 0 0 25 0 11 0 837637915 875991040 31756 4294967295 134512640 134569956 3221224368 3221214648 1131461713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31756 13086 16 0 213849 0
vsize: 855460
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) S 31950 20001 20000 0 -1 0 18197 3 1 0 109668 65 0 0 25 0 11 0 837637915 875991040 31779 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31779 13086 16 0 213849 0
vsize: 855460
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 110644 65 0 0 25 0 11 0 837637915 875991040 31819 4294967295 134512640 134569956 3221224368 3221214648 1131458147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31819 13086 16 0 213849 0
vsize: 855460
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 111626 65 0 0 25 0 11 0 837637915 875991040 31846 4294967295 134512640 134569956 3221224368 3221214544 1131189482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31846 13086 16 0 213849 0
vsize: 855460
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 112603 66 0 0 25 0 11 0 837637915 875991040 31883 4294967295 134512640 134569956 3221224368 3221214648 1131457903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31883 13086 16 0 213849 0
vsize: 855460
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 113585 66 0 0 25 0 11 0 837637915 875991040 31916 4294967295 134512640 134569956 3221224368 3221213528 1131326112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31916 13086 16 0 213849 0
vsize: 855460
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 114567 66 0 0 25 0 11 0 837637915 875991040 31944 4294967295 134512640 134569956 3221224368 3221214648 1131463817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31944 13086 16 0 213849 0
vsize: 855460
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 115548 67 0 0 25 0 11 0 837637915 875991040 31965 4294967295 134512640 134569956 3221224368 3221214516 1131327241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 31965 13086 16 0 213849 0
vsize: 855460
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 116524 67 0 0 25 0 11 0 837637915 875991040 32002 4294967295 134512640 134569956 3221224368 3221214648 1131466378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 32002 13086 16 0 213849 0
vsize: 855460
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 117506 67 0 0 25 0 11 0 837637915 875991040 32027 4294967295 134512640 134569956 3221224368 3221214648 1131471716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 32027 13086 16 0 213849 0
vsize: 855460
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 118481 67 0 0 25 0 11 0 837637915 875991040 32064 4294967295 134512640 134569956 3221224368 3221214136 1131326039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 32064 13086 16 0 213849 0
vsize: 855460
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 119463 68 0 0 25 0 11 0 837637915 875991040 32096 4294967295 134512640 134569956 3221224368 3221214648 1131466393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 32096 13086 16 0 213849 0
vsize: 855460
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31967
Raw data (stat): 31951 (java) R 31950 20001 20000 0 -1 0 18197 3 1 0 120444 68 0 0 25 0 11 0 837637915 875991040 32116 4294967295 134512640 134569956 3221224368 3221214648 1131460153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213865 32116 13086 16 0 213849 0
vsize: 855460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31969
Raw data (stat): 31951 (java) Z 31950 20001 20000 0 -1 1036 18197 26655 1 0 120448 74 4672 74 25 0 1 0 837637915 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): 1240.16
CPU time (s): 1252.7
CPU user time (s): 1251.21
CPU system time (s): 1.48977
CPU usage (%): 101.011
Max. virtual memory (Kb): 874780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####