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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
MD5SUM	4ceb0b03b7e8a29fb578fb77c2b349b0
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	37632
Biggest coefficient in the objective function	31125091123200
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	14624065344515792
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	31125091123200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	14624065344515792
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.925858
Number of variables	103872
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	725
Trace number 29752

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 11:14:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21156 boxname=wulflinc22 idbench=1144 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4ceb0b03b7e8a29fb578fb77c2b349b0  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-A1C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-A1C1S1.opb
IDLAUNCH: 21156
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        680696 kB
Buffers:         32288 kB
Cached:         298744 kB
SwapCached:        400 kB
Active:          63924 kB
Inactive:       269408 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        680444 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            15012 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:36:18 (client local time) WITH STATUS 143 IN 1309.17 SECONDS
stats: 21156 7 1309.17 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/wulflinc22/normalized-mps-v2-20-10-A1C1S1.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.175
#### 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.97 0.99 2/54 2711
Raw data (stat): 2711 (runsolver) R 2710 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838435396 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.0002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18016 0 1 0 883 37 0 0 25 0 10 0 838435396 853733376 19353 4294967295 134512640 134569956 3221224368 3221214688 1131190209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 19353 13086 16 0 208415 0
vsize: 833724
[startup+20.0013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 1781 37 0 0 20 0 10 0 838435396 855818240 20337 4294967295 134512640 134569956 3221224368 3221214916 1130896324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 20337 13086 16 0 208924 0
vsize: 835760
[startup+30.001 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 2672 37 0 0 21 0 10 0 838435396 854654976 20600 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 20600 13086 16 0 208640 0
vsize: 834624
[startup+40.0014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 3587 38 0 0 24 0 10 0 838435396 854654976 20892 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 20892 13086 16 0 208640 0
vsize: 834624
[startup+50.0059 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18017 0 1 0 4513 38 0 0 25 0 10 0 838435396 854654976 21053 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21053 13086 16 0 208640 0
vsize: 834624
[startup+60.0063 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 5429 38 0 0 25 0 10 0 838435396 854654976 21189 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21189 13086 16 0 208640 0
vsize: 834624
[startup+70.0066 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 6360 38 0 0 25 0 10 0 838435396 854654976 21434 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21434 13086 16 0 208640 0
vsize: 834624
[startup+80.0077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 7299 38 0 0 25 0 10 0 838435396 854654976 21540 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21540 13086 16 0 208640 0
vsize: 834624
[startup+90.0084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 8241 38 0 0 25 0 10 0 838435396 854654976 21631 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21631 13086 16 0 208640 0
vsize: 834624
[startup+100.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 9182 39 0 0 25 0 10 0 838435396 854654976 21720 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21720 13086 16 0 208640 0
vsize: 834624
[startup+110.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 10127 39 0 0 25 0 10 0 838435396 854654976 21800 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21800 13086 16 0 208640 0
vsize: 834624
[startup+120.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 11069 39 0 0 25 0 10 0 838435396 854654976 21879 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21879 13086 16 0 208640 0
vsize: 834624
[startup+130.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 12010 39 0 0 24 0 10 0 838435396 854654976 21953 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 21953 13086 16 0 208640 0
vsize: 834624
[startup+140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 12956 39 0 0 25 0 10 0 838435396 854654976 22020 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22020 13086 16 0 208640 0
vsize: 834624
[startup+150.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 13898 39 0 0 25 0 10 0 838435396 854654976 22088 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22088 13086 16 0 208640 0
vsize: 834624
[startup+160.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 14844 39 0 0 25 0 10 0 838435396 854654976 22149 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22149 13086 16 0 208640 0
vsize: 834624
[startup+170.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 15786 40 0 0 25 0 10 0 838435396 854654976 22212 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22212 13086 16 0 208640 0
vsize: 834624
[startup+180.023 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 16702 40 0 0 25 0 10 0 838435396 854654976 22270 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22270 13086 16 0 208640 0
vsize: 834624
[startup+190.024 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 17622 40 0 0 25 0 10 0 838435396 854654976 22582 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22582 13086 16 0 208640 0
vsize: 834624
[startup+200.027 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18017 0 1 0 18563 40 0 0 25 0 10 0 838435396 854654976 22637 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22637 13086 16 0 208640 0
vsize: 834624
[startup+210.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 19503 40 0 0 25 0 10 0 838435396 854654976 22691 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22691 13086 16 0 208640 0
vsize: 834624
[startup+220.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18017 0 1 0 20444 40 0 0 25 0 10 0 838435396 854654976 22743 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22743 13086 16 0 208640 0
vsize: 834624
[startup+230.034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 21383 40 0 0 25 0 10 0 838435396 854654976 22795 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22795 13086 16 0 208640 0
vsize: 834624
[startup+240.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 22325 40 0 0 25 0 10 0 838435396 854654976 22844 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22844 13086 16 0 208640 0
vsize: 834624
[startup+250.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 23262 41 0 0 25 0 10 0 838435396 854654976 22894 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22894 13086 16 0 208640 0
vsize: 834624
[startup+260.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 24202 41 0 0 25 0 10 0 838435396 854654976 22941 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22941 13086 16 0 208640 0
vsize: 834624
[startup+270.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 25139 41 0 0 25 0 10 0 838435396 854654976 22989 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 22989 13086 16 0 208640 0
vsize: 834624
[startup+280.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 26079 41 0 0 25 0 10 0 838435396 854654976 23033 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23033 13086 16 0 208640 0
vsize: 834624
[startup+290.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 27015 42 0 0 24 0 10 0 838435396 854654976 23079 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23079 13086 16 0 208640 0
vsize: 834624
[startup+300.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 27954 42 0 0 25 0 10 0 838435396 854654976 23122 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23122 13086 16 0 208640 0
vsize: 834624
[startup+310.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 28892 42 0 0 25 0 10 0 838435396 854654976 23164 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23164 13086 16 0 208640 0
vsize: 834624
[startup+320.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 29826 42 0 0 25 0 10 0 838435396 854654976 23207 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23207 13086 16 0 208640 0
vsize: 834624
[startup+330.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 30764 42 0 0 25 0 10 0 838435396 854654976 23248 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23248 13086 16 0 208640 0
vsize: 834624
[startup+340.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18017 0 1 0 31701 43 0 0 25 0 10 0 838435396 854654976 23288 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23288 13086 16 0 208640 0
vsize: 834624
[startup+350.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 32635 43 0 0 25 0 10 0 838435396 854654976 23330 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23330 13086 16 0 208640 0
vsize: 834624
[startup+360.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 33571 43 0 0 25 0 10 0 838435396 854654976 23369 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 23369 13086 16 0 208640 0
vsize: 834624
[startup+370.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18017 0 1 0 34504 43 0 0 25 0 10 0 838435396 854654976 23407 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23407 13086 16 0 208640 0
vsize: 834624
[startup+380.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 35436 43 0 0 25 0 10 0 838435396 854654976 23447 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23447 13086 16 0 208640 0
vsize: 834624
[startup+390.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18017 0 1 0 36370 44 0 0 25 0 10 0 838435396 854654976 23484 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23484 13086 16 0 208640 0
vsize: 834624
[startup+400.065 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18025 0 1 0 37293 44 0 0 25 0 10 0 838435396 854654976 23529 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23529 13086 16 0 208640 0
vsize: 834624
[startup+410.065 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18026 0 1 0 38215 44 0 0 25 0 10 0 838435396 854654976 23567 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23567 13086 16 0 208640 0
vsize: 834624
[startup+420.067 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18026 0 1 0 39145 45 0 0 25 0 10 0 838435396 854654976 23693 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23693 13086 16 0 208640 0
vsize: 834624
[startup+430.066 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18026 0 1 0 40063 45 0 0 25 0 10 0 838435396 854654976 23756 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23756 13086 16 0 208640 0
vsize: 834624
[startup+440.067 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18026 0 1 0 40992 45 0 0 25 0 10 0 838435396 854654976 23784 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23784 13086 16 0 208640 0
vsize: 834624
[startup+450.068 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18026 0 1 0 41922 46 0 0 25 0 10 0 838435396 854654976 23824 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23824 13086 16 0 208640 0
vsize: 834624
[startup+460.067 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 42849 46 0 0 25 0 10 0 838435396 854654976 23866 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23866 13086 16 0 208640 0
vsize: 834624
[startup+470.068 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 43779 46 0 0 25 0 10 0 838435396 854654976 23893 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23893 13086 16 0 208640 0
vsize: 834624
[startup+480.068 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 44692 46 0 0 25 0 10 0 838435396 854654976 23945 4294967295 134512640 134569956 3221224368 3221214784 1131167256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23945 13086 16 0 208640 0
vsize: 834624
[startup+490.068 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 45619 46 0 0 25 0 10 0 838435396 854654976 23971 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 23971 13086 16 0 208640 0
vsize: 834624
[startup+500.069 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 46547 47 0 0 25 0 10 0 838435396 854654976 24010 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 24010 13086 16 0 208640 0
vsize: 834624
[startup+510.069 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 47473 47 0 0 25 0 10 0 838435396 854654976 24048 4294967295 134512640 134569956 3221224368 3221213996 1077378842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 24048 13086 16 0 208640 0
vsize: 834624
[startup+520.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 48400 48 0 0 25 0 10 0 838435396 854654976 24074 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208656 24074 13086 16 0 208640 0
vsize: 834624
[startup+530.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 49326 48 0 0 25 0 10 0 838435396 854654976 24111 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24111 13086 16 0 208640 0
vsize: 834624
[startup+540.072 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 50254 48 0 0 25 0 10 0 838435396 854654976 24137 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24137 13086 16 0 208640 0
vsize: 834624
[startup+550.072 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 51181 48 0 0 23 0 10 0 838435396 854654976 24174 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24174 13086 16 0 208640 0
vsize: 834624
[startup+560.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 52107 48 0 0 25 0 10 0 838435396 854654976 24211 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24211 13086 16 0 208640 0
vsize: 834624
[startup+570.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 53034 48 0 0 25 0 10 0 838435396 854654976 24235 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24235 13086 16 0 208640 0
vsize: 834624
[startup+580.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 53959 49 0 0 25 0 10 0 838435396 854654976 24273 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24273 13086 16 0 208640 0
vsize: 834624
[startup+590.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 54885 49 0 0 25 0 10 0 838435396 854654976 24297 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24297 13086 16 0 208640 0
vsize: 834624
[startup+600.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 55810 49 0 0 25 0 10 0 838435396 854654976 24333 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24333 13086 16 0 208640 0
vsize: 834624
[startup+610.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18027 0 1 0 56734 49 0 0 25 0 10 0 838435396 854654976 24357 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24357 13086 16 0 208640 0
vsize: 834624
[startup+620.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 57658 49 0 0 25 0 10 0 838435396 854654976 24394 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24394 13086 16 0 208640 0
vsize: 834624
[startup+630.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 58582 49 0 0 25 0 10 0 838435396 854654976 24418 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24418 13086 16 0 208640 0
vsize: 834624
[startup+640.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 59506 50 0 0 25 0 10 0 838435396 854654976 24457 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24457 13086 16 0 208640 0
vsize: 834624
[startup+650.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 60429 50 0 0 25 0 10 0 838435396 854654976 24480 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208656 24480 13086 16 0 208640 0
vsize: 834624
[startup+660.079 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 61323 50 0 0 25 0 10 0 838435396 855470080 24711 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208855 24711 13086 16 0 208839 0
vsize: 835420
[startup+670.081 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 62244 50 0 0 25 0 10 0 838435396 855470080 24734 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 24734 13086 16 0 208839 0
vsize: 835420
[startup+680.081 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 63162 51 0 0 25 0 10 0 838435396 855470080 25270 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25270 13086 16 0 208839 0
vsize: 835420
[startup+690.082 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 64079 51 0 0 24 0 10 0 838435396 855470080 25270 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25270 13086 16 0 208839 0
vsize: 835420
[startup+700.083 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 64996 51 0 0 25 0 10 0 838435396 855470080 25290 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25290 13086 16 0 208839 0
vsize: 835420
[startup+710.083 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 65906 51 0 0 25 0 10 0 838435396 855470080 25311 4294967295 134512640 134569956 3221224368 3221214216 1076460986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25311 13086 16 0 208839 0
vsize: 835420
[startup+720.083 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 66817 52 0 0 25 0 10 0 838435396 855470080 25346 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25346 13086 16 0 208839 0
vsize: 835420
[startup+730.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 67730 52 0 0 25 0 10 0 838435396 855470080 25367 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 25367 13086 16 0 208839 0
vsize: 835420
[startup+740.084 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 68639 53 0 0 24 0 10 0 838435396 855298048 25363 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25363 13086 16 0 208797 0
vsize: 835252
[startup+750.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 69554 53 0 0 25 0 10 0 838435396 855298048 25383 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25383 13086 16 0 208797 0
vsize: 835252
[startup+760.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 70464 53 0 0 21 0 10 0 838435396 855298048 25418 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25418 13086 16 0 208797 0
vsize: 835252
[startup+770.085 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 71377 54 0 0 25 0 10 0 838435396 855298048 25437 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25437 13086 16 0 208797 0
vsize: 835252
[startup+780.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 72285 54 0 0 25 0 10 0 838435396 855298048 25472 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25472 13086 16 0 208797 0
vsize: 835252
[startup+790.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 73196 55 0 0 25 0 10 0 838435396 855298048 25492 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25492 13086 16 0 208797 0
vsize: 835252
[startup+800.087 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 74108 55 0 0 25 0 10 0 838435396 855298048 25526 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25526 13086 16 0 208797 0
vsize: 835252
[startup+810.088 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 75016 55 0 0 24 0 10 0 838435396 855298048 25546 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 25546 13086 16 0 208797 0
vsize: 835252
[startup+820.089 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 75929 55 0 0 25 0 10 0 838435396 855298048 25579 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25579 13086 16 0 208797 0
vsize: 835252
[startup+830.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 76838 55 0 0 25 0 10 0 838435396 855298048 25599 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25599 13086 16 0 208797 0
vsize: 835252
[startup+840.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 77751 56 0 0 25 0 10 0 838435396 855298048 25618 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25618 13086 16 0 208797 0
vsize: 835252
[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 78659 56 0 0 25 0 10 0 838435396 855298048 25652 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25652 13086 16 0 208797 0
vsize: 835252
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 79567 56 0 0 24 0 10 0 838435396 855298048 25672 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25672 13086 16 0 208797 0
vsize: 835252
[startup+870.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 80480 56 0 0 25 0 10 0 838435396 855298048 25705 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25705 13086 16 0 208797 0
vsize: 835252
[startup+880.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 81387 56 0 0 25 0 10 0 838435396 855298048 25726 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25726 13086 16 0 208797 0
vsize: 835252
[startup+890.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 82299 56 0 0 25 0 10 0 838435396 855298048 25759 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25759 13086 16 0 208797 0
vsize: 835252
[startup+900.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 83205 57 0 0 25 0 10 0 838435396 855298048 25778 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25778 13086 16 0 208797 0
vsize: 835252
[startup+910.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 84114 57 0 0 25 0 10 0 838435396 855298048 25810 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25810 13086 16 0 208797 0
vsize: 835252
[startup+920.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 85022 57 0 0 25 0 10 0 838435396 855298048 25830 4294967295 134512640 134569956 3221224368 3221214760 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25830 13086 16 0 208797 0
vsize: 835252
[startup+930.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 85931 57 0 0 25 0 10 0 838435396 855298048 25848 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25848 13086 16 0 208797 0
vsize: 835252
[startup+940.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 86839 57 0 0 25 0 10 0 838435396 855298048 25881 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25881 13086 16 0 208797 0
vsize: 835252
[startup+950.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 87750 58 0 0 25 0 10 0 838435396 855298048 25899 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25899 13086 16 0 208797 0
vsize: 835252
[startup+960.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 88654 58 0 0 25 0 10 0 838435396 855298048 25933 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25933 13086 16 0 208797 0
vsize: 835252
[startup+970.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 89565 58 0 0 24 0 10 0 838435396 855298048 25950 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25950 13086 16 0 208797 0
vsize: 835252
[startup+980.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 90468 58 0 0 19 0 10 0 838435396 855298048 25969 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 25969 13086 16 0 208797 0
vsize: 835252
[startup+990.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 91379 58 0 0 23 0 10 0 838435396 855298048 26013 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26013 13086 16 0 208797 0
vsize: 835252
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 92282 58 0 0 19 0 10 0 838435396 855298048 26039 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26039 13086 16 0 208797 0
vsize: 835252
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 93191 58 0 0 21 0 10 0 838435396 855298048 26075 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26075 13086 16 0 208797 0
vsize: 835252
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 94094 58 0 0 24 0 10 0 838435396 855298048 26093 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26093 13086 16 0 208797 0
vsize: 835252
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 95002 58 0 0 20 0 10 0 838435396 855298048 26124 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26124 13086 16 0 208797 0
vsize: 835252
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 95911 59 0 0 23 0 10 0 838435396 855298048 26143 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26143 13086 16 0 208797 0
vsize: 835252
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 96813 59 0 0 19 0 10 0 838435396 855298048 26173 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26173 13086 16 0 208797 0
vsize: 835252
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 97719 59 0 0 21 0 10 0 838435396 855298048 26202 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26202 13086 16 0 208797 0
vsize: 835252
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 98623 59 0 0 24 0 10 0 838435396 855298048 26228 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26228 13086 16 0 208797 0
vsize: 835252
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 99530 59 0 0 20 0 10 0 838435396 855298048 26249 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26249 13086 16 0 208797 0
vsize: 835252
[startup+1090.12 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 100439 59 0 0 23 0 10 0 838435396 855298048 26272 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26272 13086 16 0 208797 0
vsize: 835252
[startup+1100.12 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 101340 59 0 0 20 0 10 0 838435396 855298048 26301 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26301 13086 16 0 208797 0
vsize: 835252
[startup+1110.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 102247 59 0 0 22 0 10 0 838435396 855298048 26327 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26327 13086 16 0 208797 0
vsize: 835252
[startup+1120.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 103148 59 0 0 19 0 10 0 838435396 855298048 26350 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26350 13086 16 0 208797 0
vsize: 835252
[startup+1130.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 104055 60 0 0 21 0 10 0 838435396 855298048 26367 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26367 13086 16 0 208797 0
vsize: 835252
[startup+1140.13 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 104962 60 0 0 24 0 10 0 838435396 855298048 26402 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26402 13086 16 0 208797 0
vsize: 835252
[startup+1150.13 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 105852 60 0 0 19 0 10 0 838435396 855298048 26425 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26425 13086 16 0 208797 0
vsize: 835252
[startup+1160.13 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 106758 60 0 0 22 0 10 0 838435396 855298048 26452 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26452 13086 16 0 208797 0
vsize: 835252
[startup+1170.13 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 107661 60 0 0 23 0 10 0 838435396 855298048 26468 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26468 13086 16 0 208797 0
vsize: 835252
[startup+1180.14 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 108564 60 0 0 21 0 10 0 838435396 855298048 26498 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26498 13086 16 0 208797 0
vsize: 835252
[startup+1190.14 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 109470 60 0 0 23 0 10 0 838435396 855298048 26520 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26520 13086 16 0 208797 0
vsize: 835252
[startup+1200.14 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 110368 61 0 0 19 0 10 0 838435396 855298048 26551 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26551 13086 16 0 208797 0
vsize: 835252
[startup+1210.14 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 111273 61 0 0 20 0 10 0 838435396 855298048 26573 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26573 13086 16 0 208797 0
vsize: 835252
[startup+1220.14 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 112175 61 0 0 22 0 10 0 838435396 855298048 26596 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26596 13086 16 0 208797 0
vsize: 835252
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 113070 61 0 0 18 0 10 0 838435396 855298048 26623 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26623 13086 16 0 208797 0
vsize: 835252
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 113973 61 0 0 19 0 10 0 838435396 855298048 26650 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208813 26650 13086 16 0 208797 0
vsize: 835252
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 114876 62 0 0 21 0 10 0 838435396 855298048 26666 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26666 13086 16 0 208797 0
vsize: 835252
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 115777 62 0 0 21 0 10 0 838435396 855298048 26690 4294967295 134512640 134569956 3221224368 3221214736 1131200374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26690 13086 16 0 208797 0
vsize: 835252
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 116680 62 0 0 23 0 10 0 838435396 855298048 26716 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26716 13086 16 0 208797 0
vsize: 835252
[startup+1280.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) S 2710 23310 23309 0 -1 0 18028 0 1 0 117579 63 0 0 23 0 10 0 838435396 855298048 26743 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26743 13086 16 0 208797 0
vsize: 835252
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 118477 63 0 0 18 0 10 0 838435396 855298048 26757 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26757 13086 16 0 208797 0
vsize: 835252
[startup+1300.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 119378 63 0 0 19 0 10 0 838435396 855298048 26775 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26775 13086 16 0 208797 0
vsize: 835252
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2720
Raw data (stat): 2711 (java) R 2710 23310 23309 0 -1 0 18028 0 1 0 120278 63 0 0 20 0 10 0 838435396 855298048 26812 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 26812 13086 16 0 208797 0
vsize: 835252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2722
Raw data (stat): 2711 (java) Z 2710 23310 23309 0 -1 1036 18028 8049 1 0 120283 64 10524 44 16 0 1 0 838435396 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.25
CPU time (s): 1309.17
CPU user time (s): 1308.09
CPU system time (s): 1.08983
CPU usage (%): 99.9177
Max. virtual memory (Kb): 835760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####