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-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
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	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
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	2
Maximum length of a constraint	3
Trace number 29135

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 05:04:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20539 boxname=wulflinc24 idbench=129 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc24/normalized-f600.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-f600.opb
IDLAUNCH: 20539
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        696044 kB
Buffers:         12516 kB
Cached:         304112 kB
SwapCached:        524 kB
Active:         135924 kB
Inactive:       183084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        695792 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            13928 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:25:01 (client local time) WITH STATUS 143 IN 1218.03 SECONDS
stats: 20539 7 1218.03 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/wulflinc24/normalized-f600.opb
c reading problem ... done. Time 3.189 ms.
c #vars     1200
c #constraints  3150
c starts	: 10
c conflicts	: 10354
c decisions	: 15946
c propagations	: 1731129
c inspects	: 9822151
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 33
c learned clauses	: 10354
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1219.051
#### 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.95 0.96 0.91 2/54 18727
Raw data (stat): 18727 (runsolver) R 18726 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836215081 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.0136 s]
Raw data (loadavg): 1.10 0.99 0.92 2/64 18737
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 772 39 0 0 25 0 11 0 836215081 855953408 20013 4294967295 134512640 134569956 3221224384 3221214712 1131242279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208973 20013 13086 16 0 208957 0
vsize: 835892
[startup+20.0141 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 18737
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 1717 39 0 0 25 0 11 0 836215081 856248320 20812 4294967295 134512640 134569956 3221224384 3221214800 1131287936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 20812 13086 16 0 209029 0
vsize: 836180
[startup+30.0151 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 18737
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 2678 39 0 0 25 0 11 0 836215081 856150016 21290 4294967295 134512640 134569956 3221224384 3221214652 1131380243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209021 21290 13086 16 0 209005 0
vsize: 836084
[startup+40.0149 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 18737
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 3622 39 0 0 25 0 11 0 836215081 855121920 21277 4294967295 134512640 134569956 3221224384 3221214608 1131201400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 21277 13086 16 0 208754 0
vsize: 835080
[startup+50.0161 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 18737
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 4559 39 0 0 25 0 11 0 836215081 855121920 21649 4294967295 134512640 134569956 3221224384 3221214440 1131246084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 21649 13086 16 0 208754 0
vsize: 835080
[startup+60.0157 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 5509 39 0 0 25 0 11 0 836215081 855121920 21986 4294967295 134512640 134569956 3221224384 3221214088 1131261768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 21986 13086 16 0 208754 0
vsize: 835080
[startup+70.016 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 6496 39 0 0 25 0 11 0 836215081 855121920 22066 4294967295 134512640 134569956 3221224384 3221214432 1131261756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22066 13086 16 0 208754 0
vsize: 835080
[startup+80.0162 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18064 0 1 0 7472 40 0 0 25 0 11 0 836215081 855121920 22199 4294967295 134512640 134569956 3221224384 3221214148 1131223945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22199 13086 16 0 208754 0
vsize: 835080
[startup+90.0163 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 8459 40 0 0 25 0 11 0 836215081 855121920 22273 4294967295 134512640 134569956 3221224384 3221214324 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22273 13086 16 0 208754 0
vsize: 835080
[startup+100.017 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 9446 40 0 0 25 0 11 0 836215081 855121920 22350 4294967295 134512640 134569956 3221224384 3221214768 1131171944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22350 13086 16 0 208754 0
vsize: 835080
[startup+110.017 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 10423 40 0 0 25 0 11 0 836215081 855121920 22430 4294967295 134512640 134569956 3221224384 3221214792 1131335419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 22430 13086 16 0 208754 0
vsize: 835080
[startup+120.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 11411 40 0 0 25 0 11 0 836215081 855121920 22503 4294967295 134512640 134569956 3221224384 3221214104 1131345297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 22503 13086 16 0 208754 0
vsize: 835080
[startup+130.018 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 12398 41 0 0 25 0 11 0 836215081 855121920 22578 4294967295 134512640 134569956 3221224384 3221214664 1131369980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 22578 13086 16 0 208754 0
vsize: 835080
[startup+140.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 13374 41 0 0 25 0 11 0 836215081 855121920 22717 4294967295 134512640 134569956 3221224384 3221214752 1131188407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22717 13086 16 0 208754 0
vsize: 835080
[startup+150.018 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 14361 41 0 0 25 0 11 0 836215081 855121920 22783 4294967295 134512640 134569956 3221224384 3221213752 1131261768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22783 13086 16 0 208754 0
vsize: 835080
[startup+160.019 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 15349 41 0 0 25 0 11 0 836215081 855121920 22844 4294967295 134512640 134569956 3221224384 3221214688 1131242336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 22844 13086 16 0 208754 0
vsize: 835080
[startup+170.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 16336 41 0 0 25 0 11 0 836215081 855121920 22924 4294967295 134512640 134569956 3221224384 3221213960 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 22924 13086 16 0 208754 0
vsize: 835080
[startup+180.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 17324 41 0 0 25 0 11 0 836215081 855121920 22991 4294967295 134512640 134569956 3221224384 3221214320 1131261770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 22991 13086 16 0 208754 0
vsize: 835080
[startup+190.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 18300 41 0 0 25 0 11 0 836215081 855121920 23066 4294967295 134512640 134569956 3221224384 3221214480 1131261768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23066 13086 16 0 208754 0
vsize: 835080
[startup+200.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 19287 41 0 0 25 0 11 0 836215081 855121920 23135 4294967295 134512640 134569956 3221224384 3221214744 1131343311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23135 13086 16 0 208754 0
vsize: 835080
[startup+210.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 20275 41 0 0 25 0 11 0 836215081 855121920 23135 4294967295 134512640 134569956 3221224384 3221214096 1131261541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23135 13086 16 0 208754 0
vsize: 835080
[startup+220.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 21262 42 0 0 25 0 11 0 836215081 855121920 23198 4294967295 134512640 134569956 3221224384 3221214784 1131311993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23198 13086 16 0 208754 0
vsize: 835080
[startup+230.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 22250 42 0 0 25 0 11 0 836215081 855121920 23260 4294967295 134512640 134569956 3221224384 3221214156 1131345296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23260 13086 16 0 208754 0
vsize: 835080
[startup+240.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 23237 42 0 0 25 0 11 0 836215081 855121920 23316 4294967295 134512640 134569956 3221224384 3221213904 1131255300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23316 13086 16 0 208754 0
vsize: 835080
[startup+250.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 24225 42 0 0 25 0 11 0 836215081 855121920 23374 4294967295 134512640 134569956 3221224384 3221213960 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23374 13086 16 0 208754 0
vsize: 835080
[startup+260.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 25213 42 0 0 25 0 11 0 836215081 855121920 23439 4294967295 134512640 134569956 3221224384 3221213904 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23439 13086 16 0 208754 0
vsize: 835080
[startup+270.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 26200 42 0 0 25 0 11 0 836215081 855121920 23563 4294967295 134512640 134569956 3221224384 3221214736 1131466167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23563 13086 16 0 208754 0
vsize: 835080
[startup+280.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 27188 42 0 0 25 0 11 0 836215081 855121920 23563 4294967295 134512640 134569956 3221224384 3221214264 1131261546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23563 13086 16 0 208754 0
vsize: 835080
[startup+290.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 28186 43 0 0 25 0 11 0 836215081 855121920 23563 4294967295 134512640 134569956 3221224384 3221213680 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23563 13086 16 0 208754 0
vsize: 835080
[startup+300.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 29174 43 0 0 25 0 11 0 836215081 855121920 23645 4294967295 134512640 134569956 3221224384 3221214448 1131131233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23645 13086 16 0 208754 0
vsize: 835080
[startup+310.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 30161 43 0 0 25 0 11 0 836215081 855121920 23702 4294967295 134512640 134569956 3221224384 3221214784 1131311993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23702 13086 16 0 208754 0
vsize: 835080
[startup+320.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 31147 43 0 0 25 0 11 0 836215081 855121920 23811 4294967295 134512640 134569956 3221224384 3221213848 1085679391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23811 13086 16 0 208754 0
vsize: 835080
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 32135 43 0 0 25 0 11 0 836215081 855121920 23858 4294967295 134512640 134569956 3221224384 3221213864 1131261762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23858 13086 16 0 208754 0
vsize: 835080
[startup+340.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 33121 44 0 0 25 0 11 0 836215081 855121920 23908 4294967295 134512640 134569956 3221224384 3221213932 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 23908 13086 16 0 208754 0
vsize: 835080
[startup+350.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 34108 44 0 0 25 0 11 0 836215081 855121920 23959 4294967295 134512640 134569956 3221224384 3221214044 1131345291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 23959 13086 16 0 208754 0
vsize: 835080
[startup+360.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 35095 44 0 0 25 0 11 0 836215081 855121920 24017 4294967295 134512640 134569956 3221224384 3221213904 1085679359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24017 13086 16 0 208754 0
vsize: 835080
[startup+370.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 36095 44 0 0 25 0 11 0 836215081 855121920 24017 4294967295 134512640 134569956 3221224384 3221214064 1131255306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24017 13086 16 0 208754 0
vsize: 835080
[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 37083 44 0 0 25 0 11 0 836215081 855121920 24081 4294967295 134512640 134569956 3221224384 3221214760 1131291654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24081 13086 16 0 208754 0
vsize: 835080
[startup+390.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 38071 44 0 0 25 0 11 0 836215081 855121920 24133 4294967295 134512640 134569956 3221224384 3221213688 1131345361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24133 13086 16 0 208754 0
vsize: 835080
[startup+400.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 39058 45 0 0 25 0 11 0 836215081 855121920 24189 4294967295 134512640 134569956 3221224384 3221214024 1131345303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24189 13086 16 0 208754 0
vsize: 835080
[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 40045 45 0 0 25 0 11 0 836215081 855121920 24255 4294967295 134512640 134569956 3221224384 3221213880 1131345297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24255 13086 16 0 208754 0
vsize: 835080
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 41032 45 0 0 25 0 11 0 836215081 855121920 24318 4294967295 134512640 134569956 3221224384 3221213912 1131345272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24318 13086 16 0 208754 0
vsize: 835080
[startup+430.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 42019 45 0 0 25 0 11 0 836215081 855121920 24382 4294967295 134512640 134569956 3221224384 3221213576 1131345133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24382 13086 16 0 208754 0
vsize: 835080
[startup+440.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 43006 46 0 0 25 0 11 0 836215081 855121920 24450 4294967295 134512640 134569956 3221224384 3221213600 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24450 13086 16 0 208754 0
vsize: 835080
[startup+450.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 44006 46 0 0 25 0 11 0 836215081 855121920 24450 4294967295 134512640 134569956 3221224384 3221213572 1131345296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24450 13086 16 0 208754 0
vsize: 835080
[startup+460.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 44993 46 0 0 25 0 11 0 836215081 855121920 24519 4294967295 134512640 134569956 3221224384 3221214488 1131261748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24519 13086 16 0 208754 0
vsize: 835080
[startup+470.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 45981 46 0 0 25 0 11 0 836215081 855121920 24519 4294967295 134512640 134569956 3221224384 3221214268 1131345296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24519 13086 16 0 208754 0
vsize: 835080
[startup+480.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 46968 46 0 0 25 0 11 0 836215081 855121920 24579 4294967295 134512640 134569956 3221224384 3221214088 1131223957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24579 13086 16 0 208754 0
vsize: 835080
[startup+490.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 47955 46 0 0 25 0 11 0 836215081 855121920 24642 4294967295 134512640 134569956 3221224384 3221213820 1131345296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24642 13086 16 0 208754 0
vsize: 835080
[startup+500.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 48942 46 0 0 25 0 11 0 836215081 855121920 24698 4294967295 134512640 134569956 3221224384 3221214016 1085679502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24698 13086 16 0 208754 0
vsize: 835080
[startup+510.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 49929 47 0 0 25 0 11 0 836215081 855121920 24751 4294967295 134512640 134569956 3221224384 3221214136 1131258650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24751 13086 16 0 208754 0
vsize: 835080
[startup+520.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 50916 47 0 0 25 0 11 0 836215081 855121920 24806 4294967295 134512640 134569956 3221224384 3221214736 1131465739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24806 13086 16 0 208754 0
vsize: 835080
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 51903 47 0 0 25 0 11 0 836215081 855121920 24866 4294967295 134512640 134569956 3221224384 3221213872 1131261663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24866 13086 16 0 208754 0
vsize: 835080
[startup+540.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 52890 47 0 0 25 0 11 0 836215081 855121920 24919 4294967295 134512640 134569956 3221224384 3221214376 1131261728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24919 13086 16 0 208754 0
vsize: 835080
[startup+550.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 53877 47 0 0 25 0 11 0 836215081 855121920 24975 4294967295 134512640 134569956 3221224384 3221214040 1131261609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 24975 13086 16 0 208754 0
vsize: 835080
[startup+560.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 54877 47 0 0 25 0 11 0 836215081 855121920 24975 4294967295 134512640 134569956 3221224384 3221213688 1131345346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 24975 13086 16 0 208754 0
vsize: 835080
[startup+570.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 55851 48 0 0 25 0 11 0 836215081 855121920 25102 4294967295 134512640 134569956 3221224384 3221213596 1131345296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25102 13086 16 0 208754 0
vsize: 835080
[startup+580.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 56850 48 0 0 25 0 11 0 836215081 855121920 25102 4294967295 134512640 134569956 3221224384 3221213872 1131261609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25102 13086 16 0 208754 0
vsize: 835080
[startup+590.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 57837 48 0 0 25 0 11 0 836215081 855121920 25163 4294967295 134512640 134569956 3221224384 3221214688 1131242569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25163 13086 16 0 208754 0
vsize: 835080
[startup+600.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 58824 49 0 0 25 0 11 0 836215081 855121920 25216 4294967295 134512640 134569956 3221224384 3221214792 1131287542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25216 13086 16 0 208754 0
vsize: 835080
[startup+610.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 59812 49 0 0 25 0 11 0 836215081 855121920 25266 4294967295 134512640 134569956 3221224384 3221213908 1131345296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25266 13086 16 0 208754 0
vsize: 835080
[startup+620.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 60812 49 0 0 25 0 11 0 836215081 855121920 25266 4294967295 134512640 134569956 3221224384 3221214724 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25266 13086 16 0 208754 0
vsize: 835080
[startup+630.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 61799 49 0 0 25 0 11 0 836215081 855121920 25323 4294967295 134512640 134569956 3221224384 3221213784 1131255312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25323 13086 16 0 208754 0
vsize: 835080
[startup+640.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 62786 49 0 0 25 0 11 0 836215081 855121920 25368 4294967295 134512640 134569956 3221224384 3221214376 1131261549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25368 13086 16 0 208754 0
vsize: 835080
[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 63786 49 0 0 25 0 11 0 836215081 855121920 25368 4294967295 134512640 134569956 3221224384 3221213744 1131345354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25368 13086 16 0 208754 0
vsize: 835080
[startup+660.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 64773 49 0 0 25 0 11 0 836215081 855121920 25413 4294967295 134512640 134569956 3221224384 3221213576 1131345297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25413 13086 16 0 208754 0
vsize: 835080
[startup+670.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 65760 49 0 0 25 0 11 0 836215081 855121920 25470 4294967295 134512640 134569956 3221224384 3221213844 1131255313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25470 13086 16 0 208754 0
vsize: 835080
[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 66759 49 0 0 25 0 11 0 836215081 855121920 25470 4294967295 134512640 134569956 3221224384 3221214696 1131248232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25470 13086 16 0 208754 0
vsize: 835080
[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 67746 49 0 0 25 0 11 0 836215081 855121920 25521 4294967295 134512640 134569956 3221224384 3221214152 1131261756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25521 13086 16 0 208754 0
vsize: 835080
[startup+700.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 68734 49 0 0 25 0 11 0 836215081 855121920 25580 4294967295 134512640 134569956 3221224384 3221214216 1131345272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25580 13086 16 0 208754 0
vsize: 835080
[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 69733 50 0 0 25 0 11 0 836215081 855121920 25580 4294967295 134512640 134569956 3221224384 3221213744 1131345258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25580 13086 16 0 208754 0
vsize: 835080
[startup+720.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 70720 50 0 0 25 0 11 0 836215081 855121920 25691 4294967295 134512640 134569956 3221224384 3221213616 1131255312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25691 13086 16 0 208754 0
vsize: 835080
[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 71719 50 0 0 25 0 11 0 836215081 855121920 25691 4294967295 134512640 134569956 3221224384 3221213564 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25691 13086 16 0 208754 0
vsize: 835080
[startup+740.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 72706 50 0 0 25 0 11 0 836215081 855121920 25748 4294967295 134512640 134569956 3221224384 3221214016 1085679454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25748 13086 16 0 208754 0
vsize: 835080
[startup+750.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 73693 50 0 0 25 0 11 0 836215081 855121920 25804 4294967295 134512640 134569956 3221224384 3221214440 1131345357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25804 13086 16 0 208754 0
vsize: 835080
[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 74693 50 0 0 25 0 11 0 836215081 855121920 25804 4294967295 134512640 134569956 3221224384 3221214312 1131261762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25804 13086 16 0 208754 0
vsize: 835080
[startup+770.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 75679 51 0 0 25 0 11 0 836215081 855121920 25860 4294967295 134512640 134569956 3221224384 3221213688 1131345297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25860 13086 16 0 208754 0
vsize: 835080
[startup+780.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 76667 51 0 0 25 0 11 0 836215081 855121920 25909 4294967295 134512640 134569956 3221224384 3221213624 1131255292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25909 13086 16 0 208754 0
vsize: 835080
[startup+790.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 77666 51 0 0 25 0 11 0 836215081 855121920 25909 4294967295 134512640 134569956 3221224384 3221213568 1131255314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25909 13086 16 0 208754 0
vsize: 835080
[startup+800.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 78653 51 0 0 25 0 11 0 836215081 855121920 25973 4294967295 134512640 134569956 3221224384 3221214228 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 25973 13086 16 0 208754 0
vsize: 835080
[startup+810.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 79653 51 0 0 25 0 11 0 836215081 855121920 25973 4294967295 134512640 134569956 3221224384 3221214104 1131345272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 25973 13086 16 0 208754 0
vsize: 835080
[startup+820.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 80640 51 0 0 25 0 11 0 836215081 855121920 26029 4294967295 134512640 134569956 3221224384 3221214424 1131223957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26029 13086 16 0 208754 0
vsize: 835080
[startup+830.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 81627 51 0 0 25 0 11 0 836215081 855121920 26076 4294967295 134512640 134569956 3221224384 3221213572 1131345296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26076 13086 16 0 208754 0
vsize: 835080
[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 82627 51 0 0 25 0 11 0 836215081 855121920 26076 4294967295 134512640 134569956 3221224384 3221214040 1131261714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26076 13086 16 0 208754 0
vsize: 835080
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 83614 51 0 0 25 0 11 0 836215081 855121920 26138 4294967295 134512640 134569956 3221224384 3221214104 1131345357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26138 13086 16 0 208754 0
vsize: 835080
[startup+860.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 84614 51 0 0 25 0 11 0 836215081 855121920 26138 4294967295 134512640 134569956 3221224384 3221214016 1131255036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26138 13086 16 0 208754 0
vsize: 835080
[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 85601 51 0 0 25 0 11 0 836215081 855121920 26196 4294967295 134512640 134569956 3221224384 3221214104 1131345272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26196 13086 16 0 208754 0
vsize: 835080
[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 86587 51 0 0 25 0 11 0 836215081 855121920 26256 4294967295 134512640 134569956 3221224384 3221214040 1131261728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26256 13086 16 0 208754 0
vsize: 835080
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 87585 52 0 0 25 0 11 0 836215081 855121920 26256 4294967295 134512640 134569956 3221224384 3221214148 1131345382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26256 13086 16 0 208754 0
vsize: 835080
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 88572 53 0 0 25 0 11 0 836215081 855121920 26311 4294967295 134512640 134569956 3221224384 3221213800 1131345357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26311 13086 16 0 208754 0
vsize: 835080
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 89558 53 0 0 25 0 11 0 836215081 855121920 26370 4294967295 134512640 134569956 3221224384 3221214432 1131261546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26370 13086 16 0 208754 0
vsize: 835080
[startup+920.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 90557 54 0 0 25 0 11 0 836215081 855121920 26370 4294967295 134512640 134569956 3221224384 3221213968 1131258582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26370 13086 16 0 208754 0
vsize: 835080
[startup+930.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 91544 54 0 0 25 0 11 0 836215081 855121920 26443 4294967295 134512640 134569956 3221224384 3221214688 1131242569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26443 13086 16 0 208754 0
vsize: 835080
[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 92544 54 0 0 25 0 11 0 836215081 855121920 26443 4294967295 134512640 134569956 3221224384 3221213680 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26443 13086 16 0 208754 0
vsize: 835080
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 93532 55 0 0 25 0 11 0 836215081 855121920 26443 4294967295 134512640 134569956 3221224384 3221214096 1131261728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26443 13086 16 0 208754 0
vsize: 835080
[startup+960.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 94532 55 0 0 25 0 11 0 836215081 855121920 26443 4294967295 134512640 134569956 3221224384 3221214736 1131465863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26443 13086 16 0 208754 0
vsize: 835080
[startup+970.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 95519 55 0 0 25 0 11 0 836215081 855121920 26499 4294967295 134512640 134569956 3221224384 3221214368 1131261759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26499 13086 16 0 208754 0
vsize: 835080
[startup+980.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 96506 55 0 0 25 0 11 0 836215081 855121920 26550 4294967295 134512640 134569956 3221224384 3221213536 1131261735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26550 13086 16 0 208754 0
vsize: 835080
[startup+990.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 97505 55 0 0 25 0 11 0 836215081 855121920 26551 4294967295 134512640 134569956 3221224384 3221213844 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26551 13086 16 0 208754 0
vsize: 835080
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 98492 55 0 0 25 0 11 0 836215081 855121920 26617 4294967295 134512640 134569956 3221224384 3221214688 1131242021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26617 13086 16 0 208754 0
vsize: 835080
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 99492 55 0 0 25 0 11 0 836215081 855121920 26617 4294967295 134512640 134569956 3221224384 3221214688 1131242417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26617 13086 16 0 208754 0
vsize: 835080
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 100479 55 0 0 25 0 11 0 836215081 855121920 26617 4294967295 134512640 134569956 3221224384 3221213744 1131258679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26617 13086 16 0 208754 0
vsize: 835080
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 101465 56 0 0 25 0 11 0 836215081 855121920 26671 4294967295 134512640 134569956 3221224384 3221213756 1131345120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26671 13086 16 0 208754 0
vsize: 835080
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 102464 56 0 0 25 0 11 0 836215081 855121920 26671 4294967295 134512640 134569956 3221224384 3221213792 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26671 13086 16 0 208754 0
vsize: 835080
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 103451 56 0 0 25 0 11 0 836215081 855121920 26731 4294967295 134512640 134569956 3221224384 3221213968 1131258494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26731 13086 16 0 208754 0
vsize: 835080
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 104451 56 0 0 25 0 11 0 836215081 855121920 26731 4294967295 134512640 134569956 3221224384 3221214160 1131345272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26731 13086 16 0 208754 0
vsize: 835080
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 105437 56 0 0 25 0 11 0 836215081 855121920 26793 4294967295 134512640 134569956 3221224384 3221213904 1131255018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26793 13086 16 0 208754 0
vsize: 835080
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 106424 56 0 0 25 0 11 0 836215081 855121920 26855 4294967295 134512640 134569956 3221224384 3221214376 1131261743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26855 13086 16 0 208754 0
vsize: 835080
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 107423 56 0 0 25 0 11 0 836215081 855121920 26855 4294967295 134512640 134569956 3221224384 3221214716 1131414051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26855 13086 16 0 208754 0
vsize: 835080
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 108410 57 0 0 25 0 11 0 836215081 855121920 26855 4294967295 134512640 134569956 3221224384 3221214688 1131242863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26855 13086 16 0 208754 0
vsize: 835080
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 109397 57 0 0 25 0 11 0 836215081 855121920 26910 4294967295 134512640 134569956 3221224384 3221214048 1131345297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26910 13086 16 0 208754 0
vsize: 835080
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 110396 57 0 0 25 0 11 0 836215081 855121920 26910 4294967295 134512640 134569956 3221224384 3221213764 1131345240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 26910 13086 16 0 208754 0
vsize: 835080
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 111382 58 0 0 25 0 11 0 836215081 855121920 26957 4294967295 134512640 134569956 3221224384 3221214688 1131242191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26957 13086 16 0 208754 0
vsize: 835080
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 112381 58 0 0 25 0 11 0 836215081 855121920 26957 4294967295 134512640 134569956 3221224384 3221214200 1131223957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 26957 13086 16 0 208754 0
vsize: 835080
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 113367 58 0 0 25 0 11 0 836215081 855121920 27008 4294967295 134512640 134569956 3221224384 3221213624 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 27008 13086 16 0 208754 0
vsize: 835080
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 114367 58 0 0 25 0 11 0 836215081 855121920 27008 4294967295 134512640 134569956 3221224384 3221214080 1131258614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 27008 13086 16 0 208754 0
vsize: 835080
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 115354 58 0 0 25 0 11 0 836215081 855121920 27063 4294967295 134512640 134569956 3221224384 3221214380 1131345296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 27063 13086 16 0 208754 0
vsize: 835080
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 116341 58 0 0 25 0 11 0 836215081 855121920 27105 4294967295 134512640 134569956 3221224384 3221213852 1131345296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 27105 13086 16 0 208754 0
vsize: 835080
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 117328 58 0 0 24 0 11 0 836215081 855121920 27156 4294967295 134512640 134569956 3221224384 3221213372 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 27156 13086 16 0 208754 0
vsize: 835080
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 118327 59 0 0 25 0 11 0 836215081 855121920 27156 4294967295 134512640 134569956 3221224384 3221214720 1131322388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 27156 13086 16 0 208754 0
vsize: 835080
[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 119314 59 0 0 25 0 11 0 836215081 855121920 27202 4294967295 134512640 134569956 3221224384 3221213852 1131345296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 27202 13086 16 0 208754 0
vsize: 835080
[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 18739
Raw data (stat): 18727 (java) R 18726 4613 4612 0 -1 0 18065 0 1 0 120314 59 0 0 25 0 11 0 836215081 855121920 27202 4294967295 134512640 134569956 3221224384 3221213400 1131255272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 27202 13086 16 0 208754 0
vsize: 835080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 18741
Raw data (stat): 18727 (java) Z 18726 4613 4612 0 -1 1036 18065 8563 1 0 120315 59 1407 21 25 0 1 0 836215081 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): 1220.12
CPU time (s): 1218.03
CPU user time (s): 1217.22
CPU system time (s): 0.802877
CPU usage (%): 99.8285
Max. virtual memory (Kb): 836180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####