PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 29431

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 07:37:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20832 boxname=wulflinc17 idbench=820 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 20832
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        759072 kB
Buffers:         29136 kB
Cached:         223300 kB
SwapCached:        524 kB
Active:          81332 kB
Inactive:       173276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758820 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5332 kB
Slab:            15376 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:59:06 (client local time) WITH STATUS 143 IN 1311.96 SECONDS
stats: 20832 7 1311.96 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/wulflinc17/normalized-mps-v2-20-10-czprob.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) : 1309.067
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.95 0.98 2/54 19833
Raw data (stat): 19833 (runsolver) R 19832 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837145100 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 862 35 0 0 23 0 10 0 837145100 853909504 19458 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208474 19458 13086 16 0 208458 0
vsize: 833896
[startup+20.0013 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 1756 36 0 0 25 0 10 0 837145100 853721088 19966 4294967295 134512640 134569956 3221224368 3221214528 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 19966 13086 16 0 208412 0
vsize: 833712
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 2641 36 0 0 25 0 10 0 837145100 853721088 20508 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 20508 13086 16 0 208412 0
vsize: 833712
[startup+40.0023 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 3553 37 0 0 24 0 10 0 837145100 853958656 20881 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208486 20881 13086 16 0 208470 0
vsize: 833944
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 4474 37 0 0 25 0 10 0 837145100 853958656 21055 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208486 21055 13086 16 0 208470 0
vsize: 833944
[startup+60.0044 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 5389 38 0 0 25 0 10 0 837145100 853958656 21200 4294967295 134512640 134569956 3221224368 3221214768 1131235326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208486 21200 13086 16 0 208470 0
vsize: 833944
[startup+70.0041 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 6314 38 0 0 25 0 10 0 837145100 853721088 21409 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21409 13086 16 0 208412 0
vsize: 833712
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 7253 39 0 0 25 0 10 0 837145100 853721088 21516 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21516 13086 16 0 208412 0
vsize: 833712
[startup+90.0052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 8190 39 0 0 24 0 10 0 837145100 853721088 21619 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21619 13086 16 0 208412 0
vsize: 833712
[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 9132 39 0 0 25 0 10 0 837145100 853721088 21708 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21708 13086 16 0 208412 0
vsize: 833712
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 10072 40 0 0 25 0 10 0 837145100 853721088 21794 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21794 13086 16 0 208412 0
vsize: 833712
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 11016 40 0 0 25 0 10 0 837145100 853721088 21871 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21871 13086 16 0 208412 0
vsize: 833712
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 11957 40 0 0 25 0 10 0 837145100 853721088 21948 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 21948 13086 16 0 208412 0
vsize: 833712
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 12898 41 0 0 25 0 10 0 837145100 853721088 22021 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22021 13086 16 0 208412 0
vsize: 833712
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 13843 41 0 0 25 0 10 0 837145100 853721088 22087 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22087 13086 16 0 208412 0
vsize: 833712
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 14784 41 0 0 25 0 10 0 837145100 853721088 22155 4294967295 134512640 134569956 3221224368 3221214788 1131133082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22155 13086 16 0 208412 0
vsize: 833712
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 15727 41 0 0 25 0 10 0 837145100 853721088 22217 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22217 13086 16 0 208412 0
vsize: 833712
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 16636 42 0 0 24 0 10 0 837145100 853721088 22280 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22280 13086 16 0 208412 0
vsize: 833712
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 17555 42 0 0 25 0 10 0 837145100 853721088 22593 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22593 13086 16 0 208412 0
vsize: 833712
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 18496 42 0 0 25 0 10 0 837145100 853721088 22648 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22648 13086 16 0 208412 0
vsize: 833712
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 19432 43 0 0 25 0 10 0 837145100 853721088 22707 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22707 13086 16 0 208412 0
vsize: 833712
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 20373 43 0 0 25 0 10 0 837145100 853721088 22759 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22759 13086 16 0 208412 0
vsize: 833712
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 21310 43 0 0 25 0 10 0 837145100 853721088 22813 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22813 13086 16 0 208412 0
vsize: 833712
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 22249 44 0 0 25 0 10 0 837145100 853721088 22863 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22863 13086 16 0 208412 0
vsize: 833712
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 23185 44 0 0 25 0 10 0 837145100 853721088 22915 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22915 13086 16 0 208412 0
vsize: 833712
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 24124 44 0 0 25 0 10 0 837145100 853721088 22963 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 22963 13086 16 0 208412 0
vsize: 833712
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 25060 45 0 0 25 0 10 0 837145100 853721088 23012 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23012 13086 16 0 208412 0
vsize: 833712
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 25998 45 0 0 25 0 10 0 837145100 853721088 23058 4294967295 134512640 134569956 3221224368 3221214696 1131203524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23058 13086 16 0 208412 0
vsize: 833712
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 26932 45 0 0 25 0 10 0 837145100 853721088 23106 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23106 13086 16 0 208412 0
vsize: 833712
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 27869 46 0 0 25 0 10 0 837145100 853721088 23150 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23150 13086 16 0 208412 0
vsize: 833712
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 28802 46 0 0 25 0 10 0 837145100 853721088 23196 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23196 13086 16 0 208412 0
vsize: 833712
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 29739 47 0 0 25 0 10 0 837145100 853721088 23239 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23239 13086 16 0 208412 0
vsize: 833712
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 30672 47 0 0 25 0 10 0 837145100 853721088 23283 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23283 13086 16 0 208412 0
vsize: 833712
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 31608 47 0 0 25 0 10 0 837145100 853721088 23325 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23325 13086 16 0 208412 0
vsize: 833712
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 32541 48 0 0 25 0 10 0 837145100 853721088 23366 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23366 13086 16 0 208412 0
vsize: 833712
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 33474 48 0 0 25 0 10 0 837145100 853721088 23407 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23407 13086 16 0 208412 0
vsize: 833712
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 34408 49 0 0 25 0 10 0 837145100 853721088 23447 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23447 13086 16 0 208412 0
vsize: 833712
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 35338 49 0 0 24 0 10 0 837145100 853721088 23488 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23488 13086 16 0 208412 0
vsize: 833712
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 36272 50 0 0 25 0 10 0 837145100 853721088 23526 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23526 13086 16 0 208412 0
vsize: 833712
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 37205 50 0 0 25 0 10 0 837145100 853721088 23564 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23564 13086 16 0 208412 0
vsize: 833712
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 38134 50 0 0 24 0 10 0 837145100 853721088 23603 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23603 13086 16 0 208412 0
vsize: 833712
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 39066 51 0 0 25 0 10 0 837145100 853721088 23640 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23640 13086 16 0 208412 0
vsize: 833712
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 39998 51 0 0 25 0 10 0 837145100 853721088 23676 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23676 13086 16 0 208412 0
vsize: 833712
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 40925 52 0 0 24 0 10 0 837145100 853721088 23714 4294967295 134512640 134569956 3221224368 3221214112 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23714 13086 16 0 208412 0
vsize: 833712
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 41856 53 0 0 25 0 10 0 837145100 853721088 23750 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23750 13086 16 0 208412 0
vsize: 833712
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 42787 53 0 0 25 0 10 0 837145100 853721088 23785 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23785 13086 16 0 208412 0
vsize: 833712
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 43717 54 0 0 25 0 10 0 837145100 853721088 23820 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23820 13086 16 0 208412 0
vsize: 833712
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 44643 54 0 0 25 0 10 0 837145100 853721088 23856 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23856 13086 16 0 208412 0
vsize: 833712
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 45573 54 0 0 25 0 10 0 837145100 853721088 23890 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23890 13086 16 0 208412 0
vsize: 833712
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 46502 55 0 0 25 0 10 0 837145100 853721088 23923 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23923 13086 16 0 208412 0
vsize: 833712
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 47431 55 0 0 25 0 10 0 837145100 853721088 23956 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23956 13086 16 0 208412 0
vsize: 833712
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 48356 55 0 0 25 0 10 0 837145100 853721088 23990 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 23990 13086 16 0 208412 0
vsize: 833712
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 49283 56 0 0 25 0 10 0 837145100 853721088 24024 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24024 13086 16 0 208412 0
vsize: 833712
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 50211 56 0 0 25 0 10 0 837145100 853721088 24056 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24056 13086 16 0 208412 0
vsize: 833712
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 51138 56 0 0 25 0 10 0 837145100 853721088 24088 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24088 13086 16 0 208412 0
vsize: 833712
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 52065 56 0 0 25 0 10 0 837145100 853721088 24119 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24119 13086 16 0 208412 0
vsize: 833712
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 52991 58 0 0 25 0 10 0 837145100 853721088 24150 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24150 13086 16 0 208412 0
vsize: 833712
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 53912 58 0 0 24 0 10 0 837145100 853721088 24183 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24183 13086 16 0 208412 0
vsize: 833712
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 54838 58 0 0 25 0 10 0 837145100 853721088 24214 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24214 13086 16 0 208412 0
vsize: 833712
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 55762 59 0 0 25 0 10 0 837145100 853721088 24245 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24245 13086 16 0 208412 0
vsize: 833712
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 56687 60 0 0 25 0 10 0 837145100 853721088 24275 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24275 13086 16 0 208412 0
vsize: 833712
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 57612 60 0 0 25 0 10 0 837145100 853721088 24305 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24305 13086 16 0 208412 0
vsize: 833712
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 58536 60 0 0 24 0 10 0 837145100 853721088 24335 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24335 13086 16 0 208412 0
vsize: 833712
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 59460 61 0 0 25 0 10 0 837145100 853721088 24364 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24364 13086 16 0 208412 0
vsize: 833712
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 60384 61 0 0 25 0 10 0 837145100 853721088 24393 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24393 13086 16 0 208412 0
vsize: 833712
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 61307 61 0 0 25 0 10 0 837145100 853721088 24422 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 24422 13086 16 0 208412 0
vsize: 833712
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 62224 62 0 0 25 0 10 0 837145100 853721088 25292 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25292 13086 16 0 208412 0
vsize: 833712
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 63148 62 0 0 25 0 10 0 837145100 853721088 25292 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25292 13086 16 0 208412 0
vsize: 833712
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 64063 62 0 0 25 0 10 0 837145100 853721088 25305 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25305 13086 16 0 208412 0
vsize: 833712
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 64976 63 0 0 25 0 10 0 837145100 853721088 25333 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25333 13086 16 0 208412 0
vsize: 833712
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 65889 63 0 0 25 0 10 0 837145100 853721088 25361 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25361 13086 16 0 208412 0
vsize: 833712
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 66800 63 0 0 25 0 10 0 837145100 853721088 25388 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25388 13086 16 0 208412 0
vsize: 833712
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 67713 64 0 0 25 0 10 0 837145100 853721088 25416 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25416 13086 16 0 208412 0
vsize: 833712
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 68624 64 0 0 24 0 10 0 837145100 853721088 25443 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25443 13086 16 0 208412 0
vsize: 833712
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 69538 65 0 0 25 0 10 0 837145100 853721088 25469 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25469 13086 16 0 208412 0
vsize: 833712
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 70453 65 0 0 25 0 10 0 837145100 853721088 25495 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25495 13086 16 0 208412 0
vsize: 833712
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 71364 66 0 0 25 0 10 0 837145100 853721088 25522 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25522 13086 16 0 208412 0
vsize: 833712
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 72274 66 0 0 25 0 10 0 837145100 853721088 25550 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25550 13086 16 0 208412 0
vsize: 833712
[startup+790.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 73184 67 0 0 19 0 10 0 837145100 853721088 25576 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25576 13086 16 0 208412 0
vsize: 833712
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 74094 67 0 0 24 0 10 0 837145100 853721088 25602 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25602 13086 16 0 208412 0
vsize: 833712
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 75008 68 0 0 25 0 10 0 837145100 853721088 25627 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25627 13086 16 0 208412 0
vsize: 833712
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 75917 68 0 0 25 0 10 0 837145100 853721088 25653 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25653 13086 16 0 208412 0
vsize: 833712
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 76826 69 0 0 25 0 10 0 837145100 853721088 25678 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25678 13086 16 0 208412 0
vsize: 833712
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 77734 69 0 0 25 0 10 0 837145100 853721088 25704 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25704 13086 16 0 208412 0
vsize: 833712
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 78648 70 0 0 25 0 10 0 837145100 853721088 25728 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25728 13086 16 0 208412 0
vsize: 833712
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 79555 70 0 0 25 0 10 0 837145100 853721088 25753 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25753 13086 16 0 208412 0
vsize: 833712
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 80463 71 0 0 25 0 10 0 837145100 853721088 25778 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25778 13086 16 0 208412 0
vsize: 833712
[startup+880.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 81371 71 0 0 25 0 10 0 837145100 853721088 25803 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25803 13086 16 0 208412 0
vsize: 833712
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 82284 71 0 0 25 0 10 0 837145100 853721088 25826 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25826 13086 16 0 208412 0
vsize: 833712
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 83190 71 0 0 25 0 10 0 837145100 853721088 25851 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25851 13086 16 0 208412 0
vsize: 833712
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 84097 71 0 0 25 0 10 0 837145100 853721088 25876 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25876 13086 16 0 208412 0
vsize: 833712
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 85005 72 0 0 25 0 10 0 837145100 853721088 25899 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25899 13086 16 0 208412 0
vsize: 833712
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 85914 72 0 0 25 0 10 0 837145100 853721088 25923 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25923 13086 16 0 208412 0
vsize: 833712
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 86820 73 0 0 25 0 10 0 837145100 853721088 25947 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25947 13086 16 0 208412 0
vsize: 833712
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 87725 73 0 0 25 0 10 0 837145100 853721088 25970 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25970 13086 16 0 208412 0
vsize: 833712
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 88634 74 0 0 25 0 10 0 837145100 853721088 25994 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 25994 13086 16 0 208412 0
vsize: 833712
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 89536 74 0 0 20 0 10 0 837145100 853721088 26017 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26017 13086 16 0 208412 0
vsize: 833712
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 90442 75 0 0 23 0 10 0 837145100 853721088 26040 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26040 13086 16 0 208412 0
vsize: 833712
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 91350 75 0 0 22 0 10 0 837145100 853721088 26064 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26064 13086 16 0 208412 0
vsize: 833712
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 92253 76 0 0 20 0 10 0 837145100 853721088 26088 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26088 13086 16 0 208412 0
vsize: 833712
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 93161 76 0 0 23 0 10 0 837145100 853721088 26110 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26110 13086 16 0 208412 0
vsize: 833712
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 94064 77 0 0 21 0 10 0 837145100 853721088 26133 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26133 13086 16 0 208412 0
vsize: 833712
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 94966 78 0 0 19 0 10 0 837145100 853721088 26156 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26156 13086 16 0 208412 0
vsize: 833712
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 95876 78 0 0 23 0 10 0 837145100 853721088 26177 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26177 13086 16 0 208412 0
vsize: 833712
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 96778 78 0 0 20 0 10 0 837145100 853721088 26200 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26200 13086 16 0 208412 0
vsize: 833712
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 97683 79 0 0 24 0 10 0 837145100 853721088 26222 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26222 13086 16 0 208412 0
vsize: 833712
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 98588 79 0 0 22 0 10 0 837145100 853721088 26244 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26244 13086 16 0 208412 0
vsize: 833712
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 99487 80 0 0 19 0 10 0 837145100 853721088 26267 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26267 13086 16 0 208412 0
vsize: 833712
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 100394 80 0 0 23 0 10 0 837145100 853721088 26288 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26288 13086 16 0 208412 0
vsize: 833712
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 101296 80 0 0 20 0 10 0 837145100 853721088 26310 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26310 13086 16 0 208412 0
vsize: 833712
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 102203 81 0 0 23 0 10 0 837145100 853721088 26334 4294967295 134512640 134569956 3221224368 3221214756 1131192922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26334 13086 16 0 208412 0
vsize: 833712
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 103103 81 0 0 21 0 10 0 837145100 853721088 26359 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26359 13086 16 0 208412 0
vsize: 833712
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 104002 82 0 0 18 0 10 0 837145100 853721088 26384 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26384 13086 16 0 208412 0
vsize: 833712
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 104907 82 0 0 22 0 10 0 837145100 853721088 26409 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26409 13086 16 0 208412 0
vsize: 833712
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 105806 82 0 0 19 0 10 0 837145100 853721088 26433 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26433 13086 16 0 208412 0
vsize: 833712
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 106712 82 0 0 22 0 10 0 837145100 853721088 26458 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26458 13086 16 0 208412 0
vsize: 833712
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 107611 83 0 0 20 0 10 0 837145100 853721088 26481 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26481 13086 16 0 208412 0
vsize: 833712
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 108515 83 0 0 22 0 10 0 837145100 853721088 26505 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26505 13086 16 0 208412 0
vsize: 833712
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 109414 83 0 0 20 0 10 0 837145100 853721088 26526 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26526 13086 16 0 208412 0
vsize: 833712
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 110318 84 0 0 22 0 10 0 837145100 853721088 26554 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26554 13086 16 0 208412 0
vsize: 833712
[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 111213 84 0 0 19 0 10 0 837145100 853721088 26580 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26580 13086 16 0 208412 0
vsize: 833712
[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 112115 85 0 0 23 0 10 0 837145100 853721088 26603 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26603 13086 16 0 208412 0
vsize: 833712
[startup+1230.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 113014 85 0 0 21 0 10 0 837145100 853721088 26627 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 26627 13086 16 0 208412 0
vsize: 833712
[startup+1240.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 113915 85 0 0 23 0 10 0 837145100 853721088 26647 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 26647 13086 16 0 208412 0
vsize: 833712
[startup+1250.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 114815 85 0 0 19 0 10 0 837145100 853721088 26667 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26667 13086 16 0 208412 0
vsize: 833712
[startup+1260.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) S 19832 7475 7474 0 -1 0 18011 0 1 0 115717 86 0 0 24 0 10 0 837145100 853721088 26687 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26687 13086 16 0 208412 0
vsize: 833712
[startup+1270.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 116614 86 0 0 18 0 10 0 837145100 853721088 26719 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26719 13086 16 0 208412 0
vsize: 833712
[startup+1280.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 117516 86 0 0 22 0 10 0 837145100 853721088 26754 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26754 13086 16 0 208412 0
vsize: 833712
[startup+1290.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 118415 86 0 0 20 0 10 0 837145100 853721088 26779 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26779 13086 16 0 208412 0
vsize: 833712
[startup+1300.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 119320 87 0 0 24 0 10 0 837145100 853721088 26794 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26794 13086 16 0 208412 0
vsize: 833712
[startup+1310.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 19842
Raw data (stat): 19833 (java) R 19832 7475 7474 0 -1 0 18011 0 1 0 120220 87 0 0 21 0 10 0 837145100 853721088 26828 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208428 26828 13086 16 0 208412 0
vsize: 833712
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.15 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 19844
Raw data (stat): 19833 (java) Z 19832 7475 7474 0 -1 1036 18011 9190 1 0 120222 92 10839 41 23 0 1 0 837145100 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.15
CPU time (s): 1311.96
CPU user time (s): 1310.61
CPU system time (s): 1.3458
CPU usage (%): 100.138
Max. virtual memory (Kb): 833944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####