PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 29494

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        843760 kB
Buffers:         27704 kB
Cached:         141864 kB
SwapCached:        772 kB
Active:          69256 kB
Inactive:       102348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843508 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13676 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:39:29 (client local time) WITH STATUS 143 IN 1312.78 SECONDS
stats: 20894 7 1312.78 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/wulflinc11/normalized-mps-v2-20-10-ship12l.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.149
#### 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.97 0.99 2/54 5411
Raw data (stat): 5411 (runsolver) R 5410 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779150026 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.001 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 864 39 0 0 25 0 10 0 779150026 857174016 20114 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209271 20114 13086 16 0 209255 0
vsize: 837084
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 1763 39 0 0 25 0 10 0 779150026 854417408 20035 4294967295 134512640 134569956 3221224368 3221214584 1131203071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208598 20035 13086 16 0 208582 0
vsize: 834392
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 2652 39 0 0 25 0 10 0 779150026 854417408 20540 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208598 20540 13086 16 0 208582 0
vsize: 834392
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 3570 40 0 0 25 0 10 0 779150026 854044672 20743 4294967295 134512640 134569956 3221224368 3221214768 1131246919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20743 13086 16 0 208491 0
vsize: 834028
[startup+50.0042 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 4493 40 0 0 25 0 10 0 779150026 854044672 20914 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 20914 13086 16 0 208491 0
vsize: 834028
[startup+60.0045 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 5407 40 0 0 24 0 10 0 779150026 854044672 21052 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208507 21052 13086 16 0 208491 0
vsize: 834028
[startup+70.0049 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 6337 41 0 0 25 0 10 0 779150026 853946368 21271 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21271 13086 16 0 208467 0
vsize: 833932
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 7279 41 0 0 25 0 10 0 779150026 853946368 21371 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21371 13086 16 0 208467 0
vsize: 833932
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 8218 41 0 0 25 0 10 0 779150026 853946368 21468 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21468 13086 16 0 208467 0
vsize: 833932
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 9162 42 0 0 25 0 10 0 779150026 853946368 21553 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21553 13086 16 0 208467 0
vsize: 833932
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 10103 42 0 0 25 0 10 0 779150026 853946368 21638 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21638 13086 16 0 208467 0
vsize: 833932
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 11048 42 0 0 25 0 10 0 779150026 853946368 21712 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21712 13086 16 0 208467 0
vsize: 833932
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 11989 42 0 0 25 0 10 0 779150026 853946368 21787 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21787 13086 16 0 208467 0
vsize: 833932
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 12934 43 0 0 25 0 10 0 779150026 853946368 21854 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21854 13086 16 0 208467 0
vsize: 833932
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 13875 43 0 0 25 0 10 0 779150026 853946368 21922 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21922 13086 16 0 208467 0
vsize: 833932
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 14820 43 0 0 25 0 10 0 779150026 853946368 21984 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21984 13086 16 0 208467 0
vsize: 833932
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 15761 44 0 0 25 0 10 0 779150026 853946368 22047 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22047 13086 16 0 208467 0
vsize: 833932
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 16678 44 0 0 25 0 10 0 779150026 853946368 22105 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22105 13086 16 0 208467 0
vsize: 833932
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 17597 44 0 0 25 0 10 0 779150026 853946368 22161 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22161 13086 16 0 208467 0
vsize: 833932
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 18538 44 0 0 25 0 10 0 779150026 853946368 22472 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22472 13086 16 0 208467 0
vsize: 833932
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 19475 45 0 0 25 0 10 0 779150026 853946368 22527 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22527 13086 16 0 208467 0
vsize: 833932
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 20415 45 0 0 25 0 10 0 779150026 853946368 22578 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22578 13086 16 0 208467 0
vsize: 833932
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 21352 46 0 0 24 0 10 0 779150026 853946368 22631 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22631 13086 16 0 208467 0
vsize: 833932
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 22293 46 0 0 25 0 10 0 779150026 853946368 22681 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22681 13086 16 0 208467 0
vsize: 833932
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 23233 46 0 0 25 0 10 0 779150026 853946368 22728 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22728 13086 16 0 208467 0
vsize: 833932
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 24170 46 0 0 25 0 10 0 779150026 853946368 22778 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22778 13086 16 0 208467 0
vsize: 833932
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 25109 47 0 0 25 0 10 0 779150026 853946368 22823 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22823 13086 16 0 208467 0
vsize: 833932
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 26045 47 0 0 25 0 10 0 779150026 853946368 22870 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22870 13086 16 0 208467 0
vsize: 833932
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 26983 47 0 0 25 0 10 0 779150026 853946368 22914 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22914 13086 16 0 208467 0
vsize: 833932
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 27922 48 0 0 25 0 10 0 779150026 853946368 22957 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22957 13086 16 0 208467 0
vsize: 833932
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 28856 48 0 0 24 0 10 0 779150026 853946368 23002 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23002 13086 16 0 208467 0
vsize: 833932
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 29794 49 0 0 25 0 10 0 779150026 853946368 23043 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23043 13086 16 0 208467 0
vsize: 833932
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 30731 49 0 0 25 0 10 0 779150026 853946368 23083 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23083 13086 16 0 208467 0
vsize: 833932
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 31668 49 0 0 25 0 10 0 779150026 853946368 23123 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23123 13086 16 0 208467 0
vsize: 833932
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 32601 50 0 0 25 0 10 0 779150026 853946368 23166 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23166 13086 16 0 208467 0
vsize: 833932
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 33537 50 0 0 25 0 10 0 779150026 853946368 23205 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23205 13086 16 0 208467 0
vsize: 833932
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 34474 50 0 0 25 0 10 0 779150026 853946368 23243 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23243 13086 16 0 208467 0
vsize: 833932
[startup+380.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 35405 51 0 0 25 0 10 0 779150026 853946368 23283 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23283 13086 16 0 208467 0
vsize: 833932
[startup+390.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 36340 51 0 0 25 0 10 0 779150026 853946368 23320 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23320 13086 16 0 208467 0
vsize: 833932
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 37275 51 0 0 25 0 10 0 779150026 853946368 23357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23357 13086 16 0 208467 0
vsize: 833932
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 38207 52 0 0 25 0 10 0 779150026 853946368 23394 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23394 13086 16 0 208467 0
vsize: 833932
[startup+420.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 39139 52 0 0 25 0 10 0 779150026 853946368 23431 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23431 13086 16 0 208467 0
vsize: 833932
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 40072 52 0 0 25 0 10 0 779150026 853946368 23466 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23466 13086 16 0 208467 0
vsize: 833932
[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 41005 53 0 0 25 0 10 0 779150026 853946368 23501 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23501 13086 16 0 208467 0
vsize: 833932
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 41936 54 0 0 25 0 10 0 779150026 853946368 23535 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23535 13086 16 0 208467 0
vsize: 833932
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 42864 54 0 0 24 0 10 0 779150026 853946368 23571 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23571 13086 16 0 208467 0
vsize: 833932
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 43796 54 0 0 25 0 10 0 779150026 853946368 23605 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23605 13086 16 0 208467 0
vsize: 833932
[startup+480.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 44727 55 0 0 25 0 10 0 779150026 853946368 23638 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23638 13086 16 0 208467 0
vsize: 833932
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 45659 55 0 0 25 0 10 0 779150026 853946368 23672 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23672 13086 16 0 208467 0
vsize: 833932
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 46589 55 0 0 25 0 10 0 779150026 853946368 23704 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23704 13086 16 0 208467 0
vsize: 833932
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 47519 56 0 0 25 0 10 0 779150026 853946368 23737 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23737 13086 16 0 208467 0
vsize: 833932
[startup+520.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 48447 56 0 0 25 0 10 0 779150026 853946368 23768 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23768 13086 16 0 208467 0
vsize: 833932
[startup+530.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 49377 57 0 0 25 0 10 0 779150026 853946368 23800 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23800 13086 16 0 208467 0
vsize: 833932
[startup+540.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 50303 57 0 0 25 0 10 0 779150026 853946368 23832 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23832 13086 16 0 208467 0
vsize: 833932
[startup+550.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 51230 57 0 0 24 0 10 0 779150026 853946368 23864 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23864 13086 16 0 208467 0
vsize: 833932
[startup+560.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 52158 58 0 0 24 0 10 0 779150026 853946368 23895 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23895 13086 16 0 208467 0
vsize: 833932
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 53085 58 0 0 24 0 10 0 779150026 853946368 23925 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23925 13086 16 0 208467 0
vsize: 833932
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 54013 58 0 0 24 0 10 0 779150026 853946368 23955 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23955 13086 16 0 208467 0
vsize: 833932
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 54940 59 0 0 25 0 10 0 779150026 853946368 23985 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23985 13086 16 0 208467 0
vsize: 833932
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 55866 59 0 0 25 0 10 0 779150026 853946368 24014 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24014 13086 16 0 208467 0
vsize: 833932
[startup+610.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 56792 59 0 0 25 0 10 0 779150026 853946368 24044 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24044 13086 16 0 208467 0
vsize: 833932
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 57717 60 0 0 24 0 10 0 779150026 853946368 24073 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24073 13086 16 0 208467 0
vsize: 833932
[startup+630.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 58643 60 0 0 24 0 10 0 779150026 853946368 24101 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24101 13086 16 0 208467 0
vsize: 833932
[startup+640.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 59568 60 0 0 24 0 10 0 779150026 853946368 24130 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24130 13086 16 0 208467 0
vsize: 833932
[startup+650.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 60493 61 0 0 24 0 10 0 779150026 853946368 24158 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24158 13086 16 0 208467 0
vsize: 833932
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 61418 61 0 0 24 0 10 0 779150026 853946368 24187 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24187 13086 16 0 208467 0
vsize: 833932
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 62347 62 0 0 25 0 10 0 779150026 853946368 24213 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 24213 13086 16 0 208467 0
vsize: 833932
[startup+680.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 63266 62 0 0 25 0 10 0 779150026 853946368 25113 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25113 13086 16 0 208467 0
vsize: 833932
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 64185 62 0 0 25 0 10 0 779150026 853946368 25113 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25113 13086 16 0 208467 0
vsize: 833932
[startup+700.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 65099 63 0 0 25 0 10 0 779150026 853946368 25140 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25140 13086 16 0 208467 0
vsize: 833932
[startup+710.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 66014 63 0 0 25 0 10 0 779150026 853946368 25167 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25167 13086 16 0 208467 0
vsize: 833932
[startup+720.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 66927 64 0 0 25 0 10 0 779150026 853946368 25194 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25194 13086 16 0 208467 0
vsize: 833932
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 67846 64 0 0 25 0 10 0 779150026 853946368 25219 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25219 13086 16 0 208467 0
vsize: 833932
[startup+740.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 68758 65 0 0 25 0 10 0 779150026 853946368 25245 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25245 13086 16 0 208467 0
vsize: 833932
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 69671 65 0 0 25 0 10 0 779150026 853946368 25272 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25272 13086 16 0 208467 0
vsize: 833932
[startup+760.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 70584 66 0 0 25 0 10 0 779150026 853946368 25298 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25298 13086 16 0 208467 0
vsize: 833932
[startup+770.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 71496 66 0 0 24 0 10 0 779150026 853946368 25324 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25324 13086 16 0 208467 0
vsize: 833932
[startup+780.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 72413 66 0 0 25 0 10 0 779150026 853946368 25348 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25348 13086 16 0 208467 0
vsize: 833932
[startup+790.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 73325 67 0 0 25 0 10 0 779150026 853946368 25374 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25374 13086 16 0 208467 0
vsize: 833932
[startup+800.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 74236 67 0 0 25 0 10 0 779150026 853946368 25399 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25399 13086 16 0 208467 0
vsize: 833932
[startup+810.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 75147 67 0 0 24 0 10 0 779150026 853946368 25425 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25425 13086 16 0 208467 0
vsize: 833932
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 76063 67 0 0 25 0 10 0 779150026 853946368 25448 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25448 13086 16 0 208467 0
vsize: 833932
[startup+830.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 76973 68 0 0 22 0 10 0 779150026 853946368 25473 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25473 13086 16 0 208467 0
vsize: 833932
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 77883 68 0 0 25 0 10 0 779150026 853946368 25498 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25498 13086 16 0 208467 0
vsize: 833932
[startup+850.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 78792 68 0 0 24 0 10 0 779150026 853946368 25523 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25523 13086 16 0 208467 0
vsize: 833932
[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 79707 68 0 0 25 0 10 0 779150026 853946368 25547 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25547 13086 16 0 208467 0
vsize: 833932
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 80616 69 0 0 25 0 10 0 779150026 853946368 25571 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25571 13086 16 0 208467 0
vsize: 833932
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 81525 69 0 0 25 0 10 0 779150026 853946368 25596 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25596 13086 16 0 208467 0
vsize: 833932
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 82440 70 0 0 25 0 10 0 779150026 853946368 25618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25618 13086 16 0 208467 0
vsize: 833932
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 83347 70 0 0 25 0 10 0 779150026 853946368 25642 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25642 13086 16 0 208467 0
vsize: 833932
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 84254 70 0 0 25 0 10 0 779150026 853946368 25666 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25666 13086 16 0 208467 0
vsize: 833932
[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 85164 71 0 0 25 0 10 0 779150026 853946368 25689 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25689 13086 16 0 208467 0
vsize: 833932
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 86074 71 0 0 25 0 10 0 779150026 853946368 25712 4294967295 134512640 134569956 3221224368 3221214752 1131249547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25712 13086 16 0 208467 0
vsize: 833932
[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 86980 71 0 0 25 0 10 0 779150026 853946368 25735 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25735 13086 16 0 208467 0
vsize: 833932
[startup+950.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 87886 71 0 0 25 0 10 0 779150026 853946368 25758 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25758 13086 16 0 208467 0
vsize: 833932
[startup+960.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 88797 71 0 0 25 0 10 0 779150026 853946368 25781 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25781 13086 16 0 208467 0
vsize: 833932
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 89700 72 0 0 25 0 10 0 779150026 853946368 25804 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25804 13086 16 0 208467 0
vsize: 833932
[startup+980.079 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 90608 72 0 0 25 0 10 0 779150026 853946368 25827 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25827 13086 16 0 208467 0
vsize: 833932
[startup+990.079 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 91514 72 0 0 25 0 10 0 779150026 853946368 25854 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25854 13086 16 0 208467 0
vsize: 833932
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 92418 72 0 0 19 0 10 0 779150026 853946368 25877 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25877 13086 16 0 208467 0
vsize: 833932
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 93328 73 0 0 23 0 10 0 779150026 853946368 25904 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25904 13086 16 0 208467 0
vsize: 833932
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 94232 73 0 0 21 0 10 0 779150026 853946368 25929 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25929 13086 16 0 208467 0
vsize: 833932
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 95135 74 0 0 19 0 10 0 779150026 853946368 25951 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25951 13086 16 0 208467 0
vsize: 833932
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 96044 74 0 0 23 0 10 0 779150026 853946368 25982 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25982 13086 16 0 208467 0
vsize: 833932
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 96947 74 0 0 21 0 10 0 779150026 853946368 26005 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26005 13086 16 0 208467 0
vsize: 833932
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 97855 74 0 0 23 0 10 0 779150026 853946368 26032 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26032 13086 16 0 208467 0
vsize: 833932
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 98759 74 0 0 21 0 10 0 779150026 853946368 26057 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26057 13086 16 0 208467 0
vsize: 833932
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 99659 74 0 0 19 0 10 0 779150026 853946368 26083 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26083 13086 16 0 208467 0
vsize: 833932
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 100565 75 0 0 22 0 10 0 779150026 853946368 26107 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26107 13086 16 0 208467 0
vsize: 833932
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 101466 75 0 0 21 0 10 0 779150026 853946368 26129 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26129 13086 16 0 208467 0
vsize: 833932
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 102374 75 0 0 24 0 10 0 779150026 853946368 26155 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26155 13086 16 0 208467 0
vsize: 833932
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 103274 75 0 0 21 0 10 0 779150026 853946368 26181 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26181 13086 16 0 208467 0
vsize: 833932
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) S 5410 25830 25829 0 -1 0 18000 0 1 0 104176 76 0 0 24 0 10 0 779150026 853946368 26205 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26205 13086 16 0 208467 0
vsize: 833932
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 105081 76 0 0 21 0 10 0 779150026 853946368 26230 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26230 13086 16 0 208467 0
vsize: 833932
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 105981 76 0 0 19 0 10 0 779150026 853946368 26255 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26255 13086 16 0 208467 0
vsize: 833932
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 106888 76 0 0 21 0 10 0 779150026 853946368 26274 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26274 13086 16 0 208467 0
vsize: 833932
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 107787 76 0 0 19 0 10 0 779150026 853946368 26302 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26302 13086 16 0 208467 0
vsize: 833932
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 108692 77 0 0 22 0 10 0 779150026 853946368 26322 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26322 13086 16 0 208467 0
vsize: 833932
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 109591 77 0 0 20 0 10 0 779150026 853946368 26347 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26347 13086 16 0 208467 0
vsize: 833932
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 110496 77 0 0 22 0 10 0 779150026 853946368 26372 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26372 13086 16 0 208467 0
vsize: 833932
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 111393 78 0 0 19 0 10 0 779150026 853946368 26397 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26397 13086 16 0 208467 0
vsize: 833932
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 112296 78 0 0 23 0 10 0 779150026 853946368 26419 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26419 13086 16 0 208467 0
vsize: 833932
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 113194 78 0 0 20 0 10 0 779150026 853946368 26441 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26441 13086 16 0 208467 0
vsize: 833932
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 114098 78 0 0 23 0 10 0 779150026 853946368 26463 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26463 13086 16 0 208467 0
vsize: 833932
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 114996 78 0 0 20 0 10 0 779150026 853946368 26483 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26483 13086 16 0 208467 0
vsize: 833932
[startup+1260.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 115899 79 0 0 22 0 10 0 779150026 853946368 26504 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26504 13086 16 0 208467 0
vsize: 833932
[startup+1270.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 116797 79 0 0 19 0 10 0 779150026 853946368 26538 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26538 13086 16 0 208467 0
vsize: 833932
[startup+1280.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 117701 79 0 0 22 0 10 0 779150026 853946368 26554 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26554 13086 16 0 208467 0
vsize: 833932
[startup+1290.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 118599 79 0 0 19 0 10 0 779150026 853946368 26590 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26590 13086 16 0 208467 0
vsize: 833932
[startup+1300.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 119504 79 0 0 23 0 10 0 779150026 853946368 26604 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26604 13086 16 0 208467 0
vsize: 833932
[startup+1310.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5420
Raw data (stat): 5411 (java) R 5410 25830 25829 0 -1 0 18000 0 1 0 120404 79 0 0 19 0 10 0 779150026 853946368 26633 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26633 13086 16 0 208467 0
vsize: 833932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 5422
Raw data (stat): 5411 (java) Z 5410 25830 25829 0 -1 1036 18000 10690 1 0 120409 84 10734 47 21 0 1 0 779150026 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.21
CPU time (s): 1312.78
CPU user time (s): 1311.45
CPU system time (s): 1.3278
CPU usage (%): 100.196
Max. virtual memory (Kb): 837084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####