PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
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	85408
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 29777

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 11:25:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21173 boxname=wulflinc30 idbench=1161 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dc1l.opb
IDLAUNCH: 21173
/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:        634460 kB
Buffers:         37008 kB
Cached:         339540 kB
SwapCached:        716 kB
Active:         115292 kB
Inactive:       263368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634208 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15872 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:46:58 (client local time) WITH STATUS 143 IN 1310.99 SECONDS
stats: 21173 7 1310.99 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-dc1l.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.126
#### 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 6838
Raw data (stat): 6838 (runsolver) R 6837 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838495499 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 879 37 0 0 25 0 10 0 838495499 854339584 19402 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208579 19402 13086 16 0 208563 0
vsize: 834316
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 1777 38 0 0 25 0 10 0 838495499 854306816 19909 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208571 19909 13086 16 0 208555 0
vsize: 834284
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 2666 38 0 0 25 0 10 0 838495499 854208512 20391 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208547 20391 13086 16 0 208531 0
vsize: 834188
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 3581 38 0 0 25 0 10 0 838495499 854274048 20701 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208563 20701 13086 16 0 208547 0
vsize: 834252
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 4501 39 0 0 25 0 10 0 838495499 854274048 20868 4294967295 134512640 134569956 3221224368 3221214768 1131238848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208563 20868 13086 16 0 208547 0
vsize: 834252
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 5416 39 0 0 25 0 10 0 838495499 854274048 21005 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208563 21005 13086 16 0 208547 0
vsize: 834252
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 6347 39 0 0 25 0 10 0 838495499 853946368 21186 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21186 13086 16 0 208467 0
vsize: 833932
[startup+80.0047 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 7284 40 0 0 25 0 10 0 838495499 853946368 21293 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 21293 13086 16 0 208467 0
vsize: 833932
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 8226 41 0 0 25 0 10 0 838495499 853946368 21385 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21385 13086 16 0 208467 0
vsize: 833932
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 9166 41 0 0 21 0 10 0 838495499 853946368 21476 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21476 13086 16 0 208467 0
vsize: 833932
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 10111 41 0 0 25 0 10 0 838495499 853946368 21556 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21556 13086 16 0 208467 0
vsize: 833932
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 11053 41 0 0 25 0 10 0 838495499 853946368 21636 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21636 13086 16 0 208467 0
vsize: 833932
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 11999 41 0 0 25 0 10 0 838495499 853946368 21707 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21707 13086 16 0 208467 0
vsize: 833932
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 12941 41 0 0 25 0 10 0 838495499 853946368 21780 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21780 13086 16 0 208467 0
vsize: 833932
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 13883 41 0 0 24 0 10 0 838495499 853946368 21849 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21849 13086 16 0 208467 0
vsize: 833932
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 14828 42 0 0 25 0 10 0 838495499 853946368 21911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21911 13086 16 0 208467 0
vsize: 833932
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 15768 42 0 0 24 0 10 0 838495499 853946368 21975 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 21975 13086 16 0 208467 0
vsize: 833932
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 16685 42 0 0 25 0 10 0 838495499 853946368 22033 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22033 13086 16 0 208467 0
vsize: 833932
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 17606 42 0 0 25 0 10 0 838495499 853946368 22346 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22346 13086 16 0 208467 0
vsize: 833932
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 18549 42 0 0 25 0 10 0 838495499 853946368 22401 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22401 13086 16 0 208467 0
vsize: 833932
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 19487 42 0 0 25 0 10 0 838495499 853946368 22457 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22457 13086 16 0 208467 0
vsize: 833932
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 20429 42 0 0 25 0 10 0 838495499 853946368 22509 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22509 13086 16 0 208467 0
vsize: 833932
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 21367 42 0 0 25 0 10 0 838495499 853946368 22563 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22563 13086 16 0 208467 0
vsize: 833932
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 22308 42 0 0 25 0 10 0 838495499 853946368 22612 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22612 13086 16 0 208467 0
vsize: 833932
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 23245 43 0 0 24 0 10 0 838495499 853946368 22663 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22663 13086 16 0 208467 0
vsize: 833932
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 24185 43 0 0 25 0 10 0 838495499 853946368 22710 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22710 13086 16 0 208467 0
vsize: 833932
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 25122 43 0 0 24 0 10 0 838495499 853946368 22759 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22759 13086 16 0 208467 0
vsize: 833932
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 26062 43 0 0 25 0 10 0 838495499 853946368 22804 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 22804 13086 16 0 208467 0
vsize: 833932
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 27001 43 0 0 25 0 10 0 838495499 853946368 22848 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22848 13086 16 0 208467 0
vsize: 833932
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 27935 43 0 0 25 0 10 0 838495499 853946368 22894 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22894 13086 16 0 208467 0
vsize: 833932
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 28874 43 0 0 25 0 10 0 838495499 853946368 22936 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22936 13086 16 0 208467 0
vsize: 833932
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 29808 43 0 0 24 0 10 0 838495499 853946368 22981 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 22981 13086 16 0 208467 0
vsize: 833932
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 30746 44 0 0 25 0 10 0 838495499 853946368 23022 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23022 13086 16 0 208467 0
vsize: 833932
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 31683 44 0 0 25 0 10 0 838495499 853946368 23062 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23062 13086 16 0 208467 0
vsize: 833932
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 32616 44 0 0 24 0 10 0 838495499 853946368 23106 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23106 13086 16 0 208467 0
vsize: 833932
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 33552 44 0 0 25 0 10 0 838495499 853946368 23145 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23145 13086 16 0 208467 0
vsize: 833932
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 34488 44 0 0 25 0 10 0 838495499 853946368 23183 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23183 13086 16 0 208467 0
vsize: 833932
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 35419 44 0 0 25 0 10 0 838495499 853946368 23222 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23222 13086 16 0 208467 0
vsize: 833932
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 36353 45 0 0 25 0 10 0 838495499 853946368 23259 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23259 13086 16 0 208467 0
vsize: 833932
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 37289 45 0 0 25 0 10 0 838495499 853946368 23295 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23295 13086 16 0 208467 0
vsize: 833932
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 38219 45 0 0 24 0 10 0 838495499 853946368 23332 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23332 13086 16 0 208467 0
vsize: 833932
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 39153 45 0 0 25 0 10 0 838495499 853946368 23367 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23367 13086 16 0 208467 0
vsize: 833932
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 40087 45 0 0 25 0 10 0 838495499 853946368 23401 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23401 13086 16 0 208467 0
vsize: 833932
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) S 6837 22056 22055 0 -1 0 18022 0 1 0 41018 45 0 0 25 0 10 0 838495499 853946368 23436 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23436 13086 16 0 208467 0
vsize: 833932
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 41948 45 0 0 25 0 10 0 838495499 853946368 23471 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23471 13086 16 0 208467 0
vsize: 833932
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 42880 46 0 0 25 0 10 0 838495499 853946368 23504 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23504 13086 16 0 208467 0
vsize: 833932
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 43812 46 0 0 25 0 10 0 838495499 853946368 23537 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23537 13086 16 0 208467 0
vsize: 833932
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 44744 46 0 0 25 0 10 0 838495499 853946368 23570 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23570 13086 16 0 208467 0
vsize: 833932
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 45670 46 0 0 25 0 10 0 838495499 853946368 23605 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23605 13086 16 0 208467 0
vsize: 833932
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 46602 46 0 0 25 0 10 0 838495499 853946368 23637 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23637 13086 16 0 208467 0
vsize: 833932
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 47532 46 0 0 25 0 10 0 838495499 853946368 23668 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23668 13086 16 0 208467 0
vsize: 833932
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 48462 46 0 0 25 0 10 0 838495499 853946368 23699 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 23699 13086 16 0 208467 0
vsize: 833932
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 49391 47 0 0 23 0 10 0 838495499 853946368 23730 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23730 13086 16 0 208467 0
vsize: 833932
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) S 6837 22056 22055 0 -1 0 18022 0 1 0 50320 47 0 0 25 0 10 0 838495499 853946368 23761 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23761 13086 16 0 208467 0
vsize: 833932
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 51246 47 0 0 24 0 10 0 838495499 853946368 23793 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23793 13086 16 0 208467 0
vsize: 833932
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 52173 47 0 0 25 0 10 0 838495499 853946368 23823 4294967295 134512640 134569956 3221224368 3221214696 1131206987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23823 13086 16 0 208467 0
vsize: 833932
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 53102 47 0 0 25 0 10 0 838495499 853946368 23853 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23853 13086 16 0 208467 0
vsize: 833932
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 54029 47 0 0 25 0 10 0 838495499 853946368 23882 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23882 13086 16 0 208467 0
vsize: 833932
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 54957 47 0 0 25 0 10 0 838495499 853946368 23911 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23911 13086 16 0 208467 0
vsize: 833932
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 55885 47 0 0 25 0 10 0 838495499 853946368 23940 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23940 13086 16 0 208467 0
vsize: 833932
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 56811 47 0 0 25 0 10 0 838495499 853946368 23969 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23969 13086 16 0 208467 0
vsize: 833932
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 57738 48 0 0 25 0 10 0 838495499 853946368 23997 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 23997 13086 16 0 208467 0
vsize: 833932
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 58664 48 0 0 25 0 10 0 838495499 853946368 24025 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24025 13086 16 0 208467 0
vsize: 833932
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 59590 48 0 0 25 0 10 0 838495499 853946368 24053 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24053 13086 16 0 208467 0
vsize: 833932
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 60516 48 0 0 25 0 10 0 838495499 853946368 24081 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24081 13086 16 0 208467 0
vsize: 833932
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) S 6837 22056 22055 0 -1 0 18022 0 1 0 61439 49 0 0 25 0 10 0 838495499 853946368 24110 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 24110 13086 16 0 208467 0
vsize: 833932
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 62358 49 0 0 25 0 10 0 838495499 853946368 25035 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25035 13086 16 0 208467 0
vsize: 833932
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 63285 49 0 0 25 0 10 0 838495499 853946368 25035 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25035 13086 16 0 208467 0
vsize: 833932
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 64203 49 0 0 25 0 10 0 838495499 853946368 25043 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25043 13086 16 0 208467 0
vsize: 833932
[startup+700.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 65117 49 0 0 25 0 10 0 838495499 853946368 25070 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25070 13086 16 0 208467 0
vsize: 833932
[startup+710.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 66032 49 0 0 25 0 10 0 838495499 853946368 25096 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25096 13086 16 0 208467 0
vsize: 833932
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 66945 49 0 0 25 0 10 0 838495499 853946368 25122 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25122 13086 16 0 208467 0
vsize: 833932
[startup+730.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 67859 49 0 0 25 0 10 0 838495499 853946368 25149 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25149 13086 16 0 208467 0
vsize: 833932
[startup+740.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 68772 49 0 0 24 0 10 0 838495499 853946368 25175 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25175 13086 16 0 208467 0
vsize: 833932
[startup+750.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 69690 49 0 0 25 0 10 0 838495499 853946368 25199 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25199 13086 16 0 208467 0
vsize: 833932
[startup+760.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 70604 50 0 0 25 0 10 0 838495499 853946368 25224 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25224 13086 16 0 208467 0
vsize: 833932
[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 71516 50 0 0 25 0 10 0 838495499 853946368 25250 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25250 13086 16 0 208467 0
vsize: 833932
[startup+780.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 72428 50 0 0 25 0 10 0 838495499 853946368 25275 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25275 13086 16 0 208467 0
vsize: 833932
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 73341 50 0 0 24 0 10 0 838495499 853946368 25300 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25300 13086 16 0 208467 0
vsize: 833932
[startup+800.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 74258 50 0 0 25 0 10 0 838495499 853946368 25324 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25324 13086 16 0 208467 0
vsize: 833932
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 75170 50 0 0 25 0 10 0 838495499 853946368 25348 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25348 13086 16 0 208467 0
vsize: 833932
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 76081 50 0 0 25 0 10 0 838495499 853946368 25373 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25373 13086 16 0 208467 0
vsize: 833932
[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 76991 50 0 0 25 0 10 0 838495499 853946368 25397 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25397 13086 16 0 208467 0
vsize: 833932
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 77901 50 0 0 24 0 10 0 838495499 853946368 25422 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25422 13086 16 0 208467 0
vsize: 833932
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 78818 50 0 0 25 0 10 0 838495499 853946368 25444 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25444 13086 16 0 208467 0
vsize: 833932
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 79726 51 0 0 21 0 10 0 838495499 853946368 25469 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25469 13086 16 0 208467 0
vsize: 833932
[startup+870.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 80636 51 0 0 25 0 10 0 838495499 853946368 25493 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25493 13086 16 0 208467 0
vsize: 833932
[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) S 6837 22056 22055 0 -1 0 18022 0 1 0 81546 51 0 0 24 0 10 0 838495499 853946368 25516 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25516 13086 16 0 208467 0
vsize: 833932
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 82460 51 0 0 25 0 10 0 838495499 853946368 25539 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25539 13086 16 0 208467 0
vsize: 833932
[startup+900.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 83368 51 0 0 25 0 10 0 838495499 853946368 25563 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25563 13086 16 0 208467 0
vsize: 833932
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 84276 51 0 0 25 0 10 0 838495499 853946368 25586 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25586 13086 16 0 208467 0
vsize: 833932
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 85190 52 0 0 23 0 10 0 838495499 853946368 25608 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25608 13086 16 0 208467 0
vsize: 833932
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 86097 52 0 0 22 0 10 0 838495499 853946368 25631 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25631 13086 16 0 208467 0
vsize: 833932
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 87003 52 0 0 20 0 10 0 838495499 853946368 25654 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25654 13086 16 0 208467 0
vsize: 833932
[startup+950.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 87915 52 0 0 23 0 10 0 838495499 853946368 25676 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25676 13086 16 0 208467 0
vsize: 833932
[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 88821 52 0 0 21 0 10 0 838495499 853946368 25701 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25701 13086 16 0 208467 0
vsize: 833932
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 89725 52 0 0 19 0 10 0 838495499 853946368 25728 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25728 13086 16 0 208467 0
vsize: 833932
[startup+980.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 90637 52 0 0 23 0 10 0 838495499 853946368 25750 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25750 13086 16 0 208467 0
vsize: 833932
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 91543 52 0 0 21 0 10 0 838495499 853946368 25778 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25778 13086 16 0 208467 0
vsize: 833932
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 92448 52 0 0 20 0 10 0 838495499 853946368 25801 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25801 13086 16 0 208467 0
vsize: 833932
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 93359 52 0 0 23 0 10 0 838495499 853946368 25830 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25830 13086 16 0 208467 0
vsize: 833932
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 94263 53 0 0 21 0 10 0 838495499 853946368 25852 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25852 13086 16 0 208467 0
vsize: 833932
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 95169 53 0 0 19 0 10 0 838495499 853946368 25875 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25875 13086 16 0 208467 0
vsize: 833932
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 96080 53 0 0 23 0 10 0 838495499 853946368 25907 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 25907 13086 16 0 208467 0
vsize: 833932
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 96982 53 0 0 20 0 10 0 838495499 853946368 25929 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25929 13086 16 0 208467 0
vsize: 833932
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) S 6837 22056 22055 0 -1 0 18022 0 1 0 97884 53 0 0 24 0 10 0 838495499 853946368 25956 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25956 13086 16 0 208467 0
vsize: 833932
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 98791 54 0 0 21 0 10 0 838495499 853946368 25982 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208483 25982 13086 16 0 208467 0
vsize: 833932
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 99692 54 0 0 19 0 10 0 838495499 853946368 26007 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26007 13086 16 0 208467 0
vsize: 833932
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 100600 54 0 0 22 0 10 0 838495499 853946368 26030 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26030 13086 16 0 208467 0
vsize: 833932
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 101502 54 0 0 20 0 10 0 838495499 853946368 26057 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26057 13086 16 0 208467 0
vsize: 833932
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 102411 55 0 0 23 0 10 0 838495499 853946368 26080 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26080 13086 16 0 208467 0
vsize: 833932
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 103313 55 0 0 20 0 10 0 838495499 853946368 26106 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26106 13086 16 0 208467 0
vsize: 833932
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 104214 55 0 0 18 0 10 0 838495499 853946368 26130 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26130 13086 16 0 208467 0
vsize: 833932
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 105121 55 0 0 22 0 10 0 838495499 853946368 26154 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26154 13086 16 0 208467 0
vsize: 833932
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 106022 55 0 0 19 0 10 0 838495499 853946368 26177 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26177 13086 16 0 208467 0
vsize: 833932
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 106930 55 0 0 22 0 10 0 838495499 853946368 26197 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26197 13086 16 0 208467 0
vsize: 833932
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 107830 55 0 0 19 0 10 0 838495499 853946368 26226 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26226 13086 16 0 208467 0
vsize: 833932
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 108738 55 0 0 22 0 10 0 838495499 853946368 26248 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26248 13086 16 0 208467 0
vsize: 833932
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 109638 55 0 0 20 0 10 0 838495499 853946368 26269 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26269 13086 16 0 208467 0
vsize: 833932
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 110544 55 0 0 23 0 10 0 838495499 853946368 26295 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26295 13086 16 0 208467 0
vsize: 833932
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 111441 55 0 0 21 0 10 0 838495499 853946368 26320 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26320 13086 16 0 208467 0
vsize: 833932
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 112346 55 0 0 22 0 10 0 838495499 853946368 26342 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26342 13086 16 0 208467 0
vsize: 833932
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 113245 55 0 0 20 0 10 0 838495499 853946368 26366 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26366 13086 16 0 208467 0
vsize: 833932
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 114150 56 0 0 23 0 10 0 838495499 853946368 26385 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26385 13086 16 0 208467 0
vsize: 833932
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 115050 56 0 0 19 0 10 0 838495499 853946368 26405 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26405 13086 16 0 208467 0
vsize: 833932
[startup+1260.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 115955 56 0 0 23 0 10 0 838495499 853946368 26424 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26424 13086 16 0 208467 0
vsize: 833932
[startup+1270.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 116853 56 0 0 19 0 10 0 838495499 853946368 26457 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26457 13086 16 0 208467 0
vsize: 833932
[startup+1280.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 117758 56 0 0 22 0 10 0 838495499 853946368 26475 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26475 13086 16 0 208467 0
vsize: 833932
[startup+1290.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 118658 56 0 0 19 0 10 0 838495499 853946368 26512 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26512 13086 16 0 208467 0
vsize: 833932
[startup+1300.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 119566 56 0 0 23 0 10 0 838495499 853946368 26531 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26531 13086 16 0 208467 0
vsize: 833932
[startup+1310.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6847
Raw data (stat): 6838 (java) R 6837 22056 22055 0 -1 0 18022 0 1 0 120467 56 0 0 20 0 10 0 838495499 853946368 26559 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208483 26559 13086 16 0 208467 0
vsize: 833932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 6849
Raw data (stat): 6838 (java) Z 6837 22056 22055 0 -1 1036 18022 8514 1 0 120472 56 10522 48 21 0 1 0 838495499 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.19
CPU time (s): 1310.99
CPU user time (s): 1309.94
CPU system time (s): 1.05184
CPU usage (%): 100.062
Max. virtual memory (Kb): 834316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####