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-greenbeb.opb
MD5SUM	376d4643e7856d57cc9cab321f965d04
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	14882
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	12491747892670016
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	24454743822989865
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43978
Number of variables	155020
Total number of constraints	2676
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	2676
Minimum length of a constraint	11
Maximum length of a constraint	7172
Trace number 29455

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        580184 kB
Buffers:         31508 kB
Cached:         395524 kB
SwapCached:        416 kB
Active:          62108 kB
Inactive:       367188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        579932 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19516 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:09:13 (client local time) WITH STATUS 143 IN 1314.57 SECONDS
stats: 20850 7 1314.57 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/wulflinc19/normalized-mps-v2-20-10-greenbeb.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.287
#### 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.95 0.98 0.99 2/54 21800
Raw data (stat): 21800 (runsolver) R 21799 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837186357 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.0007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18010 0 1 0 871 39 0 0 25 0 10 0 837186357 853827584 19414 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 19414 13086 16 0 208438 0
vsize: 833816
[startup+20.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18010 0 1 0 1767 40 0 0 25 0 10 0 837186357 855347200 20304 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208825 20304 13086 16 0 208809 0
vsize: 835300
[startup+30.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18010 0 1 0 2656 40 0 0 25 0 10 0 837186357 854609920 20692 4294967295 134512640 134569956 3221224368 3221214648 1131191146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20692 13086 16 0 208629 0
vsize: 834580
[startup+40.0033 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18010 0 1 0 3570 40 0 0 25 0 10 0 837186357 854609920 21016 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21016 13086 16 0 208629 0
vsize: 834580
[startup+50.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18010 0 1 0 4496 40 0 0 25 0 10 0 837186357 854609920 21188 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21188 13086 16 0 208629 0
vsize: 834580
[startup+60.0079 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18010 0 1 0 5411 41 0 0 25 0 10 0 837186357 854609920 21331 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21331 13086 16 0 208629 0
vsize: 834580
[startup+70.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18019 0 1 0 6335 41 0 0 24 0 10 0 837186357 854609920 21592 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 21592 13086 16 0 208629 0
vsize: 834580
[startup+80.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18020 0 1 0 7244 41 0 0 25 0 10 0 837186357 854609920 21714 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 21714 13086 16 0 208629 0
vsize: 834580
[startup+90.0114 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 8145 41 0 0 25 0 10 0 837186357 857018368 22247 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209233 22247 13086 16 0 209217 0
vsize: 836932
[startup+100.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 9077 42 0 0 25 0 10 0 837186357 857325568 22703 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209308 22703 13086 16 0 209292 0
vsize: 837232
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 9999 42 0 0 25 0 10 0 837186357 857325568 22813 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209308 22813 13086 16 0 209292 0
vsize: 837232
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 10934 42 0 0 25 0 10 0 837186357 855658496 22508 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22508 13086 16 0 208885 0
vsize: 835604
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 11872 43 0 0 25 0 10 0 837186357 855658496 22604 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22604 13086 16 0 208885 0
vsize: 835604
[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 12802 43 0 0 25 0 10 0 837186357 855658496 22694 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22694 13086 16 0 208885 0
vsize: 835604
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 13738 44 0 0 25 0 10 0 837186357 855658496 22767 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22767 13086 16 0 208885 0
vsize: 835604
[startup+160.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 14677 44 0 0 25 0 10 0 837186357 855658496 22853 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22853 13086 16 0 208885 0
vsize: 835604
[startup+170.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 15613 45 0 0 25 0 10 0 837186357 855658496 22933 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 22933 13086 16 0 208885 0
vsize: 835604
[startup+180.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 16537 46 0 0 25 0 10 0 837186357 855658496 23010 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23010 13086 16 0 208885 0
vsize: 835604
[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 17460 46 0 0 25 0 10 0 837186357 855658496 23077 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23077 13086 16 0 208885 0
vsize: 835604
[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 18393 46 0 0 25 0 10 0 837186357 855658496 23297 4294967295 134512640 134569956 3221224368 3221214304 1080019393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23297 13086 16 0 208885 0
vsize: 835604
[startup+210.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 19330 47 0 0 25 0 10 0 837186357 855658496 23370 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23370 13086 16 0 208885 0
vsize: 835604
[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 20262 47 0 0 25 0 10 0 837186357 855658496 23438 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23438 13086 16 0 208885 0
vsize: 835604
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 21199 48 0 0 25 0 10 0 837186357 855658496 23499 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23499 13086 16 0 208885 0
vsize: 835604
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 22135 48 0 0 25 0 10 0 837186357 855658496 23567 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23567 13086 16 0 208885 0
vsize: 835604
[startup+250.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 23071 48 0 0 25 0 10 0 837186357 855658496 23631 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23631 13086 16 0 208885 0
vsize: 835604
[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 24004 48 0 0 24 0 10 0 837186357 855658496 23694 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23694 13086 16 0 208885 0
vsize: 835604
[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 24939 49 0 0 25 0 10 0 837186357 855658496 23747 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23747 13086 16 0 208885 0
vsize: 835604
[startup+280.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 25874 49 0 0 25 0 10 0 837186357 855658496 23805 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23805 13086 16 0 208885 0
vsize: 835604
[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 26809 49 0 0 25 0 10 0 837186357 855658496 23865 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23865 13086 16 0 208885 0
vsize: 835604
[startup+300.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 27743 49 0 0 25 0 10 0 837186357 855658496 23921 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23921 13086 16 0 208885 0
vsize: 835604
[startup+310.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 28672 49 0 0 24 0 10 0 837186357 855658496 23982 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 23982 13086 16 0 208885 0
vsize: 835604
[startup+320.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 29604 50 0 0 25 0 10 0 837186357 855658496 24037 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24037 13086 16 0 208885 0
vsize: 835604
[startup+330.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 30537 50 0 0 25 0 10 0 837186357 855658496 24091 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24091 13086 16 0 208885 0
vsize: 835604
[startup+340.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 31470 51 0 0 19 0 10 0 837186357 855658496 24145 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24145 13086 16 0 208885 0
vsize: 835604
[startup+350.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 32402 52 0 0 25 0 10 0 837186357 855658496 24198 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24198 13086 16 0 208885 0
vsize: 835604
[startup+360.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 33334 52 0 0 25 0 10 0 837186357 855658496 24248 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24248 13086 16 0 208885 0
vsize: 835604
[startup+370.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 34265 53 0 0 25 0 10 0 837186357 855658496 24301 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24301 13086 16 0 208885 0
vsize: 835604
[startup+380.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 35192 53 0 0 24 0 10 0 837186357 855658496 24355 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24355 13086 16 0 208885 0
vsize: 835604
[startup+390.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 36124 53 0 0 25 0 10 0 837186357 855658496 24403 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24403 13086 16 0 208885 0
vsize: 835604
[startup+400.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 37054 54 0 0 25 0 10 0 837186357 855658496 24452 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24452 13086 16 0 208885 0
vsize: 835604
[startup+410.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 37983 54 0 0 25 0 10 0 837186357 855658496 24501 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24501 13086 16 0 208885 0
vsize: 835604
[startup+420.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 38913 55 0 0 25 0 10 0 837186357 855658496 24549 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24549 13086 16 0 208885 0
vsize: 835604
[startup+430.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 39842 55 0 0 25 0 10 0 837186357 855658496 24597 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24597 13086 16 0 208885 0
vsize: 835604
[startup+440.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 40771 56 0 0 25 0 10 0 837186357 855658496 24641 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24641 13086 16 0 208885 0
vsize: 835604
[startup+450.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 41699 56 0 0 25 0 10 0 837186357 855658496 24688 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24688 13086 16 0 208885 0
vsize: 835604
[startup+460.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 42627 57 0 0 25 0 10 0 837186357 855658496 24736 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24736 13086 16 0 208885 0
vsize: 835604
[startup+470.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 43555 57 0 0 25 0 10 0 837186357 855658496 24780 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24780 13086 16 0 208885 0
vsize: 835604
[startup+480.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 44482 58 0 0 25 0 10 0 837186357 855658496 24824 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24824 13086 16 0 208885 0
vsize: 835604
[startup+490.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 45409 58 0 0 25 0 10 0 837186357 855658496 24868 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24868 13086 16 0 208885 0
vsize: 835604
[startup+500.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 46336 59 0 0 25 0 10 0 837186357 855658496 24912 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24912 13086 16 0 208885 0
vsize: 835604
[startup+510.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 47262 59 0 0 25 0 10 0 837186357 855658496 24953 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24953 13086 16 0 208885 0
vsize: 835604
[startup+520.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 48188 60 0 0 25 0 10 0 837186357 855658496 24998 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 24998 13086 16 0 208885 0
vsize: 835604
[startup+530.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 49115 60 0 0 25 0 10 0 837186357 855658496 25038 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25038 13086 16 0 208885 0
vsize: 835604
[startup+540.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 50040 60 0 0 25 0 10 0 837186357 855658496 25081 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25081 13086 16 0 208885 0
vsize: 835604
[startup+550.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 50965 61 0 0 25 0 10 0 837186357 855658496 25124 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25124 13086 16 0 208885 0
vsize: 835604
[startup+560.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 51889 61 0 0 25 0 10 0 837186357 855658496 25164 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25164 13086 16 0 208885 0
vsize: 835604
[startup+570.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 52812 62 0 0 25 0 10 0 837186357 855658496 25204 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25204 13086 16 0 208885 0
vsize: 835604
[startup+580.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 53736 62 0 0 25 0 10 0 837186357 855658496 25244 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25244 13086 16 0 208885 0
vsize: 835604
[startup+590.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 54659 63 0 0 25 0 10 0 837186357 855658496 25288 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25288 13086 16 0 208885 0
vsize: 835604
[startup+600.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 55582 63 0 0 25 0 10 0 837186357 855658496 25326 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25326 13086 16 0 208885 0
vsize: 835604
[startup+610.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 56504 63 0 0 25 0 10 0 837186357 855658496 25366 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25366 13086 16 0 208885 0
vsize: 835604
[startup+620.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 57426 64 0 0 25 0 10 0 837186357 855658496 25405 4294967295 134512640 134569956 3221224368 3221214248 1077558390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25405 13086 16 0 208885 0
vsize: 835604
[startup+630.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 58348 64 0 0 25 0 10 0 837186357 855658496 25443 4294967295 134512640 134569956 3221224368 3221214168 1131357250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 25443 13086 16 0 208885 0
vsize: 835604
[startup+640.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 59271 64 0 0 24 0 10 0 837186357 855658496 25481 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 25481 13086 16 0 208885 0
vsize: 835604
[startup+650.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 60199 64 0 0 25 0 10 0 837186357 855658496 25516 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 25516 13086 16 0 208885 0
vsize: 835604
[startup+660.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 61120 65 0 0 25 0 10 0 837186357 855658496 25554 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 25554 13086 16 0 208885 0
vsize: 835604
[startup+670.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 62042 65 0 0 25 0 10 0 837186357 855658496 25592 4294967295 134512640 134569956 3221224368 3221214296 1131273279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 25592 13086 16 0 208885 0
vsize: 835604
[startup+680.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 62959 65 0 0 25 0 10 0 837186357 855658496 26138 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26138 13086 16 0 208885 0
vsize: 835604
[startup+690.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 63884 65 0 0 24 0 10 0 837186357 855658496 26138 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26138 13086 16 0 208885 0
vsize: 835604
[startup+700.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 64804 65 0 0 25 0 10 0 837186357 855658496 26147 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26147 13086 16 0 208885 0
vsize: 835604
[startup+710.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 65716 65 0 0 25 0 10 0 837186357 855658496 26184 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26184 13086 16 0 208885 0
vsize: 835604
[startup+720.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 66633 66 0 0 25 0 10 0 837186357 855658496 26220 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26220 13086 16 0 208885 0
vsize: 835604
[startup+730.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 67546 66 0 0 25 0 10 0 837186357 855658496 26254 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26254 13086 16 0 208885 0
vsize: 835604
[startup+740.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 68457 66 0 0 25 0 10 0 837186357 855658496 26286 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26286 13086 16 0 208885 0
vsize: 835604
[startup+750.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 69372 66 0 0 25 0 10 0 837186357 855658496 26320 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26320 13086 16 0 208885 0
vsize: 835604
[startup+760.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 21809
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 70283 66 0 0 25 0 10 0 837186357 855658496 26353 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208901 26353 13086 16 0 208885 0
vsize: 835604
[startup+770.082 s]
Raw data (loadavg): 1.14 1.02 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 71191 69 0 0 25 0 10 0 837186357 855658496 26384 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26384 13086 16 0 208885 0
vsize: 835604
[startup+780.083 s]
Raw data (loadavg): 1.12 1.02 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 72100 69 0 0 25 0 10 0 837186357 855658496 26422 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26422 13086 16 0 208885 0
vsize: 835604
[startup+790.084 s]
Raw data (loadavg): 1.10 1.02 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 73008 69 0 0 24 0 10 0 837186357 855658496 26458 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26458 13086 16 0 208885 0
vsize: 835604
[startup+800.084 s]
Raw data (loadavg): 1.08 1.01 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 73920 69 0 0 25 0 10 0 837186357 855658496 26490 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26490 13086 16 0 208885 0
vsize: 835604
[startup+810.085 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 74827 69 0 0 25 0 10 0 837186357 855658496 26524 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26524 13086 16 0 208885 0
vsize: 835604
[startup+820.086 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 75734 69 0 0 24 0 10 0 837186357 855658496 26558 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26558 13086 16 0 208885 0
vsize: 835604
[startup+830.087 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 21862
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 76647 69 0 0 25 0 10 0 837186357 855658496 26588 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26588 13086 16 0 208885 0
vsize: 835604
[startup+840.088 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 77554 70 0 0 25 0 10 0 837186357 855658496 26624 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26624 13086 16 0 208885 0
vsize: 835604
[startup+850.089 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 78467 70 0 0 25 0 10 0 837186357 855658496 26655 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26655 13086 16 0 208885 0
vsize: 835604
[startup+860.089 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 79372 70 0 0 25 0 10 0 837186357 855658496 26688 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26688 13086 16 0 208885 0
vsize: 835604
[startup+870.089 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 80278 70 0 0 24 0 10 0 837186357 855658496 26719 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26719 13086 16 0 208885 0
vsize: 835604
[startup+880.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 81190 70 0 0 25 0 10 0 837186357 855658496 26751 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26751 13086 16 0 208885 0
vsize: 835604
[startup+890.091 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 82095 70 0 0 25 0 10 0 837186357 855658496 26784 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26784 13086 16 0 208885 0
vsize: 835604
[startup+900.091 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 83006 70 0 0 24 0 10 0 837186357 855658496 26814 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26814 13086 16 0 208885 0
vsize: 835604
[startup+910.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 83910 70 0 0 21 0 10 0 837186357 855658496 26844 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26844 13086 16 0 208885 0
vsize: 835604
[startup+920.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 84814 70 0 0 19 0 10 0 837186357 855658496 26878 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26878 13086 16 0 208885 0
vsize: 835604
[startup+930.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 85723 70 0 0 22 0 10 0 837186357 855658496 26908 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26908 13086 16 0 208885 0
vsize: 835604
[startup+940.094 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 86627 71 0 0 19 0 10 0 837186357 855658496 26940 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26940 13086 16 0 208885 0
vsize: 835604
[startup+950.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 87536 71 0 0 23 0 10 0 837186357 855658496 26969 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 26969 13086 16 0 208885 0
vsize: 835604
[startup+960.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 88440 71 0 0 20 0 10 0 837186357 855658496 27001 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27001 13086 16 0 208885 0
vsize: 835604
[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 89349 71 0 0 23 0 10 0 837186357 855658496 27030 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27030 13086 16 0 208885 0
vsize: 835604
[startup+980.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 90249 71 0 0 20 0 10 0 837186357 855658496 27059 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27059 13086 16 0 208885 0
vsize: 835604
[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 91157 71 0 0 24 0 10 0 837186357 855658496 27090 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27090 13086 16 0 208885 0
vsize: 835604
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 92059 71 0 0 21 0 10 0 837186357 855658496 27120 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27120 13086 16 0 208885 0
vsize: 835604
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 92967 71 0 0 24 0 10 0 837186357 855658496 27145 4294967295 134512640 134569956 3221224368 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27145 13086 16 0 208885 0
vsize: 835604
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 93871 71 0 0 20 0 10 0 837186357 855658496 27176 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27176 13086 16 0 208885 0
vsize: 835604
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 94777 71 0 0 24 0 10 0 837186357 855658496 27199 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27199 13086 16 0 208885 0
vsize: 835604
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 95682 71 0 0 21 0 10 0 837186357 855658496 27222 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27222 13086 16 0 208885 0
vsize: 835604
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 96584 71 0 0 23 0 10 0 837186357 855658496 27240 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27240 13086 16 0 208885 0
vsize: 835604
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 97489 72 0 0 21 0 10 0 837186357 855658496 27273 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27273 13086 16 0 208885 0
vsize: 835604
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 98394 72 0 0 24 0 10 0 837186357 855658496 27306 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27306 13086 16 0 208885 0
vsize: 835604
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 99293 72 0 0 19 0 10 0 837186357 855658496 27339 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27339 13086 16 0 208885 0
vsize: 835604
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21864
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 100197 72 0 0 22 0 10 0 837186357 855658496 27366 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27366 13086 16 0 208885 0
vsize: 835604
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 101093 72 0 0 19 0 10 0 837186357 855658496 27395 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27395 13086 16 0 208885 0
vsize: 835604
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 101998 73 0 0 22 0 10 0 837186357 855658496 27424 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27424 13086 16 0 208885 0
vsize: 835604
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 102899 73 0 0 24 0 10 0 837186357 855658496 27457 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27457 13086 16 0 208885 0
vsize: 835604
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 103803 73 0 0 20 0 10 0 837186357 855658496 27485 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27485 13086 16 0 208885 0
vsize: 835604
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 104706 73 0 0 23 0 10 0 837186357 855658496 27521 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27521 13086 16 0 208885 0
vsize: 835604
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 105602 73 0 0 18 0 10 0 837186357 855658496 27560 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27560 13086 16 0 208885 0
vsize: 835604
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 106504 73 0 0 20 0 10 0 837186357 855658496 27594 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27594 13086 16 0 208885 0
vsize: 835604
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 107406 73 0 0 24 0 10 0 837186357 855658496 27626 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27626 13086 16 0 208885 0
vsize: 835604
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 108301 73 0 0 19 0 10 0 837186357 855658496 27665 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27665 13086 16 0 208885 0
vsize: 835604
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 109204 73 0 0 22 0 10 0 837186357 855658496 27695 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27695 13086 16 0 208885 0
vsize: 835604
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) S 21799 10795 10794 0 -1 0 18021 0 1 0 110105 74 0 0 23 0 10 0 837186357 855658496 27726 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27726 13086 16 0 208885 0
vsize: 835604
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 111003 74 0 0 19 0 10 0 837186357 855658496 27756 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27756 13086 16 0 208885 0
vsize: 835604
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 111906 74 0 0 22 0 10 0 837186357 855658496 27779 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27779 13086 16 0 208885 0
vsize: 835604
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 112802 74 0 0 18 0 10 0 837186357 855658496 27809 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27809 13086 16 0 208885 0
vsize: 835604
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 113705 74 0 0 19 0 10 0 837186357 855658496 27848 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27848 13086 16 0 208885 0
vsize: 835604
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 114608 74 0 0 22 0 10 0 837186357 855658496 27868 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27868 13086 16 0 208885 0
vsize: 835604
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 115505 74 0 0 19 0 10 0 837186357 855658496 27906 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27906 13086 16 0 208885 0
vsize: 835604
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 116408 74 0 0 20 0 10 0 837186357 855658496 27948 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27948 13086 16 0 208885 0
vsize: 835604
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 117312 74 0 0 23 0 10 0 837186357 855658496 27979 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27979 13086 16 0 208885 0
vsize: 835604
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 118210 74 0 0 19 0 10 0 837186357 855658496 27990 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 27990 13086 16 0 208885 0
vsize: 835604
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 119113 74 0 0 22 0 10 0 837186357 855658496 28028 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 28028 13086 16 0 208885 0
vsize: 835604
[startup+1310.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 21866
Raw data (stat): 21800 (java) R 21799 10795 10794 0 -1 0 18021 0 1 0 120016 74 0 0 23 0 10 0 837186357 855658496 28041 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208901 28041 13086 16 0 208885 0
vsize: 835604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21868
Raw data (stat): 21800 (java) Z 21799 10795 10794 0 -1 1036 18021 13656 1 0 120021 75 11300 60 18 0 1 0 837186357 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.31
CPU time (s): 1314.57
CPU user time (s): 1313.22
CPU system time (s): 1.35379
CPU usage (%): 100.326
Max. virtual memory (Kb): 837232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####