PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb
MD5SUM	63aca17b11625a83c7613ee93b3a2e23
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	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	28349428224
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	319999999936
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	139.971
Number of variables	98496
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	361
Trace number 30208

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 15:41:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21577 boxname=wulflinc29 idbench=1565 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  63aca17b11625a83c7613ee93b3a2e23  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-van.opb
IDLAUNCH: 21577
/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:        367428 kB
Buffers:         34736 kB
Cached:         606408 kB
SwapCached:        572 kB
Active:         182408 kB
Inactive:       464292 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        367148 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              20 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14872 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 16:03:59 (client local time) WITH STATUS 143 IN 1319.61 SECONDS
stats: 21577 7 1319.61 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-13-7-van.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1319.108
#### 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): 1.07 1.00 1.00 2/54 2191
Raw data (stat): 2191 (runsolver) R 2190 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840037225 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 861 42 0 0 24 0 10 0 840037225 853835776 19536 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 19536 13086 16 0 208440 0
vsize: 833824
[startup+20.0026 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 1751 43 0 0 25 0 10 0 840037225 854753280 20251 4294967295 134512640 134569956 3221224368 3221213780 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208680 20251 13086 16 0 208664 0
vsize: 834720
[startup+30.0033 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 2636 43 0 0 25 0 10 0 840037225 853999616 20683 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 20683 13086 16 0 208480 0
vsize: 833984
[startup+40.0032 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 3546 43 0 0 25 0 10 0 840037225 853999616 21014 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 21014 13086 16 0 208480 0
vsize: 833984
[startup+50.004 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 4461 44 0 0 25 0 10 0 840037225 853999616 21224 4294967295 134512640 134569956 3221224368 3221214776 1131312838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 21224 13086 16 0 208480 0
vsize: 833984
[startup+60.0036 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 5376 44 0 0 25 0 10 0 840037225 853999616 21385 4294967295 134512640 134569956 3221224368 3221213376 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 21385 13086 16 0 208480 0
vsize: 833984
[startup+70.0036 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 6299 44 0 0 25 0 10 0 840037225 853999616 21610 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 21610 13086 16 0 208480 0
vsize: 833984
[startup+80.0043 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 7231 45 0 0 25 0 10 0 840037225 853999616 21733 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 21733 13086 16 0 208480 0
vsize: 833984
[startup+90.0041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 8165 45 0 0 25 0 10 0 840037225 853999616 21849 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 21849 13086 16 0 208480 0
vsize: 833984
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 9100 45 0 0 25 0 10 0 840037225 853999616 21958 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 21958 13086 16 0 208480 0
vsize: 833984
[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 10039 45 0 0 25 0 10 0 840037225 853999616 22053 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22053 13086 16 0 208480 0
vsize: 833984
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 10974 46 0 0 25 0 10 0 840037225 853999616 22148 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 22148 13086 16 0 208480 0
vsize: 833984
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 11915 46 0 0 25 0 10 0 840037225 853999616 22233 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22233 13086 16 0 208480 0
vsize: 833984
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 12852 47 0 0 25 0 10 0 840037225 853999616 22319 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22319 13086 16 0 208480 0
vsize: 833984
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 13789 47 0 0 21 0 10 0 840037225 853999616 22402 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22402 13086 16 0 208480 0
vsize: 833984
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 14730 47 0 0 25 0 10 0 840037225 853999616 22476 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22476 13086 16 0 208480 0
vsize: 833984
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 15667 47 0 0 25 0 10 0 840037225 853999616 22552 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22552 13086 16 0 208480 0
vsize: 833984
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 16584 48 0 0 25 0 10 0 840037225 853999616 22622 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22622 13086 16 0 208480 0
vsize: 833984
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 17506 48 0 0 25 0 10 0 840037225 853999616 22851 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22851 13086 16 0 208480 0
vsize: 833984
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 18440 48 0 0 25 0 10 0 840037225 853999616 22927 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 22927 13086 16 0 208480 0
vsize: 833984
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 19377 49 0 0 25 0 10 0 840037225 853999616 22989 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 22989 13086 16 0 208480 0
vsize: 833984
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 20312 49 0 0 25 0 10 0 840037225 853999616 23054 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23054 13086 16 0 208480 0
vsize: 833984
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 21245 49 0 0 25 0 10 0 840037225 853999616 23118 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23118 13086 16 0 208480 0
vsize: 833984
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 22182 50 0 0 25 0 10 0 840037225 853999616 23176 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23176 13086 16 0 208480 0
vsize: 833984
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 23115 50 0 0 25 0 10 0 840037225 853999616 23236 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23236 13086 16 0 208480 0
vsize: 833984
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 24048 50 0 0 24 0 10 0 840037225 853999616 23295 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23295 13086 16 0 208480 0
vsize: 833984
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 24985 51 0 0 25 0 10 0 840037225 853999616 23350 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23350 13086 16 0 208480 0
vsize: 833984
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 25917 51 0 0 25 0 10 0 840037225 853999616 23407 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23407 13086 16 0 208480 0
vsize: 833984
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 26850 51 0 0 24 0 10 0 840037225 853999616 23463 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23463 13086 16 0 208480 0
vsize: 833984
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 27785 51 0 0 25 0 10 0 840037225 853999616 23514 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23514 13086 16 0 208480 0
vsize: 833984
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 28717 52 0 0 25 0 10 0 840037225 853999616 23567 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23567 13086 16 0 208480 0
vsize: 833984
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 29651 52 0 0 25 0 10 0 840037225 853999616 23617 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23617 13086 16 0 208480 0
vsize: 833984
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 30581 52 0 0 25 0 10 0 840037225 853999616 23669 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23669 13086 16 0 208480 0
vsize: 833984
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 31511 53 0 0 24 0 10 0 840037225 853999616 23719 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23719 13086 16 0 208480 0
vsize: 833984
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 32444 53 0 0 25 0 10 0 840037225 853999616 23766 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23766 13086 16 0 208480 0
vsize: 833984
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 33373 53 0 0 25 0 10 0 840037225 853999616 23816 4294967295 134512640 134569956 3221224368 3221214288 1079300802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23816 13086 16 0 208480 0
vsize: 833984
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 34305 53 0 0 25 0 10 0 840037225 853999616 23861 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23861 13086 16 0 208480 0
vsize: 833984
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 35233 54 0 0 25 0 10 0 840037225 853999616 23910 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23910 13086 16 0 208480 0
vsize: 833984
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 36161 54 0 0 25 0 10 0 840037225 853999616 23957 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 23957 13086 16 0 208480 0
vsize: 833984
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 37091 54 0 0 25 0 10 0 840037225 853999616 24001 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24001 13086 16 0 208480 0
vsize: 833984
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 38017 55 0 0 25 0 10 0 840037225 853999616 24047 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24047 13086 16 0 208480 0
vsize: 833984
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 38948 55 0 0 25 0 10 0 840037225 853999616 24089 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24089 13086 16 0 208480 0
vsize: 833984
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 39874 55 0 0 25 0 10 0 840037225 853999616 24134 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24134 13086 16 0 208480 0
vsize: 833984
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 40803 56 0 0 25 0 10 0 840037225 853999616 24175 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24175 13086 16 0 208480 0
vsize: 833984
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 41729 56 0 0 25 0 10 0 840037225 853999616 24219 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24219 13086 16 0 208480 0
vsize: 833984
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 42657 56 0 0 25 0 10 0 840037225 853999616 24260 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24260 13086 16 0 208480 0
vsize: 833984
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 43581 56 0 0 25 0 10 0 840037225 853999616 24302 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24302 13086 16 0 208480 0
vsize: 833984
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 44510 57 0 0 25 0 10 0 840037225 853999616 24342 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24342 13086 16 0 208480 0
vsize: 833984
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 45433 58 0 0 25 0 10 0 840037225 853999616 24383 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24383 13086 16 0 208480 0
vsize: 833984
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 46360 58 0 0 25 0 10 0 840037225 853999616 24424 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24424 13086 16 0 208480 0
vsize: 833984
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 47283 58 0 0 25 0 10 0 840037225 853999616 24464 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24464 13086 16 0 208480 0
vsize: 833984
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 48209 59 0 0 25 0 10 0 840037225 853999616 24502 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24502 13086 16 0 208480 0
vsize: 833984
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 49132 59 0 0 25 0 10 0 840037225 853999616 24542 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24542 13086 16 0 208480 0
vsize: 833984
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 50058 59 0 0 25 0 10 0 840037225 853999616 24579 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24579 13086 16 0 208480 0
vsize: 833984
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 50978 60 0 0 24 0 10 0 840037225 853999616 24618 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24618 13086 16 0 208480 0
vsize: 833984
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 51904 60 0 0 25 0 10 0 840037225 853999616 24655 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24655 13086 16 0 208480 0
vsize: 833984
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 52830 60 0 0 25 0 10 0 840037225 853999616 24691 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24691 13086 16 0 208480 0
vsize: 833984
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 53750 60 0 0 25 0 10 0 840037225 853999616 24729 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24729 13086 16 0 208480 0
vsize: 833984
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 54674 61 0 0 25 0 10 0 840037225 853999616 24765 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24765 13086 16 0 208480 0
vsize: 833984
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 55593 61 0 0 25 0 10 0 840037225 853999616 24802 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24802 13086 16 0 208480 0
vsize: 833984
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 56517 61 0 0 25 0 10 0 840037225 853999616 24837 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24837 13086 16 0 208480 0
vsize: 833984
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 57436 62 0 0 25 0 10 0 840037225 853999616 24872 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24872 13086 16 0 208480 0
vsize: 833984
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 58359 62 0 0 25 0 10 0 840037225 853999616 24908 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24908 13086 16 0 208480 0
vsize: 833984
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 59282 62 0 0 25 0 10 0 840037225 853999616 24943 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24943 13086 16 0 208480 0
vsize: 833984
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 60200 63 0 0 24 0 10 0 840037225 853999616 24979 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 24979 13086 16 0 208480 0
vsize: 833984
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 61122 63 0 0 25 0 10 0 840037225 853999616 25012 4294967295 134512640 134569956 3221224368 3221214804 1130918308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25012 13086 16 0 208480 0
vsize: 833984
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 62041 64 0 0 25 0 10 0 840037225 853999616 25457 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25457 13086 16 0 208480 0
vsize: 833984
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 62956 64 0 0 25 0 10 0 840037225 853999616 25457 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25457 13086 16 0 208480 0
vsize: 833984
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 63862 64 0 0 24 0 10 0 840037225 853999616 25505 4294967295 134512640 134569956 3221224368 3221214772 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25505 13086 16 0 208480 0
vsize: 833984
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 64774 64 0 0 25 0 10 0 840037225 853999616 25538 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25538 13086 16 0 208480 0
vsize: 833984
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 65686 65 0 0 25 0 10 0 840037225 853999616 25570 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25570 13086 16 0 208480 0
vsize: 833984
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 66597 65 0 0 25 0 10 0 840037225 853999616 25602 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25602 13086 16 0 208480 0
vsize: 833984
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 67507 66 0 0 25 0 10 0 840037225 853999616 25634 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25634 13086 16 0 208480 0
vsize: 833984
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 68418 66 0 0 25 0 10 0 840037225 853999616 25665 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25665 13086 16 0 208480 0
vsize: 833984
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 69328 67 0 0 25 0 10 0 840037225 853999616 25697 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25697 13086 16 0 208480 0
vsize: 833984
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 70238 67 0 0 25 0 10 0 840037225 853999616 25728 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25728 13086 16 0 208480 0
vsize: 833984
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 71144 68 0 0 25 0 10 0 840037225 853999616 25759 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25759 13086 16 0 208480 0
vsize: 833984
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 72049 68 0 0 24 0 10 0 840037225 853999616 25791 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25791 13086 16 0 208480 0
vsize: 833984
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 72957 69 0 0 24 0 10 0 840037225 853999616 25822 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25822 13086 16 0 208480 0
vsize: 833984
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 73865 69 0 0 25 0 10 0 840037225 853999616 25852 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25852 13086 16 0 208480 0
vsize: 833984
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 74773 69 0 0 25 0 10 0 840037225 853999616 25882 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25882 13086 16 0 208480 0
vsize: 833984
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 75679 70 0 0 25 0 10 0 840037225 853999616 25912 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25912 13086 16 0 208480 0
vsize: 833984
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 76586 70 0 0 25 0 10 0 840037225 853999616 25942 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25942 13086 16 0 208480 0
vsize: 833984
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 77494 71 0 0 25 0 10 0 840037225 853999616 25972 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 25972 13086 16 0 208480 0
vsize: 833984
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 78400 71 0 0 25 0 10 0 840037225 853999616 26001 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26001 13086 16 0 208480 0
vsize: 833984
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 79308 71 0 0 25 0 10 0 840037225 853999616 26032 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26032 13086 16 0 208480 0
vsize: 833984
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 80215 72 0 0 25 0 10 0 840037225 853999616 26061 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26061 13086 16 0 208480 0
vsize: 833984
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 81121 72 0 0 25 0 10 0 840037225 853999616 26090 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26090 13086 16 0 208480 0
vsize: 833984
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 82027 72 0 0 25 0 10 0 840037225 853999616 26118 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26118 13086 16 0 208480 0
vsize: 833984
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 82931 73 0 0 25 0 10 0 840037225 853999616 26147 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26147 13086 16 0 208480 0
vsize: 833984
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 83836 73 0 0 25 0 10 0 840037225 853999616 26175 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26175 13086 16 0 208480 0
vsize: 833984
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 84741 74 0 0 25 0 10 0 840037225 853999616 26204 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26204 13086 16 0 208480 0
vsize: 833984
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 85645 74 0 0 25 0 10 0 840037225 853999616 26232 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26232 13086 16 0 208480 0
vsize: 833984
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 86551 74 0 0 25 0 10 0 840037225 853999616 26260 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26260 13086 16 0 208480 0
vsize: 833984
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 87453 75 0 0 25 0 10 0 840037225 853999616 26288 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26288 13086 16 0 208480 0
vsize: 833984
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 88355 75 0 0 20 0 10 0 840037225 853999616 26316 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26316 13086 16 0 208480 0
vsize: 833984
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 89259 76 0 0 21 0 10 0 840037225 853999616 26343 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26343 13086 16 0 208480 0
vsize: 833984
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 90162 76 0 0 20 0 10 0 840037225 853999616 26371 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26371 13086 16 0 208480 0
vsize: 833984
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 91065 76 0 0 20 0 10 0 840037225 853999616 26398 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26398 13086 16 0 208480 0
vsize: 833984
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 91968 76 0 0 19 0 10 0 840037225 853999616 26425 4294967295 134512640 134569956 3221224368 3221214240 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26425 13086 16 0 208480 0
vsize: 833984
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 92870 77 0 0 19 0 10 0 840037225 853999616 26452 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26452 13086 16 0 208480 0
vsize: 833984
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 93771 77 0 0 19 0 10 0 840037225 853999616 26478 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26478 13086 16 0 208480 0
vsize: 833984
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 94675 77 0 0 24 0 10 0 840037225 853999616 26504 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26504 13086 16 0 208480 0
vsize: 833984
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 95580 78 0 0 23 0 10 0 840037225 853999616 26531 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26531 13086 16 0 208480 0
vsize: 833984
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 96479 78 0 0 22 0 10 0 840037225 853999616 26557 4294967295 134512640 134569956 3221224368 3221214776 1131313316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 26557 13086 16 0 208480 0
vsize: 833984
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 97378 78 0 0 22 0 10 0 840037225 853999616 26584 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26584 13086 16 0 208480 0
vsize: 833984
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 98275 78 0 0 21 0 10 0 840037225 853999616 26610 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26610 13086 16 0 208480 0
vsize: 833984
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2200
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 99174 79 0 0 20 0 10 0 840037225 853999616 26636 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26636 13086 16 0 208480 0
vsize: 833984
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 4/66 2241
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 100068 89 0 0 25 0 10 0 840037225 853999616 26661 4294967295 134512640 134569956 3221224368 3221213608 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 26661 13086 16 0 208480 0
vsize: 833984
[startup+1100.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 100968 90 0 0 25 0 10 0 840037225 853999616 26687 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26687 13086 16 0 208480 0
vsize: 833984
[startup+1110.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 101867 90 0 0 25 0 10 0 840037225 853999616 26712 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26712 13086 16 0 208480 0
vsize: 833984
[startup+1120.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 102765 91 0 0 25 0 10 0 840037225 853999616 26738 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26738 13086 16 0 208480 0
vsize: 833984
[startup+1130.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 103663 91 0 0 25 0 10 0 840037225 853999616 26763 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26763 13086 16 0 208480 0
vsize: 833984
[startup+1140.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 104562 91 0 0 25 0 10 0 840037225 853999616 26789 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 26789 13086 16 0 208480 0
vsize: 833984
[startup+1150.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2253
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 105461 91 0 0 25 0 10 0 840037225 853999616 26814 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26814 13086 16 0 208480 0
vsize: 833984
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2253
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 106364 92 0 0 25 0 10 0 840037225 853999616 26838 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26838 13086 16 0 208480 0
vsize: 833984
[startup+1170.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 107263 93 0 0 25 0 10 0 840037225 853999616 26865 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26865 13086 16 0 208480 0
vsize: 833984
[startup+1180.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 108160 93 0 0 25 0 10 0 840037225 853999616 26892 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26892 13086 16 0 208480 0
vsize: 833984
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 109056 93 0 0 25 0 10 0 840037225 853999616 26923 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26923 13086 16 0 208480 0
vsize: 833984
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 109950 94 0 0 25 0 10 0 840037225 853999616 26950 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26950 13086 16 0 208480 0
vsize: 833984
[startup+1210.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 110846 94 0 0 24 0 10 0 840037225 853999616 26976 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 26976 13086 16 0 208480 0
vsize: 833984
[startup+1220.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 111749 94 0 0 25 0 10 0 840037225 853999616 27005 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27005 13086 16 0 208480 0
vsize: 833984
[startup+1230.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 112646 94 0 0 25 0 10 0 840037225 853999616 27032 4294967295 134512640 134569956 3221224368 3221213920 1079753348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27032 13086 16 0 208480 0
vsize: 833984
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 113543 95 0 0 25 0 10 0 840037225 853999616 27062 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27062 13086 16 0 208480 0
vsize: 833984
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 114440 96 0 0 25 0 10 0 840037225 853999616 27099 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27099 13086 16 0 208480 0
vsize: 833984
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) S 2190 20001 20000 0 -1 0 18031 0 1 0 115342 96 0 0 25 0 10 0 840037225 853999616 27110 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27110 13086 16 0 208480 0
vsize: 833984
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 116242 97 0 0 25 0 10 0 840037225 853999616 27152 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27152 13086 16 0 208480 0
vsize: 833984
[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 117142 97 0 0 25 0 10 0 840037225 853999616 27183 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27183 13086 16 0 208480 0
vsize: 833984
[startup+1290.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 118043 97 0 0 25 0 10 0 840037225 853999616 27198 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27198 13086 16 0 208480 0
vsize: 833984
[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 118946 98 0 0 25 0 10 0 840037225 853999616 27237 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27237 13086 16 0 208480 0
vsize: 833984
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 119849 98 0 0 25 0 10 0 840037225 853999616 27256 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27256 13086 16 0 208480 0
vsize: 833984
[startup+1320.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2255
Raw data (stat): 2191 (java) R 2190 20001 20000 0 -1 0 18031 0 1 0 120755 98 0 0 24 0 10 0 840037225 853999616 27290 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208496 27290 13086 16 0 208480 0
vsize: 833984
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2257
Raw data (stat): 2191 (java) Z 2190 20001 20000 0 -1 1036 18031 8855 1 0 120758 98 11058 45 25 0 1 0 840037225 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): 1320.14
CPU time (s): 1319.61
CPU user time (s): 1318.16
CPU system time (s): 1.44178
CPU usage (%): 99.9596
Max. virtual memory (Kb): 834720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####