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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb
MD5SUM	bdf0df6b57384ca8a37c1ce2e87cfc07
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	67174
Biggest coefficient in the objective function	163840000
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	1696626095
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1280000000000000115964116992
Number of bits of the biggest number in a constraint	91
Biggest sum of numbers in a constraint	3721289892401349417752330240
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.675896
Number of variables	71194
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	814
Trace number 29978

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:          5340 kB
Buffers:         35352 kB
Cached:         962616 kB
SwapCached:       1020 kB
Active:         227460 kB
Inactive:       772612 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:          5004 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            23200 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:47:07 (client local time) WITH STATUS 143 IN 1202.88 SECONDS
stats: 21379 7 1202.88 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/wulflinc21/normalized-mps-v2-13-7-momentum3.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.56
#### 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.96 0.97 0.99 2/55 13388
Raw data (stat): 13388 (runsolver) R 13387 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716486564 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.0006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 17999 0 1 0 881 42 0 0 25 0 10 0 716486564 853602304 19261 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 19261 13086 16 0 208383 0
vsize: 833596
[startup+20.0008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 1780 42 0 0 25 0 10 0 716486564 854671360 19999 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208660 19999 13086 16 0 208644 0
vsize: 834640
[startup+30.0016 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 2671 43 0 0 25 0 10 0 716486564 853561344 20272 4294967295 134512640 134569956 3221224368 3221214364 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20272 13086 16 0 208373 0
vsize: 833556
[startup+40.0022 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 3586 43 0 0 25 0 10 0 716486564 853929984 20650 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 20650 13086 16 0 208463 0
vsize: 833916
[startup+50.0029 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 4506 44 0 0 24 0 10 0 716486564 853929984 20813 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20813 13086 16 0 208463 0
vsize: 833916
[startup+60.0035 s]
Raw data (loadavg): 0.98 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 5426 44 0 0 25 0 10 0 716486564 853929984 20939 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20939 13086 16 0 208463 0
vsize: 833916
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 6353 44 0 0 25 0 10 0 716486564 853561344 21099 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21099 13086 16 0 208373 0
vsize: 833556
[startup+80.0051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 7294 44 0 0 25 0 10 0 716486564 853561344 21197 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21197 13086 16 0 208373 0
vsize: 833556
[startup+90.0057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 8233 44 0 0 25 0 10 0 716486564 853561344 21292 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21292 13086 16 0 208373 0
vsize: 833556
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 9173 45 0 0 25 0 10 0 716486564 853561344 21380 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21380 13086 16 0 208373 0
vsize: 833556
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 10117 45 0 0 25 0 10 0 716486564 853561344 21457 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21457 13086 16 0 208373 0
vsize: 833556
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 11058 45 0 0 25 0 10 0 716486564 853561344 21535 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21535 13086 16 0 208373 0
vsize: 833556
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 12000 45 0 0 24 0 10 0 716486564 853561344 21608 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21608 13086 16 0 208373 0
vsize: 833556
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 12945 45 0 0 25 0 10 0 716486564 853561344 21674 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21674 13086 16 0 208373 0
vsize: 833556
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 13887 45 0 0 25 0 10 0 716486564 853561344 21741 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21741 13086 16 0 208373 0
vsize: 833556
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 14831 45 0 0 25 0 10 0 716486564 853561344 21801 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21801 13086 16 0 208373 0
vsize: 833556
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 15770 45 0 0 25 0 10 0 716486564 853561344 21863 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21863 13086 16 0 208373 0
vsize: 833556
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 16687 46 0 0 25 0 10 0 716486564 853561344 21919 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21919 13086 16 0 208373 0
vsize: 833556
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 17608 46 0 0 25 0 10 0 716486564 853561344 22231 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22231 13086 16 0 208373 0
vsize: 833556
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 18550 46 0 0 25 0 10 0 716486564 853561344 22283 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22283 13086 16 0 208373 0
vsize: 833556
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 19488 47 0 0 25 0 10 0 716486564 853561344 22338 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22338 13086 16 0 208373 0
vsize: 833556
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 20430 47 0 0 25 0 10 0 716486564 853561344 22388 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22388 13086 16 0 208373 0
vsize: 833556
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 21368 47 0 0 24 0 10 0 716486564 853561344 22440 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22440 13086 16 0 208373 0
vsize: 833556
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 22308 48 0 0 19 0 10 0 716486564 853561344 22487 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22487 13086 16 0 208373 0
vsize: 833556
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 23249 48 0 0 25 0 10 0 716486564 853561344 22535 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22535 13086 16 0 208373 0
vsize: 833556
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 24185 48 0 0 25 0 10 0 716486564 853561344 22583 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22583 13086 16 0 208373 0
vsize: 833556
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 25125 48 0 0 25 0 10 0 716486564 853561344 22628 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22628 13086 16 0 208373 0
vsize: 833556
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 26060 49 0 0 25 0 10 0 716486564 853561344 22674 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22674 13086 16 0 208373 0
vsize: 833556
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 26999 49 0 0 25 0 10 0 716486564 853561344 22717 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22717 13086 16 0 208373 0
vsize: 833556
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 27934 49 0 0 24 0 10 0 716486564 853561344 22761 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22761 13086 16 0 208373 0
vsize: 833556
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 28872 49 0 0 25 0 10 0 716486564 853561344 22802 4294967295 134512640 134569956 3221224368 3221214712 1131044766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22802 13086 16 0 208373 0
vsize: 833556
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 29810 50 0 0 25 0 10 0 716486564 853561344 22843 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22843 13086 16 0 208373 0
vsize: 833556
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 30743 50 0 0 25 0 10 0 716486564 853561344 22885 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22885 13086 16 0 208373 0
vsize: 833556
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 31680 51 0 0 25 0 10 0 716486564 853561344 22924 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 22924 13086 16 0 208373 0
vsize: 833556
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 32616 51 0 0 25 0 10 0 716486564 853561344 22963 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22963 13086 16 0 208373 0
vsize: 833556
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 33547 51 0 0 25 0 10 0 716486564 853561344 23003 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23003 13086 16 0 208373 0
vsize: 833556
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 34483 51 0 0 25 0 10 0 716486564 853561344 23042 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23042 13086 16 0 208373 0
vsize: 833556
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 35413 51 0 0 24 0 10 0 716486564 853561344 23081 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23081 13086 16 0 208373 0
vsize: 833556
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 36347 51 0 0 25 0 10 0 716486564 853561344 23117 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23117 13086 16 0 208373 0
vsize: 833556
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 37281 52 0 0 25 0 10 0 716486564 853561344 23153 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23153 13086 16 0 208373 0
vsize: 833556
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 38211 52 0 0 25 0 10 0 716486564 853561344 23191 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23191 13086 16 0 208373 0
vsize: 833556
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 39145 52 0 0 25 0 10 0 716486564 853561344 23226 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23226 13086 16 0 208373 0
vsize: 833556
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 40077 52 0 0 25 0 10 0 716486564 853561344 23260 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23260 13086 16 0 208373 0
vsize: 833556
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 41005 52 0 0 25 0 10 0 716486564 853561344 23296 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23296 13086 16 0 208373 0
vsize: 833556
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 41937 53 0 0 25 0 10 0 716486564 853561344 23330 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23330 13086 16 0 208373 0
vsize: 833556
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 42868 53 0 0 25 0 10 0 716486564 853561344 23363 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23363 13086 16 0 208373 0
vsize: 833556
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 43799 53 0 0 25 0 10 0 716486564 853561344 23396 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23396 13086 16 0 208373 0
vsize: 833556
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 44726 53 0 0 24 0 10 0 716486564 853561344 23431 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23431 13086 16 0 208373 0
vsize: 833556
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 45656 54 0 0 25 0 10 0 716486564 853561344 23463 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23463 13086 16 0 208373 0
vsize: 833556
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 46586 54 0 0 25 0 10 0 716486564 853561344 23495 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23495 13086 16 0 208373 0
vsize: 833556
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 47516 54 0 0 25 0 10 0 716486564 853561344 23527 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23527 13086 16 0 208373 0
vsize: 833556
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 48444 54 0 0 25 0 10 0 716486564 853561344 23558 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23558 13086 16 0 208373 0
vsize: 833556
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 49368 55 0 0 24 0 10 0 716486564 853561344 23591 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23591 13086 16 0 208373 0
vsize: 833556
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 50297 55 0 0 25 0 10 0 716486564 853561344 23622 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23622 13086 16 0 208373 0
vsize: 833556
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 51225 55 0 0 25 0 10 0 716486564 853561344 23652 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23652 13086 16 0 208373 0
vsize: 833556
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 52152 55 0 0 25 0 10 0 716486564 853561344 23682 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23682 13086 16 0 208373 0
vsize: 833556
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 53080 55 0 0 25 0 10 0 716486564 853561344 23712 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23712 13086 16 0 208373 0
vsize: 833556
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 54006 55 0 0 25 0 10 0 716486564 853561344 23741 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23741 13086 16 0 208373 0
vsize: 833556
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) S 13387 32363 32362 0 -1 0 18000 0 1 0 54930 55 0 0 25 0 10 0 716486564 853561344 23771 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23771 13086 16 0 208373 0
vsize: 833556
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 55853 56 0 0 24 0 10 0 716486564 853561344 23801 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23801 13086 16 0 208373 0
vsize: 833556
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 56778 56 0 0 25 0 10 0 716486564 853561344 23830 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23830 13086 16 0 208373 0
vsize: 833556
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 57704 56 0 0 25 0 10 0 716486564 853561344 23858 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23858 13086 16 0 208373 0
vsize: 833556
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 58629 56 0 0 25 0 10 0 716486564 853561344 23886 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23886 13086 16 0 208373 0
vsize: 833556
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 59553 56 0 0 25 0 10 0 716486564 853561344 23914 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23914 13086 16 0 208373 0
vsize: 833556
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 60478 56 0 0 25 0 10 0 716486564 853561344 23942 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23942 13086 16 0 208373 0
vsize: 833556
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 61402 56 0 0 25 0 10 0 716486564 853561344 23970 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23970 13086 16 0 208373 0
vsize: 833556
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 62318 56 0 0 25 0 10 0 716486564 853561344 24909 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24909 13086 16 0 208373 0
vsize: 833556
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 63243 56 0 0 25 0 10 0 716486564 853561344 24909 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24909 13086 16 0 208373 0
vsize: 833556
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 64159 56 0 0 25 0 10 0 716486564 853561344 24919 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24919 13086 16 0 208373 0
vsize: 833556
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 65073 56 0 0 25 0 10 0 716486564 853561344 24946 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24946 13086 16 0 208373 0
vsize: 833556
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 65986 56 0 0 25 0 10 0 716486564 853561344 24972 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24972 13086 16 0 208373 0
vsize: 833556
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 66897 57 0 0 25 0 10 0 716486564 853561344 24998 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24998 13086 16 0 208373 0
vsize: 833556
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 67809 57 0 0 25 0 10 0 716486564 853561344 25025 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25025 13086 16 0 208373 0
vsize: 833556
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 68721 57 0 0 25 0 10 0 716486564 853561344 25051 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25051 13086 16 0 208373 0
vsize: 833556
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 69634 57 0 0 24 0 10 0 716486564 853561344 25076 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25076 13086 16 0 208373 0
vsize: 833556
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) S 13387 32363 32362 0 -1 0 18000 0 1 0 70549 58 0 0 25 0 10 0 716486564 853561344 25101 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25101 13086 16 0 208373 0
vsize: 833556
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 71460 58 0 0 25 0 10 0 716486564 853561344 25126 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25126 13086 16 0 208373 0
vsize: 833556
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 72370 58 0 0 25 0 10 0 716486564 853561344 25151 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25151 13086 16 0 208373 0
vsize: 833556
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 73281 58 0 0 25 0 10 0 716486564 853561344 25176 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25176 13086 16 0 208373 0
vsize: 833556
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 74191 59 0 0 25 0 10 0 716486564 853561344 25201 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25201 13086 16 0 208373 0
vsize: 833556
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 75101 59 0 0 25 0 10 0 716486564 853561344 25226 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25226 13086 16 0 208373 0
vsize: 833556
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 76017 59 0 0 25 0 10 0 716486564 853561344 25249 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25249 13086 16 0 208373 0
vsize: 833556
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 76927 59 0 0 25 0 10 0 716486564 853561344 25274 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25274 13086 16 0 208373 0
vsize: 833556
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 77836 59 0 0 25 0 10 0 716486564 853561344 25298 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25298 13086 16 0 208373 0
vsize: 833556
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 78746 60 0 0 25 0 10 0 716486564 853561344 25322 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25322 13086 16 0 208373 0
vsize: 833556
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) S 13387 32363 32362 0 -1 0 18000 0 1 0 79655 60 0 0 25 0 10 0 716486564 853561344 25345 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25345 13086 16 0 208373 0
vsize: 833556
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 80568 60 0 0 25 0 10 0 716486564 853561344 25369 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25369 13086 16 0 208373 0
vsize: 833556
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 81477 60 0 0 25 0 10 0 716486564 853561344 25392 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25392 13086 16 0 208373 0
vsize: 833556
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 82385 60 0 0 25 0 10 0 716486564 853561344 25417 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25417 13086 16 0 208373 0
vsize: 833556
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) S 13387 32363 32362 0 -1 0 18000 0 1 0 83297 61 0 0 25 0 10 0 716486564 853561344 25439 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25439 13086 16 0 208373 0
vsize: 833556
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 84205 61 0 0 25 0 10 0 716486564 853561344 25464 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25464 13086 16 0 208373 0
vsize: 833556
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 85112 61 0 0 25 0 10 0 716486564 853561344 25490 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25490 13086 16 0 208373 0
vsize: 833556
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 86018 61 0 0 19 0 10 0 716486564 853561344 25518 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25518 13086 16 0 208373 0
vsize: 833556
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 86930 62 0 0 24 0 10 0 716486564 853561344 25540 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25540 13086 16 0 208373 0
vsize: 833556
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 87836 62 0 0 21 0 10 0 716486564 853561344 25563 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25563 13086 16 0 208373 0
vsize: 833556
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 88742 63 0 0 19 0 10 0 716486564 853561344 25596 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25596 13086 16 0 208373 0
vsize: 833556
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 89651 63 0 0 24 0 10 0 716486564 853561344 25622 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25622 13086 16 0 208373 0
vsize: 833556
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 90555 63 0 0 21 0 10 0 716486564 853561344 25644 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25644 13086 16 0 208373 0
vsize: 833556
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 91460 63 0 0 19 0 10 0 716486564 853561344 25673 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25673 13086 16 0 208373 0
vsize: 833556
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 92370 64 0 0 23 0 10 0 716486564 853561344 25694 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25694 13086 16 0 208373 0
vsize: 833556
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 93275 64 0 0 21 0 10 0 716486564 853561344 25723 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25723 13086 16 0 208373 0
vsize: 833556
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 94180 64 0 0 19 0 10 0 716486564 853561344 25745 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25745 13086 16 0 208373 0
vsize: 833556
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 95090 65 0 0 22 0 10 0 716486564 853561344 25774 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25774 13086 16 0 208373 0
vsize: 833556
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 95994 65 0 0 20 0 10 0 716486564 853561344 25799 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25799 13086 16 0 208373 0
vsize: 833556
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 96903 65 0 0 24 0 10 0 716486564 853561344 25819 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25819 13086 16 0 208373 0
vsize: 833556
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 97807 65 0 0 21 0 10 0 716486564 853561344 25845 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25845 13086 16 0 208373 0
vsize: 833556
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 98709 66 0 0 19 0 10 0 716486564 853561344 25872 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25872 13086 16 0 208373 0
vsize: 833556
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 99616 66 0 0 22 0 10 0 716486564 853561344 25895 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25895 13086 16 0 208373 0
vsize: 833556
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 100518 66 0 0 19 0 10 0 716486564 853561344 25918 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25918 13086 16 0 208373 0
vsize: 833556
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 101426 66 0 0 24 0 10 0 716486564 853561344 25941 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25941 13086 16 0 208373 0
vsize: 833556
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 102328 67 0 0 20 0 10 0 716486564 853561344 25967 4294967295 134512640 134569956 3221224368 3221214708 1131217459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25967 13086 16 0 208373 0
vsize: 833556
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 103236 67 0 0 24 0 10 0 716486564 853561344 25990 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 25990 13086 16 0 208373 0
vsize: 833556
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 104137 67 0 0 20 0 10 0 716486564 853561344 26014 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26014 13086 16 0 208373 0
vsize: 833556
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 105038 67 0 0 18 0 10 0 716486564 853561344 26040 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26040 13086 16 0 208373 0
vsize: 833556
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 105945 68 0 0 22 0 10 0 716486564 853561344 26060 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26060 13086 16 0 208373 0
vsize: 833556
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 106846 68 0 0 19 0 10 0 716486564 853561344 26086 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26086 13086 16 0 208373 0
vsize: 833556
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 107753 68 0 0 22 0 10 0 716486564 853561344 26107 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26107 13086 16 0 208373 0
vsize: 833556
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 108654 69 0 0 19 0 10 0 716486564 853561344 26132 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26132 13086 16 0 208373 0
vsize: 833556
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 109559 69 0 0 22 0 10 0 716486564 853561344 26152 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26152 13086 16 0 208373 0
vsize: 833556
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 110457 70 0 0 18 0 10 0 716486564 853561344 26179 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26179 13086 16 0 208373 0
vsize: 833556
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 111361 70 0 0 22 0 10 0 716486564 853561344 26202 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26202 13086 16 0 208373 0
vsize: 833556
[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 112258 70 0 0 20 0 10 0 716486564 853561344 26225 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26225 13086 16 0 208373 0
vsize: 833556
[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 113163 70 0 0 23 0 10 0 716486564 853561344 26247 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26247 13086 16 0 208373 0
vsize: 833556
[startup+1240.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 114062 70 0 0 20 0 10 0 716486564 853561344 26268 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26268 13086 16 0 208373 0
vsize: 833556
[startup+1250.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 114967 70 0 0 24 0 10 0 716486564 853561344 26286 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26286 13086 16 0 208373 0
vsize: 833556
[startup+1260.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18000 0 1 0 115865 71 0 0 21 0 10 0 716486564 853561344 26306 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 26306 13086 16 0 208373 0
vsize: 833556
[startup+1270.06 s]
Raw data (loadavg): 1.14 1.00 1.00 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18014 0 1 0 116723 74 0 0 25 0 10 0 716486564 854765568 27574 4294967295 134512640 134569956 3221224368 3221214804 1131160364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208683 27574 13086 16 0 208667 0
vsize: 834732
[startup+1280.06 s]
Raw data (loadavg): 1.12 1.00 1.00 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18029 0 1 0 117579 80 0 0 25 0 10 0 716486564 854700032 33612 4294967295 134512640 134569956 3221224368 3221214808 1131178763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 33612 13086 16 0 208651 0
vsize: 834668
[startup+1290.06 s]
Raw data (loadavg): 1.10 1.00 1.00 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18030 0 1 0 118437 85 0 0 25 0 10 0 716486564 854700032 39281 4294967295 134512640 134569956 3221224368 3221214568 1131369730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 39281 13086 16 0 208651 0
vsize: 834668
[startup+1300.06 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18030 0 1 0 119289 90 0 0 24 0 10 0 716486564 854700032 45108 4294967295 134512640 134569956 3221224368 3221214744 1131160532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 45108 13086 16 0 208651 0
vsize: 834668
[startup+1310.06 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 13397
Raw data (stat): 13388 (java) R 13387 32363 32362 0 -1 0 18030 0 1 0 120188 96 0 0 25 0 10 0 716486564 854700032 49015 4294967295 134512640 134569956 3221224368 3221214544 1131303445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208667 49015 13086 16 0 208651 0
vsize: 834668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.65 s]
Raw data (loadavg): 1.07 1.00 1.00 1/55 13399
Raw data (stat): 13388 (java) Z 13387 32363 32362 0 -1 1036 18030 22 1 0 120190 96 0 0 25 0 1 0 716486564 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.65
CPU time (s): 1202.88
CPU user time (s): 1201.92
CPU system time (s): 0.964853
CPU usage (%): 91.7775
Max. virtual memory (Kb): 834732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####