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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30078

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        634912 kB
Buffers:         34412 kB
Cached:         343132 kB
SwapCached:        672 kB
Active:          75264 kB
Inactive:       304300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634660 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14540 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:54:28 (client local time) WITH STATUS 143 IN 1312.17 SECONDS
stats: 21482 7 1312.17 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/wulflinc15/normalized-mps-v2-13-7-n3708.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.227
#### 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 8879
Raw data (stat): 8879 (runsolver) R 8878 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781397996 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.0004 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18009 0 1 0 879 36 0 0 25 0 10 0 781397996 853393408 19274 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208348 19274 13086 16 0 208332 0
vsize: 833392
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 1778 37 0 0 25 0 10 0 781397996 854040576 19907 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208506 19907 13086 16 0 208490 0
vsize: 834024
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 2668 37 0 0 25 0 10 0 781397996 853897216 20392 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208471 20392 13086 16 0 208455 0
vsize: 833884
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 3585 37 0 0 25 0 10 0 781397996 854405120 20823 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 20823 13086 16 0 208579 0
vsize: 834380
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 4505 38 0 0 25 0 10 0 781397996 854405120 20989 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 20989 13086 16 0 208579 0
vsize: 834380
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 5423 38 0 0 25 0 10 0 781397996 854405120 21117 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21117 13086 16 0 208579 0
vsize: 834380
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 6352 39 0 0 25 0 10 0 781397996 854405120 21238 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21238 13086 16 0 208579 0
vsize: 834380
[startup+80.0053 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 7294 39 0 0 25 0 10 0 781397996 854405120 21333 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21333 13086 16 0 208579 0
vsize: 834380
[startup+90.0061 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 8234 40 0 0 25 0 10 0 781397996 854405120 21426 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21426 13086 16 0 208579 0
vsize: 834380
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 9175 40 0 0 25 0 10 0 781397996 854405120 21511 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21511 13086 16 0 208579 0
vsize: 834380
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 10120 40 0 0 25 0 10 0 781397996 854405120 21587 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21587 13086 16 0 208579 0
vsize: 834380
[startup+120.11 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 11072 41 0 0 25 0 10 0 781397996 854405120 21663 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21663 13086 16 0 208579 0
vsize: 834380
[startup+130.11 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 12013 41 0 0 25 0 10 0 781397996 854405120 21735 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21735 13086 16 0 208579 0
vsize: 834380
[startup+140.11 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 12958 42 0 0 25 0 10 0 781397996 854405120 21799 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21799 13086 16 0 208579 0
vsize: 834380
[startup+150.111 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 13900 43 0 0 25 0 10 0 781397996 854405120 21865 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21865 13086 16 0 208579 0
vsize: 834380
[startup+160.112 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 14841 43 0 0 25 0 10 0 781397996 854405120 21929 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21929 13086 16 0 208579 0
vsize: 834380
[startup+170.113 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 15782 43 0 0 25 0 10 0 781397996 854405120 21987 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 21987 13086 16 0 208579 0
vsize: 834380
[startup+180.113 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 16699 44 0 0 25 0 10 0 781397996 854405120 22042 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22042 13086 16 0 208579 0
vsize: 834380
[startup+190.115 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 17619 44 0 0 25 0 10 0 781397996 854405120 22356 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22356 13086 16 0 208579 0
vsize: 834380
[startup+200.115 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 18561 44 0 0 25 0 10 0 781397996 854405120 22409 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22409 13086 16 0 208579 0
vsize: 834380
[startup+210.115 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 19499 45 0 0 25 0 10 0 781397996 854405120 22463 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22463 13086 16 0 208579 0
vsize: 834380
[startup+220.12 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 20438 45 0 0 25 0 10 0 781397996 854405120 22514 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22514 13086 16 0 208579 0
vsize: 834380
[startup+230.12 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 21379 46 0 0 25 0 10 0 781397996 854405120 22564 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22564 13086 16 0 208579 0
vsize: 834380
[startup+240.121 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 22316 47 0 0 25 0 10 0 781397996 854405120 22614 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22614 13086 16 0 208579 0
vsize: 834380
[startup+250.122 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 23256 47 0 0 25 0 10 0 781397996 854405120 22660 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22660 13086 16 0 208579 0
vsize: 834380
[startup+260.121 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 24193 48 0 0 25 0 10 0 781397996 854405120 22708 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22708 13086 16 0 208579 0
vsize: 834380
[startup+270.122 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 25133 48 0 0 25 0 10 0 781397996 854405120 22752 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22752 13086 16 0 208579 0
vsize: 834380
[startup+280.122 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 26069 49 0 0 25 0 10 0 781397996 854405120 22798 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22798 13086 16 0 208579 0
vsize: 834380
[startup+290.124 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 27006 49 0 0 25 0 10 0 781397996 854405120 22841 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22841 13086 16 0 208579 0
vsize: 834380
[startup+300.125 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 27943 50 0 0 25 0 10 0 781397996 854405120 22884 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22884 13086 16 0 208579 0
vsize: 834380
[startup+310.124 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 28877 50 0 0 25 0 10 0 781397996 854405120 22926 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22926 13086 16 0 208579 0
vsize: 834380
[startup+320.126 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 29814 50 0 0 25 0 10 0 781397996 854405120 22968 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 22968 13086 16 0 208579 0
vsize: 834380
[startup+330.126 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 30751 51 0 0 25 0 10 0 781397996 854405120 23007 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23007 13086 16 0 208579 0
vsize: 834380
[startup+340.127 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 31684 51 0 0 25 0 10 0 781397996 854405120 23048 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23048 13086 16 0 208579 0
vsize: 834380
[startup+350.128 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 32621 52 0 0 25 0 10 0 781397996 854405120 23086 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23086 13086 16 0 208579 0
vsize: 834380
[startup+360.127 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 33552 52 0 0 25 0 10 0 781397996 854405120 23126 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23126 13086 16 0 208579 0
vsize: 834380
[startup+370.128 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 34488 52 0 0 25 0 10 0 781397996 854405120 23164 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23164 13086 16 0 208579 0
vsize: 834380
[startup+380.129 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 35420 52 0 0 25 0 10 0 781397996 854405120 23203 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23203 13086 16 0 208579 0
vsize: 834380
[startup+390.13 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 36354 53 0 0 25 0 10 0 781397996 854405120 23239 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23239 13086 16 0 208579 0
vsize: 834380
[startup+400.13 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 37284 53 0 0 24 0 10 0 781397996 854405120 23277 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23277 13086 16 0 208579 0
vsize: 834380
[startup+410.131 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 38219 53 0 0 25 0 10 0 781397996 854405120 23312 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23312 13086 16 0 208579 0
vsize: 834380
[startup+420.132 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 39153 54 0 0 25 0 10 0 781397996 854405120 23346 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23346 13086 16 0 208579 0
vsize: 834380
[startup+430.131 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 40082 54 0 0 25 0 10 0 781397996 854405120 23382 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23382 13086 16 0 208579 0
vsize: 834380
[startup+440.132 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 41014 55 0 0 25 0 10 0 781397996 854405120 23416 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23416 13086 16 0 208579 0
vsize: 834380
[startup+450.132 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 41946 55 0 0 25 0 10 0 781397996 854405120 23449 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23449 13086 16 0 208579 0
vsize: 834380
[startup+460.132 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 42874 55 0 0 25 0 10 0 781397996 854405120 23484 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23484 13086 16 0 208579 0
vsize: 834380
[startup+470.133 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 43806 55 0 0 25 0 10 0 781397996 854405120 23517 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23517 13086 16 0 208579 0
vsize: 834380
[startup+480.133 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 44737 56 0 0 25 0 10 0 781397996 854405120 23549 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23549 13086 16 0 208579 0
vsize: 834380
[startup+490.134 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 45664 56 0 0 25 0 10 0 781397996 854405120 23583 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23583 13086 16 0 208579 0
vsize: 834380
[startup+500.134 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 46594 57 0 0 25 0 10 0 781397996 854405120 23614 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23614 13086 16 0 208579 0
vsize: 834380
[startup+510.135 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 47523 57 0 0 25 0 10 0 781397996 854405120 23646 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23646 13086 16 0 208579 0
vsize: 834380
[startup+520.136 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 48449 57 0 0 25 0 10 0 781397996 854405120 23678 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23678 13086 16 0 208579 0
vsize: 834380
[startup+530.136 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 49377 57 0 0 25 0 10 0 781397996 854405120 23710 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23710 13086 16 0 208579 0
vsize: 834380
[startup+540.136 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 50305 58 0 0 25 0 10 0 781397996 854405120 23740 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23740 13086 16 0 208579 0
vsize: 834380
[startup+550.137 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 51234 59 0 0 25 0 10 0 781397996 854405120 23770 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23770 13086 16 0 208579 0
vsize: 834380
[startup+560.137 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 52158 59 0 0 25 0 10 0 781397996 854405120 23801 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23801 13086 16 0 208579 0
vsize: 834380
[startup+570.138 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 53085 60 0 0 25 0 10 0 781397996 854405120 23831 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23831 13086 16 0 208579 0
vsize: 834380
[startup+580.139 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 54012 60 0 0 25 0 10 0 781397996 854405120 23860 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23860 13086 16 0 208579 0
vsize: 834380
[startup+590.14 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 54940 60 0 0 25 0 10 0 781397996 854405120 23889 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23889 13086 16 0 208579 0
vsize: 834380
[startup+600.139 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 55865 60 0 0 25 0 10 0 781397996 854405120 23918 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23918 13086 16 0 208579 0
vsize: 834380
[startup+610.139 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 56787 61 0 0 24 0 10 0 781397996 854405120 23948 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23948 13086 16 0 208579 0
vsize: 834380
[startup+620.14 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 57713 61 0 0 25 0 10 0 781397996 854405120 23976 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 23976 13086 16 0 208579 0
vsize: 834380
[startup+630.14 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 58638 61 0 0 25 0 10 0 781397996 854405120 24004 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 24004 13086 16 0 208579 0
vsize: 834380
[startup+640.141 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 59563 62 0 0 25 0 10 0 781397996 854405120 24032 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 24032 13086 16 0 208579 0
vsize: 834380
[startup+650.142 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 60489 62 0 0 25 0 10 0 781397996 854405120 24059 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 24059 13086 16 0 208579 0
vsize: 834380
[startup+660.141 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 61413 62 0 0 25 0 10 0 781397996 854405120 24086 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 24086 13086 16 0 208579 0
vsize: 834380
[startup+670.142 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 62332 63 0 0 25 0 10 0 781397996 854405120 25006 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25006 13086 16 0 208579 0
vsize: 834380
[startup+680.143 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 63249 63 0 0 24 0 10 0 781397996 854405120 25006 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25006 13086 16 0 208579 0
vsize: 834380
[startup+690.144 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 64165 64 0 0 24 0 10 0 781397996 854405120 25029 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25029 13086 16 0 208579 0
vsize: 834380
[startup+700.144 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 65079 64 0 0 24 0 10 0 781397996 854405120 25055 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25055 13086 16 0 208579 0
vsize: 834380
[startup+710.144 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 65993 65 0 0 24 0 10 0 781397996 854405120 25081 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25081 13086 16 0 208579 0
vsize: 834380
[startup+720.144 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 66905 65 0 0 24 0 10 0 781397996 854405120 25107 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25107 13086 16 0 208579 0
vsize: 834380
[startup+730.144 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 67819 65 0 0 25 0 10 0 781397996 854405120 25132 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25132 13086 16 0 208579 0
vsize: 834380
[startup+740.146 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 68734 66 0 0 25 0 10 0 781397996 854405120 25158 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25158 13086 16 0 208579 0
vsize: 834380
[startup+750.147 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 69649 66 0 0 25 0 10 0 781397996 854405120 25183 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25183 13086 16 0 208579 0
vsize: 834380
[startup+760.147 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 70561 67 0 0 25 0 10 0 781397996 854405120 25208 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25208 13086 16 0 208579 0
vsize: 834380
[startup+770.148 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 71473 67 0 0 25 0 10 0 781397996 854405120 25233 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25233 13086 16 0 208579 0
vsize: 834380
[startup+780.147 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 72385 68 0 0 25 0 10 0 781397996 854405120 25258 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25258 13086 16 0 208579 0
vsize: 834380
[startup+790.148 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 73297 68 0 0 25 0 10 0 781397996 854405120 25283 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25283 13086 16 0 208579 0
vsize: 834380
[startup+800.149 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 74208 68 0 0 25 0 10 0 781397996 854405120 25308 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25308 13086 16 0 208579 0
vsize: 834380
[startup+810.149 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 75119 68 0 0 25 0 10 0 781397996 854405120 25333 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25333 13086 16 0 208579 0
vsize: 834380
[startup+820.15 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 76029 69 0 0 25 0 10 0 781397996 854405120 25357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25357 13086 16 0 208579 0
vsize: 834380
[startup+830.151 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 76939 69 0 0 25 0 10 0 781397996 854405120 25381 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25381 13086 16 0 208579 0
vsize: 834380
[startup+840.15 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 77849 70 0 0 24 0 10 0 781397996 854405120 25405 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25405 13086 16 0 208579 0
vsize: 834380
[startup+850.151 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 78759 70 0 0 25 0 10 0 781397996 854405120 25428 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25428 13086 16 0 208579 0
vsize: 834380
[startup+860.151 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 79673 70 0 0 25 0 10 0 781397996 854405120 25452 4294967295 134512640 134569956 3221224368 3221214216 1080019657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25452 13086 16 0 208579 0
vsize: 834380
[startup+870.152 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 80583 71 0 0 25 0 10 0 781397996 854405120 25475 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25475 13086 16 0 208579 0
vsize: 834380
[startup+880.152 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 81492 71 0 0 25 0 10 0 781397996 854405120 25499 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25499 13086 16 0 208579 0
vsize: 834380
[startup+890.153 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 82400 71 0 0 21 0 10 0 781397996 854405120 25522 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25522 13086 16 0 208579 0
vsize: 834380
[startup+900.152 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 83308 72 0 0 25 0 10 0 781397996 854405120 25546 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25546 13086 16 0 208579 0
vsize: 834380
[startup+910.152 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 84216 72 0 0 25 0 10 0 781397996 854405120 25570 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25570 13086 16 0 208579 0
vsize: 834380
[startup+920.152 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 85129 72 0 0 25 0 10 0 781397996 854405120 25596 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25596 13086 16 0 208579 0
vsize: 834380
[startup+930.153 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 86035 73 0 0 25 0 10 0 781397996 854405120 25623 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25623 13086 16 0 208579 0
vsize: 834380
[startup+940.153 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 86942 73 0 0 25 0 10 0 781397996 854405120 25646 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25646 13086 16 0 208579 0
vsize: 834380
[startup+950.154 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 87848 73 0 0 25 0 10 0 781397996 854405120 25677 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25677 13086 16 0 208579 0
vsize: 834380
[startup+960.154 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 88753 74 0 0 24 0 10 0 781397996 854405120 25704 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25704 13086 16 0 208579 0
vsize: 834380
[startup+970.155 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 89664 74 0 0 25 0 10 0 781397996 854405120 25726 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25726 13086 16 0 208579 0
vsize: 834380
[startup+980.155 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 90570 74 0 0 25 0 10 0 781397996 854405120 25754 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25754 13086 16 0 208579 0
vsize: 834380
[startup+990.155 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 91474 75 0 0 21 0 10 0 781397996 854405120 25777 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25777 13086 16 0 208579 0
vsize: 834380
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 92379 75 0 0 19 0 10 0 781397996 854405120 25805 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25805 13086 16 0 208579 0
vsize: 834380
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 93290 75 0 0 24 0 10 0 781397996 854405120 25827 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25827 13086 16 0 208579 0
vsize: 834380
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 94194 76 0 0 22 0 10 0 781397996 854405120 25849 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25849 13086 16 0 208579 0
vsize: 834380
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 95099 77 0 0 20 0 10 0 781397996 854405120 25881 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25881 13086 16 0 208579 0
vsize: 834380
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 96002 77 0 0 19 0 10 0 781397996 854405120 25904 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25904 13086 16 0 208579 0
vsize: 834380
[startup+1050.16 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 96911 78 0 0 23 0 10 0 781397996 854405120 25930 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25930 13086 16 0 208579 0
vsize: 834380
[startup+1060.16 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 97815 78 0 0 22 0 10 0 781397996 854405120 25954 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25954 13086 16 0 208579 0
vsize: 834380
[startup+1070.16 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 98715 79 0 0 20 0 10 0 781397996 854405120 25981 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 25981 13086 16 0 208579 0
vsize: 834380
[startup+1080.16 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 99617 79 0 0 19 0 10 0 781397996 854405120 26004 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26004 13086 16 0 208579 0
vsize: 834380
[startup+1090.16 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 100526 79 0 0 24 0 10 0 781397996 854405120 26029 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26029 13086 16 0 208579 0
vsize: 834380
[startup+1100.16 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 101428 79 0 0 21 0 10 0 781397996 854405120 26053 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26053 13086 16 0 208579 0
vsize: 834380
[startup+1110.16 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 102329 80 0 0 20 0 10 0 781397996 854405120 26076 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26076 13086 16 0 208579 0
vsize: 834380
[startup+1120.16 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 103232 80 0 0 24 0 10 0 781397996 854405120 26100 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26100 13086 16 0 208579 0
vsize: 834380
[startup+1130.16 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 104138 81 0 0 22 0 10 0 781397996 854405120 26125 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26125 13086 16 0 208579 0
vsize: 834380
[startup+1140.17 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 105039 81 0 0 20 0 10 0 781397996 854405120 26149 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26149 13086 16 0 208579 0
vsize: 834380
[startup+1150.17 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 105940 82 0 0 24 0 10 0 781397996 854405120 26168 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26168 13086 16 0 208579 0
vsize: 834380
[startup+1160.17 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 106846 82 0 0 22 0 10 0 781397996 854405120 26196 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26196 13086 16 0 208579 0
vsize: 834380
[startup+1170.17 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 107747 83 0 0 20 0 10 0 781397996 854405120 26219 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26219 13086 16 0 208579 0
vsize: 834380
[startup+1180.17 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 108648 83 0 0 23 0 10 0 781397996 854405120 26240 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26240 13086 16 0 208579 0
vsize: 834380
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 109553 83 0 0 21 0 10 0 781397996 854405120 26265 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26265 13086 16 0 208579 0
vsize: 834380
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 110450 83 0 0 19 0 10 0 781397996 854405120 26289 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26289 13086 16 0 208579 0
vsize: 834380
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 111352 84 0 0 23 0 10 0 781397996 854405120 26312 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208595 26312 13086 16 0 208579 0
vsize: 834380
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 112250 84 0 0 21 0 10 0 781397996 854405120 26335 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208595 26335 13086 16 0 208579 0
vsize: 834380
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 113148 84 0 0 19 0 10 0 781397996 854405120 26355 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208595 26355 13086 16 0 208579 0
vsize: 834380
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 114053 84 0 0 23 0 10 0 781397996 854405120 26374 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208595 26374 13086 16 0 208579 0
vsize: 834380
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 114950 84 0 0 21 0 10 0 781397996 854405120 26393 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208595 26393 13086 16 0 208579 0
vsize: 834380
[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 115848 84 0 0 19 0 10 0 781397996 854405120 26426 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26426 13086 16 0 208579 0
vsize: 834380
[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 116752 85 0 0 22 0 10 0 781397996 854405120 26443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26443 13086 16 0 208579 0
vsize: 834380
[startup+1280.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 117650 85 0 0 19 0 10 0 781397996 854405120 26478 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26478 13086 16 0 208579 0
vsize: 834380
[startup+1290.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) S 8878 23514 23513 0 -1 0 18010 0 1 0 118551 86 0 0 24 0 10 0 781397996 854405120 26498 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26498 13086 16 0 208579 0
vsize: 834380
[startup+1300.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 119455 86 0 0 22 0 10 0 781397996 854405120 26526 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26526 13086 16 0 208579 0
vsize: 834380
[startup+1310.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 8888
Raw data (stat): 8879 (java) R 8878 23514 23513 0 -1 0 18010 0 1 0 120358 86 0 0 21 0 10 0 781397996 854405120 26548 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208595 26548 13086 16 0 208579 0
vsize: 834380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8890
Raw data (stat): 8879 (java) Z 8878 23514 23513 0 -1 1036 18010 9177 1 0 120359 91 10717 47 22 0 1 0 781397996 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.25
CPU time (s): 1312.17
CPU user time (s): 1310.77
CPU system time (s): 1.39479
CPU usage (%): 100.146
Max. virtual memory (Kb): 834380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####