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/fctp/normalized-mps-v2-20-10-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45178
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29699

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        690488 kB
Buffers:         27372 kB
Cached:         296164 kB
SwapCached:        756 kB
Active:          68088 kB
Inactive:       257648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        690236 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            12844 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:54:38 (client local time) WITH STATUS 143 IN 1312.62 SECONDS
stats: 21102 7 1312.62 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/wulflinc7/normalized-mps-v2-20-10-n370c.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.17
#### 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.85 0.95 0.98 2/54 8231
Raw data (stat): 8231 (runsolver) R 8230 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779973139 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.0014 s]
Raw data (loadavg): 0.88 0.95 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18015 0 1 0 870 41 0 0 25 0 10 0 779973139 853884928 19355 4294967295 134512640 134569956 3221224368 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19355 13086 16 0 208452 0
vsize: 833872
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.95 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 1766 41 0 0 25 0 10 0 779973139 855207936 20156 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208791 20156 13086 16 0 208775 0
vsize: 835164
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.95 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 2659 42 0 0 22 0 10 0 779973139 854978560 20597 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208735 20597 13086 16 0 208719 0
vsize: 834940
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.95 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 3575 42 0 0 25 0 10 0 779973139 854093824 20712 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 20712 13086 16 0 208503 0
vsize: 834076
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 4497 42 0 0 25 0 10 0 779973139 854093824 20874 4294967295 134512640 134569956 3221224368 3221214768 1131245944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 20874 13086 16 0 208503 0
vsize: 834076
[startup+60.003 s]
Raw data (loadavg): 0.94 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 5414 42 0 0 25 0 10 0 779973139 854093824 21005 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21005 13086 16 0 208503 0
vsize: 834076
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 6346 42 0 0 25 0 10 0 779973139 854093824 21246 4294967295 134512640 134569956 3221224368 3221214784 1131173686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21246 13086 16 0 208503 0
vsize: 834076
[startup+80.0033 s]
Raw data (loadavg): 0.96 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 7286 42 0 0 25 0 10 0 779973139 854093824 21347 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21347 13086 16 0 208503 0
vsize: 834076
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 8230 43 0 0 25 0 10 0 779973139 854093824 21435 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 21435 13086 16 0 208503 0
vsize: 834076
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 9171 43 0 0 25 0 10 0 779973139 854093824 21521 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21521 13086 16 0 208503 0
vsize: 834076
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 10113 43 0 0 24 0 10 0 779973139 854093824 21601 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21601 13086 16 0 208503 0
vsize: 834076
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 11058 43 0 0 25 0 10 0 779973139 854093824 21673 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21673 13086 16 0 208503 0
vsize: 834076
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 12001 43 0 0 25 0 10 0 779973139 854093824 21745 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21745 13086 16 0 208503 0
vsize: 834076
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 12944 44 0 0 24 0 10 0 779973139 854093824 21813 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21813 13086 16 0 208503 0
vsize: 834076
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 13890 44 0 0 25 0 10 0 779973139 854093824 21875 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21875 13086 16 0 208503 0
vsize: 834076
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 14833 44 0 0 25 0 10 0 779973139 854093824 21938 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21938 13086 16 0 208503 0
vsize: 834076
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 15773 44 0 0 25 0 10 0 779973139 854093824 21996 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 21996 13086 16 0 208503 0
vsize: 834076
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 16688 44 0 0 25 0 10 0 779973139 854093824 22053 4294967295 134512640 134569956 3221224368 3221214720 1131044766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22053 13086 16 0 208503 0
vsize: 834076
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 17612 44 0 0 25 0 10 0 779973139 854093824 22363 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22363 13086 16 0 208503 0
vsize: 834076
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 18551 44 0 0 24 0 10 0 779973139 854093824 22418 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22418 13086 16 0 208503 0
vsize: 834076
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 19494 45 0 0 25 0 10 0 779973139 854093824 22469 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22469 13086 16 0 208503 0
vsize: 834076
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 20432 45 0 0 25 0 10 0 779973139 854093824 22521 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22521 13086 16 0 208503 0
vsize: 834076
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 21374 45 0 0 25 0 10 0 779973139 854093824 22568 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22568 13086 16 0 208503 0
vsize: 834076
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 22312 45 0 0 25 0 10 0 779973139 854093824 22618 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22618 13086 16 0 208503 0
vsize: 834076
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 23253 45 0 0 25 0 10 0 779973139 854093824 22664 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22664 13086 16 0 208503 0
vsize: 834076
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 24190 46 0 0 25 0 10 0 779973139 854093824 22711 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22711 13086 16 0 208503 0
vsize: 834076
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 25126 46 0 0 24 0 10 0 779973139 854093824 22758 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22758 13086 16 0 208503 0
vsize: 834076
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 26066 46 0 0 25 0 10 0 779973139 854093824 22801 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22801 13086 16 0 208503 0
vsize: 834076
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 27002 46 0 0 24 0 10 0 779973139 854093824 22846 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22846 13086 16 0 208503 0
vsize: 834076
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 27941 46 0 0 25 0 10 0 779973139 854093824 22888 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22888 13086 16 0 208503 0
vsize: 834076
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 28876 46 0 0 24 0 10 0 779973139 854093824 22932 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22932 13086 16 0 208503 0
vsize: 834076
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 29814 47 0 0 25 0 10 0 779973139 854093824 22972 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 22972 13086 16 0 208503 0
vsize: 834076
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 30748 47 0 0 25 0 10 0 779973139 854093824 23014 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23014 13086 16 0 208503 0
vsize: 834076
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 31685 47 0 0 25 0 10 0 779973139 854093824 23053 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23053 13086 16 0 208503 0
vsize: 834076
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 32618 47 0 0 24 0 10 0 779973139 854093824 23093 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23093 13086 16 0 208503 0
vsize: 834076
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 33554 47 0 0 25 0 10 0 779973139 854093824 23131 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23131 13086 16 0 208503 0
vsize: 834076
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 34488 47 0 0 25 0 10 0 779973139 854093824 23170 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23170 13086 16 0 208503 0
vsize: 834076
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 35423 48 0 0 25 0 10 0 779973139 854093824 23208 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23208 13086 16 0 208503 0
vsize: 834076
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 36358 48 0 0 23 0 10 0 779973139 854093824 23244 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23244 13086 16 0 208503 0
vsize: 834076
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 37289 48 0 0 25 0 10 0 779973139 854093824 23282 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23282 13086 16 0 208503 0
vsize: 834076
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 38223 48 0 0 25 0 10 0 779973139 854093824 23318 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23318 13086 16 0 208503 0
vsize: 834076
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 39153 48 0 0 24 0 10 0 779973139 854093824 23354 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23354 13086 16 0 208503 0
vsize: 834076
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 40087 48 0 0 25 0 10 0 779973139 854093824 23389 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23389 13086 16 0 208503 0
vsize: 834076
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 41019 48 0 0 25 0 10 0 779973139 854093824 23423 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23423 13086 16 0 208503 0
vsize: 834076
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 41949 48 0 0 25 0 10 0 779973139 854093824 23458 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23458 13086 16 0 208503 0
vsize: 834076
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 42881 49 0 0 25 0 10 0 779973139 854093824 23491 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23491 13086 16 0 208503 0
vsize: 834076
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 43812 49 0 0 25 0 10 0 779973139 854093824 23525 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23525 13086 16 0 208503 0
vsize: 834076
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 44741 49 0 0 25 0 10 0 779973139 854093824 23558 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23558 13086 16 0 208503 0
vsize: 834076
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 45672 49 0 0 25 0 10 0 779973139 854093824 23590 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23590 13086 16 0 208503 0
vsize: 834076
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 46599 49 0 0 24 0 10 0 779973139 854093824 23624 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23624 13086 16 0 208503 0
vsize: 834076
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 47528 50 0 0 25 0 10 0 779973139 854093824 23655 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23655 13086 16 0 208503 0
vsize: 834076
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 48458 50 0 0 25 0 10 0 779973139 854093824 23687 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23687 13086 16 0 208503 0
vsize: 834076
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 49386 50 0 0 25 0 10 0 779973139 854093824 23718 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23718 13086 16 0 208503 0
vsize: 834076
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 50313 50 0 0 25 0 10 0 779973139 854093824 23750 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23750 13086 16 0 208503 0
vsize: 834076
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 51241 50 0 0 25 0 10 0 779973139 854093824 23780 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23780 13086 16 0 208503 0
vsize: 834076
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 52169 51 0 0 25 0 10 0 779973139 854093824 23810 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23810 13086 16 0 208503 0
vsize: 834076
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 53098 51 0 0 25 0 10 0 779973139 854093824 23840 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23840 13086 16 0 208503 0
vsize: 834076
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 54020 51 0 0 25 0 10 0 779973139 854093824 23871 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23871 13086 16 0 208503 0
vsize: 834076
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 54948 51 0 0 25 0 10 0 779973139 854093824 23900 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 23900 13086 16 0 208503 0
vsize: 834076
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 55871 52 0 0 25 0 10 0 779973139 854093824 23929 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 23929 13086 16 0 208503 0
vsize: 834076
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 56796 52 0 0 25 0 10 0 779973139 854093824 23957 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 23957 13086 16 0 208503 0
vsize: 834076
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 57715 53 0 0 25 0 10 0 779973139 854093824 23987 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 23987 13086 16 0 208503 0
vsize: 834076
[startup+630.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 58639 54 0 0 25 0 10 0 779973139 854093824 24015 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 24015 13086 16 0 208503 0
vsize: 834076
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 59563 54 0 0 25 0 10 0 779973139 854093824 24043 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 24043 13086 16 0 208503 0
vsize: 834076
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 60486 54 0 0 25 0 10 0 779973139 854093824 24071 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 24071 13086 16 0 208503 0
vsize: 834076
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 61407 55 0 0 25 0 10 0 779973139 854093824 24098 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 24098 13086 16 0 208503 0
vsize: 834076
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 62322 55 0 0 24 0 10 0 779973139 854093824 25026 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25026 13086 16 0 208503 0
vsize: 834076
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 63241 55 0 0 25 0 10 0 779973139 854093824 25028 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25028 13086 16 0 208503 0
vsize: 834076
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 64154 56 0 0 25 0 10 0 779973139 854093824 25049 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25049 13086 16 0 208503 0
vsize: 834076
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 65068 56 0 0 25 0 10 0 779973139 854093824 25077 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25077 13086 16 0 208503 0
vsize: 834076
[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 65979 56 0 0 25 0 10 0 779973139 854093824 25103 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25103 13086 16 0 208503 0
vsize: 834076
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 66890 57 0 0 25 0 10 0 779973139 854093824 25130 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25130 13086 16 0 208503 0
vsize: 834076
[startup+730.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 67802 57 0 0 25 0 10 0 779973139 854093824 25156 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25156 13086 16 0 208503 0
vsize: 834076
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 68713 57 0 0 25 0 10 0 779973139 854093824 25181 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25181 13086 16 0 208503 0
vsize: 834076
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 69624 58 0 0 25 0 10 0 779973139 854093824 25207 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25207 13086 16 0 208503 0
vsize: 834076
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 70535 58 0 0 24 0 10 0 779973139 854093824 25233 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25233 13086 16 0 208503 0
vsize: 834076
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 71445 59 0 0 24 0 10 0 779973139 854093824 25258 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25258 13086 16 0 208503 0
vsize: 834076
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 72355 59 0 0 24 0 10 0 779973139 854093824 25283 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25283 13086 16 0 208503 0
vsize: 834076
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 73268 59 0 0 25 0 10 0 779973139 854093824 25307 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25307 13086 16 0 208503 0
vsize: 834076
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 74182 59 0 0 25 0 10 0 779973139 854093824 25331 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25331 13086 16 0 208503 0
vsize: 834076
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 75092 60 0 0 25 0 10 0 779973139 854093824 25356 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25356 13086 16 0 208503 0
vsize: 834076
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 76002 60 0 0 25 0 10 0 779973139 854093824 25380 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25380 13086 16 0 208503 0
vsize: 834076
[startup+830.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 76911 60 0 0 25 0 10 0 779973139 854093824 25405 4294967295 134512640 134569956 3221224368 3221214720 1131045388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25405 13086 16 0 208503 0
vsize: 834076
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 77818 61 0 0 25 0 10 0 779973139 854093824 25429 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25429 13086 16 0 208503 0
vsize: 834076
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 78726 61 0 0 25 0 10 0 779973139 854093824 25453 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25453 13086 16 0 208503 0
vsize: 834076
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 79634 62 0 0 25 0 10 0 779973139 854093824 25477 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25477 13086 16 0 208503 0
vsize: 834076
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 80543 62 0 0 25 0 10 0 779973139 854093824 25501 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25501 13086 16 0 208503 0
vsize: 834076
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 81449 62 0 0 24 0 10 0 779973139 854093824 25524 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25524 13086 16 0 208503 0
vsize: 834076
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 82361 63 0 0 25 0 10 0 779973139 854093824 25546 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25546 13086 16 0 208503 0
vsize: 834076
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 83268 63 0 0 25 0 10 0 779973139 854093824 25571 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208519 25571 13086 16 0 208503 0
vsize: 834076
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 84176 63 0 0 25 0 10 0 779973139 854093824 25596 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25596 13086 16 0 208503 0
vsize: 834076
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 85085 63 0 0 25 0 10 0 779973139 854093824 25620 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25620 13086 16 0 208503 0
vsize: 834076
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 85992 64 0 0 25 0 10 0 779973139 854093824 25648 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25648 13086 16 0 208503 0
vsize: 834076
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 86899 64 0 0 24 0 10 0 779973139 854093824 25670 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25670 13086 16 0 208503 0
vsize: 834076
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 87812 64 0 0 24 0 10 0 779973139 854093824 25700 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25700 13086 16 0 208503 0
vsize: 834076
[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 88717 64 0 0 21 0 10 0 779973139 854093824 25728 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25728 13086 16 0 208503 0
vsize: 834076
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 89622 64 0 0 21 0 10 0 779973139 854093824 25753 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25753 13086 16 0 208503 0
vsize: 834076
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 90528 65 0 0 19 0 10 0 779973139 854093824 25780 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25780 13086 16 0 208503 0
vsize: 834076
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 91434 65 0 0 19 0 10 0 779973139 854093824 25802 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25802 13086 16 0 208503 0
vsize: 834076
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 92345 65 0 0 23 0 10 0 779973139 854093824 25829 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25829 13086 16 0 208503 0
vsize: 834076
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 93251 65 0 0 21 0 10 0 779973139 854093824 25853 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25853 13086 16 0 208503 0
vsize: 834076
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 94155 65 0 0 20 0 10 0 779973139 854093824 25875 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25875 13086 16 0 208503 0
vsize: 834076
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 95059 65 0 0 19 0 10 0 779973139 854093824 25907 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25907 13086 16 0 208503 0
vsize: 834076
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 95970 65 0 0 24 0 10 0 779973139 854093824 25928 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25928 13086 16 0 208503 0
vsize: 834076
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 96874 66 0 0 21 0 10 0 779973139 854093824 25956 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25956 13086 16 0 208503 0
vsize: 834076
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 97777 66 0 0 20 0 10 0 779973139 854093824 25982 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 25982 13086 16 0 208503 0
vsize: 834076
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 98678 66 0 0 19 0 10 0 779973139 854093824 26007 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26007 13086 16 0 208503 0
vsize: 834076
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 99586 66 0 0 22 0 10 0 779973139 854093824 26030 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26030 13086 16 0 208503 0
vsize: 834076
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 100488 66 0 0 21 0 10 0 779973139 854093824 26055 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26055 13086 16 0 208503 0
vsize: 834076
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 101390 66 0 0 19 0 10 0 779973139 854093824 26080 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26080 13086 16 0 208503 0
vsize: 834076
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 102298 66 0 0 23 0 10 0 779973139 854093824 26101 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26101 13086 16 0 208503 0
vsize: 834076
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 103200 66 0 0 22 0 10 0 779973139 854093824 26128 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26128 13086 16 0 208503 0
vsize: 834076
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 104102 67 0 0 19 0 10 0 779973139 854093824 26152 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26152 13086 16 0 208503 0
vsize: 834076
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) S 8230 24300 24299 0 -1 0 18016 0 1 0 105006 67 0 0 24 0 10 0 779973139 854093824 26175 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26175 13086 16 0 208503 0
vsize: 834076
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 105910 67 0 0 22 0 10 0 779973139 854093824 26195 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26195 13086 16 0 208503 0
vsize: 834076
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 106809 67 0 0 20 0 10 0 779973139 854093824 26224 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26224 13086 16 0 208503 0
vsize: 834076
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 107716 67 0 0 24 0 10 0 779973139 854093824 26246 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26246 13086 16 0 208503 0
vsize: 834076
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 108616 68 0 0 22 0 10 0 779973139 854093824 26266 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26266 13086 16 0 208503 0
vsize: 834076
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 109516 68 0 0 19 0 10 0 779973139 854093824 26294 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26294 13086 16 0 208503 0
vsize: 834076
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 110420 68 0 0 23 0 10 0 779973139 854093824 26316 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26316 13086 16 0 208503 0
vsize: 834076
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 111316 68 0 0 21 0 10 0 779973139 854093824 26340 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26340 13086 16 0 208503 0
vsize: 834076
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 112214 69 0 0 18 0 10 0 779973139 854093824 26363 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26363 13086 16 0 208503 0
vsize: 834076
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 113119 69 0 0 24 0 10 0 779973139 854093824 26381 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26381 13086 16 0 208503 0
vsize: 834076
[startup+1240.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 114018 69 0 0 21 0 10 0 779973139 854093824 26401 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26401 13086 16 0 208503 0
vsize: 834076
[startup+1250.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 114916 69 0 0 18 0 10 0 779973139 854093824 26421 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26421 13086 16 0 208503 0
vsize: 834076
[startup+1260.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 115821 70 0 0 23 0 10 0 779973139 854093824 26453 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26453 13086 16 0 208503 0
vsize: 834076
[startup+1270.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 116720 70 0 0 21 0 10 0 779973139 854093824 26471 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26471 13086 16 0 208503 0
vsize: 834076
[startup+1280.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 117620 70 0 0 19 0 10 0 779973139 854093824 26507 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26507 13086 16 0 208503 0
vsize: 834076
[startup+1290.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 118527 70 0 0 23 0 10 0 779973139 854093824 26525 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26525 13086 16 0 208503 0
vsize: 834076
[startup+1300.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 119428 70 0 0 21 0 10 0 779973139 854093824 26554 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26554 13086 16 0 208503 0
vsize: 834076
[startup+1310.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 8240
Raw data (stat): 8231 (java) R 8230 24300 24299 0 -1 0 18016 0 1 0 120332 71 0 0 20 0 10 0 779973139 854093824 26575 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 26575 13086 16 0 208503 0
vsize: 834076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 8242
Raw data (stat): 8231 (java) Z 8230 24300 24299 0 -1 1036 18016 9624 1 0 120335 75 10801 49 21 0 1 0 779973139 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.17
CPU time (s): 1312.62
CPU user time (s): 1311.37
CPU system time (s): 1.25381
CPU usage (%): 100.187
Max. virtual memory (Kb): 835164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####