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/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb
MD5SUM	f47bbbd6071f289ca98b403c3baa1b08
Bench Category	optimization, big integers (OPTBIGINT)
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	16384000000
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	2012983988447
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.868867
Number of variables	8345
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7147
Number of constraints which are nor clauses,nor cardinality constraints	461
Minimum length of a constraint	1
Maximum length of a constraint	6744
Trace number 29997

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 13:40:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21401 boxname=wulflinc4 idbench=1389 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f47bbbd6071f289ca98b403c3baa1b08  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-swath.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-swath.opb
IDLAUNCH: 21401
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        648040 kB
Buffers:         34636 kB
Cached:         331352 kB
SwapCached:        600 kB
Active:          75760 kB
Inactive:       292644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647788 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12616 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:00:39 (client local time) WITH STATUS 143 IN 1218.09 SECONDS
stats: 21401 7 1218.09 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/wulflinc4/normalized-mps-v2-13-7-swath.opb
c reading problem ... done. Time 28.801 ms.
c #vars     8345
c #constraints  987
c starts	: 1
c conflicts	: 1
c decisions	: 20
c propagations	: 496
c inspects	: 64
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1219.169
#### 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.78 0.95 0.98 2/54 1891
Raw data (stat): 1891 (runsolver) R 1890 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781081888 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+9.99982 s]
Raw data (loadavg): 0.81 0.95 0.98 2/63 1900
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18049 0 1 0 892 37 0 0 25 0 10 0 781081888 853655552 19188 4294967295 134512640 134569956 3221224368 3221214432 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208412 19188 13086 16 0 208396 0
vsize: 833648
[startup+20.0011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 1900
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18057 0 1 0 1727 38 0 0 25 0 10 0 781081888 856985600 20748 4294967295 134512640 134569956 3221224368 3221214360 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209225 20748 13086 16 0 209209 0
vsize: 836900
[startup+30.002 s]
Raw data (loadavg): 1.00 0.99 0.99 3/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18082 0 1 0 2602 39 0 0 25 0 11 0 781081888 857382912 22172 4294967295 134512640 134569956 3221224368 3221214608 1131365291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209322 22172 13086 16 0 209306 0
vsize: 837288
[startup+40.0014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18093 0 1 0 3534 40 0 0 25 0 11 0 781081888 856879104 23915 4294967295 134512640 134569956 3221224368 3221214624 1131412873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209199 23915 13086 16 0 209183 0
vsize: 836796
[startup+50.0027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 4496 40 0 0 25 0 11 0 781081888 856879104 23917 4294967295 134512640 134569956 3221224368 3221214624 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 23917 13086 16 0 209183 0
vsize: 836796
[startup+60.0034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 5457 40 0 0 25 0 11 0 781081888 857296896 23983 4294967295 134512640 134569956 3221224368 3221214464 1131355364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209301 23983 13086 16 0 209285 0
vsize: 837204
[startup+70.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 6418 40 0 0 25 0 11 0 781081888 857198592 23959 4294967295 134512640 134569956 3221224368 3221214624 1131412867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209277 23959 13086 16 0 209261 0
vsize: 837108
[startup+80.0063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 7386 40 0 0 25 0 11 0 781081888 856707072 23846 4294967295 134512640 134569956 3221224368 3221214624 1131413024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209157 23846 13086 16 0 209141 0
vsize: 836628
[startup+90.0061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 8358 40 0 0 25 0 11 0 781081888 856707072 23846 4294967295 134512640 134569956 3221224368 3221214584 1131417506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209157 23846 13086 16 0 209141 0
vsize: 836628
[startup+100.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 9338 40 0 0 25 0 11 0 781081888 856707072 23846 4294967295 134512640 134569956 3221224368 3221214464 1131355326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209157 23846 13086 16 0 209141 0
vsize: 836628
[startup+110.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 10314 40 0 0 25 0 11 0 781081888 861360128 25703 4294967295 134512640 134569956 3221224368 3221214488 1131355653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25703 13086 16 0 210277 0
vsize: 841172
[startup+120.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18094 0 1 0 11307 40 0 0 25 0 11 0 781081888 861360128 25703 4294967295 134512640 134569956 3221224368 3221214488 1131355388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25703 13086 16 0 210277 0
vsize: 841172
[startup+130.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 12298 41 0 0 25 0 11 0 781081888 861360128 25704 4294967295 134512640 134569956 3221224368 3221214560 1131261241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25704 13086 16 0 210277 0
vsize: 841172
[startup+140.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 13290 41 0 0 25 0 11 0 781081888 861360128 25704 4294967295 134512640 134569956 3221224368 3221214560 1131261165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25704 13086 16 0 210277 0
vsize: 841172
[startup+150.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 14284 41 0 0 25 0 11 0 781081888 861360128 25704 4294967295 134512640 134569956 3221224368 3221214568 1131246630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25704 13086 16 0 210277 0
vsize: 841172
[startup+160.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 15278 41 0 0 25 0 11 0 781081888 861360128 25704 4294967295 134512640 134569956 3221224368 3221214592 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25704 13086 16 0 210277 0
vsize: 841172
[startup+170.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 16274 42 0 0 25 0 11 0 781081888 861360128 25704 4294967295 134512640 134569956 3221224368 3221214592 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25704 13086 16 0 210277 0
vsize: 841172
[startup+180.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 17267 42 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+190.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 18260 42 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214632 1131417280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+200.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 19251 43 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131411490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+210.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 20243 43 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214616 1131262330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+220.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 21236 43 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214616 1131262330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+230.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 22230 43 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+240.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 23225 44 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214576 1131415716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+250.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 24223 44 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214576 1131415911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+260.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 25213 44 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+270.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 26206 45 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214608 1131261174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+280.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 27198 45 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214608 1131261174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+290.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 28191 45 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131411524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+300.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 29185 45 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+310.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 30179 46 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131413024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+320.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 31177 46 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+330.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 32169 46 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+340.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 33161 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+350.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 34152 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+360.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 35145 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+370.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 36139 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+380.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 37134 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214632 1131417525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+390.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 38131 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+400.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 39125 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214616 1131262317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+410.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 40116 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+420.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 41108 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+430.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 42101 47 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214632 1131417510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+440.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 43095 48 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214636 1131246380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+450.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 44089 48 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+460.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 45084 48 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+470.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 46080 48 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214588 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+480.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 47070 49 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214616 1131246573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+490.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 48062 49 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+500.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 49054 49 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214616 1131262321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+510.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 50046 50 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+520.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 51040 50 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+530.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 52035 50 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214608 1131261206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+540.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 53031 50 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+550.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 54024 51 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+560.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 55014 51 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+570.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 56006 51 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214632 1131417398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+580.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 57000 52 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214632 1131417339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+590.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 57992 52 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+600.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 58987 52 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214576 1131415925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+610.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 59985 52 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214776 1131407939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+620.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 60975 53 0 0 24 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+630.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 61966 53 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221213800 1077094241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+640.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 62959 53 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214576 1131415732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+650.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 63950 54 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221213820 1077094255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+660.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 64944 54 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+670.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 65938 54 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214592 1131245401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+680.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 66936 54 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+690.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 67928 54 0 0 25 0 11 0 781081888 861360128 25705 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25705 13086 16 0 210277 0
vsize: 841172
[startup+700.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 68920 54 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214636 1131262252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+710.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 69918 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+720.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 70918 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+730.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 71916 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+740.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 72916 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+750.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 73915 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+760.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 74913 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+770.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 75912 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+780.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 76910 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+790.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 77908 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+800.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 78907 55 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+810.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 79905 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214616 1131262330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+820.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 80905 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+830.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 81903 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214636 1131246377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+840.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 82901 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+850.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 83900 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 84898 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+870.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 85897 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214636 1131354988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+880.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 86897 56 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+890.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 87896 57 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+900.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 88893 57 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 89892 57 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+920.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 90890 58 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214616 1131262305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+930.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 91889 58 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 92887 58 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+950.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 93886 58 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+960.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 94885 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+970.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 95884 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 96882 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+990.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 97882 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 98880 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 99880 59 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 100878 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 101877 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 102876 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 103873 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 104872 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 105870 60 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 106868 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131411524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 107867 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131411592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 108867 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131412899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 109865 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 110863 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 111861 61 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214536 1131355862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 112860 62 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 113858 62 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214616 1131262321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 114857 62 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 115856 62 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214608 1131261168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1901
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 116854 62 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1190.07 s]
Raw data (loadavg): 1.08 1.00 1.00 2/66 1942
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 117841 64 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214576 1131415698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1200.07 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1954
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 118834 65 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1210.07 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1954
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 119826 65 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214640 1131411490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
[startup+1220.07 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1954
Raw data (stat): 1891 (java) R 1890 21152 21151 0 -1 0 18095 0 1 0 120819 65 0 0 25 0 11 0 781081888 861360128 25837 4294967295 134512640 134569956 3221224368 3221214632 1131417395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210293 25837 13086 16 0 210277 0
vsize: 841172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.05 1.00 1.00 1/54 1956
Raw data (stat): 1891 (java) Z 1890 21152 21151 0 -1 1036 18095 5813 1 0 120820 65 906 16 25 0 1 0 781081888 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.14
CPU time (s): 1218.09
CPU user time (s): 1217.27
CPU system time (s): 0.820875
CPU usage (%): 99.8325
Max. virtual memory (Kb): 841172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####