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-van.opb
MD5SUM	c873046761311ae6438733dc6285180e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	28349428224
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	319999999936
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	93.0229
Number of variables	98496
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	361
Trace number 30007

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 13:42:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21406 boxname=wulflinc28 idbench=1394 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c873046761311ae6438733dc6285180e  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-van.opb
IDLAUNCH: 21406
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        464248 kB
Buffers:         31544 kB
Cached:         516776 kB
SwapCached:       1052 kB
Active:         125932 kB
Inactive:       424928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        463996 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13912 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:04:07 (client local time) WITH STATUS 143 IN 1313.46 SECONDS
stats: 21406 7 1313.46 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/wulflinc28/normalized-mps-v2-13-7-van.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.153
#### 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.92 0.98 0.99 2/54 5878
Raw data (stat): 5878 (runsolver) R 5877 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839329734 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0039 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18035 0 1 0 853 41 0 0 25 0 10 0 839329734 853798912 19431 4294967295 134512640 134569956 3221224368 3221213608 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 19431 13086 16 0 208431 0
vsize: 833788
[startup+20.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 1750 41 0 0 25 0 10 0 839329734 853733376 19961 4294967295 134512640 134569956 3221224368 3221214576 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 19961 13086 16 0 208415 0
vsize: 833724
[startup+30.0044 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 2634 41 0 0 25 0 10 0 839329734 853798912 20525 4294967295 134512640 134569956 3221224368 3221214336 1079276206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 20525 13086 16 0 208431 0
vsize: 833788
[startup+40.0043 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 3543 41 0 0 25 0 10 0 839329734 853962752 20875 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 20875 13086 16 0 208471 0
vsize: 833948
[startup+50.0053 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 4465 41 0 0 25 0 10 0 839329734 853733376 21010 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21010 13086 16 0 208415 0
vsize: 833724
[startup+60.0055 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 5378 42 0 0 25 0 10 0 839329734 853733376 21169 4294967295 134512640 134569956 3221224368 3221214776 1131302215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21169 13086 16 0 208415 0
vsize: 833724
[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 6304 42 0 0 25 0 10 0 839329734 853733376 21379 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21379 13086 16 0 208415 0
vsize: 833724
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 7240 42 0 0 25 0 10 0 839329734 853733376 21496 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 21496 13086 16 0 208415 0
vsize: 833724
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 8175 42 0 0 25 0 10 0 839329734 853733376 21606 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21606 13086 16 0 208415 0
vsize: 833724
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 9114 42 0 0 25 0 10 0 839329734 853733376 21703 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21703 13086 16 0 208415 0
vsize: 833724
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 10055 42 0 0 25 0 10 0 839329734 853733376 21793 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21793 13086 16 0 208415 0
vsize: 833724
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 10993 42 0 0 25 0 10 0 839329734 853733376 21883 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21883 13086 16 0 208415 0
vsize: 833724
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 11935 42 0 0 25 0 10 0 839329734 853733376 21963 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21963 13086 16 0 208415 0
vsize: 833724
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 12874 42 0 0 24 0 10 0 839329734 853733376 22044 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22044 13086 16 0 208415 0
vsize: 833724
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 13816 42 0 0 25 0 10 0 839329734 853733376 22117 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22117 13086 16 0 208415 0
vsize: 833724
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 14755 42 0 0 25 0 10 0 839329734 853733376 22191 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22191 13086 16 0 208415 0
vsize: 833724
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18035 0 1 0 15698 42 0 0 25 0 10 0 839329734 853733376 22259 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22259 13086 16 0 208415 0
vsize: 833724
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 16623 43 0 0 25 0 10 0 839329734 853733376 22326 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22326 13086 16 0 208415 0
vsize: 833724
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 17544 43 0 0 25 0 10 0 839329734 853733376 22392 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22392 13086 16 0 208415 0
vsize: 833724
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 18481 43 0 0 25 0 10 0 839329734 853733376 22619 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22619 13086 16 0 208415 0
vsize: 833724
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 19417 43 0 0 25 0 10 0 839329734 853733376 22682 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22682 13086 16 0 208415 0
vsize: 833724
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 20357 43 0 0 25 0 10 0 839329734 853733376 22740 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22740 13086 16 0 208415 0
vsize: 833724
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 21292 43 0 0 25 0 10 0 839329734 853733376 22800 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22800 13086 16 0 208415 0
vsize: 833724
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 22231 43 0 0 25 0 10 0 839329734 853733376 22854 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22854 13086 16 0 208415 0
vsize: 833724
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 23166 44 0 0 25 0 10 0 839329734 853733376 22911 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22911 13086 16 0 208415 0
vsize: 833724
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 24101 44 0 0 24 0 10 0 839329734 853733376 22967 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22967 13086 16 0 208415 0
vsize: 833724
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 25039 44 0 0 25 0 10 0 839329734 853733376 23018 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23018 13086 16 0 208415 0
vsize: 833724
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 25973 44 0 0 24 0 10 0 839329734 853733376 23071 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23071 13086 16 0 208415 0
vsize: 833724
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 26911 44 0 0 25 0 10 0 839329734 853733376 23120 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23120 13086 16 0 208415 0
vsize: 833724
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 27844 44 0 0 24 0 10 0 839329734 853733376 23171 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23171 13086 16 0 208415 0
vsize: 833724
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 28780 44 0 0 25 0 10 0 839329734 853733376 23218 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23218 13086 16 0 208415 0
vsize: 833724
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 29717 44 0 0 25 0 10 0 839329734 853733376 23266 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23266 13086 16 0 208415 0
vsize: 833724
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 30649 44 0 0 25 0 10 0 839329734 853733376 23314 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23314 13086 16 0 208415 0
vsize: 833724
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 31584 44 0 0 25 0 10 0 839329734 853733376 23359 4294967295 134512640 134569956 3221224368 3221214300 1079300776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23359 13086 16 0 208415 0
vsize: 833724
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 32516 44 0 0 25 0 10 0 839329734 853733376 23406 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23406 13086 16 0 208415 0
vsize: 833724
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 33451 44 0 0 25 0 10 0 839329734 853733376 23449 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23449 13086 16 0 208415 0
vsize: 833724
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 34384 44 0 0 25 0 10 0 839329734 853733376 23492 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23492 13086 16 0 208415 0
vsize: 833724
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 35314 45 0 0 25 0 10 0 839329734 853733376 23537 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23537 13086 16 0 208415 0
vsize: 833724
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 36247 45 0 0 25 0 10 0 839329734 853733376 23579 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23579 13086 16 0 208415 0
vsize: 833724
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 37175 45 0 0 24 0 10 0 839329734 853733376 23622 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23622 13086 16 0 208415 0
vsize: 833724
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 38106 46 0 0 25 0 10 0 839329734 853733376 23663 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23663 13086 16 0 208415 0
vsize: 833724
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 39037 46 0 0 25 0 10 0 839329734 853733376 23703 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23703 13086 16 0 208415 0
vsize: 833724
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 39963 47 0 0 25 0 10 0 839329734 853733376 23745 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23745 13086 16 0 208415 0
vsize: 833724
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 40893 47 0 0 25 0 10 0 839329734 853733376 23785 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23785 13086 16 0 208415 0
vsize: 833724
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 41820 47 0 0 25 0 10 0 839329734 853733376 23824 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23824 13086 16 0 208415 0
vsize: 833724
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 42748 47 0 0 25 0 10 0 839329734 853733376 23864 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23864 13086 16 0 208415 0
vsize: 833724
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 43677 48 0 0 25 0 10 0 839329734 853733376 23901 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23901 13086 16 0 208415 0
vsize: 833724
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 44606 48 0 0 25 0 10 0 839329734 853733376 23938 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23938 13086 16 0 208415 0
vsize: 833724
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 45530 49 0 0 25 0 10 0 839329734 853733376 23978 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23978 13086 16 0 208415 0
vsize: 833724
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 46458 50 0 0 25 0 10 0 839329734 853733376 24014 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24014 13086 16 0 208415 0
vsize: 833724
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 47386 50 0 0 25 0 10 0 839329734 853733376 24050 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24050 13086 16 0 208415 0
vsize: 833724
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 48312 50 0 0 25 0 10 0 839329734 853733376 24086 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24086 13086 16 0 208415 0
vsize: 833724
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 49235 51 0 0 25 0 10 0 839329734 853733376 24123 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24123 13086 16 0 208415 0
vsize: 833724
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 50161 51 0 0 25 0 10 0 839329734 853733376 24158 4294967295 134512640 134569956 3221224368 3221214828 1130917143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24158 13086 16 0 208415 0
vsize: 833724
[startup+550.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 51087 52 0 0 25 0 10 0 839329734 853733376 24193 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24193 13086 16 0 208415 0
vsize: 833724
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 52010 52 0 0 25 0 10 0 839329734 853733376 24227 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24227 13086 16 0 208415 0
vsize: 833724
[startup+570.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 52933 53 0 0 24 0 10 0 839329734 853733376 24263 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24263 13086 16 0 208415 0
vsize: 833724
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 53858 53 0 0 25 0 10 0 839329734 853733376 24298 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24298 13086 16 0 208415 0
vsize: 833724
[startup+590.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 54783 54 0 0 25 0 10 0 839329734 853733376 24331 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24331 13086 16 0 208415 0
vsize: 833724
[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 55708 54 0 0 25 0 10 0 839329734 853733376 24364 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24364 13086 16 0 208415 0
vsize: 833724
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 56631 54 0 0 25 0 10 0 839329734 853733376 24397 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24397 13086 16 0 208415 0
vsize: 833724
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 57551 55 0 0 24 0 10 0 839329734 853733376 24432 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24432 13086 16 0 208415 0
vsize: 833724
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 58474 55 0 0 25 0 10 0 839329734 853733376 24464 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24464 13086 16 0 208415 0
vsize: 833724
[startup+640.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 59396 55 0 0 25 0 10 0 839329734 853733376 24496 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24496 13086 16 0 208415 0
vsize: 833724
[startup+650.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 60319 56 0 0 25 0 10 0 839329734 853733376 24528 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24528 13086 16 0 208415 0
vsize: 833724
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 61242 56 0 0 25 0 10 0 839329734 853733376 24559 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24559 13086 16 0 208415 0
vsize: 833724
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 62157 56 0 0 25 0 10 0 839329734 853733376 25080 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25080 13086 16 0 208415 0
vsize: 833724
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 63083 57 0 0 25 0 10 0 839329734 853733376 25080 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25080 13086 16 0 208415 0
vsize: 833724
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 63997 57 0 0 25 0 10 0 839329734 853733376 25086 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25086 13086 16 0 208415 0
vsize: 833724
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 64909 57 0 0 25 0 10 0 839329734 853733376 25129 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25129 13086 16 0 208415 0
vsize: 833724
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 65821 58 0 0 25 0 10 0 839329734 853733376 25159 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25159 13086 16 0 208415 0
vsize: 833724
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 66734 58 0 0 25 0 10 0 839329734 853733376 25189 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25189 13086 16 0 208415 0
vsize: 833724
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 67645 59 0 0 25 0 10 0 839329734 853733376 25219 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25219 13086 16 0 208415 0
vsize: 833724
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 68556 59 0 0 25 0 10 0 839329734 853733376 25249 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25249 13086 16 0 208415 0
vsize: 833724
[startup+750.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 69468 59 0 0 25 0 10 0 839329734 853733376 25278 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25278 13086 16 0 208415 0
vsize: 833724
[startup+760.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 70378 60 0 0 25 0 10 0 839329734 853733376 25307 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25307 13086 16 0 208415 0
vsize: 833724
[startup+770.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 71287 60 0 0 25 0 10 0 839329734 853733376 25336 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25336 13086 16 0 208415 0
vsize: 833724
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 72197 60 0 0 24 0 10 0 839329734 853733376 25365 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25365 13086 16 0 208415 0
vsize: 833724
[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 73107 61 0 0 25 0 10 0 839329734 853733376 25392 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25392 13086 16 0 208415 0
vsize: 833724
[startup+800.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 74018 61 0 0 25 0 10 0 839329734 853733376 25422 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25422 13086 16 0 208415 0
vsize: 833724
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 74927 62 0 0 25 0 10 0 839329734 853733376 25450 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25450 13086 16 0 208415 0
vsize: 833724
[startup+820.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 75835 62 0 0 25 0 10 0 839329734 853733376 25478 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25478 13086 16 0 208415 0
vsize: 833724
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 76743 62 0 0 25 0 10 0 839329734 853733376 25506 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25506 13086 16 0 208415 0
vsize: 833724
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 77651 63 0 0 25 0 10 0 839329734 853733376 25534 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25534 13086 16 0 208415 0
vsize: 833724
[startup+850.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 78558 63 0 0 24 0 10 0 839329734 853733376 25562 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25562 13086 16 0 208415 0
vsize: 833724
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 79471 63 0 0 25 0 10 0 839329734 853733376 25587 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25587 13086 16 0 208415 0
vsize: 833724
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 80378 63 0 0 25 0 10 0 839329734 853733376 25615 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25615 13086 16 0 208415 0
vsize: 833724
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 81284 64 0 0 25 0 10 0 839329734 853733376 25642 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25642 13086 16 0 208415 0
vsize: 833724
[startup+890.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 82190 64 0 0 25 0 10 0 839329734 853733376 25669 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25669 13086 16 0 208415 0
vsize: 833724
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 83096 65 0 0 25 0 10 0 839329734 853733376 25696 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25696 13086 16 0 208415 0
vsize: 833724
[startup+910.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 84007 65 0 0 25 0 10 0 839329734 853733376 25721 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25721 13086 16 0 208415 0
vsize: 833724
[startup+920.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 84912 66 0 0 25 0 10 0 839329734 853733376 25747 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25747 13086 16 0 208415 0
vsize: 833724
[startup+930.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 85817 66 0 0 25 0 10 0 839329734 853733376 25774 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25774 13086 16 0 208415 0
vsize: 833724
[startup+940.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 86721 67 0 0 25 0 10 0 839329734 853733376 25800 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25800 13086 16 0 208415 0
vsize: 833724
[startup+950.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 87630 67 0 0 25 0 10 0 839329734 853733376 25825 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25825 13086 16 0 208415 0
vsize: 833724
[startup+960.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 88536 68 0 0 25 0 10 0 839329734 853733376 25850 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25850 13086 16 0 208415 0
vsize: 833724
[startup+970.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 89437 68 0 0 25 0 10 0 839329734 853733376 25876 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25876 13086 16 0 208415 0
vsize: 833724
[startup+980.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 90340 69 0 0 25 0 10 0 839329734 853733376 25902 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25902 13086 16 0 208415 0
vsize: 833724
[startup+990.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 91246 69 0 0 25 0 10 0 839329734 853733376 25926 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25926 13086 16 0 208415 0
vsize: 833724
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 92152 70 0 0 25 0 10 0 839329734 853733376 25952 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25952 13086 16 0 208415 0
vsize: 833724
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 93054 70 0 0 25 0 10 0 839329734 853733376 25978 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25978 13086 16 0 208415 0
vsize: 833724
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 93957 70 0 0 24 0 10 0 839329734 853733376 26003 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26003 13086 16 0 208415 0
vsize: 833724
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 94865 70 0 0 25 0 10 0 839329734 853733376 26027 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26027 13086 16 0 208415 0
vsize: 833724
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 95767 71 0 0 25 0 10 0 839329734 853733376 26051 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26051 13086 16 0 208415 0
vsize: 833724
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 96669 71 0 0 25 0 10 0 839329734 853733376 26076 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26076 13086 16 0 208415 0
vsize: 833724
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5887
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 97572 72 0 0 25 0 10 0 839329734 853733376 26100 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26100 13086 16 0 208415 0
vsize: 833724
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 3/66 5925
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 98474 73 0 0 25 0 10 0 839329734 853733376 26124 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26124 13086 16 0 208415 0
vsize: 833724
[startup+1080.05 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 99365 78 0 0 25 0 10 0 839329734 853733376 26149 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26149 13086 16 0 208415 0
vsize: 833724
[startup+1090.05 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 100272 78 0 0 25 0 10 0 839329734 853733376 26171 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26171 13086 16 0 208415 0
vsize: 833724
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 101172 79 0 0 21 0 10 0 839329734 853733376 26196 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26196 13086 16 0 208415 0
vsize: 833724
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 102072 79 0 0 19 0 10 0 839329734 853733376 26220 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26220 13086 16 0 208415 0
vsize: 833724
[startup+1120.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 102978 79 0 0 23 0 10 0 839329734 853733376 26252 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26252 13086 16 0 208415 0
vsize: 833724
[startup+1130.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 103877 79 0 0 21 0 10 0 839329734 853733376 26279 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26279 13086 16 0 208415 0
vsize: 833724
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5940
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 104776 80 0 0 19 0 10 0 839329734 853733376 26303 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26303 13086 16 0 208415 0
vsize: 833724
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 105680 80 0 0 23 0 10 0 839329734 853733376 26332 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26332 13086 16 0 208415 0
vsize: 833724
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 106578 81 0 0 21 0 10 0 839329734 853733376 26358 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26358 13086 16 0 208415 0
vsize: 833724
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 107476 81 0 0 19 0 10 0 839329734 853733376 26384 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26384 13086 16 0 208415 0
vsize: 833724
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 108380 82 0 0 23 0 10 0 839329734 853733376 26406 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26406 13086 16 0 208415 0
vsize: 833724
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 109279 82 0 0 20 0 10 0 839329734 853733376 26437 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26437 13086 16 0 208415 0
vsize: 833724
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 110180 83 0 0 23 0 10 0 839329734 853733376 26463 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26463 13086 16 0 208415 0
vsize: 833724
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 111078 83 0 0 21 0 10 0 839329734 853733376 26490 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26490 13086 16 0 208415 0
vsize: 833724
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 111973 84 0 0 18 0 10 0 839329734 853733376 26516 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26516 13086 16 0 208415 0
vsize: 833724
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 112876 84 0 0 22 0 10 0 839329734 853733376 26538 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26538 13086 16 0 208415 0
vsize: 833724
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 113772 84 0 0 19 0 10 0 839329734 853733376 26567 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26567 13086 16 0 208415 0
vsize: 833724
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 114675 85 0 0 24 0 10 0 839329734 853733376 26593 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26593 13086 16 0 208415 0
vsize: 833724
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 115571 85 0 0 20 0 10 0 839329734 853733376 26626 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26626 13086 16 0 208415 0
vsize: 833724
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 116475 85 0 0 24 0 10 0 839329734 853733376 26641 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26641 13086 16 0 208415 0
vsize: 833724
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 117371 86 0 0 20 0 10 0 839329734 853733376 26676 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26676 13086 16 0 208415 0
vsize: 833724
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) S 5877 24821 24820 0 -1 0 18036 0 1 0 118270 86 0 0 23 0 10 0 839329734 853733376 26699 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26699 13086 16 0 208415 0
vsize: 833724
[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 119174 86 0 0 21 0 10 0 839329734 853733376 26723 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26723 13086 16 0 208415 0
vsize: 833724
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 5942
Raw data (stat): 5878 (java) R 5877 24821 24820 0 -1 0 18036 0 1 0 120074 86 0 0 20 0 10 0 839329734 853733376 26755 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26755 13086 16 0 208415 0
vsize: 833724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5944
Raw data (stat): 5878 (java) Z 5877 24821 24820 0 -1 1036 18036 9253 1 0 120078 91 11130 44 21 0 1 0 839329734 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.15
CPU time (s): 1313.46
CPU user time (s): 1312.09
CPU system time (s): 1.36579
CPU usage (%): 100.252
Max. virtual memory (Kb): 833948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####