PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb
MD5SUM	4927ae8cbb5bb871eb7a61843614b4ec
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	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.630904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 30138

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 15:16:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21541 boxname=wulflinc13 idbench=1529 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4927ae8cbb5bb871eb7a61843614b4ec  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-A1C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-A1C1S1.opb
IDLAUNCH: 21541
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        366248 kB
Buffers:         34692 kB
Cached:         612400 kB
SwapCached:        608 kB
Active:          82136 kB
Inactive:       567556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        365996 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            13096 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:38:12 (client local time) WITH STATUS 143 IN 1309.34 SECONDS
stats: 21541 7 1309.34 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/wulflinc13/normalized-mps-v2-13-7-A1C1S1.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.145
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 13827
Raw data (stat): 13827 (runsolver) R 13826 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781673109 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18013 0 1 0 869 40 0 0 24 0 10 0 781673109 853405696 19440 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208351 19440 13086 16 0 208335 0
vsize: 833404
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 1764 41 0 0 17 0 10 0 781673109 854388736 19984 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 19984 13086 16 0 208575 0
vsize: 834364
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.99 3/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 2661 41 0 0 24 0 10 0 781673109 854388736 20467 4294967295 134512640 134569956 3221224368 3221213900 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 20467 13086 16 0 208575 0
vsize: 834364
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 3575 41 0 0 25 0 10 0 781673109 854388736 20887 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20887 13086 16 0 208575 0
vsize: 834364
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18014 0 1 0 4493 41 0 0 25 0 10 0 781673109 854388736 21056 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21056 13086 16 0 208575 0
vsize: 834364
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 5409 42 0 0 25 0 10 0 781673109 854388736 21189 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21189 13086 16 0 208575 0
vsize: 834364
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 6336 42 0 0 24 0 10 0 781673109 855191552 21512 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21512 13086 16 0 208771 0
vsize: 835148
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 7277 42 0 0 25 0 10 0 781673109 855191552 21609 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21609 13086 16 0 208771 0
vsize: 835148
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 8215 43 0 0 25 0 10 0 781673109 855191552 21705 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21705 13086 16 0 208771 0
vsize: 835148
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 9154 43 0 0 25 0 10 0 781673109 855191552 21792 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21792 13086 16 0 208771 0
vsize: 835148
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 10094 44 0 0 25 0 10 0 781673109 855191552 21876 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21876 13086 16 0 208771 0
vsize: 835148
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 11035 44 0 0 24 0 10 0 781673109 855191552 21953 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 21953 13086 16 0 208771 0
vsize: 835148
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 11979 45 0 0 25 0 10 0 781673109 855191552 22022 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22022 13086 16 0 208771 0
vsize: 835148
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 12920 45 0 0 25 0 10 0 781673109 855191552 22092 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22092 13086 16 0 208771 0
vsize: 835148
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 13862 45 0 0 25 0 10 0 781673109 855191552 22159 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22159 13086 16 0 208771 0
vsize: 835148
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18014 0 1 0 14803 46 0 0 25 0 10 0 781673109 855191552 22223 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22223 13086 16 0 208771 0
vsize: 835148
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18014 0 1 0 15738 47 0 0 25 0 10 0 781673109 855191552 22282 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22282 13086 16 0 208771 0
vsize: 835148
[startup+180.009 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18022 0 1 0 16650 47 0 0 25 0 10 0 781673109 855191552 22352 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22352 13086 16 0 208771 0
vsize: 835148
[startup+190.008 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18023 0 1 0 17562 48 0 0 24 0 10 0 781673109 855191552 22672 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22672 13086 16 0 208771 0
vsize: 835148
[startup+200.009 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18023 0 1 0 18498 49 0 0 25 0 10 0 781673109 855191552 22818 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22818 13086 16 0 208771 0
vsize: 835148
[startup+210.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18023 0 1 0 19422 49 0 0 25 0 10 0 781673109 855191552 22902 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22902 13086 16 0 208771 0
vsize: 835148
[startup+220.01 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18023 0 1 0 20360 49 0 0 25 0 10 0 781673109 855191552 22954 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 22954 13086 16 0 208771 0
vsize: 835148
[startup+230.01 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18024 0 1 0 21295 50 0 0 24 0 10 0 781673109 855191552 23015 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23015 13086 16 0 208771 0
vsize: 835148
[startup+240.01 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18024 0 1 0 22234 50 0 0 25 0 10 0 781673109 855191552 23062 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23062 13086 16 0 208771 0
vsize: 835148
[startup+250.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18024 0 1 0 23168 51 0 0 25 0 10 0 781673109 855191552 23111 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23111 13086 16 0 208771 0
vsize: 835148
[startup+260.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18024 0 1 0 24106 52 0 0 25 0 10 0 781673109 855191552 23164 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23164 13086 16 0 208771 0
vsize: 835148
[startup+270.011 s]
Raw data (loadavg): 1.09 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18024 0 1 0 25040 52 0 0 25 0 10 0 781673109 855191552 23218 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23218 13086 16 0 208771 0
vsize: 835148
[startup+280.012 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18025 0 1 0 25975 53 0 0 25 0 10 0 781673109 855191552 23263 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23263 13086 16 0 208771 0
vsize: 835148
[startup+290.012 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 26908 53 0 0 25 0 10 0 781673109 855191552 23308 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23308 13086 16 0 208771 0
vsize: 835148
[startup+300.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18025 0 1 0 27841 53 0 0 25 0 10 0 781673109 855191552 23360 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208787 23360 13086 16 0 208771 0
vsize: 835148
[startup+310.019 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 28778 54 0 0 25 0 10 0 781673109 855191552 23403 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208787 23403 13086 16 0 208771 0
vsize: 835148
[startup+320.02 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 29715 54 0 0 25 0 10 0 781673109 855191552 23445 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208787 23445 13086 16 0 208771 0
vsize: 835148
[startup+330.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 30647 54 0 0 25 0 10 0 781673109 855191552 23488 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208787 23488 13086 16 0 208771 0
vsize: 835148
[startup+340.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 31583 54 0 0 25 0 10 0 781673109 855191552 23529 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208787 23529 13086 16 0 208771 0
vsize: 835148
[startup+350.046 s]
Raw data (loadavg): 1.02 1.00 1.00 3/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 32510 54 0 0 25 0 10 0 781673109 855191552 23589 4294967295 134512640 134569956 3221224368 3221213580 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23595 13086 16 0 208771 0
vsize: 835148
[startup+360.046 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 33425 54 0 0 25 0 10 0 781673109 855191552 23683 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23683 13086 16 0 208771 0
vsize: 835148
[startup+370.047 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 34354 55 0 0 25 0 10 0 781673109 855191552 23732 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23732 13086 16 0 208771 0
vsize: 835148
[startup+380.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 35286 55 0 0 25 0 10 0 781673109 855191552 23770 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23770 13086 16 0 208771 0
vsize: 835148
[startup+390.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 36213 56 0 0 24 0 10 0 781673109 855191552 23810 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23810 13086 16 0 208771 0
vsize: 835148
[startup+400.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 37145 56 0 0 25 0 10 0 781673109 855191552 23847 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23847 13086 16 0 208771 0
vsize: 835148
[startup+410.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 38077 56 0 0 25 0 10 0 781673109 855191552 23885 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23885 13086 16 0 208771 0
vsize: 835148
[startup+420.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 39003 57 0 0 25 0 10 0 781673109 855191552 23923 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23923 13086 16 0 208771 0
vsize: 835148
[startup+430.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 39934 58 0 0 25 0 10 0 781673109 855191552 23960 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23960 13086 16 0 208771 0
vsize: 835148
[startup+440.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 40860 59 0 0 24 0 10 0 781673109 855191552 23998 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 23998 13086 16 0 208771 0
vsize: 835148
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 41790 59 0 0 25 0 10 0 781673109 855191552 24033 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24033 13086 16 0 208771 0
vsize: 835148
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 42720 60 0 0 25 0 10 0 781673109 855191552 24070 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24070 13086 16 0 208771 0
vsize: 835148
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 43645 60 0 0 24 0 10 0 781673109 855191552 24107 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24107 13086 16 0 208771 0
vsize: 835148
[startup+480.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 44574 61 0 0 25 0 10 0 781673109 855191552 24142 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24142 13086 16 0 208771 0
vsize: 835148
[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 45503 61 0 0 25 0 10 0 781673109 855191552 24172 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24172 13086 16 0 208771 0
vsize: 835148
[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 46428 61 0 0 24 0 10 0 781673109 855191552 24208 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24208 13086 16 0 208771 0
vsize: 835148
[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 47356 62 0 0 25 0 10 0 781673109 855191552 24242 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24242 13086 16 0 208771 0
vsize: 835148
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 48284 62 0 0 25 0 10 0 781673109 855191552 24276 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24276 13086 16 0 208771 0
vsize: 835148
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 49211 63 0 0 25 0 10 0 781673109 855191552 24309 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24309 13086 16 0 208771 0
vsize: 835148
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 50133 64 0 0 24 0 10 0 781673109 855191552 24340 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24340 13086 16 0 208771 0
vsize: 835148
[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 51060 64 0 0 25 0 10 0 781673109 855191552 24373 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24373 13086 16 0 208771 0
vsize: 835148
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 51986 64 0 0 25 0 10 0 781673109 855191552 24406 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24406 13086 16 0 208771 0
vsize: 835148
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 52911 65 0 0 25 0 10 0 781673109 855191552 24437 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24437 13086 16 0 208771 0
vsize: 835148
[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 53837 66 0 0 25 0 10 0 781673109 855191552 24469 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24469 13086 16 0 208771 0
vsize: 835148
[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 54759 66 0 0 24 0 10 0 781673109 855191552 24501 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24501 13086 16 0 208771 0
vsize: 835148
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 55684 66 0 0 25 0 10 0 781673109 855191552 24531 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24531 13086 16 0 208771 0
vsize: 835148
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 56608 67 0 0 25 0 10 0 781673109 855191552 24564 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24564 13086 16 0 208771 0
vsize: 835148
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 57532 67 0 0 25 0 10 0 781673109 855191552 24593 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24593 13086 16 0 208771 0
vsize: 835148
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 58456 68 0 0 25 0 10 0 781673109 855191552 24623 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24623 13086 16 0 208771 0
vsize: 835148
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 59379 68 0 0 25 0 10 0 781673109 855191552 24652 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24652 13086 16 0 208771 0
vsize: 835148
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 60303 68 0 0 25 0 10 0 781673109 855191552 24681 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24681 13086 16 0 208771 0
vsize: 835148
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 61225 69 0 0 25 0 10 0 781673109 855191552 24712 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 24712 13086 16 0 208771 0
vsize: 835148
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18025 0 1 0 62145 70 0 0 25 0 10 0 781673109 855191552 25264 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 25264 13086 16 0 208771 0
vsize: 835148
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18025 0 1 0 63062 70 0 0 25 0 10 0 781673109 855191552 25264 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 25264 13086 16 0 208771 0
vsize: 835148
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 63979 70 0 0 25 0 10 0 781673109 855191552 25284 4294967295 134512640 134569956 3221224368 3221214288 1131294414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208787 25284 13086 16 0 208771 0
vsize: 835148
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 64846 72 0 0 25 0 10 0 781673109 856240128 30792 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30792 13086 16 0 209027 0
vsize: 836172
[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 65766 72 0 0 25 0 10 0 781673109 856240128 30792 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30792 13086 16 0 209027 0
vsize: 836172
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 66677 73 0 0 25 0 10 0 781673109 856240128 30809 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30809 13086 16 0 209027 0
vsize: 836172
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 67587 73 0 0 25 0 10 0 781673109 856240128 30838 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30838 13086 16 0 209027 0
vsize: 836172
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 68495 73 0 0 24 0 10 0 781673109 856240128 30867 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30867 13086 16 0 209027 0
vsize: 836172
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 69405 74 0 0 24 0 10 0 781673109 856240128 30896 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30896 13086 16 0 209027 0
vsize: 836172
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 70320 74 0 0 25 0 10 0 781673109 856240128 30922 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30922 13086 16 0 209027 0
vsize: 836172
[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 71229 74 0 0 25 0 10 0 781673109 856240128 30950 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30950 13086 16 0 209027 0
vsize: 836172
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 72137 75 0 0 25 0 10 0 781673109 856240128 30978 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 30978 13086 16 0 209027 0
vsize: 836172
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 73045 75 0 0 24 0 10 0 781673109 856240128 31006 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31006 13086 16 0 209027 0
vsize: 836172
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 73959 76 0 0 25 0 10 0 781673109 856240128 31032 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31032 13086 16 0 209027 0
vsize: 836172
[startup+810.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 74867 76 0 0 25 0 10 0 781673109 856240128 31060 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31060 13086 16 0 209027 0
vsize: 836172
[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 75774 77 0 0 25 0 10 0 781673109 856240128 31087 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31087 13086 16 0 209027 0
vsize: 836172
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18027 0 1 0 76682 77 0 0 25 0 10 0 781673109 856240128 31113 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31113 13086 16 0 209027 0
vsize: 836172
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 77592 78 0 0 25 0 10 0 781673109 856240128 31139 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31139 13086 16 0 209027 0
vsize: 836172
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 78498 78 0 0 25 0 10 0 781673109 856240128 31166 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31166 13086 16 0 209027 0
vsize: 836172
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18027 0 1 0 79407 79 0 0 25 0 10 0 781673109 856240128 31191 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31191 13086 16 0 209027 0
vsize: 836172
[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 80315 79 0 0 25 0 10 0 781673109 856240128 31218 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31218 13086 16 0 209027 0
vsize: 836172
[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 81221 80 0 0 25 0 10 0 781673109 856240128 31244 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31244 13086 16 0 209027 0
vsize: 836172
[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 82132 80 0 0 25 0 10 0 781673109 856240128 31268 4294967295 134512640 134569956 3221224368 3221214264 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31268 13086 16 0 209027 0
vsize: 836172
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 83037 80 0 0 25 0 10 0 781673109 856240128 31295 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31295 13086 16 0 209027 0
vsize: 836172
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 83941 81 0 0 25 0 10 0 781673109 856240128 31322 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 31322 13086 16 0 209027 0
vsize: 836172
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 84851 81 0 0 25 0 10 0 781673109 856240128 31346 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31346 13086 16 0 209027 0
vsize: 836172
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 85755 81 0 0 25 0 10 0 781673109 856240128 31371 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31371 13086 16 0 209027 0
vsize: 836172
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 86667 81 0 0 25 0 10 0 781673109 856240128 31395 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31395 13086 16 0 209027 0
vsize: 836172
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 87571 82 0 0 25 0 10 0 781673109 856240128 31420 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31420 13086 16 0 209027 0
vsize: 836172
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 88482 82 0 0 25 0 10 0 781673109 856240128 31444 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31444 13086 16 0 209027 0
vsize: 836172
[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 89384 82 0 0 25 0 10 0 781673109 856240128 31469 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31469 13086 16 0 209027 0
vsize: 836172
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 90292 82 0 0 25 0 10 0 781673109 856240128 31493 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31493 13086 16 0 209027 0
vsize: 836172
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 91196 82 0 0 24 0 10 0 781673109 856240128 31524 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31524 13086 16 0 209027 0
vsize: 836172
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 92105 82 0 0 25 0 10 0 781673109 856240128 31547 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31547 13086 16 0 209027 0
vsize: 836172
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 93007 82 0 0 24 0 10 0 781673109 856240128 31571 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31571 13086 16 0 209027 0
vsize: 836172
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 93916 82 0 0 25 0 10 0 781673109 856240128 31594 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31594 13086 16 0 209027 0
vsize: 836172
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 94825 82 0 0 25 0 10 0 781673109 856240128 31617 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31617 13086 16 0 209027 0
vsize: 836172
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 95727 82 0 0 25 0 10 0 781673109 856240128 31642 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31642 13086 16 0 209027 0
vsize: 836172
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 96634 82 0 0 25 0 10 0 781673109 856240128 31664 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31664 13086 16 0 209027 0
vsize: 836172
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 97535 82 0 0 25 0 10 0 781673109 856240128 31688 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31688 13086 16 0 209027 0
vsize: 836172
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 98442 82 0 0 25 0 10 0 781673109 856240128 31710 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31710 13086 16 0 209027 0
vsize: 836172
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 99341 82 0 0 25 0 10 0 781673109 856240128 31735 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31735 13086 16 0 209027 0
vsize: 836172
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 100246 82 0 0 25 0 10 0 781673109 856240128 31757 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31757 13086 16 0 209027 0
vsize: 836172
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 101152 82 0 0 25 0 10 0 781673109 856240128 31779 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31779 13086 16 0 209027 0
vsize: 836172
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 102052 82 0 0 25 0 10 0 781673109 856240128 31802 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31802 13086 16 0 209027 0
vsize: 836172
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 102958 82 0 0 25 0 10 0 781673109 856240128 31825 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31825 13086 16 0 209027 0
vsize: 836172
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 103856 83 0 0 25 0 10 0 781673109 856240128 31849 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31849 13086 16 0 209027 0
vsize: 836172
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 104761 83 0 0 25 0 10 0 781673109 856240128 31870 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31870 13086 16 0 209027 0
vsize: 836172
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 105666 83 0 0 25 0 10 0 781673109 856240128 31892 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31892 13086 16 0 209027 0
vsize: 836172
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 106565 83 0 0 25 0 10 0 781673109 856240128 31915 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31915 13086 16 0 209027 0
vsize: 836172
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 107469 83 0 0 25 0 10 0 781673109 856240128 31937 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31937 13086 16 0 209027 0
vsize: 836172
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) S 13826 1269 1268 0 -1 0 18027 0 1 0 108371 83 0 0 25 0 10 0 781673109 856240128 31958 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31958 13086 16 0 209027 0
vsize: 836172
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 109270 83 0 0 25 0 10 0 781673109 856240128 31981 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 31981 13086 16 0 209027 0
vsize: 836172
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 110174 83 0 0 25 0 10 0 781673109 856240128 32002 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 32002 13086 16 0 209027 0
vsize: 836172
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 111076 83 0 0 25 0 10 0 781673109 856240128 32023 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32023 13086 16 0 209027 0
vsize: 836172
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 111969 84 0 0 17 0 10 0 781673109 856240128 32046 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32046 13086 16 0 209027 0
vsize: 836172
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 112871 84 0 0 20 0 10 0 781673109 856240128 32067 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32067 13086 16 0 209027 0
vsize: 836172
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 113774 84 0 0 21 0 10 0 781673109 856240128 32087 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32087 13086 16 0 209027 0
vsize: 836172
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 114677 84 0 0 24 0 10 0 781673109 856240128 32108 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32108 13086 16 0 209027 0
vsize: 836172
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 115572 84 0 0 18 0 10 0 781673109 856240128 32132 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32132 13086 16 0 209027 0
vsize: 836172
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 116474 84 0 0 20 0 10 0 781673109 856240128 32158 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32158 13086 16 0 209027 0
vsize: 836172
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 117377 84 0 0 22 0 10 0 781673109 856240128 32171 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32171 13086 16 0 209027 0
vsize: 836172
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 118279 85 0 0 23 0 10 0 781673109 856240128 32206 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32206 13086 16 0 209027 0
vsize: 836172
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 119178 85 0 0 19 0 10 0 781673109 856240128 32228 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209043 32228 13086 16 0 209027 0
vsize: 836172
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13836
Raw data (stat): 13827 (java) R 13826 1269 1268 0 -1 0 18027 0 1 0 120083 85 0 0 19 0 10 0 781673109 856240128 32241 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209043 32241 13086 16 0 209027 0
vsize: 836172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13838
Raw data (stat): 13827 (java) Z 13826 1269 1268 0 -1 1036 18027 13358 1 0 120085 85 10707 55 21 0 1 0 781673109 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.19
CPU time (s): 1309.34
CPU user time (s): 1307.93
CPU system time (s): 1.40679
CPU usage (%): 99.9352
Max. virtual memory (Kb): 836172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####