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/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUM	430910c9a5d64dfdcfdaccb49935c3d0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1931
Optimality of the best value was proved	NO
Number of terms in the objective function	3862
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3862
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3862
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	21.5857
Number of variables	3862
Total number of constraints	16399
Number of constraints which are clauses	16399
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	8
Trace number 29143

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        794464 kB
Buffers:         13884 kB
Cached:         203860 kB
SwapCached:        400 kB
Active:          40752 kB
Inactive:       179208 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        794212 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            14540 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:27:39 (client local time) WITH STATUS 143 IN 1286.1 SECONDS
stats: 20545 7 1286.1 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/wulflinc22/normalized-hanoi5.opb
c reading problem ... done. Time 10.053 ms.
c #vars     3862
c #constraints  16399
c starts	: 12
c conflicts	: 24610
c decisions	: 45091
c propagations	: 3886637
c inspects	: 32137664
c learned literals	: 0
c learned binary clauses	: 166
c learned ternary clauses	: 610
c learned clauses	: 24610
c root simplifications	: 71
s UNKNOWN
c Total CPU time (ms) : 1279.102
#### 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.94 2/54 32383
Raw data (stat): 32383 (runsolver) R 32382 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836226197 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0038 s]
Raw data (loadavg): 1.10 1.02 0.96 2/63 32392
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18041 0 1 0 774 38 0 0 25 0 10 0 836226197 857231360 20648 4294967295 134512640 134569956 3221224384 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209285 20650 13086 16 0 209269 0
vsize: 837140
[startup+20.0044 s]
Raw data (loadavg): 1.31 1.07 0.97 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18085 0 1 0 1620 39 0 0 25 0 11 0 836226197 860733440 23739 4294967295 134512640 134569956 3221224384 3221214708 1130893595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210140 23739 13086 16 0 210124 0
vsize: 840560
[startup+30.0046 s]
Raw data (loadavg): 1.34 1.08 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18086 0 1 0 2571 39 0 0 25 0 11 0 836226197 860577792 24554 4294967295 134512640 134569956 3221224384 3221214552 1131368903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 24554 13086 16 0 210086 0
vsize: 840408
[startup+40.0059 s]
Raw data (loadavg): 1.29 1.08 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18086 0 1 0 3514 39 0 0 25 0 11 0 836226197 860577792 24555 4294967295 134512640 134569956 3221224384 3221214592 1131557256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 24555 13086 16 0 210086 0
vsize: 840408
[startup+50.0065 s]
Raw data (loadavg): 1.24 1.07 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18086 0 1 0 4451 39 0 0 25 0 11 0 836226197 860577792 24624 4294967295 134512640 134569956 3221224384 3221214656 1131660589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 24624 13086 16 0 210086 0
vsize: 840408
[startup+60.0057 s]
Raw data (loadavg): 1.20 1.07 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 5377 39 0 0 25 0 11 0 836226197 860577792 25258 4294967295 134512640 134569956 3221224384 3221214552 1131368640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 25258 13086 16 0 210086 0
vsize: 840408
[startup+70.0099 s]
Raw data (loadavg): 1.17 1.07 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 6321 39 0 0 25 0 11 0 836226197 860577792 25602 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 25602 13086 16 0 210086 0
vsize: 840408
[startup+80.0105 s]
Raw data (loadavg): 1.15 1.06 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 7239 40 0 0 25 0 11 0 836226197 860577792 26242 4294967295 134512640 134569956 3221224384 3221214732 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 26242 13086 16 0 210086 0
vsize: 840408
[startup+90.0108 s]
Raw data (loadavg): 1.12 1.06 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 8172 40 0 0 25 0 11 0 836226197 860577792 26820 4294967295 134512640 134569956 3221224384 3221214552 1131368413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 26820 13086 16 0 210086 0
vsize: 840408
[startup+100.011 s]
Raw data (loadavg): 1.10 1.06 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 9114 40 0 0 25 0 11 0 836226197 860577792 27267 4294967295 134512640 134569956 3221224384 3221214760 1131447729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 27267 13086 16 0 210086 0
vsize: 840408
[startup+110.012 s]
Raw data (loadavg): 1.09 1.06 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 10056 40 0 0 25 0 11 0 836226197 860577792 27807 4294967295 134512640 134569956 3221224384 3221214592 1131557105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 27807 13086 16 0 210086 0
vsize: 840408
[startup+120.012 s]
Raw data (loadavg): 1.07 1.05 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 10987 40 0 0 25 0 11 0 836226197 860577792 28202 4294967295 134512640 134569956 3221224384 3221214752 1131468523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 28202 13086 16 0 210086 0
vsize: 840408
[startup+130.012 s]
Raw data (loadavg): 1.06 1.05 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 11904 40 0 0 25 0 11 0 836226197 860577792 28679 4294967295 134512640 134569956 3221224384 3221214752 1131468484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 28679 13086 16 0 210086 0
vsize: 840408
[startup+140.013 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 12833 41 0 0 25 0 11 0 836226197 860577792 29028 4294967295 134512640 134569956 3221224384 3221214656 1131662040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 29028 13086 16 0 210086 0
vsize: 840408
[startup+150.013 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 13774 41 0 0 25 0 11 0 836226197 860577792 29488 4294967295 134512640 134569956 3221224384 3221214688 1131323846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 29488 13086 16 0 210086 0
vsize: 840408
[startup+160.013 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 14705 42 0 0 25 0 11 0 836226197 860577792 29902 4294967295 134512640 134569956 3221224384 3221214668 1079677872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 29902 13086 16 0 210086 0
vsize: 840408
[startup+170.014 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 15636 42 0 0 24 0 11 0 836226197 860577792 30345 4294967295 134512640 134569956 3221224384 3221214656 1131663975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 30345 13086 16 0 210086 0
vsize: 840408
[startup+180.014 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 16582 43 0 0 25 0 11 0 836226197 860577792 30722 4294967295 134512640 134569956 3221224384 3221214552 1131369144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 30722 13086 16 0 210086 0
vsize: 840408
[startup+190.015 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 17520 43 0 0 25 0 11 0 836226197 860577792 31036 4294967295 134512640 134569956 3221224384 3221214752 1131468523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 31036 13086 16 0 210086 0
vsize: 840408
[startup+200.016 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 18468 44 0 0 25 0 11 0 836226197 860577792 31370 4294967295 134512640 134569956 3221224384 3221214784 1131449919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 31370 13086 16 0 210086 0
vsize: 840408
[startup+210.016 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 19393 44 0 0 25 0 11 0 836226197 860577792 31772 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 31772 13086 16 0 210086 0
vsize: 840408
[startup+220.017 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 20339 44 0 0 25 0 11 0 836226197 860577792 32174 4294967295 134512640 134569956 3221224384 3221214736 1131259632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 32174 13086 16 0 210086 0
vsize: 840408
[startup+230.017 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 21275 44 0 0 25 0 11 0 836226197 860577792 32551 4294967295 134512640 134569956 3221224384 3221214552 1131368503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 32551 13086 16 0 210086 0
vsize: 840408
[startup+240.017 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 22224 44 0 0 25 0 11 0 836226197 860577792 32825 4294967295 134512640 134569956 3221224384 3221214736 1131259632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 32825 13086 16 0 210086 0
vsize: 840408
[startup+250.019 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 23158 44 0 0 25 0 11 0 836226197 860577792 33322 4294967295 134512640 134569956 3221224384 3221214760 1131258362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 33322 13086 16 0 210086 0
vsize: 840408
[startup+260.019 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 24091 45 0 0 25 0 11 0 836226197 860577792 33795 4294967295 134512640 134569956 3221224384 3221214688 1131323194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 33795 13086 16 0 210086 0
vsize: 840408
[startup+270.019 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 25039 45 0 0 25 0 11 0 836226197 860577792 34093 4294967295 134512640 134569956 3221224384 3221214784 1131449972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 34093 13086 16 0 210086 0
vsize: 840408
[startup+280.019 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 25973 45 0 0 25 0 11 0 836226197 860577792 34574 4294967295 134512640 134569956 3221224384 3221214560 1131258448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 34574 13086 16 0 210086 0
vsize: 840408
[startup+290.019 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 26896 45 0 0 25 0 11 0 836226197 860577792 34992 4294967295 134512640 134569956 3221224384 3221213152 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 34992 13086 16 0 210086 0
vsize: 840408
[startup+300.02 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 27813 46 0 0 25 0 11 0 836226197 860577792 35605 4294967295 134512640 134569956 3221224384 3221214792 1131512385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 35605 13086 16 0 210086 0
vsize: 840408
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 28739 46 0 0 25 0 11 0 836226197 860577792 36041 4294967295 134512640 134569956 3221224384 3221214752 1131468479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 36041 13086 16 0 210086 0
vsize: 840408
[startup+320.021 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 29679 46 0 0 25 0 11 0 836226197 860577792 36432 4294967295 134512640 134569956 3221224384 3221214552 1131368683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 36432 13086 16 0 210086 0
vsize: 840408
[startup+330.021 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 30622 47 0 0 25 0 11 0 836226197 860577792 36754 4294967295 134512640 134569956 3221224384 3221214760 1131258354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 36754 13086 16 0 210086 0
vsize: 840408
[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 31548 47 0 0 25 0 11 0 836226197 860577792 37242 4294967295 134512640 134569956 3221224384 3221214552 1131369347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 37242 13086 16 0 210086 0
vsize: 840408
[startup+350.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 32488 47 0 0 25 0 11 0 836226197 860577792 37602 4294967295 134512640 134569956 3221224384 3221214552 1131368873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 37602 13086 16 0 210086 0
vsize: 840408
[startup+360.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 33417 47 0 0 25 0 11 0 836226197 860577792 38020 4294967295 134512640 134569956 3221224384 3221214552 1131369616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 38020 13086 16 0 210086 0
vsize: 840408
[startup+370.022 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 34347 48 0 0 25 0 11 0 836226197 860577792 38401 4294967295 134512640 134569956 3221224384 3221214552 1131368505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 38401 13086 16 0 210086 0
vsize: 840408
[startup+380.023 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 35280 48 0 0 25 0 11 0 836226197 860577792 38692 4294967295 134512640 134569956 3221224384 3221214552 1131368974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 38692 13086 16 0 210086 0
vsize: 840408
[startup+390.024 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 36212 48 0 0 25 0 11 0 836226197 860577792 39095 4294967295 134512640 134569956 3221224384 3221214632 1131445682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 39095 13086 16 0 210086 0
vsize: 840408
[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 37147 48 0 0 25 0 11 0 836226197 860577792 39382 4294967295 134512640 134569956 3221224384 3221214632 1131445698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 39382 13086 16 0 210086 0
vsize: 840408
[startup+410.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 38080 49 0 0 25 0 11 0 836226197 860577792 39749 4294967295 134512640 134569956 3221224384 3221214552 1131368417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 39749 13086 16 0 210086 0
vsize: 840408
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 39014 49 0 0 25 0 11 0 836226197 860577792 40044 4294967295 134512640 134569956 3221224384 3221214464 1131286189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 40044 13086 16 0 210086 0
vsize: 840408
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 39956 49 0 0 25 0 11 0 836226197 860577792 40426 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 40426 13086 16 0 210086 0
vsize: 840408
[startup+440.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 40892 50 0 0 25 0 11 0 836226197 860577792 40888 4294967295 134512640 134569956 3221224384 3221214552 1131368417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 40888 13086 16 0 210086 0
vsize: 840408
[startup+450.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 41825 50 0 0 25 0 11 0 836226197 860577792 41207 4294967295 134512640 134569956 3221224384 3221214656 1131660285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 41207 13086 16 0 210086 0
vsize: 840408
[startup+460.025 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 42770 50 0 0 25 0 11 0 836226197 860577792 41583 4294967295 134512640 134569956 3221224384 3221214780 1131258281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 41583 13086 16 0 210086 0
vsize: 840408
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 43701 51 0 0 24 0 11 0 836226197 860577792 42043 4294967295 134512640 134569956 3221224384 3221214752 1131468432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 42043 13086 16 0 210086 0
vsize: 840408
[startup+480.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 44647 51 0 0 25 0 11 0 836226197 860577792 42378 4294967295 134512640 134569956 3221224384 3221214656 1131658083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 42378 13086 16 0 210086 0
vsize: 840408
[startup+490.027 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 45588 51 0 0 25 0 11 0 836226197 860577792 42830 4294967295 134512640 134569956 3221224384 3221214552 1131368835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 42830 13086 16 0 210086 0
vsize: 840408
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 46520 52 0 0 25 0 11 0 836226197 860577792 43223 4294967295 134512640 134569956 3221224384 3221214784 1131449907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 43223 13086 16 0 210086 0
vsize: 840408
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 47452 52 0 0 25 0 11 0 836226197 860577792 43533 4294967295 134512640 134569956 3221224384 3221214528 1131502162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 43533 13086 16 0 210086 0
vsize: 840408
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 48397 52 0 0 25 0 11 0 836226197 860577792 43834 4294967295 134512640 134569956 3221224384 3221214296 1077558833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 43834 13086 16 0 210086 0
vsize: 840408
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 49329 53 0 0 25 0 11 0 836226197 860577792 44211 4294967295 134512640 134569956 3221224384 3221214656 1131658222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 44211 13086 16 0 210086 0
vsize: 840408
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 50267 54 0 0 25 0 11 0 836226197 860577792 44569 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 44569 13086 16 0 210086 0
vsize: 840408
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 51209 54 0 0 25 0 11 0 836226197 860577792 44849 4294967295 134512640 134569956 3221224384 3221214552 1131368903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 44849 13086 16 0 210086 0
vsize: 840408
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 52140 54 0 0 25 0 11 0 836226197 860577792 45250 4294967295 134512640 134569956 3221224384 3221214584 1131285329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 45250 13086 16 0 210086 0
vsize: 840408
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 53055 54 0 0 25 0 11 0 836226197 860577792 45652 4294967295 134512640 134569956 3221224384 3221214552 1131369353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 45652 13086 16 0 210086 0
vsize: 840408
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 53975 55 0 0 25 0 11 0 836226197 860577792 46128 4294967295 134512640 134569956 3221224384 3221214552 1131368903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 46128 13086 16 0 210086 0
vsize: 840408
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 54912 55 0 0 25 0 11 0 836226197 860577792 46680 4294967295 134512640 134569956 3221224384 3221214584 1131476617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 46680 13086 16 0 210086 0
vsize: 840408
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 55852 55 0 0 25 0 11 0 836226197 860577792 47101 4294967295 134512640 134569956 3221224384 3221214552 1131468521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 47101 13086 16 0 210086 0
vsize: 840408
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 56794 55 0 0 25 0 11 0 836226197 860577792 47499 4294967295 134512640 134569956 3221224384 3221214752 1131526369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 47499 13086 16 0 210086 0
vsize: 840408
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 57733 56 0 0 25 0 11 0 836226197 860577792 47955 4294967295 134512640 134569956 3221224384 3221214552 1131368613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 47955 13086 16 0 210086 0
vsize: 840408
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 58671 56 0 0 25 0 11 0 836226197 860577792 48457 4294967295 134512640 134569956 3221224384 3221214552 1131468432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 48457 13086 16 0 210086 0
vsize: 840408
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 59611 57 0 0 25 0 11 0 836226197 860577792 48909 4294967295 134512640 134569956 3221224384 3221214656 1131658303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 48909 13086 16 0 210086 0
vsize: 840408
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) S 32382 23310 23309 0 -1 0 18087 0 1 0 60536 57 0 0 25 0 11 0 836226197 860577792 49282 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 49282 13086 16 0 210086 0
vsize: 840408
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 61473 58 0 0 25 0 11 0 836226197 860577792 49749 4294967295 134512640 134569956 3221224384 3221214552 1131368421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 49749 13086 16 0 210086 0
vsize: 840408
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 62380 58 0 0 24 0 11 0 836226197 860577792 50229 4294967295 134512640 134569956 3221224384 3221214552 1131369604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 50229 13086 16 0 210086 0
vsize: 840408
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 63308 58 0 0 25 0 11 0 836226197 860577792 50432 4294967295 134512640 134569956 3221224384 3221214792 1131512803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 50432 13086 16 0 210086 0
vsize: 840408
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 64237 58 0 0 25 0 11 0 836226197 860577792 50658 4294967295 134512640 134569956 3221224384 3221214752 1131468467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 50658 13086 16 0 210086 0
vsize: 840408
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 65166 58 0 0 25 0 11 0 836226197 860577792 50974 4294967295 134512640 134569956 3221224384 3221214552 1131368455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 50974 13086 16 0 210086 0
vsize: 840408
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 66100 58 0 0 25 0 11 0 836226197 860577792 51195 4294967295 134512640 134569956 3221224384 3221214552 1131369164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 51195 13086 16 0 210086 0
vsize: 840408
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 67018 58 0 0 25 0 11 0 836226197 860577792 51572 4294967295 134512640 134569956 3221224384 3221214584 1131476611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 51572 13086 16 0 210086 0
vsize: 840408
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 67949 58 0 0 25 0 11 0 836226197 860577792 51756 4294967295 134512640 134569956 3221224384 3221214656 1131658222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 51756 13086 16 0 210086 0
vsize: 840408
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 68877 58 0 0 25 0 11 0 836226197 860577792 52073 4294967295 134512640 134569956 3221224384 3221214552 1131369434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 52073 13086 16 0 210086 0
vsize: 840408
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 69807 58 0 0 25 0 11 0 836226197 860577792 52357 4294967295 134512640 134569956 3221224384 3221214656 1131661106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 52357 13086 16 0 210086 0
vsize: 840408
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 70737 58 0 0 25 0 11 0 836226197 860577792 52701 4294967295 134512640 134569956 3221224384 3221214656 1131658273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 52701 13086 16 0 210086 0
vsize: 840408
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 71667 58 0 0 25 0 11 0 836226197 860577792 53151 4294967295 134512640 134569956 3221224384 3221214552 1131368450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 53151 13086 16 0 210086 0
vsize: 840408
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 72597 59 0 0 25 0 11 0 836226197 860577792 53430 4294967295 134512640 134569956 3221224384 3221214552 1131368934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 53430 13086 16 0 210086 0
vsize: 840408
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 73527 59 0 0 25 0 11 0 836226197 860577792 53758 4294967295 134512640 134569956 3221224384 3221214732 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 53758 13086 16 0 210086 0
vsize: 840408
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 74469 59 0 0 25 0 11 0 836226197 860577792 54121 4294967295 134512640 134569956 3221224384 3221214732 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 54121 13086 16 0 210086 0
vsize: 840408
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 75397 59 0 0 25 0 11 0 836226197 860577792 54549 4294967295 134512640 134569956 3221224384 3221214552 1131369079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 54549 13086 16 0 210086 0
vsize: 840408
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 76342 59 0 0 25 0 11 0 836226197 860577792 54866 4294967295 134512640 134569956 3221224384 3221214632 1131445719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 54866 13086 16 0 210086 0
vsize: 840408
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 77274 59 0 0 25 0 11 0 836226197 860577792 55269 4294967295 134512640 134569956 3221224384 3221214656 1131322920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 55269 13086 16 0 210086 0
vsize: 840408
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 78202 59 0 0 25 0 11 0 836226197 860577792 55647 4294967295 134512640 134569956 3221224384 3221214780 1131468393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 55647 13086 16 0 210086 0
vsize: 840408
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 79126 59 0 0 25 0 11 0 836226197 860577792 55977 4294967295 134512640 134569956 3221224384 3221214848 1131465756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 55977 13086 16 0 210086 0
vsize: 840408
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 80031 60 0 0 25 0 11 0 836226197 860577792 56249 4294967295 134512640 134569956 3221224384 3221214552 1131368903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 56249 13086 16 0 210086 0
vsize: 840408
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 80948 60 0 0 25 0 11 0 836226197 860577792 56729 4294967295 134512640 134569956 3221224384 3221214732 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 56729 13086 16 0 210086 0
vsize: 840408
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 81869 60 0 0 25 0 11 0 836226197 860577792 57047 4294967295 134512640 134569956 3221224384 3221214760 1131335111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 57047 13086 16 0 210086 0
vsize: 840408
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 82790 60 0 0 25 0 11 0 836226197 860577792 57282 4294967295 134512640 134569956 3221224384 3221214552 1131368450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 57282 13086 16 0 210086 0
vsize: 840408
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 83689 60 0 0 25 0 11 0 836226197 860577792 57820 4294967295 134512640 134569956 3221224384 3221214552 1131368949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 57820 13086 16 0 210086 0
vsize: 840408
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 84609 60 0 0 25 0 11 0 836226197 860577792 58174 4294967295 134512640 134569956 3221224384 3221214552 1131369029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 58174 13086 16 0 210086 0
vsize: 840408
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 85534 60 0 0 25 0 11 0 836226197 860577792 58414 4294967295 134512640 134569956 3221224384 3221214560 1131258422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 58414 13086 16 0 210086 0
vsize: 840408
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 86447 60 0 0 25 0 11 0 836226197 860577792 58671 4294967295 134512640 134569956 3221224384 3221214560 1131258426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 58671 13086 16 0 210086 0
vsize: 840408
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 87374 60 0 0 25 0 11 0 836226197 860577792 58894 4294967295 134512640 134569956 3221224384 3221214656 1131657992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 58894 13086 16 0 210086 0
vsize: 840408
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 88304 61 0 0 25 0 11 0 836226197 860577792 59134 4294967295 134512640 134569956 3221224384 3221214752 1131468504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59134 13086 16 0 210086 0
vsize: 840408
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 89233 61 0 0 25 0 11 0 836226197 860577792 59372 4294967295 134512640 134569956 3221224384 3221214552 1131368903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59372 13086 16 0 210086 0
vsize: 840408
[startup+970.046 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 90214 61 0 0 25 0 11 0 836226197 860577792 59487 4294967295 134512640 134569956 3221224384 3221213760 1131354142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59487 13086 16 0 210086 0
vsize: 840408
[startup+980.047 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 91200 61 0 0 25 0 11 0 836226197 860577792 59566 4294967295 134512640 134569956 3221224384 3221214072 1131698637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59566 13086 16 0 210086 0
vsize: 840408
[startup+990.047 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 92200 61 0 0 25 0 11 0 836226197 860577792 59566 4294967295 134512640 134569956 3221224384 3221214240 1131698830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59566 13086 16 0 210086 0
vsize: 840408
[startup+1000.05 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 93186 61 0 0 25 0 11 0 836226197 860577792 59566 4294967295 134512640 134569956 3221224384 3221214652 1131369625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59566 13086 16 0 210086 0
vsize: 840408
[startup+1010.05 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 94171 61 0 0 25 0 11 0 836226197 860577792 59617 4294967295 134512640 134569956 3221224384 3221214480 1131355178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59617 13086 16 0 210086 0
vsize: 840408
[startup+1020.05 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 95171 61 0 0 25 0 11 0 836226197 860577792 59617 4294967295 134512640 134569956 3221224384 3221213896 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59617 13086 16 0 210086 0
vsize: 840408
[startup+1030.05 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 96156 61 0 0 25 0 11 0 836226197 860577792 59674 4294967295 134512640 134569956 3221224384 3221213640 1131355161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59674 13086 16 0 210086 0
vsize: 840408
[startup+1040.05 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 97140 62 0 0 25 0 11 0 836226197 860577792 59732 4294967295 134512640 134569956 3221224384 3221214260 1131354128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59732 13086 16 0 210086 0
vsize: 840408
[startup+1050.05 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 98126 62 0 0 25 0 11 0 836226197 860577792 59732 4294967295 134512640 134569956 3221224384 3221214460 1131355148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59732 13086 16 0 210086 0
vsize: 840408
[startup+1060.05 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 99125 63 0 0 25 0 11 0 836226197 860577792 59732 4294967295 134512640 134569956 3221224384 3221214312 1131355408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59732 13086 16 0 210086 0
vsize: 840408
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 100109 63 0 0 25 0 11 0 836226197 860577792 59827 4294967295 134512640 134569956 3221224384 3221213504 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59827 13086 16 0 210086 0
vsize: 840408
[startup+1080.05 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 101094 63 0 0 25 0 11 0 836226197 860577792 59857 4294967295 134512640 134569956 3221224384 3221214784 1131449677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59857 13086 16 0 210086 0
vsize: 840408
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 102065 64 0 0 25 0 11 0 836226197 860577792 59953 4294967295 134512640 134569956 3221224384 3221213872 1131354068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 59953 13086 16 0 210086 0
vsize: 840408
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 103065 64 0 0 25 0 11 0 836226197 860577792 59953 4294967295 134512640 134569956 3221224384 3221213692 1131355364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59953 13086 16 0 210086 0
vsize: 840408
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 104050 64 0 0 25 0 11 0 836226197 860577792 59953 4294967295 134512640 134569956 3221224384 3221214552 1131369422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 59953 13086 16 0 210086 0
vsize: 840408
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 105035 64 0 0 25 0 11 0 836226197 860577792 60013 4294967295 134512640 134569956 3221224384 3221214656 1131658514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60013 13086 16 0 210086 0
vsize: 840408
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 106019 64 0 0 25 0 11 0 836226197 860577792 60086 4294967295 134512640 134569956 3221224384 3221214304 1131355400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60086 13086 16 0 210086 0
vsize: 840408
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 107019 65 0 0 25 0 11 0 836226197 860577792 60086 4294967295 134512640 134569956 3221224384 3221213976 1131355388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60086 13086 16 0 210086 0
vsize: 840408
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 108004 65 0 0 25 0 11 0 836226197 860577792 60136 4294967295 134512640 134569956 3221224384 3221213568 1131354104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60136 13086 16 0 210086 0
vsize: 840408
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 108989 65 0 0 25 0 11 0 836226197 860577792 60200 4294967295 134512640 134569956 3221224384 3221213976 1131355375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60200 13086 16 0 210086 0
vsize: 840408
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 109974 65 0 0 25 0 11 0 836226197 860577792 60247 4294967295 134512640 134569956 3221224384 3221213760 1131354129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60247 13086 16 0 210086 0
vsize: 840408
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 110961 65 0 0 25 0 11 0 836226197 860577792 60289 4294967295 134512640 134569956 3221224384 3221214312 1131355241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60289 13086 16 0 210086 0
vsize: 840408
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 111945 65 0 0 25 0 11 0 836226197 860577792 60335 4294967295 134512640 134569956 3221224384 3221214312 1131355375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60335 13086 16 0 210086 0
vsize: 840408
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 112945 65 0 0 25 0 11 0 836226197 860577792 60335 4294967295 134512640 134569956 3221224384 3221213760 1131354142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60335 13086 16 0 210086 0
vsize: 840408
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 113931 65 0 0 25 0 11 0 836226197 860577792 60335 4294967295 134512640 134569956 3221224384 3221213776 1131702144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60335 13086 16 0 210086 0
vsize: 840408
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 114915 66 0 0 25 0 11 0 836226197 860577792 60426 4294967295 134512640 134569956 3221224384 3221214760 1131258440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60426 13086 16 0 210086 0
vsize: 840408
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 115901 66 0 0 25 0 11 0 836226197 860577792 60481 4294967295 134512640 134569956 3221224384 3221214144 1131355173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60481 13086 16 0 210086 0
vsize: 840408
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 116901 66 0 0 25 0 11 0 836226197 860577792 60481 4294967295 134512640 134569956 3221224384 3221213364 1131354128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60481 13086 16 0 210086 0
vsize: 840408
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 117886 66 0 0 25 0 11 0 836226197 860577792 60481 4294967295 134512640 134569956 3221224384 3221213360 1131355367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60481 13086 16 0 210086 0
vsize: 840408
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 118886 66 0 0 25 0 11 0 836226197 860577792 60481 4294967295 134512640 134569956 3221224384 3221214552 1076614593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60481 13086 16 0 210086 0
vsize: 840408
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 119872 66 0 0 25 0 11 0 836226197 860577792 60528 4294967295 134512640 134569956 3221224384 3221213288 1131698992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210102 60528 13086 16 0 210086 0
vsize: 840408
[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 32393
Raw data (stat): 32383 (java) R 32382 23310 23309 0 -1 0 18087 0 1 0 120871 66 0 0 25 0 11 0 836226197 860577792 60528 4294967295 134512640 134569956 3221224384 3221214552 1131368450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 60528 13086 16 0 210086 0
vsize: 840408
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.21 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 32395
Raw data (stat): 32383 (java) Z 32382 23310 23309 0 -1 1036 18087 45601 1 0 120875 66 7571 96 25 0 1 0 836226197 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): 1280.21
CPU time (s): 1286.1
CPU user time (s): 1284.47
CPU system time (s): 1.63375
CPU usage (%): 100.461
Max. virtual memory (Kb): 840560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####