PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb
MD5SUM	40130e6166f7a0beafce467effb99573
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	214
Optimality of the best value was proved	NO
Number of terms in the objective function	39
Biggest coefficient in the objective function	20
Number of bits for the biggest coefficient in the objective function	5
Sum of the numbers in the objective function	337
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1536
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	17129
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	146.223
Number of variables	109859
Total number of constraints	28136
Number of constraints which are clauses	12
Number of constraints which are cardinality constraints (but not clauses)	1994
Number of constraints which are nor clauses,nor cardinality constraints	26130
Minimum length of a constraint	1
Maximum length of a constraint	223
Trace number 29983

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        343892 kB
Buffers:         32888 kB
Cached:         634012 kB
SwapCached:        656 kB
Active:         122320 kB
Inactive:       547224 kB
HighTotal:      131008 kB
HighFree:         8540 kB
LowTotal:       903652 kB
LowFree:        335352 kB
SwapTotal:     2097892 kB
SwapFree:      2096876 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6004 kB
Slab:            15396 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:48:38 (client local time) WITH STATUS 143 IN 1313.89 SECONDS
stats: 21383 7 1313.89 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/wulflinc26/normalized-mps-v2-13-7-net12.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.192
#### 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.84 0.95 0.98 2/54 4669
Raw data (stat): 4669 (runsolver) R 4668 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839237103 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 s]
Raw data (loadavg): 0.87 0.95 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18049 0 1 0 869 39 0 0 25 0 10 0 839237103 854310912 19464 4294967295 134512640 134569956 3221224368 3221214492 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208572 19464 13086 16 0 208556 0
vsize: 834288
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.95 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18049 0 1 0 1761 40 0 0 25 0 10 0 839237103 854798336 20086 4294967295 134512640 134569956 3221224368 3221214460 1130917173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208691 20086 13086 16 0 208675 0
vsize: 834764
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 2640 40 0 0 25 0 10 0 839237103 854609920 20611 4294967295 134512640 134569956 3221224368 3221214696 1131224001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208645 20611 13086 16 0 208629 0
vsize: 834580
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 3552 40 0 0 25 0 10 0 839237103 854380544 20855 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208589 20855 13086 16 0 208573 0
vsize: 834356
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 4468 41 0 0 21 0 10 0 839237103 854380544 21045 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208589 21045 13086 16 0 208573 0
vsize: 834356
[startup+60.0102 s]
Raw data (loadavg): 0.94 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 5385 42 0 0 25 0 10 0 839237103 855109632 21347 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 21347 13086 16 0 208751 0
vsize: 835068
[startup+70.0119 s]
Raw data (loadavg): 0.95 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 6311 42 0 0 25 0 10 0 839237103 854708224 21495 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21495 13086 16 0 208653 0
vsize: 834676
[startup+80.012 s]
Raw data (loadavg): 0.96 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 7249 42 0 0 25 0 10 0 839237103 854708224 21609 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21609 13086 16 0 208653 0
vsize: 834676
[startup+90.0132 s]
Raw data (loadavg): 0.96 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 8189 42 0 0 25 0 10 0 839237103 854708224 21711 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21711 13086 16 0 208653 0
vsize: 834676
[startup+100.014 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 9129 42 0 0 25 0 10 0 839237103 854708224 21804 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21804 13086 16 0 208653 0
vsize: 834676
[startup+110.014 s]
Raw data (loadavg): 0.97 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 10067 43 0 0 24 0 10 0 839237103 854708224 21899 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21899 13086 16 0 208653 0
vsize: 834676
[startup+120.016 s]
Raw data (loadavg): 0.98 0.96 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 11009 43 0 0 25 0 10 0 839237103 854708224 21981 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 21981 13086 16 0 208653 0
vsize: 834676
[startup+130.016 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 11952 43 0 0 25 0 10 0 839237103 854708224 22060 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22060 13086 16 0 208653 0
vsize: 834676
[startup+140.016 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 12892 43 0 0 24 0 10 0 839237103 854708224 22139 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22139 13086 16 0 208653 0
vsize: 834676
[startup+150.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 13834 43 0 0 25 0 10 0 839237103 854708224 22210 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22210 13086 16 0 208653 0
vsize: 834676
[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 14777 43 0 0 25 0 10 0 839237103 854708224 22279 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22279 13086 16 0 208653 0
vsize: 834676
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 15718 43 0 0 25 0 10 0 839237103 854708224 22347 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22347 13086 16 0 208653 0
vsize: 834676
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 16643 44 0 0 24 0 10 0 839237103 854708224 22414 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22414 13086 16 0 208653 0
vsize: 834676
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 17567 44 0 0 25 0 10 0 839237103 854708224 22475 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22475 13086 16 0 208653 0
vsize: 834676
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 18503 45 0 0 25 0 10 0 839237103 854708224 22695 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22695 13086 16 0 208653 0
vsize: 834676
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 19439 45 0 0 25 0 10 0 839237103 854708224 22754 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22754 13086 16 0 208653 0
vsize: 834676
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 20376 46 0 0 25 0 10 0 839237103 854708224 22814 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22814 13086 16 0 208653 0
vsize: 834676
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 21314 46 0 0 25 0 10 0 839237103 854708224 22876 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 22876 13086 16 0 208653 0
vsize: 834676
[startup+240.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 22249 46 0 0 24 0 10 0 839237103 854708224 22933 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22933 13086 16 0 208653 0
vsize: 834676
[startup+250.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 23187 47 0 0 25 0 10 0 839237103 854708224 22985 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 22985 13086 16 0 208653 0
vsize: 834676
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 24126 47 0 0 25 0 10 0 839237103 854708224 23037 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23037 13086 16 0 208653 0
vsize: 834676
[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 25065 47 0 0 25 0 10 0 839237103 854708224 23087 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23087 13086 16 0 208653 0
vsize: 834676
[startup+280.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 26004 47 0 0 25 0 10 0 839237103 854708224 23136 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23136 13086 16 0 208653 0
vsize: 834676
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 26938 47 0 0 24 0 10 0 839237103 854708224 23188 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23188 13086 16 0 208653 0
vsize: 834676
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 27875 47 0 0 25 0 10 0 839237103 854708224 23235 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23235 13086 16 0 208653 0
vsize: 834676
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 28812 47 0 0 25 0 10 0 839237103 854708224 23281 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23281 13086 16 0 208653 0
vsize: 834676
[startup+320.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 29749 47 0 0 25 0 10 0 839237103 854708224 23327 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23327 13086 16 0 208653 0
vsize: 834676
[startup+330.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 30685 47 0 0 25 0 10 0 839237103 854708224 23373 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23373 13086 16 0 208653 0
vsize: 834676
[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 31621 48 0 0 25 0 10 0 839237103 854708224 23418 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23418 13086 16 0 208653 0
vsize: 834676
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 32553 48 0 0 24 0 10 0 839237103 854708224 23464 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23464 13086 16 0 208653 0
vsize: 834676
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 33488 48 0 0 24 0 10 0 839237103 854708224 23507 4294967295 134512640 134569956 3221224368 3221214048 1077559891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23507 13086 16 0 208653 0
vsize: 834676
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 34422 48 0 0 25 0 10 0 839237103 854708224 23549 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23549 13086 16 0 208653 0
vsize: 834676
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 35357 48 0 0 25 0 10 0 839237103 854708224 23591 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23591 13086 16 0 208653 0
vsize: 834676
[startup+390.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 36291 48 0 0 25 0 10 0 839237103 854708224 23632 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23632 13086 16 0 208653 0
vsize: 834676
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 37224 49 0 0 25 0 10 0 839237103 854708224 23672 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23672 13086 16 0 208653 0
vsize: 834676
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 38157 49 0 0 25 0 10 0 839237103 854708224 23712 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23712 13086 16 0 208653 0
vsize: 834676
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 39091 49 0 0 25 0 10 0 839237103 854708224 23752 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23752 13086 16 0 208653 0
vsize: 834676
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 40023 49 0 0 25 0 10 0 839237103 854708224 23791 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23791 13086 16 0 208653 0
vsize: 834676
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 40955 49 0 0 25 0 10 0 839237103 854708224 23829 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23829 13086 16 0 208653 0
vsize: 834676
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 41886 49 0 0 25 0 10 0 839237103 854708224 23867 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23867 13086 16 0 208653 0
vsize: 834676
[startup+460.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 42818 50 0 0 25 0 10 0 839237103 854708224 23906 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23906 13086 16 0 208653 0
vsize: 834676
[startup+470.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 43749 50 0 0 25 0 10 0 839237103 854708224 23943 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23943 13086 16 0 208653 0
vsize: 834676
[startup+480.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 44680 50 0 0 25 0 10 0 839237103 854708224 23980 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 23980 13086 16 0 208653 0
vsize: 834676
[startup+490.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 45611 50 0 0 25 0 10 0 839237103 854708224 24016 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24016 13086 16 0 208653 0
vsize: 834676
[startup+500.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 46540 50 0 0 25 0 10 0 839237103 854708224 24052 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24052 13086 16 0 208653 0
vsize: 834676
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 47469 51 0 0 25 0 10 0 839237103 854708224 24088 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24088 13086 16 0 208653 0
vsize: 834676
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 48396 51 0 0 25 0 10 0 839237103 854708224 24123 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24123 13086 16 0 208653 0
vsize: 834676
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 49322 52 0 0 25 0 10 0 839237103 854708224 24159 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24159 13086 16 0 208653 0
vsize: 834676
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 50247 52 0 0 25 0 10 0 839237103 854708224 24193 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24193 13086 16 0 208653 0
vsize: 834676
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 51171 52 0 0 24 0 10 0 839237103 854708224 24229 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24229 13086 16 0 208653 0
vsize: 834676
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 52097 53 0 0 24 0 10 0 839237103 854708224 24263 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24263 13086 16 0 208653 0
vsize: 834676
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 53022 53 0 0 24 0 10 0 839237103 854708224 24296 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24296 13086 16 0 208653 0
vsize: 834676
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 53947 53 0 0 24 0 10 0 839237103 854708224 24330 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24330 13086 16 0 208653 0
vsize: 834676
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 54873 54 0 0 24 0 10 0 839237103 854708224 24363 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24363 13086 16 0 208653 0
vsize: 834676
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 55798 54 0 0 24 0 10 0 839237103 854708224 24395 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24395 13086 16 0 208653 0
vsize: 834676
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 56722 54 0 0 25 0 10 0 839237103 854708224 24427 4294967295 134512640 134569956 3221224368 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24427 13086 16 0 208653 0
vsize: 834676
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 57647 54 0 0 25 0 10 0 839237103 854708224 24459 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24459 13086 16 0 208653 0
vsize: 834676
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 58572 55 0 0 25 0 10 0 839237103 854708224 24491 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 24491 13086 16 0 208653 0
vsize: 834676
[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 59496 55 0 0 25 0 10 0 839237103 854708224 24522 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24522 13086 16 0 208653 0
vsize: 834676
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 60418 56 0 0 25 0 10 0 839237103 854708224 24554 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24554 13086 16 0 208653 0
vsize: 834676
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 61341 56 0 0 25 0 10 0 839237103 854708224 24585 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24585 13086 16 0 208653 0
vsize: 834676
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 62263 57 0 0 25 0 10 0 839237103 854708224 24616 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 24616 13086 16 0 208653 0
vsize: 834676
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 63182 57 0 0 25 0 10 0 839237103 854708224 25147 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25147 13086 16 0 208653 0
vsize: 834676
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 64105 57 0 0 25 0 10 0 839237103 854708224 25147 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25147 13086 16 0 208653 0
vsize: 834676
[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 65019 58 0 0 25 0 10 0 839237103 854708224 25160 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25160 13086 16 0 208653 0
vsize: 834676
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 65931 58 0 0 25 0 10 0 839237103 854708224 25188 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25188 13086 16 0 208653 0
vsize: 834676
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 66846 59 0 0 25 0 10 0 839237103 854708224 25218 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25218 13086 16 0 208653 0
vsize: 834676
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 67758 59 0 0 25 0 10 0 839237103 854708224 25247 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25247 13086 16 0 208653 0
vsize: 834676
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 68670 59 0 0 25 0 10 0 839237103 854708224 25277 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25277 13086 16 0 208653 0
vsize: 834676
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 69586 60 0 0 25 0 10 0 839237103 854708224 25304 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25304 13086 16 0 208653 0
vsize: 834676
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 70497 60 0 0 25 0 10 0 839237103 854708224 25333 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25333 13086 16 0 208653 0
vsize: 834676
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 71407 60 0 0 25 0 10 0 839237103 854708224 25362 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25362 13086 16 0 208653 0
vsize: 834676
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 72318 61 0 0 24 0 10 0 839237103 854708224 25390 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25390 13086 16 0 208653 0
vsize: 834676
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 73233 61 0 0 25 0 10 0 839237103 854708224 25417 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25417 13086 16 0 208653 0
vsize: 834676
[startup+800.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 74140 61 0 0 25 0 10 0 839237103 854708224 25445 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25445 13086 16 0 208653 0
vsize: 834676
[startup+810.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 75048 62 0 0 25 0 10 0 839237103 854708224 25473 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25473 13086 16 0 208653 0
vsize: 834676
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 75962 62 0 0 25 0 10 0 839237103 854708224 25511 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25511 13086 16 0 208653 0
vsize: 834676
[startup+830.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 76870 62 0 0 25 0 10 0 839237103 854708224 25539 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25539 13086 16 0 208653 0
vsize: 834676
[startup+840.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 77778 63 0 0 24 0 10 0 839237103 854708224 25567 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25567 13086 16 0 208653 0
vsize: 834676
[startup+850.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 78691 63 0 0 25 0 10 0 839237103 854708224 25593 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25593 13086 16 0 208653 0
vsize: 834676
[startup+860.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 79599 64 0 0 25 0 10 0 839237103 854708224 25620 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25620 13086 16 0 208653 0
vsize: 834676
[startup+870.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 80506 64 0 0 24 0 10 0 839237103 854708224 25647 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25647 13086 16 0 208653 0
vsize: 834676
[startup+880.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 81419 65 0 0 25 0 10 0 839237103 854708224 25672 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25672 13086 16 0 208653 0
vsize: 834676
[startup+890.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 82326 65 0 0 25 0 10 0 839237103 854708224 25699 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25699 13086 16 0 208653 0
vsize: 834676
[startup+900.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 83238 65 0 0 24 0 10 0 839237103 854708224 25724 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25724 13086 16 0 208653 0
vsize: 834676
[startup+910.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 84144 66 0 0 22 0 10 0 839237103 854708224 25750 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25750 13086 16 0 208653 0
vsize: 834676
[startup+920.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 85048 66 0 0 19 0 10 0 839237103 854708224 25776 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25776 13086 16 0 208653 0
vsize: 834676
[startup+930.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 85959 67 0 0 23 0 10 0 839237103 854708224 25801 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25801 13086 16 0 208653 0
vsize: 834676
[startup+940.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 86864 67 0 0 21 0 10 0 839237103 854708224 25827 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25827 13086 16 0 208653 0
vsize: 834676
[startup+950.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 87774 68 0 0 24 0 10 0 839237103 854708224 25851 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25851 13086 16 0 208653 0
vsize: 834676
[startup+960.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 88679 68 0 0 21 0 10 0 839237103 854708224 25877 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25877 13086 16 0 208653 0
vsize: 834676
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 89584 68 0 0 19 0 10 0 839237103 854708224 25902 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25902 13086 16 0 208653 0
vsize: 834676
[startup+980.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 90492 69 0 0 22 0 10 0 839237103 854708224 25926 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25926 13086 16 0 208653 0
vsize: 834676
[startup+990.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 91395 69 0 0 19 0 10 0 839237103 854708224 25951 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25951 13086 16 0 208653 0
vsize: 834676
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 92304 70 0 0 22 0 10 0 839237103 854708224 25975 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 25975 13086 16 0 208653 0
vsize: 834676
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 93208 70 0 0 20 0 10 0 839237103 854708224 26000 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26000 13086 16 0 208653 0
vsize: 834676
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 94117 71 0 0 23 0 10 0 839237103 854708224 26023 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26023 13086 16 0 208653 0
vsize: 834676
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 95019 71 0 0 20 0 10 0 839237103 854708224 26048 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26048 13086 16 0 208653 0
vsize: 834676
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 95927 71 0 0 23 0 10 0 839237103 854708224 26072 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26072 13086 16 0 208653 0
vsize: 834676
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 96829 72 0 0 20 0 10 0 839237103 854708224 26097 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26097 13086 16 0 208653 0
vsize: 834676
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 97736 72 0 0 23 0 10 0 839237103 854708224 26120 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26120 13086 16 0 208653 0
vsize: 834676
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 98637 72 0 0 21 0 10 0 839237103 854708224 26144 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26144 13086 16 0 208653 0
vsize: 834676
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 99544 73 0 0 23 0 10 0 839237103 854708224 26170 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26170 13086 16 0 208653 0
vsize: 834676
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 100443 73 0 0 20 0 10 0 839237103 854708224 26198 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26198 13086 16 0 208653 0
vsize: 834676
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 101348 73 0 0 23 0 10 0 839237103 854708224 26222 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26222 13086 16 0 208653 0
vsize: 834676
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 102248 73 0 0 20 0 10 0 839237103 854708224 26248 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26248 13086 16 0 208653 0
vsize: 834676
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 103155 74 0 0 23 0 10 0 839237103 854708224 26271 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26271 13086 16 0 208653 0
vsize: 834676
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 104055 74 0 0 19 0 10 0 839237103 854708224 26303 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26303 13086 16 0 208653 0
vsize: 834676
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 104960 75 0 0 22 0 10 0 839237103 854708224 26328 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26328 13086 16 0 208653 0
vsize: 834676
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 105860 75 0 0 18 0 10 0 839237103 854708224 26354 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26354 13086 16 0 208653 0
vsize: 834676
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 106765 75 0 0 22 0 10 0 839237103 854708224 26376 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26376 13086 16 0 208653 0
vsize: 834676
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 107663 75 0 0 19 0 10 0 839237103 854708224 26408 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26408 13086 16 0 208653 0
vsize: 834676
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 108568 76 0 0 21 0 10 0 839237103 854708224 26433 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26433 13086 16 0 208653 0
vsize: 834676
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 109472 76 0 0 24 0 10 0 839237103 854708224 26455 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26455 13086 16 0 208653 0
vsize: 834676
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 110371 77 0 0 21 0 10 0 839237103 854708224 26482 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26482 13086 16 0 208653 0
vsize: 834676
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 111275 77 0 0 22 0 10 0 839237103 854708224 26506 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26506 13086 16 0 208653 0
vsize: 834676
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 112170 78 0 0 18 0 10 0 839237103 854708224 26535 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26535 13086 16 0 208653 0
vsize: 834676
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 113072 78 0 0 21 0 10 0 839237103 854708224 26560 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26560 13086 16 0 208653 0
vsize: 834676
[startup+1240.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 113970 78 0 0 24 0 10 0 839237103 854708224 26582 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26582 13086 16 0 208653 0
vsize: 834676
[startup+1250.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 114871 79 0 0 20 0 10 0 839237103 854708224 26610 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26610 13086 16 0 208653 0
vsize: 834676
[startup+1260.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 115774 79 0 0 23 0 10 0 839237103 854708224 26634 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26634 13086 16 0 208653 0
vsize: 834676
[startup+1270.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 116671 79 0 0 19 0 10 0 839237103 854708224 26660 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26660 13086 16 0 208653 0
vsize: 834676
[startup+1280.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 117575 79 0 0 21 0 10 0 839237103 854708224 26688 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26688 13086 16 0 208653 0
vsize: 834676
[startup+1290.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) S 4668 20687 20686 0 -1 0 18050 0 1 0 118475 80 0 0 24 0 10 0 839237103 854708224 26704 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26704 13086 16 0 208653 0
vsize: 834676
[startup+1300.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 119376 80 0 0 20 0 10 0 839237103 854708224 26741 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26741 13086 16 0 208653 0
vsize: 834676
[startup+1310.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 4678
Raw data (stat): 4669 (java) R 4668 20687 20686 0 -1 0 18050 0 1 0 120282 80 0 0 23 0 10 0 839237103 854708224 26753 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 26753 13086 16 0 208653 0
vsize: 834676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 4680
Raw data (stat): 4669 (java) Z 4668 20687 20686 0 -1 1036 18050 9670 1 0 120285 85 10972 44 19 0 1 0 839237103 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.24
CPU time (s): 1313.89
CPU user time (s): 1312.58
CPU system time (s): 1.3058
CPU usage (%): 100.279
Max. virtual memory (Kb): 835068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####