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-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.646901
Number of variables	71610
Total number of constraints	712
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	712
Minimum length of a constraint	30
Maximum length of a constraint	1830
Trace number 29493

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        652676 kB
Buffers:         34392 kB
Cached:         323796 kB
SwapCached:        716 kB
Active:          88728 kB
Inactive:       271604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        652424 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15984 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:38:55 (client local time) WITH STATUS 143 IN 1310.08 SECONDS
stats: 20893 7 1310.08 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/wulflinc30/normalized-mps-v2-20-10-ship08s.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.224
#### 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 5380
Raw data (stat): 5380 (runsolver) R 5379 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837367025 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0181 s]
Raw data (loadavg): 0.87 0.97 0.99 4/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 876 41 0 0 25 0 10 0 837367025 858234880 20177 4294967295 134512640 134569956 3221224368 3221213832 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209530 20177 13086 16 0 209514 0
vsize: 838120
[startup+20.0189 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 1776 42 0 0 25 0 10 0 837367025 856571904 20413 4294967295 134512640 134569956 3221224368 3221214688 1131186753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 20413 13086 16 0 209108 0
vsize: 836496
[startup+30.0186 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 2666 42 0 0 25 0 10 0 837367025 856571904 20926 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 20926 13086 16 0 209108 0
vsize: 836496
[startup+40.0194 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 3581 43 0 0 25 0 10 0 837367025 856571904 21260 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 21260 13086 16 0 209108 0
vsize: 836496
[startup+50.0203 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 4502 43 0 0 25 0 10 0 837367025 856571904 21429 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 21429 13086 16 0 209108 0
vsize: 836496
[startup+60.0209 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 5418 44 0 0 25 0 10 0 837367025 856571904 21565 4294967295 134512640 134569956 3221224368 3221214768 1131245574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 21565 13086 16 0 209108 0
vsize: 836496
[startup+70.021 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 6350 44 0 0 25 0 10 0 837367025 856571904 21808 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 21808 13086 16 0 209108 0
vsize: 836496
[startup+80.0229 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 7288 45 0 0 24 0 10 0 837367025 856571904 21913 4294967295 134512640 134569956 3221224368 3221213760 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 21913 13086 16 0 209108 0
vsize: 836496
[startup+90.0235 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 8231 45 0 0 25 0 10 0 837367025 856571904 22003 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22003 13086 16 0 209108 0
vsize: 836496
[startup+100.023 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 9172 46 0 0 24 0 10 0 837367025 856571904 22093 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22093 13086 16 0 209108 0
vsize: 836496
[startup+110.024 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 10116 46 0 0 25 0 10 0 837367025 856571904 22172 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22172 13086 16 0 209108 0
vsize: 836496
[startup+120.025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 11058 47 0 0 25 0 10 0 837367025 856571904 22251 4294967295 134512640 134569956 3221224368 3221214216 1080019622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22251 13086 16 0 209108 0
vsize: 836496
[startup+130.025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 12003 47 0 0 25 0 10 0 837367025 856571904 22321 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22321 13086 16 0 209108 0
vsize: 836496
[startup+140.025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 12946 47 0 0 25 0 10 0 837367025 856571904 22392 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22392 13086 16 0 209108 0
vsize: 836496
[startup+150.026 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 13888 48 0 0 24 0 10 0 837367025 856571904 22460 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22460 13086 16 0 209108 0
vsize: 836496
[startup+160.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 14833 48 0 0 25 0 10 0 837367025 856571904 22522 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22522 13086 16 0 209108 0
vsize: 836496
[startup+170.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 15771 49 0 0 25 0 10 0 837367025 856571904 22585 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22585 13086 16 0 209108 0
vsize: 836496
[startup+180.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 16688 49 0 0 25 0 10 0 837367025 856571904 22642 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22642 13086 16 0 209108 0
vsize: 836496
[startup+190.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 17610 49 0 0 25 0 10 0 837367025 856571904 22954 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 22954 13086 16 0 209108 0
vsize: 836496
[startup+200.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 18549 50 0 0 25 0 10 0 837367025 856571904 23011 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23011 13086 16 0 209108 0
vsize: 836496
[startup+210.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 19491 50 0 0 25 0 10 0 837367025 856571904 23064 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23064 13086 16 0 209108 0
vsize: 836496
[startup+220.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 20429 50 0 0 25 0 10 0 837367025 856571904 23118 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23118 13086 16 0 209108 0
vsize: 836496
[startup+230.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 21370 50 0 0 25 0 10 0 837367025 856571904 23167 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23167 13086 16 0 209108 0
vsize: 836496
[startup+240.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 22307 51 0 0 24 0 10 0 837367025 856571904 23220 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23220 13086 16 0 209108 0
vsize: 836496
[startup+250.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 23247 51 0 0 25 0 10 0 837367025 856571904 23267 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23267 13086 16 0 209108 0
vsize: 836496
[startup+260.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 24185 52 0 0 25 0 10 0 837367025 856571904 23314 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23314 13086 16 0 209108 0
vsize: 836496
[startup+270.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 25124 52 0 0 25 0 10 0 837367025 856571904 23361 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23361 13086 16 0 209108 0
vsize: 836496
[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 26064 52 0 0 25 0 10 0 837367025 856571904 23405 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23405 13086 16 0 209108 0
vsize: 836496
[startup+290.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 26999 52 0 0 25 0 10 0 837367025 856571904 23452 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23452 13086 16 0 209108 0
vsize: 836496
[startup+300.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 27937 53 0 0 25 0 10 0 837367025 856571904 23494 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23494 13086 16 0 209108 0
vsize: 836496
[startup+310.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 28871 53 0 0 24 0 10 0 837367025 856571904 23539 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23539 13086 16 0 209108 0
vsize: 836496
[startup+320.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 29809 53 0 0 25 0 10 0 837367025 856571904 23580 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23580 13086 16 0 209108 0
vsize: 836496
[startup+330.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 30746 54 0 0 24 0 10 0 837367025 856571904 23620 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23620 13086 16 0 209108 0
vsize: 836496
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 31679 54 0 0 25 0 10 0 837367025 856571904 23663 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23663 13086 16 0 209108 0
vsize: 836496
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 32615 55 0 0 25 0 10 0 837367025 856571904 23703 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23703 13086 16 0 209108 0
vsize: 836496
[startup+360.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 33551 55 0 0 25 0 10 0 837367025 856571904 23742 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23742 13086 16 0 209108 0
vsize: 836496
[startup+370.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 34483 55 0 0 25 0 10 0 837367025 856571904 23782 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23782 13086 16 0 209108 0
vsize: 836496
[startup+380.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 35418 56 0 0 25 0 10 0 837367025 856571904 23819 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23819 13086 16 0 209108 0
vsize: 836496
[startup+390.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 36352 56 0 0 25 0 10 0 837367025 856571904 23856 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23856 13086 16 0 209108 0
vsize: 836496
[startup+400.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 37282 56 0 0 17 0 10 0 837367025 856571904 23895 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23895 13086 16 0 209108 0
vsize: 836496
[startup+410.146 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 38225 57 0 0 25 0 10 0 837367025 856571904 23931 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23931 13086 16 0 209108 0
vsize: 836496
[startup+420.147 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 39155 57 0 0 25 0 10 0 837367025 856571904 23969 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 23969 13086 16 0 209108 0
vsize: 836496
[startup+430.148 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 40088 58 0 0 25 0 10 0 837367025 856571904 24004 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24004 13086 16 0 209108 0
vsize: 836496
[startup+440.149 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 41021 58 0 0 25 0 10 0 837367025 856571904 24039 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24039 13086 16 0 209108 0
vsize: 836496
[startup+450.148 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 41949 58 0 0 24 0 10 0 837367025 856571904 24075 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24075 13086 16 0 209108 0
vsize: 836496
[startup+460.149 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 42881 59 0 0 25 0 10 0 837367025 856571904 24109 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24109 13086 16 0 209108 0
vsize: 836496
[startup+470.15 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 43812 60 0 0 25 0 10 0 837367025 856571904 24142 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24142 13086 16 0 209108 0
vsize: 836496
[startup+480.151 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 44744 60 0 0 25 0 10 0 837367025 856571904 24175 4294967295 134512640 134569956 3221224368 3221214776 1131162192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24175 13086 16 0 209108 0
vsize: 836496
[startup+490.151 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 45674 60 0 0 25 0 10 0 837367025 856571904 24209 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24209 13086 16 0 209108 0
vsize: 836496
[startup+500.152 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 46600 60 0 0 24 0 10 0 837367025 856571904 24244 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24244 13086 16 0 209108 0
vsize: 836496
[startup+510.152 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 47530 61 0 0 25 0 10 0 837367025 856571904 24276 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24276 13086 16 0 209108 0
vsize: 836496
[startup+520.153 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 48460 61 0 0 25 0 10 0 837367025 856571904 24307 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24307 13086 16 0 209108 0
vsize: 836496
[startup+530.154 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 49389 62 0 0 25 0 10 0 837367025 856571904 24339 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24339 13086 16 0 209108 0
vsize: 836496
[startup+540.154 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 50314 62 0 0 24 0 10 0 837367025 856571904 24372 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24372 13086 16 0 209108 0
vsize: 836496
[startup+550.154 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 51243 62 0 0 25 0 10 0 837367025 856571904 24403 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24403 13086 16 0 209108 0
vsize: 836496
[startup+560.154 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 52170 63 0 0 25 0 10 0 837367025 856571904 24433 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24433 13086 16 0 209108 0
vsize: 836496
[startup+570.155 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 53098 63 0 0 25 0 10 0 837367025 856571904 24463 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24463 13086 16 0 209108 0
vsize: 836496
[startup+580.155 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 54025 64 0 0 25 0 10 0 837367025 856571904 24493 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24493 13086 16 0 209108 0
vsize: 836496
[startup+590.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 54949 64 0 0 25 0 10 0 837367025 856571904 24524 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24524 13086 16 0 209108 0
vsize: 836496
[startup+600.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 55875 65 0 0 25 0 10 0 837367025 856571904 24554 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24554 13086 16 0 209108 0
vsize: 836496
[startup+610.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 56800 65 0 0 25 0 10 0 837367025 856571904 24584 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24584 13086 16 0 209108 0
vsize: 836496
[startup+620.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 57726 66 0 0 25 0 10 0 837367025 856571904 24612 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24612 13086 16 0 209108 0
vsize: 836496
[startup+630.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 58652 66 0 0 25 0 10 0 837367025 856571904 24641 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209124 24641 13086 16 0 209108 0
vsize: 836496
[startup+640.162 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 59577 66 0 0 25 0 10 0 837367025 856571904 24670 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24670 13086 16 0 209108 0
vsize: 836496
[startup+650.162 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 60502 66 0 0 25 0 10 0 837367025 856571904 24698 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24698 13086 16 0 209108 0
vsize: 836496
[startup+660.161 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 61427 67 0 0 25 0 10 0 837367025 856571904 24727 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 24727 13086 16 0 209108 0
vsize: 836496
[startup+670.162 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 62345 67 0 0 25 0 10 0 837367025 856571904 25642 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25642 13086 16 0 209108 0
vsize: 836496
[startup+680.162 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 63270 67 0 0 25 0 10 0 837367025 856571904 25642 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25642 13086 16 0 209108 0
vsize: 836496
[startup+690.163 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 64185 68 0 0 23 0 10 0 837367025 856571904 25654 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25654 13086 16 0 209108 0
vsize: 836496
[startup+700.163 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 65099 68 0 0 25 0 10 0 837367025 856571904 25681 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25681 13086 16 0 209108 0
vsize: 836496
[startup+710.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 66012 68 0 0 25 0 10 0 837367025 856571904 25708 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25708 13086 16 0 209108 0
vsize: 836496
[startup+720.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 66924 69 0 0 25 0 10 0 837367025 856571904 25734 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25734 13086 16 0 209108 0
vsize: 836496
[startup+730.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 67837 69 0 0 25 0 10 0 837367025 856571904 25761 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25761 13086 16 0 209108 0
vsize: 836496
[startup+740.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 68750 69 0 0 25 0 10 0 837367025 856571904 25787 4294967295 134512640 134569956 3221224368 3221214120 1076874544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25787 13086 16 0 209108 0
vsize: 836496
[startup+750.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 69662 70 0 0 24 0 10 0 837367025 856571904 25814 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25814 13086 16 0 209108 0
vsize: 836496
[startup+760.164 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 70575 70 0 0 25 0 10 0 837367025 856571904 25839 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25839 13086 16 0 209108 0
vsize: 836496
[startup+770.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 71492 70 0 0 25 0 10 0 837367025 856571904 25864 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25864 13086 16 0 209108 0
vsize: 836496
[startup+780.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 72403 71 0 0 25 0 10 0 837367025 856571904 25890 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25890 13086 16 0 209108 0
vsize: 836496
[startup+790.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 73315 71 0 0 25 0 10 0 837367025 856571904 25915 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25915 13086 16 0 209108 0
vsize: 836496
[startup+800.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 74226 72 0 0 20 0 10 0 837367025 856571904 25941 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25941 13086 16 0 209108 0
vsize: 836496
[startup+810.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 75139 72 0 0 25 0 10 0 837367025 856571904 25965 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25965 13086 16 0 209108 0
vsize: 836496
[startup+820.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 76052 73 0 0 25 0 10 0 837367025 856571904 25990 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 25990 13086 16 0 209108 0
vsize: 836496
[startup+830.165 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 76961 73 0 0 25 0 10 0 837367025 856571904 26014 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26014 13086 16 0 209108 0
vsize: 836496
[startup+840.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 77871 74 0 0 25 0 10 0 837367025 856571904 26039 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26039 13086 16 0 209108 0
vsize: 836496
[startup+850.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 78780 74 0 0 24 0 10 0 837367025 856571904 26064 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26064 13086 16 0 209108 0
vsize: 836496
[startup+860.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 79694 75 0 0 24 0 10 0 837367025 856571904 26088 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26088 13086 16 0 209108 0
vsize: 836496
[startup+870.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 80604 75 0 0 25 0 10 0 837367025 856571904 26112 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209124 26112 13086 16 0 209108 0
vsize: 836496
[startup+880.166 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 81512 75 0 0 25 0 10 0 837367025 856571904 26136 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26136 13086 16 0 209108 0
vsize: 836496
[startup+890.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 82423 75 0 0 24 0 10 0 837367025 856571904 26159 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26159 13086 16 0 209108 0
vsize: 836496
[startup+900.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 83334 76 0 0 25 0 10 0 837367025 856571904 26183 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26183 13086 16 0 209108 0
vsize: 836496
[startup+910.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 84242 76 0 0 25 0 10 0 837367025 856571904 26207 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26207 13086 16 0 209108 0
vsize: 836496
[startup+920.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 85149 76 0 0 25 0 10 0 837367025 856571904 26230 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26230 13086 16 0 209108 0
vsize: 836496
[startup+930.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 86061 77 0 0 25 0 10 0 837367025 856571904 26252 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26252 13086 16 0 209108 0
vsize: 836496
[startup+940.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 86968 77 0 0 25 0 10 0 837367025 856571904 26276 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26276 13086 16 0 209108 0
vsize: 836496
[startup+950.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 87874 77 0 0 25 0 10 0 837367025 856571904 26299 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26299 13086 16 0 209108 0
vsize: 836496
[startup+960.167 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 88779 78 0 0 19 0 10 0 837367025 856571904 26322 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26322 13086 16 0 209108 0
vsize: 836496
[startup+970.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 89689 78 0 0 23 0 10 0 837367025 856571904 26345 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26345 13086 16 0 209108 0
vsize: 836496
[startup+980.168 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 90594 79 0 0 21 0 10 0 837367025 856571904 26368 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26368 13086 16 0 209108 0
vsize: 836496
[startup+990.169 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 91499 79 0 0 19 0 10 0 837367025 856571904 26395 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26395 13086 16 0 209108 0
vsize: 836496
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 92410 79 0 0 23 0 10 0 837367025 856571904 26422 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26422 13086 16 0 209108 0
vsize: 836496
[startup+1010.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 93314 79 0 0 20 0 10 0 837367025 856571904 26447 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26447 13086 16 0 209108 0
vsize: 836496
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 94218 80 0 0 19 0 10 0 837367025 856571904 26470 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26470 13086 16 0 209108 0
vsize: 836496
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 95129 80 0 0 24 0 10 0 837367025 856571904 26499 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26499 13086 16 0 209108 0
vsize: 836496
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 96032 80 0 0 21 0 10 0 837367025 856571904 26524 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26524 13086 16 0 209108 0
vsize: 836496
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 96936 81 0 0 20 0 10 0 837367025 856571904 26546 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26546 13086 16 0 209108 0
vsize: 836496
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 97846 81 0 0 24 0 10 0 837367025 856571904 26573 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26573 13086 16 0 209108 0
vsize: 836496
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 98748 81 0 0 21 0 10 0 837367025 856571904 26601 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26601 13086 16 0 209108 0
vsize: 836496
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 99648 81 0 0 19 0 10 0 837367025 856571904 26628 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26628 13086 16 0 209108 0
vsize: 836496
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 100556 82 0 0 22 0 10 0 837367025 856571904 26648 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26648 13086 16 0 209108 0
vsize: 836496
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 101458 82 0 0 20 0 10 0 837367025 856571904 26676 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26676 13086 16 0 209108 0
vsize: 836496
[startup+1110.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 102366 82 0 0 23 0 10 0 837367025 856571904 26699 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26699 13086 16 0 209108 0
vsize: 836496
[startup+1120.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 103267 83 0 0 21 0 10 0 837367025 856571904 26723 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26723 13086 16 0 209108 0
vsize: 836496
[startup+1130.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 104169 83 0 0 24 0 10 0 837367025 856571904 26748 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26748 13086 16 0 209108 0
vsize: 836496
[startup+1140.17 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 105076 84 0 0 22 0 10 0 837367025 856571904 26773 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26773 13086 16 0 209108 0
vsize: 836496
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 105977 84 0 0 19 0 10 0 837367025 856571904 26795 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26795 13086 16 0 209108 0
vsize: 836496
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 106883 84 0 0 22 0 10 0 837367025 856571904 26821 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26821 13086 16 0 209108 0
vsize: 836496
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 107783 85 0 0 19 0 10 0 837367025 856571904 26844 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26844 13086 16 0 209108 0
vsize: 836496
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 108689 85 0 0 22 0 10 0 837367025 856571904 26866 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26866 13086 16 0 209108 0
vsize: 836496
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 109589 86 0 0 19 0 10 0 837367025 856571904 26887 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26887 13086 16 0 209108 0
vsize: 836496
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 110494 86 0 0 23 0 10 0 837367025 856571904 26914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26914 13086 16 0 209108 0
vsize: 836496
[startup+1210.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 111391 86 0 0 19 0 10 0 837367025 856571904 26939 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26939 13086 16 0 209108 0
vsize: 836496
[startup+1220.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 112295 87 0 0 22 0 10 0 837367025 856571904 26960 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26960 13086 16 0 209108 0
vsize: 836496
[startup+1230.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 113194 87 0 0 20 0 10 0 837367025 856571904 26984 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 26984 13086 16 0 209108 0
vsize: 836496
[startup+1240.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 114098 88 0 0 22 0 10 0 837367025 856571904 27003 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27003 13086 16 0 209108 0
vsize: 836496
[startup+1250.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 114996 88 0 0 19 0 10 0 837367025 856571904 27023 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27023 13086 16 0 209108 0
vsize: 836496
[startup+1260.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 115899 89 0 0 23 0 10 0 837367025 856571904 27042 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27042 13086 16 0 209108 0
vsize: 836496
[startup+1270.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 116797 89 0 0 19 0 10 0 837367025 856571904 27074 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27074 13086 16 0 209108 0
vsize: 836496
[startup+1280.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 117701 90 0 0 23 0 10 0 837367025 856571904 27106 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27106 13086 16 0 209108 0
vsize: 836496
[startup+1290.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 118602 90 0 0 21 0 10 0 837367025 856571904 27129 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27129 13086 16 0 209108 0
vsize: 836496
[startup+1300.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) S 5379 22056 22055 0 -1 0 18006 0 1 0 119501 91 0 0 23 0 10 0 837367025 856571904 27146 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27146 13086 16 0 209108 0
vsize: 836496
[startup+1310.18 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 5389
Raw data (stat): 5380 (java) R 5379 22056 22055 0 -1 0 18006 0 1 0 120408 91 0 0 22 0 10 0 837367025 856571904 27177 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 27177 13086 16 0 209108 0
vsize: 836496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.28 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 5391
Raw data (stat): 5380 (java) Z 5379 22056 22055 0 -1 1036 18006 8258 1 0 120412 91 10460 43 23 0 1 0 837367025 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.28
CPU time (s): 1310.08
CPU user time (s): 1308.73
CPU system time (s): 1.34979
CPU usage (%): 99.9851
Max. virtual memory (Kb): 838120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####