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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb
MD5SUM	093811c51770a4a5a69679d486994a51
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	580
Biggest coefficient in the objective function	199229440
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	4428132225
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	540016640
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	10719582225
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.184971
Number of variables	1580
Total number of constraints	96
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	96
Minimum length of a constraint	20
Maximum length of a constraint	240
Trace number 19863

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-21 19:45:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16376 boxname=wulflinc22 idbench=1260 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  093811c51770a4a5a69679d486994a51  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-share2b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-share2b.opb
IDLAUNCH: 16376
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        336152 kB
Buffers:         32176 kB
Cached:         637604 kB
SwapCached:         20 kB
Active:         144608 kB
Inactive:       527868 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        335844 kB
SwapTotal:     2097892 kB
SwapFree:      2097664 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            20460 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:06:11 (client local time) WITH STATUS 143 IN 1228.23 SECONDS
stats: 16376 7 1228.23 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-share2b.opb
c reading problem 
c [nbvar=1580]
c [nbconstr=96]
c time 3.352
c #vars     1580
c #clauses  109
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
#### 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.91 0.95 0.91 2/54 6737
Raw data (stat): 6737 (runsolver) R 6736 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547702983 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0004 s]
Raw data (loadavg): 1.16 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18078 0 1 0 731 36 0 0 25 0 11 0 547702983 861741056 21384 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210386 21384 13073 16 0 210370 0
vsize: 841544
[startup+20.0015 s]
Raw data (loadavg): 1.14 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18078 0 1 0 1664 36 0 0 25 0 11 0 547702983 860790784 21313 4294967295 134512640 134569956 3221224400 3221214776 1131283199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 21313 13073 16 0 210138 0
vsize: 840616
[startup+30.0022 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 2580 37 0 0 25 0 11 0 547702983 860790784 21540 4294967295 134512640 134569956 3221224400 3221214816 1131270582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 21540 13073 16 0 210138 0
vsize: 840616
[startup+40.0096 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 3507 37 0 0 25 0 11 0 547702983 860790784 22153 4294967295 134512640 134569956 3221224400 3221214776 1131287210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22153 13073 16 0 210138 0
vsize: 840616
[startup+50.0247 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 4472 37 0 0 25 0 11 0 547702983 860790784 22287 4294967295 134512640 134569956 3221224400 3221214680 1131221449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22287 13073 16 0 210138 0
vsize: 840616
[startup+60.025 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 5443 37 0 0 22 0 11 0 547702983 860790784 22384 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22384 13073 16 0 210138 0
vsize: 840616
[startup+70.0265 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 6416 38 0 0 25 0 11 0 547702983 860790784 22514 4294967295 134512640 134569956 3221224400 3221214680 1131220843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22514 13073 16 0 210138 0
vsize: 840616
[startup+80.0272 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 7390 38 0 0 24 0 11 0 547702983 860790784 22615 4294967295 134512640 134569956 3221224400 3221214680 1131220949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22615 13073 16 0 210138 0
vsize: 840616
[startup+90.0265 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 8368 38 0 0 25 0 11 0 547702983 860790784 22699 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22699 13073 16 0 210138 0
vsize: 840616
[startup+100.028 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 9345 38 0 0 25 0 11 0 547702983 860790784 22781 4294967295 134512640 134569956 3221224400 3221214776 1131284363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22781 13073 16 0 210138 0
vsize: 840616
[startup+110.028 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 10316 38 0 0 25 0 11 0 547702983 860790784 22856 4294967295 134512640 134569956 3221224400 3221214680 1131221537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22856 13073 16 0 210138 0
vsize: 840616
[startup+120.03 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 11291 39 0 0 25 0 11 0 547702983 860790784 22924 4294967295 134512640 134569956 3221224400 3221214680 1131221000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 22924 13073 16 0 210138 0
vsize: 840616
[startup+130.031 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 12266 39 0 0 25 0 11 0 547702983 860790784 23086 4294967295 134512640 134569956 3221224400 3221214680 1131221572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23086 13073 16 0 210138 0
vsize: 840616
[startup+140.034 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 13248 39 0 0 25 0 11 0 547702983 860790784 23152 4294967295 134512640 134569956 3221224400 3221214772 1131221718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23152 13073 16 0 210138 0
vsize: 840616
[startup+150.038 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 14230 39 0 0 25 0 11 0 547702983 860790784 23216 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23216 13073 16 0 210138 0
vsize: 840616
[startup+160.038 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 15210 39 0 0 25 0 11 0 547702983 860790784 23279 4294967295 134512640 134569956 3221224400 3221214776 1131284442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23279 13073 16 0 210138 0
vsize: 840616
[startup+170.039 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 16191 39 0 0 25 0 11 0 547702983 860790784 23360 4294967295 134512640 134569956 3221224400 3221214680 1131221153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23360 13073 16 0 210138 0
vsize: 840616
[startup+180.039 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 17172 39 0 0 25 0 11 0 547702983 860790784 23424 4294967295 134512640 134569956 3221224400 3221214776 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23424 13073 16 0 210138 0
vsize: 840616
[startup+190.067 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 18156 40 0 0 25 0 11 0 547702983 860790784 23511 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23511 13073 16 0 210138 0
vsize: 840616
[startup+200.068 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 19137 40 0 0 25 0 11 0 547702983 860790784 23590 4294967295 134512640 134569956 3221224400 3221214680 1131221340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23590 13073 16 0 210138 0
vsize: 840616
[startup+210.068 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 20119 40 0 0 24 0 11 0 547702983 860790784 23669 4294967295 134512640 134569956 3221224400 3221214732 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23669 13073 16 0 210138 0
vsize: 840616
[startup+220.071 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 21102 40 0 0 25 0 11 0 547702983 860790784 23740 4294967295 134512640 134569956 3221224400 3221214776 1131283455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23740 13073 16 0 210138 0
vsize: 840616
[startup+230.072 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 22084 40 0 0 25 0 11 0 547702983 860790784 23815 4294967295 134512640 134569956 3221224400 3221214680 1131220954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23815 13073 16 0 210138 0
vsize: 840616
[startup+240.071 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 23067 40 0 0 25 0 11 0 547702983 860790784 23885 4294967295 134512640 134569956 3221224400 3221214680 1131220960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23885 13073 16 0 210138 0
vsize: 840616
[startup+250.075 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 24049 40 0 0 25 0 11 0 547702983 860790784 23958 4294967295 134512640 134569956 3221224400 3221214772 1131221718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 23958 13073 16 0 210138 0
vsize: 840616
[startup+260.079 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 25032 40 0 0 25 0 11 0 547702983 860790784 24028 4294967295 134512640 134569956 3221224400 3221214776 1131287184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24028 13073 16 0 210138 0
vsize: 840616
[startup+270.094 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 26017 40 0 0 25 0 11 0 547702983 860790784 24092 4294967295 134512640 134569956 3221224400 3221214680 1131220434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24092 13073 16 0 210138 0
vsize: 840616
[startup+280.1 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 27001 40 0 0 25 0 11 0 547702983 860790784 24159 4294967295 134512640 134569956 3221224400 3221214776 1131283455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24159 13073 16 0 210138 0
vsize: 840616
[startup+290.105 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 27984 40 0 0 25 0 11 0 547702983 860790784 24221 4294967295 134512640 134569956 3221224400 3221214680 1131221562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24221 13073 16 0 210138 0
vsize: 840616
[startup+300.118 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 28969 41 0 0 25 0 11 0 547702983 860790784 24286 4294967295 134512640 134569956 3221224400 3221214680 1131221091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24286 13073 16 0 210138 0
vsize: 840616
[startup+310.118 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 29952 41 0 0 25 0 11 0 547702983 860790784 24347 4294967295 134512640 134569956 3221224400 3221214680 1131220432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24347 13073 16 0 210138 0
vsize: 840616
[startup+320.119 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 30936 41 0 0 25 0 11 0 547702983 860790784 24408 4294967295 134512640 134569956 3221224400 3221214776 1131284428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24408 13073 16 0 210138 0
vsize: 840616
[startup+330.119 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 31912 41 0 0 25 0 11 0 547702983 860790784 24467 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24467 13073 16 0 210138 0
vsize: 840616
[startup+340.12 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 32879 41 0 0 25 0 11 0 547702983 860790784 24529 4294967295 134512640 134569956 3221224400 3221214776 1131284388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24529 13073 16 0 210138 0
vsize: 840616
[startup+350.12 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 33850 41 0 0 25 0 11 0 547702983 860790784 24642 4294967295 134512640 134569956 3221224400 3221214776 1131283455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24642 13073 16 0 210138 0
vsize: 840616
[startup+360.128 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 34830 41 0 0 25 0 11 0 547702983 860790784 24808 4294967295 134512640 134569956 3221224400 3221214776 1131283383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24808 13073 16 0 210138 0
vsize: 840616
[startup+370.134 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 35814 41 0 0 25 0 11 0 547702983 860790784 24876 4294967295 134512640 134569956 3221224400 3221214680 1131220459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24876 13073 16 0 210138 0
vsize: 840616
[startup+380.134 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 36798 41 0 0 25 0 11 0 547702983 860790784 24928 4294967295 134512640 134569956 3221224400 3221214772 1131221712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24928 13073 16 0 210138 0
vsize: 840616
[startup+390.15 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 37783 41 0 0 25 0 11 0 547702983 860790784 24980 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 24980 13073 16 0 210138 0
vsize: 840616
[startup+400.17 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 38769 41 0 0 25 0 11 0 547702983 860790784 25034 4294967295 134512640 134569956 3221224400 3221214776 1131283394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25034 13073 16 0 210138 0
vsize: 840616
[startup+410.17 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 39753 41 0 0 25 0 11 0 547702983 860790784 25087 4294967295 134512640 134569956 3221224400 3221214680 1131220914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25087 13073 16 0 210138 0
vsize: 840616
[startup+420.171 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 40738 41 0 0 25 0 11 0 547702983 860790784 25141 4294967295 134512640 134569956 3221224400 3221214680 1131220949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25141 13073 16 0 210138 0
vsize: 840616
[startup+430.172 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 41722 41 0 0 25 0 11 0 547702983 860790784 25195 4294967295 134512640 134569956 3221224400 3221214680 1131220452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25195 13073 16 0 210138 0
vsize: 840616
[startup+440.171 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 42706 41 0 0 25 0 11 0 547702983 860790784 25249 4294967295 134512640 134569956 3221224400 3221214680 1131221619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25249 13073 16 0 210138 0
vsize: 840616
[startup+450.172 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 43690 42 0 0 25 0 11 0 547702983 860790784 25297 4294967295 134512640 134569956 3221224400 3221214776 1131284442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25297 13073 16 0 210138 0
vsize: 840616
[startup+460.173 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 44675 42 0 0 25 0 11 0 547702983 860790784 25348 4294967295 134512640 134569956 3221224400 3221214776 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25348 13073 16 0 210138 0
vsize: 840616
[startup+470.174 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 45659 42 0 0 25 0 11 0 547702983 860790784 25400 4294967295 134512640 134569956 3221224400 3221214680 1131220954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25400 13073 16 0 210138 0
vsize: 840616
[startup+480.175 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 46643 42 0 0 25 0 11 0 547702983 860790784 25446 4294967295 134512640 134569956 3221224400 3221214680 1131221621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25446 13073 16 0 210138 0
vsize: 840616
[startup+490.177 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 47625 43 0 0 25 0 11 0 547702983 860790784 25494 4294967295 134512640 134569956 3221224400 3221214680 1131221145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25494 13073 16 0 210138 0
vsize: 840616
[startup+500.179 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 48609 43 0 0 25 0 11 0 547702983 860790784 25592 4294967295 134512640 134569956 3221224400 3221214680 1131221030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25592 13073 16 0 210138 0
vsize: 840616
[startup+510.179 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 49593 43 0 0 25 0 11 0 547702983 860790784 25637 4294967295 134512640 134569956 3221224400 3221214776 1131284388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25637 13073 16 0 210138 0
vsize: 840616
[startup+520.181 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 50578 43 0 0 25 0 11 0 547702983 860790784 25685 4294967295 134512640 134569956 3221224400 3221214776 1131287184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25685 13073 16 0 210138 0
vsize: 840616
[startup+530.182 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 51563 43 0 0 25 0 11 0 547702983 860790784 25735 4294967295 134512640 134569956 3221224400 3221214680 1131220924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25735 13073 16 0 210138 0
vsize: 840616
[startup+540.182 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 52548 43 0 0 25 0 11 0 547702983 860790784 25781 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25781 13073 16 0 210138 0
vsize: 840616
[startup+550.182 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 53532 43 0 0 25 0 11 0 547702983 860790784 25825 4294967295 134512640 134569956 3221224400 3221214680 1131220835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25825 13073 16 0 210138 0
vsize: 840616
[startup+560.183 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 54515 43 0 0 24 0 11 0 547702983 860790784 25870 4294967295 134512640 134569956 3221224400 3221214776 1131284442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25870 13073 16 0 210138 0
vsize: 840616
[startup+570.183 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 55497 43 0 0 24 0 11 0 547702983 860790784 25927 4294967295 134512640 134569956 3221224400 3221214776 1131283455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 25927 13073 16 0 210138 0
vsize: 840616
[startup+580.184 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 56479 43 0 0 24 0 11 0 547702983 860790784 26016 4294967295 134512640 134569956 3221224400 3221214680 1131221701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26016 13073 16 0 210138 0
vsize: 840616
[startup+590.184 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 57463 43 0 0 25 0 11 0 547702983 860790784 26070 4294967295 134512640 134569956 3221224400 3221214680 1131220945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26070 13073 16 0 210138 0
vsize: 840616
[startup+600.185 s]
Raw data (loadavg): 1.14 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 58445 43 0 0 25 0 11 0 547702983 860790784 26145 4294967295 134512640 134569956 3221224400 3221214680 1131220598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26145 13073 16 0 210138 0
vsize: 840616
[startup+610.186 s]
Raw data (loadavg): 1.12 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 59427 43 0 0 25 0 11 0 547702983 860790784 26217 4294967295 134512640 134569956 3221224400 3221214776 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26217 13073 16 0 210138 0
vsize: 840616
[startup+620.186 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 60409 43 0 0 25 0 11 0 547702983 860790784 26292 4294967295 134512640 134569956 3221224400 3221214680 1131220814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26292 13073 16 0 210138 0
vsize: 840616
[startup+630.187 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 61391 44 0 0 25 0 11 0 547702983 860790784 26367 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26367 13073 16 0 210138 0
vsize: 840616
[startup+640.187 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 62373 44 0 0 25 0 11 0 547702983 860790784 26430 4294967295 134512640 134569956 3221224400 3221214776 1131287372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26430 13073 16 0 210138 0
vsize: 840616
[startup+650.188 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 63355 44 0 0 25 0 11 0 547702983 860790784 26501 4294967295 134512640 134569956 3221224400 3221214776 1131285335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26501 13073 16 0 210138 0
vsize: 840616
[startup+660.188 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 64337 44 0 0 25 0 11 0 547702983 860790784 26576 4294967295 134512640 134569956 3221224400 3221214680 1131221217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26576 13073 16 0 210138 0
vsize: 840616
[startup+670.19 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 65320 44 0 0 25 0 11 0 547702983 860790784 26639 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26639 13073 16 0 210138 0
vsize: 840616
[startup+680.191 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 66302 44 0 0 25 0 11 0 547702983 860790784 26711 4294967295 134512640 134569956 3221224400 3221214680 1131220665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26711 13073 16 0 210138 0
vsize: 840616
[startup+690.19 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 67284 44 0 0 25 0 11 0 547702983 860790784 26773 4294967295 134512640 134569956 3221224400 3221214680 1131221131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26773 13073 16 0 210138 0
vsize: 840616
[startup+700.192 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 68267 45 0 0 25 0 11 0 547702983 860790784 26846 4294967295 134512640 134569956 3221224400 3221214680 1131220413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26846 13073 16 0 210138 0
vsize: 840616
[startup+710.193 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 69248 45 0 0 25 0 11 0 547702983 860790784 26909 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26909 13073 16 0 210138 0
vsize: 840616
[startup+720.194 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 70231 45 0 0 25 0 11 0 547702983 860790784 26981 4294967295 134512640 134569956 3221224400 3221214776 1131283352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 26981 13073 16 0 210138 0
vsize: 840616
[startup+730.194 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 71213 45 0 0 25 0 11 0 547702983 860790784 27040 4294967295 134512640 134569956 3221224400 3221214680 1131220421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27040 13073 16 0 210138 0
vsize: 840616
[startup+740.197 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 72196 45 0 0 25 0 11 0 547702983 860790784 27103 4294967295 134512640 134569956 3221224400 3221214680 1131220669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27103 13073 16 0 210138 0
vsize: 840616
[startup+750.197 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 73179 45 0 0 25 0 11 0 547702983 860790784 27175 4294967295 134512640 134569956 3221224400 3221214680 1131220417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27175 13073 16 0 210138 0
vsize: 840616
[startup+760.197 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 74161 45 0 0 25 0 11 0 547702983 860790784 27234 4294967295 134512640 134569956 3221224400 3221214680 1131221135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27234 13073 16 0 210138 0
vsize: 840616
[startup+770.199 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 75143 45 0 0 25 0 11 0 547702983 860790784 27298 4294967295 134512640 134569956 3221224400 3221214680 1131220417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27298 13073 16 0 210138 0
vsize: 840616
[startup+780.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 76126 45 0 0 25 0 11 0 547702983 860790784 27358 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27358 13073 16 0 210138 0
vsize: 840616
[startup+790.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 77108 45 0 0 25 0 11 0 547702983 860790784 27430 4294967295 134512640 134569956 3221224400 3221214680 1131221088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27430 13073 16 0 210138 0
vsize: 840616
[startup+800.201 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 78091 45 0 0 25 0 11 0 547702983 860790784 27489 4294967295 134512640 134569956 3221224400 3221214680 1131221619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27489 13073 16 0 210138 0
vsize: 840616
[startup+810.21 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 79074 45 0 0 24 0 11 0 547702983 860790784 27549 4294967295 134512640 134569956 3221224400 3221214680 1131221261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27549 13073 16 0 210138 0
vsize: 840616
[startup+820.21 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 80056 45 0 0 24 0 11 0 547702983 860790784 27615 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27615 13073 16 0 210138 0
vsize: 840616
[startup+830.212 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) S 6736 26298 26297 0 -1 0 18079 0 1 0 81039 45 0 0 25 0 11 0 547702983 860790784 27675 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27675 13073 16 0 210138 0
vsize: 840616
[startup+840.217 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 82023 45 0 0 25 0 11 0 547702983 860790784 27734 4294967295 134512640 134569956 3221224400 3221214776 1131284456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27734 13073 16 0 210138 0
vsize: 840616
[startup+850.217 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 83005 45 0 0 25 0 11 0 547702983 860790784 27794 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27794 13073 16 0 210138 0
vsize: 840616
[startup+860.217 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 6747
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 83988 46 0 0 25 0 11 0 547702983 860790784 27855 4294967295 134512640 134569956 3221224400 3221214680 1131221627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27855 13073 16 0 210138 0
vsize: 840616
[startup+870.218 s]
Raw data (loadavg): 1.08 1.02 0.96 2/67 6791
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 84961 52 0 0 25 0 11 0 547702983 860790784 27915 4294967295 134512640 134569956 3221224400 3221214776 1131284442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 27915 13073 16 0 210138 0
vsize: 840616
[startup+880.22 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 85936 58 0 0 25 0 11 0 547702983 860790784 27975 4294967295 134512640 134569956 3221224400 3221214776 1131287276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 27975 13073 16 0 210138 0
vsize: 840616
[startup+890.22 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18079 0 1 0 86918 58 0 0 25 0 11 0 547702983 860790784 28034 4294967295 134512640 134569956 3221224400 3221214680 1131221091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28034 13073 16 0 210138 0
vsize: 840616
[startup+900.22 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 87891 59 0 0 25 0 11 0 547702983 860790784 28107 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28107 13073 16 0 210138 0
vsize: 840616
[startup+910.225 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 88872 59 0 0 25 0 11 0 547702983 860790784 28174 4294967295 134512640 134569956 3221224400 3221214776 1131284428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28174 13073 16 0 210138 0
vsize: 840616
[startup+920.23 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 89854 60 0 0 25 0 11 0 547702983 860790784 28237 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28237 13073 16 0 210138 0
vsize: 840616
[startup+930.23 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 90836 60 0 0 24 0 11 0 547702983 860790784 28298 4294967295 134512640 134569956 3221224400 3221214680 1131221619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28298 13073 16 0 210138 0
vsize: 840616
[startup+940.23 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6800
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 91820 61 0 0 25 0 11 0 547702983 860790784 28353 4294967295 134512640 134569956 3221224400 3221214680 1131220803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28353 13073 16 0 210138 0
vsize: 840616
[startup+950.23 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 92803 61 0 0 25 0 11 0 547702983 860790784 28415 4294967295 134512640 134569956 3221224400 3221214776 1131285322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28415 13073 16 0 210138 0
vsize: 840616
[startup+960.231 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 93787 62 0 0 25 0 11 0 547702983 860790784 28474 4294967295 134512640 134569956 3221224400 3221214680 1131220432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28474 13073 16 0 210138 0
vsize: 840616
[startup+970.231 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 94771 62 0 0 25 0 11 0 547702983 860790784 28527 4294967295 134512640 134569956 3221224400 3221214936 1131201753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28527 13073 16 0 210138 0
vsize: 840616
[startup+980.232 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 95755 62 0 0 25 0 11 0 547702983 860790784 28581 4294967295 134512640 134569956 3221224400 3221214680 1131221085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28581 13073 16 0 210138 0
vsize: 840616
[startup+990.231 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 96737 63 0 0 25 0 11 0 547702983 860790784 28632 4294967295 134512640 134569956 3221224400 3221214776 1131283390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28632 13073 16 0 210138 0
vsize: 840616
[startup+1000.23 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 97720 63 0 0 24 0 11 0 547702983 860790784 28690 4294967295 134512640 134569956 3221224400 3221214680 1131220417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28690 13073 16 0 210138 0
vsize: 840616
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 98703 63 0 0 24 0 11 0 547702983 860790784 28754 4294967295 134512640 134569956 3221224400 3221214680 1131220864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28754 13073 16 0 210138 0
vsize: 840616
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 99689 64 0 0 25 0 11 0 547702983 860790784 28804 4294967295 134512640 134569956 3221224400 3221214720 1131319666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28804 13073 16 0 210138 0
vsize: 840616
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 100674 64 0 0 25 0 11 0 547702983 860790784 28855 4294967295 134512640 134569956 3221224400 3221214776 1131284469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28855 13073 16 0 210138 0
vsize: 840616
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 101659 64 0 0 25 0 11 0 547702983 860790784 28901 4294967295 134512640 134569956 3221224400 3221214680 1131221085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28901 13073 16 0 210138 0
vsize: 840616
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 102643 65 0 0 25 0 11 0 547702983 860790784 28953 4294967295 134512640 134569956 3221224400 3221214776 1131284450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 28953 13073 16 0 210138 0
vsize: 840616
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 103628 65 0 0 25 0 11 0 547702983 860790784 29010 4294967295 134512640 134569956 3221224400 3221214680 1131221684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29010 13073 16 0 210138 0
vsize: 840616
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 104614 65 0 0 25 0 11 0 547702983 860790784 29057 4294967295 134512640 134569956 3221224400 3221214680 1131220591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29057 13073 16 0 210138 0
vsize: 840616
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 105599 66 0 0 25 0 11 0 547702983 860790784 29099 4294967295 134512640 134569956 3221224400 3221214680 1131221537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29099 13073 16 0 210138 0
vsize: 840616
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 106584 66 0 0 25 0 11 0 547702983 860790784 29146 4294967295 134512640 134569956 3221224400 3221214680 1131220864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29146 13073 16 0 210138 0
vsize: 840616
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 107570 66 0 0 25 0 11 0 547702983 860790784 29205 4294967295 134512640 134569956 3221224400 3221214680 1131220655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29205 13073 16 0 210138 0
vsize: 840616
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 108554 66 0 0 25 0 11 0 547702983 860790784 29250 4294967295 134512640 134569956 3221224400 3221214680 1131220871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29250 13073 16 0 210138 0
vsize: 840616
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 109539 66 0 0 25 0 11 0 547702983 860790784 29297 4294967295 134512640 134569956 3221224400 3221214776 1131287159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29297 13073 16 0 210138 0
vsize: 840616
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 110524 66 0 0 25 0 11 0 547702983 860790784 29350 4294967295 134512640 134569956 3221224400 3221214776 1131285252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29350 13073 16 0 210138 0
vsize: 840616
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 111509 66 0 0 25 0 11 0 547702983 860790784 29404 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29404 13073 16 0 210138 0
vsize: 840616
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 112494 66 0 0 25 0 11 0 547702983 860790784 29447 4294967295 134512640 134569956 3221224400 3221214776 1131287221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29447 13073 16 0 210138 0
vsize: 840616
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 113479 66 0 0 25 0 11 0 547702983 860790784 29496 4294967295 134512640 134569956 3221224400 3221214680 1131220871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29496 13073 16 0 210138 0
vsize: 840616
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 114464 66 0 0 25 0 11 0 547702983 860790784 29539 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29539 13073 16 0 210138 0
vsize: 840616
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 115449 66 0 0 25 0 11 0 547702983 860790784 29593 4294967295 134512640 134569956 3221224400 3221214680 1131220933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29593 13073 16 0 210138 0
vsize: 840616
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 116435 66 0 0 25 0 11 0 547702983 860790784 29642 4294967295 134512640 134569956 3221224400 3221214680 1131221111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29642 13073 16 0 210138 0
vsize: 840616
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 117420 66 0 0 25 0 11 0 547702983 860790784 29685 4294967295 134512640 134569956 3221224400 3221214776 1131284442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29685 13073 16 0 210138 0
vsize: 840616
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 118406 66 0 0 25 0 11 0 547702983 860790784 29733 4294967295 134512640 134569956 3221224400 3221214680 1131221048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29733 13073 16 0 210138 0
vsize: 840616
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6802
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 119391 66 0 0 25 0 11 0 547702983 860790784 29777 4294967295 134512640 134569956 3221224400 3221214680 1131221672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29777 13073 16 0 210138 0
vsize: 840616
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 6804
Raw data (stat): 6737 (java) R 6736 26298 26297 0 -1 0 18080 0 1 0 120377 66 0 0 25 0 11 0 547702983 860790784 29822 4294967295 134512640 134569956 3221224400 3221214680 1131221701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 29822 13073 16 0 210138 0
vsize: 840616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.31 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 6806
Raw data (stat): 6737 (java) Z 6736 26298 26297 0 -1 1036 18080 9812 1 0 120377 66 2339 39 25 0 1 0 547702983 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): 1230.31
CPU time (s): 1228.23
CPU user time (s): 1227.17
CPU system time (s): 1.05784
CPU usage (%): 99.8312
Max. virtual memory (Kb): 841544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####