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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
MD5SUM	9029e59d305ed70ef352ded3c086e2a0
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	7968
Biggest coefficient in the objective function	9098351345664
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	4803935111035752
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	9098351345664
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	4803935111035752
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.204968
Number of variables	23808
Total number of constraints	1240
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	1
Maximum length of a constraint	5940
Trace number 16605

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        773620 kB
Buffers:         11920 kB
Cached:         222972 kB
SwapCached:        796 kB
Active:          49444 kB
Inactive:       187680 kB
HighTotal:      131008 kB
HighFree:        38696 kB
LowTotal:       903652 kB
LowFree:        734924 kB
SwapTotal:     2097892 kB
SwapFree:      2096320 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5176 kB
Slab:            18336 kB
Committed_AS:    63804 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:19:44 (client local time) WITH STATUS 143 IN 1218.6 SECONDS
stats: 12957 7 1218.6 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-qiu.opb
c reading problem 
c [nbvar=23808]
c [nbconstr=1240]
c time 169.62
c #vars     23808
c #clauses  1325
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.78 0.92 0.92 1/55 25202
Raw data (stat): 25202 (runsolver) D 25201 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 543457582 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.82 0.93 0.92 2/64 25211
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 17989 0 1 0 871 39 0 0 25 0 10 0 543457582 853536768 19104 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208383 19104 13073 16 0 208367 0
vsize: 833532
[startup+20.0055 s]
Raw data (loadavg): 0.84 0.93 0.92 2/64 25211
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 17989 0 1 0 1763 39 0 0 25 0 10 0 543457582 854855680 19917 4294967295 134512640 134569956 3221224400 3221214824 1131209919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208705 19917 13073 16 0 208689 0
vsize: 834820
[startup+30.0063 s]
Raw data (loadavg): 0.95 0.95 0.92 2/64 25211
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 2616 40 0 0 18 0 10 0 543457582 855924736 20950 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208966 20950 13073 16 0 208950 0
vsize: 835864
[startup+40.0181 s]
Raw data (loadavg): 0.96 0.95 0.92 2/64 25211
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 3504 40 0 0 18 0 10 0 543457582 855924736 21189 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208966 21189 13073 16 0 208950 0
vsize: 835864
[startup+50.2653 s]
Raw data (loadavg): 1.12 0.98 0.93 3/67 25249
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 4433 44 0 0 25 0 10 0 543457582 855924736 21519 4294967295 134512640 134569956 3221224400 3221214768 1131209919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 21519 13073 16 0 208950 0
vsize: 835864
[startup+60.2701 s]
Raw data (loadavg): 1.17 1.00 0.94 2/64 25264
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 5345 45 0 0 25 0 10 0 543457582 855924736 21648 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208966 21648 13073 16 0 208950 0
vsize: 835864
[startup+70.2739 s]
Raw data (loadavg): 1.14 1.00 0.94 2/64 25264
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 6269 46 0 0 25 0 10 0 543457582 855924736 21855 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 21855 13073 16 0 208950 0
vsize: 835864
[startup+80.2784 s]
Raw data (loadavg): 1.12 1.00 0.94 2/64 25264
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 7189 46 0 0 24 0 10 0 543457582 855924736 21981 4294967295 134512640 134569956 3221224400 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 21981 13073 16 0 208950 0
vsize: 835864
[startup+90.2783 s]
Raw data (loadavg): 1.10 1.00 0.94 2/64 25266
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 8112 46 0 0 25 0 10 0 543457582 855924736 22089 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22089 13073 16 0 208950 0
vsize: 835864
[startup+100.279 s]
Raw data (loadavg): 1.09 1.00 0.94 2/64 25266
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 9044 47 0 0 25 0 10 0 543457582 855924736 22248 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22248 13073 16 0 208950 0
vsize: 835864
[startup+110.28 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 25266
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 9973 47 0 0 24 0 10 0 543457582 855924736 22345 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22345 13073 16 0 208950 0
vsize: 835864
[startup+120.28 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 25268
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 10903 48 0 0 25 0 10 0 543457582 855924736 22439 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22439 13073 16 0 208950 0
vsize: 835864
[startup+130.281 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 25268
Raw data (stat): 25202 (java) S 25201 20024 20023 0 -1 0 18008 0 1 0 11830 48 0 0 25 0 10 0 543457582 855924736 22539 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22539 13073 16 0 208950 0
vsize: 835864
[startup+140.282 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 25268
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 12759 48 0 0 25 0 10 0 543457582 855924736 22639 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22639 13073 16 0 208950 0
vsize: 835864
[startup+150.283 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 25268
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 13689 48 0 0 25 0 10 0 543457582 855924736 22735 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22735 13073 16 0 208950 0
vsize: 835864
[startup+160.283 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 25268
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18008 0 1 0 14615 49 0 0 25 0 10 0 543457582 855924736 22826 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22826 13073 16 0 208950 0
vsize: 835864
[startup+170.283 s]
Raw data (loadavg): 1.02 1.00 0.94 4/64 25268
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18009 0 1 0 15555 51 0 0 25 0 10 0 543457582 855924736 22898 4294967295 134512640 134569956 3221224400 3221213516 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208966 22898 13073 16 0 208950 0
vsize: 835864
[startup+180.291 s]
Raw data (loadavg): 1.02 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 16393 51 0 0 25 0 11 0 543457582 858349568 25839 4294967295 134512640 134569956 3221224400 3221214744 1131465935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25839 13073 16 0 209542 0
vsize: 838232
[startup+190.292 s]
Raw data (loadavg): 1.02 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 17382 51 0 0 25 0 11 0 543457582 858349568 25839 4294967295 134512640 134569956 3221224400 3221214552 1131431291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25839 13073 16 0 209542 0
vsize: 838232
[startup+200.292 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 18371 52 0 0 25 0 11 0 543457582 858349568 25839 4294967295 134512640 134569956 3221224400 3221214744 1131463988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25839 13073 16 0 209542 0
vsize: 838232
[startup+210.294 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 19363 52 0 0 25 0 11 0 543457582 858349568 25867 4294967295 134512640 134569956 3221224400 3221214744 1131464382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25867 13073 16 0 209542 0
vsize: 838232
[startup+220.293 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 20360 52 0 0 25 0 11 0 543457582 858349568 25867 4294967295 134512640 134569956 3221224400 3221214744 1131463292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25867 13073 16 0 209542 0
vsize: 838232
[startup+230.294 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 21357 52 0 0 25 0 11 0 543457582 858349568 25867 4294967295 134512640 134569956 3221224400 3221214856 1131405280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209558 25867 13073 16 0 209542 0
vsize: 838232
[startup+240.296 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 22354 52 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214688 1131449595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+250.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 23350 53 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214676 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+260.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 24347 53 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214744 1131463899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+270.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 25344 53 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214744 1131465102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+280.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 26341 54 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214744 1131463400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+290.297 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 27338 54 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214744 1131464382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+300.298 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 28335 54 0 0 25 0 11 0 543457582 857305088 25617 4294967295 134512640 134569956 3221224400 3221214680 1131438808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25617 13073 16 0 209287 0
vsize: 837212
[startup+310.299 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 29333 55 0 0 25 0 11 0 543457582 857305088 25618 4294967295 134512640 134569956 3221224400 3221214856 1131405486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25618 13073 16 0 209287 0
vsize: 837212
[startup+320.299 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 30328 55 0 0 25 0 11 0 543457582 857305088 25631 4294967295 134512640 134569956 3221224400 3221214552 1131430972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25631 13073 16 0 209287 0
vsize: 837212
[startup+330.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 31323 55 0 0 25 0 11 0 543457582 857305088 25631 4294967295 134512640 134569956 3221224400 3221214656 1131410158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25631 13073 16 0 209287 0
vsize: 837212
[startup+340.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 32318 56 0 0 25 0 11 0 543457582 857305088 25632 4294967295 134512640 134569956 3221224400 3221214744 1131465121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25632 13073 16 0 209287 0
vsize: 837212
[startup+350.301 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 33315 56 0 0 19 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214744 1131464840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+360.303 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 34312 56 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214856 1131405292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+370.303 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 35309 57 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214676 1131494344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+380.308 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25269
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 36306 57 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+390.308 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25271
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 37302 58 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214680 1131437416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+400.309 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 38298 58 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214744 1131465950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+410.31 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 39295 59 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214744 1131463246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+420.31 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 40291 59 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214696 1131452423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+430.311 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 41286 59 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214624 1131449468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+440.31 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 42281 60 0 0 25 0 11 0 543457582 857305088 25634 4294967295 134512640 134569956 3221224400 3221214744 1131463691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25634 13073 16 0 209287 0
vsize: 837212
[startup+450.312 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 43277 60 0 0 25 0 11 0 543457582 857305088 25635 4294967295 134512640 134569956 3221224400 3221214924 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25635 13073 16 0 209287 0
vsize: 837212
[startup+460.312 s]
Raw data (loadavg): 1.08 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 44272 60 0 0 25 0 11 0 543457582 857305088 25636 4294967295 134512640 134569956 3221224400 3221214676 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25636 13073 16 0 209287 0
vsize: 837212
[startup+470.312 s]
Raw data (loadavg): 1.07 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 45267 60 0 0 25 0 11 0 543457582 857305088 25638 4294967295 134512640 134569956 3221224400 3221214676 1131452574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25638 13073 16 0 209287 0
vsize: 837212
[startup+480.314 s]
Raw data (loadavg): 1.06 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 46263 60 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214056 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+490.314 s]
Raw data (loadavg): 1.05 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 47260 60 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214628 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+500.314 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 48257 60 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214680 1131437361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+510.315 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 49254 60 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+520.315 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 50250 60 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214680 1131438631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+530.316 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 51248 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214684 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+540.316 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 52244 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214744 1131465578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+550.317 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 53241 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214596 1131431599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+560.317 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 54236 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214628 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+570.317 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 55231 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214680 1131438631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+580.318 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 56227 61 0 0 25 0 11 0 543457582 857305088 25640 4294967295 134512640 134569956 3221224400 3221214676 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25640 13073 16 0 209287 0
vsize: 837212
[startup+590.318 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 57221 61 0 0 25 0 11 0 543457582 857305088 25641 4294967295 134512640 134569956 3221224400 3221214744 1131464827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25641 13073 16 0 209287 0
vsize: 837212
[startup+600.319 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 58216 61 0 0 25 0 11 0 543457582 857305088 25643 4294967295 134512640 134569956 3221224400 3221214680 1131437881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25643 13073 16 0 209287 0
vsize: 837212
[startup+610.319 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 59212 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214744 1131464437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+620.319 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 60209 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214732 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+630.319 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 61205 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214680 1131437353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+640.319 s]
Raw data (loadavg): 1.08 1.02 0.95 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 62202 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214676 1131453996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+650.319 s]
Raw data (loadavg): 1.07 1.02 0.95 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 63199 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214696 1131496660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+660.32 s]
Raw data (loadavg): 1.06 1.01 0.95 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 64197 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214676 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+670.32 s]
Raw data (loadavg): 1.05 1.01 0.95 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 65194 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214856 1131405292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+680.321 s]
Raw data (loadavg): 1.04 1.01 0.95 2/65 25273
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 66190 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214768 1131496660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+690.322 s]
Raw data (loadavg): 1.03 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 67186 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214676 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+700.322 s]
Raw data (loadavg): 1.03 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 68181 62 0 0 25 0 11 0 543457582 857305088 25646 4294967295 134512640 134569956 3221224400 3221214680 1131438186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25646 13073 16 0 209287 0
vsize: 837212
[startup+710.321 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18075 0 1 0 69177 62 0 0 25 0 11 0 543457582 857444352 25660 4294967295 134512640 134569956 3221224400 3221214776 1131405303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209337 25660 13073 16 0 209321 0
vsize: 837348
[startup+720.322 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 70171 62 0 0 24 0 11 0 543457582 857444352 25661 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209337 25661 13073 16 0 209321 0
vsize: 837348
[startup+730.323 s]
Raw data (loadavg): 1.02 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 71160 63 0 0 25 0 11 0 543457582 857305088 25657 4294967295 134512640 134569956 3221224400 3221214624 1131431516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25657 13073 16 0 209287 0
vsize: 837212
[startup+740.323 s]
Raw data (loadavg): 1.01 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 72149 63 0 0 25 0 11 0 543457582 857305088 25657 4294967295 134512640 134569956 3221224400 3221214752 1131437668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25657 13073 16 0 209287 0
vsize: 837212
[startup+750.323 s]
Raw data (loadavg): 1.01 1.01 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 73139 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+760.324 s]
Raw data (loadavg): 1.01 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 74136 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131463724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+770.324 s]
Raw data (loadavg): 1.01 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 75133 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131466264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+780.325 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 76131 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131464407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+790.326 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 77128 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214752 1131437881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+800.326 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 78125 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131465176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+810.326 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 79122 63 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131463385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+820.326 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 80119 64 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214696 1131449445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+830.327 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 81116 64 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214816 1131465451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+840.327 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 82112 64 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214768 1131452229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+850.327 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 83109 64 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214856 1131405313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+860.327 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 84102 64 0 0 25 0 11 0 543457582 857305088 25692 4294967295 134512640 134569956 3221224400 3221214704 1131404006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25692 13073 16 0 209287 0
vsize: 837212
[startup+870.327 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 85096 65 0 0 25 0 11 0 543457582 857305088 25693 4294967295 134512640 134569956 3221224400 3221214696 1131496660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25693 13073 16 0 209287 0
vsize: 837212
[startup+880.328 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 86091 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214696 1131452374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+890.332 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 87088 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214680 1131437317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+900.331 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 88085 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214744 1131465578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+910.332 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 89081 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214640 1131496660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+920.333 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 90079 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214656 1131410140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+930.334 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 91076 65 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214620 1080203686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+940.334 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 92073 66 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214680 1131438631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+950.335 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 93069 66 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214624 1131454062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+960.336 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 94065 66 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214744 1131463761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+970.438 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 95070 66 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214628 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+980.438 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25275
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 96066 66 0 0 25 0 11 0 543457582 857305088 25696 4294967295 134512640 134569956 3221224400 3221214728 1131449468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25696 13073 16 0 209287 0
vsize: 837212
[startup+990.438 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 97061 66 0 0 25 0 11 0 543457582 857305088 25697 4294967295 134512640 134569956 3221224400 3221214680 1131200144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25697 13073 16 0 209287 0
vsize: 837212
[startup+1000.44 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 98056 66 0 0 25 0 11 0 543457582 857305088 25699 4294967295 134512640 134569956 3221224400 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25699 13073 16 0 209287 0
vsize: 837212
[startup+1010.44 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 99052 66 0 0 25 0 11 0 543457582 857305088 25700 4294967295 134512640 134569956 3221224400 3221214544 1131431119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25700 13073 16 0 209287 0
vsize: 837212
[startup+1020.44 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 100049 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214624 1131452423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1030.44 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 101045 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214624 1131452367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1040.44 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 102041 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214688 1131496660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1050.45 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 103039 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214720 1131450953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1060.45 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 104036 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214624 1131452437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1070.45 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 105033 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1080.46 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 106030 67 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214816 1131580898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1090.46 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 107026 68 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214544 1131431511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1100.46 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 108021 68 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214720 1131450953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1110.46 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 109017 68 0 0 25 0 11 0 543457582 857305088 25702 4294967295 134512640 134569956 3221224400 3221214776 1131405292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25702 13073 16 0 209287 0
vsize: 837212
[startup+1120.6 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 110026 68 0 0 25 0 11 0 543457582 857305088 25703 4294967295 134512640 134569956 3221224400 3221214672 1131439102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25703 13073 16 0 209287 0
vsize: 837212
[startup+1130.6 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 111021 68 0 0 25 0 11 0 543457582 857305088 25704 4294967295 134512640 134569956 3221224400 3221214624 1131452423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25704 13073 16 0 209287 0
vsize: 837212
[startup+1140.61 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 112017 68 0 0 25 0 11 0 543457582 857305088 25706 4294967295 134512640 134569956 3221224400 3221214736 1131465664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25706 13073 16 0 209287 0
vsize: 837212
[startup+1150.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 113015 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214648 1131409993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1160.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 114011 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214804 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1170.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 115008 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214624 1131452336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1180.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 116005 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214736 1131465220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1190.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 117003 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214616 1131454059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1200.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 118000 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214736 1131462899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1210.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 118996 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214736 1131463761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
[startup+1220.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25277
Raw data (stat): 25202 (java) R 25201 20024 20023 0 -1 0 18076 0 1 0 119992 68 0 0 25 0 11 0 543457582 857305088 25708 4294967295 134512640 134569956 3221224400 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 25708 13073 16 0 209287 0
vsize: 837212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.7 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 25279
Raw data (stat): 25202 (java) Z 25201 20024 20023 0 -1 1036 18076 6466 1 0 119995 68 1767 28 25 0 1 0 543457582 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): 1220.7
CPU time (s): 1218.6
CPU user time (s): 1217.63
CPU system time (s): 0.970852
CPU usage (%): 99.8281
Max. virtual memory (Kb): 838232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####