PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 15162

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-21 03:02:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18482 boxname=wulflinc7 idbench=1422 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 18482
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        879364 kB
Buffers:         13552 kB
Cached:         119180 kB
SwapCached:          4 kB
Active:          32916 kB
Inactive:       102636 kB
HighTotal:      131008 kB
HighFree:        23968 kB
LowTotal:       903652 kB
LowFree:        855396 kB
SwapTotal:     2097136 kB
SwapFree:      2097132 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            14040 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 03:23:26 (client local time) WITH STATUS 143 IN 1252.46 SECONDS
stats: 18482 7 1252.46 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-l152lav.opb
c reading problem 
c [nbvar=1989]
c [nbconstr=2086]
c time 5.718
c #vars     1989
c #clauses  193
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=5796
c Current CPU time (ms) : 14.734
c starts	: 1
c conflicts	: 24
c decisions	: 2237
c propagations	: 7010
c inspects	: 2375
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 1
#### 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 30823
Raw data (stat): 30823 (runsolver) R 30822 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483469856 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.17 1.00 0.93 4/64 30833
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18071 0 1 0 595 40 0 0 25 0 11 0 483469856 863924224 21443 4294967295 134512640 134569956 3221224400 3221214480 1131422863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210919 21454 13073 16 0 210903 0
vsize: 843676
[startup+20.0008 s]
Raw data (loadavg): 1.14 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18072 3 1 0 1476 40 0 0 25 0 11 0 483469856 861569024 21707 4294967295 134512640 134569956 3221224400 3221214748 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210344 21707 13073 16 0 210328 0
vsize: 841376
[startup+30.0018 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18072 3 1 0 2386 40 0 0 25 0 11 0 483469856 861569024 22353 4294967295 134512640 134569956 3221224400 3221214720 1131397775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210344 22353 13073 16 0 210328 0
vsize: 841376
[startup+40.0017 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18073 3 1 0 3314 40 0 0 25 0 11 0 483469856 860913664 22449 4294967295 134512640 134569956 3221224400 3221214684 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 22449 13073 16 0 210168 0
vsize: 840736
[startup+50.0028 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18073 3 1 0 4230 41 0 0 25 0 11 0 483469856 860913664 22544 4294967295 134512640 134569956 3221224400 3221214744 1131430498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 22544 13073 16 0 210168 0
vsize: 840736
[startup+60.0025 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 5166 41 0 0 25 0 11 0 483469856 860913664 22986 4294967295 134512640 134569956 3221224400 3221214744 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 22986 13073 16 0 210168 0
vsize: 840736
[startup+70.0027 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 6108 41 0 0 25 0 11 0 483469856 864530432 24087 4294967295 134512640 134569956 3221224400 3221214792 1131433305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211067 24087 13073 16 0 211051 0
vsize: 844268
[startup+80.0038 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 7034 41 0 0 25 0 11 0 483469856 864169984 24154 4294967295 134512640 134569956 3221224400 3221214792 1131479641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210979 24154 13073 16 0 210963 0
vsize: 843916
[startup+90.0048 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 7975 42 0 0 25 0 11 0 483469856 860913664 23359 4294967295 134512640 134569956 3221224400 3221214544 1131412855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 23359 13073 16 0 210168 0
vsize: 840736
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 8912 42 0 0 24 0 11 0 483469856 860913664 23690 4294967295 134512640 134569956 3221224400 3221214704 1131397415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 23690 13073 16 0 210168 0
vsize: 840736
[startup+110.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 9868 42 0 0 25 0 11 0 483469856 860913664 23895 4294967295 134512640 134569956 3221224400 3221214448 1131271224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 23895 13073 16 0 210168 0
vsize: 840736
[startup+120.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 10813 43 0 0 25 0 11 0 483469856 860913664 23994 4294967295 134512640 134569956 3221224400 3221214768 1131485224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 23994 13073 16 0 210168 0
vsize: 840736
[startup+130.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 11749 43 0 0 25 0 11 0 483469856 860913664 24014 4294967295 134512640 134569956 3221224400 3221214536 1131612276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 24014 13073 16 0 210168 0
vsize: 840736
[startup+140.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 30834
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 12677 43 0 0 25 0 11 0 483469856 860913664 24097 4294967295 134512640 134569956 3221224400 3221214680 1131321953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 24097 13073 16 0 210168 0
vsize: 840736
[startup+150.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 13597 44 0 0 25 0 11 0 483469856 860913664 24382 4294967295 134512640 134569956 3221224400 3221214776 1131374946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 24382 13073 16 0 210168 0
vsize: 840736
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 14524 45 0 0 25 0 11 0 483469856 860913664 24632 4294967295 134512640 134569956 3221224400 3221214752 1131366931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 24632 13073 16 0 210168 0
vsize: 840736
[startup+170.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 15457 45 0 0 24 0 11 0 483469856 860913664 24828 4294967295 134512640 134569956 3221224400 3221214768 1131484563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 24828 13073 16 0 210168 0
vsize: 840736
[startup+180.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 16394 46 0 0 25 0 11 0 483469856 860913664 25061 4294967295 134512640 134569956 3221224400 3221214416 1131332160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25061 13073 16 0 210168 0
vsize: 840736
[startup+190.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 17341 46 0 0 24 0 11 0 483469856 860913664 25146 4294967295 134512640 134569956 3221224400 3221214732 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25146 13073 16 0 210168 0
vsize: 840736
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 18273 46 0 0 25 0 11 0 483469856 860913664 25345 4294967295 134512640 134569956 3221224400 3221214484 1131562064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25345 13073 16 0 210168 0
vsize: 840736
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 19211 47 0 0 25 0 11 0 483469856 860913664 25503 4294967295 134512640 134569956 3221224400 3221214672 1131321913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25503 13073 16 0 210168 0
vsize: 840736
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 20135 47 0 0 25 0 11 0 483469856 860913664 25547 4294967295 134512640 134569956 3221224400 3221214776 1131375928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25547 13073 16 0 210168 0
vsize: 840736
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 21067 48 0 0 25 0 11 0 483469856 860913664 25840 4294967295 134512640 134569956 3221224400 3221214536 1131613594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25840 13073 16 0 210168 0
vsize: 840736
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 22021 48 0 0 25 0 11 0 483469856 860913664 25941 4294967295 134512640 134569956 3221224400 3221214416 1131332403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 25941 13073 16 0 210168 0
vsize: 840736
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 22988 49 0 0 25 0 11 0 483469856 860913664 26199 4294967295 134512640 134569956 3221224400 3221214416 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26199 13073 16 0 210168 0
vsize: 840736
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 23975 49 0 0 25 0 11 0 483469856 860913664 26296 4294967295 134512640 134569956 3221224400 3221214416 1131332338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26296 13073 16 0 210168 0
vsize: 840736
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 24971 50 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214512 1131174111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 25969 50 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214512 1131174087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 26967 50 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214536 1131612592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 27965 51 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214416 1131332168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 28963 51 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214416 1131332154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 29961 51 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214536 1131613512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 30957 52 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214424 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 31954 52 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 32950 53 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214680 1131313520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 33947 53 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214416 1131332160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 34942 53 0 0 25 0 11 0 483469856 860913664 26316 4294967295 134512640 134569956 3221224400 3221214680 1131321868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26316 13073 16 0 210168 0
vsize: 840736
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 35909 53 0 0 25 0 11 0 483469856 860913664 26331 4294967295 134512640 134569956 3221224400 3221214680 1131321865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26331 13073 16 0 210168 0
vsize: 840736
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 36845 53 0 0 25 0 11 0 483469856 860913664 26335 4294967295 134512640 134569956 3221224400 3221214728 1131349864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 26335 13073 16 0 210168 0
vsize: 840736
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 37777 53 0 0 25 0 11 0 483469856 860913664 26335 4294967295 134512640 134569956 3221224400 3221214536 1131612520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26335 13073 16 0 210168 0
vsize: 840736
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 38703 54 0 0 25 0 11 0 483469856 860913664 26548 4294967295 134512640 134569956 3221224400 3221214624 1131534696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26548 13073 16 0 210168 0
vsize: 840736
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 39647 55 0 0 25 0 11 0 483469856 860913664 26826 4294967295 134512640 134569956 3221224400 3221214776 1131375089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 26826 13073 16 0 210168 0
vsize: 840736
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 40608 55 0 0 25 0 11 0 483469856 860913664 27002 4294967295 134512640 134569956 3221224400 3221214792 1131430776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27002 13073 16 0 210168 0
vsize: 840736
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 41573 55 0 0 25 0 11 0 483469856 860913664 27065 4294967295 134512640 134569956 3221224400 3221214616 1131700568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27065 13073 16 0 210168 0
vsize: 840736
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 42541 56 0 0 25 0 11 0 483469856 860913664 27170 4294967295 134512640 134569956 3221224400 3221214536 1131612175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27170 13073 16 0 210168 0
vsize: 840736
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 43514 56 0 0 25 0 11 0 483469856 860913664 27209 4294967295 134512640 134569956 3221224400 3221214792 1131433653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27209 13073 16 0 210168 0
vsize: 840736
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 44462 56 0 0 25 0 11 0 483469856 860913664 27301 4294967295 134512640 134569956 3221224400 3221214792 1131431113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27301 13073 16 0 210168 0
vsize: 840736
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 45403 57 0 0 25 0 11 0 483469856 860913664 27388 4294967295 134512640 134569956 3221224400 3221214728 1131423961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27388 13073 16 0 210168 0
vsize: 840736
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 46350 57 0 0 25 0 11 0 483469856 860913664 27448 4294967295 134512640 134569956 3221224400 3221214568 1131418380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27448 13073 16 0 210168 0
vsize: 840736
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 47320 58 0 0 25 0 11 0 483469856 860913664 27661 4294967295 134512640 134569956 3221224400 3221214424 1131332504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27661 13073 16 0 210168 0
vsize: 840736
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 48280 58 0 0 25 0 11 0 483469856 860913664 27748 4294967295 134512640 134569956 3221224400 3221214792 1131432589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27748 13073 16 0 210168 0
vsize: 840736
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) S 30822 22932 22931 0 -1 0 18074 3 1 0 49231 59 0 0 25 0 11 0 483469856 860913664 27804 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27804 13073 16 0 210168 0
vsize: 840736
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 50198 59 0 0 25 0 11 0 483469856 860913664 27839 4294967295 134512640 134569956 3221224400 3221214776 1131371897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27839 13073 16 0 210168 0
vsize: 840736
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 51162 59 0 0 25 0 11 0 483469856 860913664 27994 4294967295 134512640 134569956 3221224400 3221214704 1131397939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 27994 13073 16 0 210168 0
vsize: 840736
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 52111 60 0 0 25 0 11 0 483469856 860913664 28066 4294967295 134512640 134569956 3221224400 3221214680 1131322189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28066 13073 16 0 210168 0
vsize: 840736
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) S 30822 22932 22931 0 -1 0 18074 3 1 0 53048 60 0 0 25 0 11 0 483469856 860913664 28115 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28115 13073 16 0 210168 0
vsize: 840736
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 53998 60 0 0 25 0 11 0 483469856 860913664 28159 4294967295 134512640 134569956 3221224400 3221214624 1131534563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28159 13073 16 0 210168 0
vsize: 840736
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 54952 61 0 0 25 0 11 0 483469856 860913664 28417 4294967295 134512640 134569956 3221224400 3221214416 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28417 13073 16 0 210168 0
vsize: 840736
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 55926 61 0 0 25 0 11 0 483469856 860913664 28553 4294967295 134512640 134569956 3221224400 3221214872 1131637028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28553 13073 16 0 210168 0
vsize: 840736
[startup+600.037 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 56904 62 0 0 25 0 11 0 483469856 860913664 28648 4294967295 134512640 134569956 3221224400 3221214520 1131271214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28648 13073 16 0 210168 0
vsize: 840736
[startup+610.038 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 57884 63 0 0 25 0 11 0 483469856 860913664 28648 4294967295 134512640 134569956 3221224400 3221214616 1131700580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28648 13073 16 0 210168 0
vsize: 840736
[startup+620.039 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 58864 63 0 0 25 0 11 0 483469856 860913664 28648 4294967295 134512640 134569956 3221224400 3221214424 1131332271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28648 13073 16 0 210168 0
vsize: 840736
[startup+630.04 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 59844 64 0 0 25 0 11 0 483469856 860913664 28763 4294967295 134512640 134569956 3221224400 3221214704 1131398421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28763 13073 16 0 210168 0
vsize: 840736
[startup+640.04 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 60828 64 0 0 25 0 11 0 483469856 860913664 28763 4294967295 134512640 134569956 3221224400 3221214416 1131332548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28763 13073 16 0 210168 0
vsize: 840736
[startup+650.041 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 61808 65 0 0 25 0 11 0 483469856 860913664 28763 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28763 13073 16 0 210168 0
vsize: 840736
[startup+660.04 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 62784 65 0 0 25 0 11 0 483469856 860913664 28763 4294967295 134512640 134569956 3221224400 3221214516 1131174149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28763 13073 16 0 210168 0
vsize: 840736
[startup+670.04 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 63765 65 0 0 25 0 11 0 483469856 860913664 28830 4294967295 134512640 134569956 3221224400 3221214624 1131534563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28830 13073 16 0 210168 0
vsize: 840736
[startup+680.042 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) S 30822 22932 22931 0 -1 0 18074 3 1 0 64746 66 0 0 25 0 11 0 483469856 860913664 28830 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28830 13073 16 0 210168 0
vsize: 840736
[startup+690.042 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) S 30822 22932 22931 0 -1 0 18074 3 1 0 65727 67 0 0 25 0 11 0 483469856 860913664 28918 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28918 13073 16 0 210168 0
vsize: 840736
[startup+700.042 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 66711 67 0 0 25 0 11 0 483469856 860913664 28934 4294967295 134512640 134569956 3221224400 3221214536 1131612096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28934 13073 16 0 210168 0
vsize: 840736
[startup+710.043 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 67693 67 0 0 24 0 11 0 483469856 860913664 28938 4294967295 134512640 134569956 3221224400 3221214536 1131612142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28938 13073 16 0 210168 0
vsize: 840736
[startup+720.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 68675 68 0 0 25 0 11 0 483469856 860913664 28979 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28979 13073 16 0 210168 0
vsize: 840736
[startup+730.043 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 69658 69 0 0 25 0 11 0 483469856 860913664 28996 4294967295 134512640 134569956 3221224400 3221214536 1131612302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28996 13073 16 0 210168 0
vsize: 840736
[startup+740.044 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18074 3 1 0 70642 69 0 0 25 0 11 0 483469856 860913664 28996 4294967295 134512640 134569956 3221224400 3221214424 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 28996 13073 16 0 210168 0
vsize: 840736
[startup+750.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 71633 70 0 0 25 0 11 0 483469856 860913664 29051 4294967295 134512640 134569956 3221224400 3221214352 1130915524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29051 13073 16 0 210168 0
vsize: 840736
[startup+760.044 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 72628 70 0 0 25 0 11 0 483469856 860913664 29067 4294967295 134512640 134569956 3221224400 3221214748 1131362944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29067 13073 16 0 210168 0
vsize: 840736
[startup+770.045 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 73619 70 0 0 25 0 11 0 483469856 860913664 29067 4294967295 134512640 134569956 3221224400 3221214416 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29067 13073 16 0 210168 0
vsize: 840736
[startup+780.046 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 74606 71 0 0 25 0 11 0 483469856 860913664 29067 4294967295 134512640 134569956 3221224400 3221214616 1131700544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29067 13073 16 0 210168 0
vsize: 840736
[startup+790.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 75595 71 0 0 25 0 11 0 483469856 860913664 29067 4294967295 134512640 134569956 3221224400 3221214416 1131332160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29067 13073 16 0 210168 0
vsize: 840736
[startup+800.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 76583 72 0 0 25 0 11 0 483469856 860913664 29076 4294967295 134512640 134569956 3221224400 3221214616 1131700562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29076 13073 16 0 210168 0
vsize: 840736
[startup+810.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 77570 73 0 0 25 0 11 0 483469856 860913664 29088 4294967295 134512640 134569956 3221224400 3221214416 1131332237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29088 13073 16 0 210168 0
vsize: 840736
[startup+820.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 78555 73 0 0 25 0 11 0 483469856 860913664 29088 4294967295 134512640 134569956 3221224400 3221214616 1131700675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29088 13073 16 0 210168 0
vsize: 840736
[startup+830.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 79543 73 0 0 25 0 11 0 483469856 860913664 29099 4294967295 134512640 134569956 3221224400 3221214848 1131521621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29099 13073 16 0 210168 0
vsize: 840736
[startup+840.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 80529 74 0 0 25 0 11 0 483469856 860913664 29120 4294967295 134512640 134569956 3221224400 3221214616 1131700562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29120 13073 16 0 210168 0
vsize: 840736
[startup+850.047 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 81517 74 0 0 25 0 11 0 483469856 860913664 29129 4294967295 134512640 134569956 3221224400 3221214568 1131418717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29129 13073 16 0 210168 0
vsize: 840736
[startup+860.047 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 82502 74 0 0 25 0 11 0 483469856 860913664 29129 4294967295 134512640 134569956 3221224400 3221214576 1131578453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 29129 13073 16 0 210168 0
vsize: 840736
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 83485 74 0 0 25 0 11 0 483469856 860913664 29144 4294967295 134512640 134569956 3221224400 3221214624 1131534688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29144 13073 16 0 210168 0
vsize: 840736
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 84473 75 0 0 25 0 11 0 483469856 860913664 29144 4294967295 134512640 134569956 3221224400 3221214416 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29144 13073 16 0 210168 0
vsize: 840736
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 85465 75 0 0 25 0 11 0 483469856 860913664 29164 4294967295 134512640 134569956 3221224400 3221214416 1131332237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29164 13073 16 0 210168 0
vsize: 840736
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 86461 75 0 0 25 0 11 0 483469856 860913664 29164 4294967295 134512640 134569956 3221224400 3221214616 1131700544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210184 29164 13073 16 0 210168 0
vsize: 840736
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 87449 76 0 0 25 0 11 0 483469856 860913664 29164 4294967295 134512640 134569956 3221224400 3221214416 1131332201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29164 13073 16 0 210168 0
vsize: 840736
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 88435 76 0 0 25 0 11 0 483469856 860913664 29164 4294967295 134512640 134569956 3221224400 3221214536 1131612556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29164 13073 16 0 210168 0
vsize: 840736
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 89420 77 0 0 24 0 11 0 483469856 860913664 29179 4294967295 134512640 134569956 3221224400 3221214536 1131612139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29179 13073 16 0 210168 0
vsize: 840736
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 90407 77 0 0 25 0 11 0 483469856 860913664 29190 4294967295 134512640 134569956 3221224400 3221214424 1131333185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29190 13073 16 0 210168 0
vsize: 840736
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 91402 77 0 0 25 0 11 0 483469856 860913664 29201 4294967295 134512640 134569956 3221224400 3221214520 1131271265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29201 13073 16 0 210168 0
vsize: 840736
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 92393 78 0 0 25 0 11 0 483469856 860913664 29217 4294967295 134512640 134569956 3221224400 3221214624 1131534556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29217 13073 16 0 210168 0
vsize: 840736
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 93380 78 0 0 20 0 11 0 483469856 860913664 29217 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29217 13073 16 0 210168 0
vsize: 840736
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 94360 78 0 0 25 0 11 0 483469856 860913664 29217 4294967295 134512640 134569956 3221224400 3221214616 1131700638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29217 13073 16 0 210168 0
vsize: 840736
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 95338 79 0 0 25 0 11 0 483469856 860913664 29224 4294967295 134512640 134569956 3221224400 3221214416 1131332271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29224 13073 16 0 210168 0
vsize: 840736
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 96317 79 0 0 25 0 11 0 483469856 860913664 29224 4294967295 134512640 134569956 3221224400 3221214424 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29224 13073 16 0 210168 0
vsize: 840736
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 97302 80 0 0 25 0 11 0 483469856 860913664 29331 4294967295 134512640 134569956 3221224400 3221214520 1131269153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29331 13073 16 0 210168 0
vsize: 840736
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 98290 80 0 0 25 0 11 0 483469856 860913664 29331 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29331 13073 16 0 210168 0
vsize: 840736
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 99284 80 0 0 25 0 11 0 483469856 860913664 29359 4294967295 134512640 134569956 3221224400 3221214616 1131700683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29359 13073 16 0 210168 0
vsize: 840736
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 100269 81 0 0 25 0 11 0 483469856 860913664 29359 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29359 13073 16 0 210168 0
vsize: 840736
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 101252 81 0 0 25 0 11 0 483469856 860913664 29359 4294967295 134512640 134569956 3221224400 3221214424 1131332162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29359 13073 16 0 210168 0
vsize: 840736
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 102234 81 0 0 25 0 11 0 483469856 860913664 29359 4294967295 134512640 134569956 3221224400 3221214472 1131343796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29359 13073 16 0 210168 0
vsize: 840736
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 103215 81 0 0 25 0 11 0 483469856 860913664 29384 4294967295 134512640 134569956 3221224400 3221214416 1131332579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29384 13073 16 0 210168 0
vsize: 840736
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 104204 82 0 0 25 0 11 0 483469856 860913664 29446 4294967295 134512640 134569956 3221224400 3221214536 1131612142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29446 13073 16 0 210168 0
vsize: 840736
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 105194 82 0 0 25 0 11 0 483469856 860913664 29446 4294967295 134512640 134569956 3221224400 3221214616 1131700547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29446 13073 16 0 210168 0
vsize: 840736
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 106183 82 0 0 25 0 11 0 483469856 860913664 29474 4294967295 134512640 134569956 3221224400 3221214536 1131612142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29474 13073 16 0 210168 0
vsize: 840736
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 107177 83 0 0 25 0 11 0 483469856 860913664 29474 4294967295 134512640 134569956 3221224400 3221214416 1131332237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29474 13073 16 0 210168 0
vsize: 840736
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 108165 83 0 0 25 0 11 0 483469856 860913664 29474 4294967295 134512640 134569956 3221224400 3221214536 1131613580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29474 13073 16 0 210168 0
vsize: 840736
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 109151 84 0 0 25 0 11 0 483469856 860913664 29474 4294967295 134512640 134569956 3221224400 3221214792 1131431113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29474 13073 16 0 210168 0
vsize: 840736
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 110133 85 0 0 24 0 11 0 483469856 860913664 29490 4294967295 134512640 134569956 3221224400 3221214536 1131612556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29490 13073 16 0 210168 0
vsize: 840736
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 111119 85 0 0 24 0 11 0 483469856 860913664 29515 4294967295 134512640 134569956 3221224400 3221214416 1131332271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29515 13073 16 0 210168 0
vsize: 840736
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 112104 86 0 0 25 0 11 0 483469856 860913664 29515 4294967295 134512640 134569956 3221224400 3221214616 1131700544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29515 13073 16 0 210168 0
vsize: 840736
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 113089 86 0 0 25 0 11 0 483469856 860913664 29544 4294967295 134512640 134569956 3221224400 3221214532 1131518121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29544 13073 16 0 210168 0
vsize: 840736
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 114076 87 0 0 25 0 11 0 483469856 860913664 29560 4294967295 134512640 134569956 3221224400 3221214520 1131271177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29560 13073 16 0 210168 0
vsize: 840736
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 115064 87 0 0 25 0 11 0 483469856 860913664 29574 4294967295 134512640 134569956 3221224400 3221214536 1131612576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29574 13073 16 0 210168 0
vsize: 840736
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 116052 87 0 0 25 0 11 0 483469856 860913664 29575 4294967295 134512640 134569956 3221224400 3221214424 1131332307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29575 13073 16 0 210168 0
vsize: 840736
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 117039 88 0 0 25 0 11 0 483469856 860913664 29575 4294967295 134512640 134569956 3221224400 3221214616 1131700669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29575 13073 16 0 210168 0
vsize: 840736
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 118025 88 0 0 25 0 11 0 483469856 860913664 29591 4294967295 134512640 134569956 3221224400 3221214624 1131534560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29591 13073 16 0 210168 0
vsize: 840736
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 119012 89 0 0 25 0 11 0 483469856 860913664 29608 4294967295 134512640 134569956 3221224400 3221214536 1131612633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29608 13073 16 0 210168 0
vsize: 840736
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30836
Raw data (stat): 30823 (java) R 30822 22932 22931 0 -1 0 18075 3 1 0 119998 89 0 0 25 0 11 0 483469856 860913664 29625 4294967295 134512640 134569956 3221224400 3221214424 1131332398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210184 29625 13073 16 0 210168 0
vsize: 840736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 30838
Raw data (stat): 30823 (java) Z 30822 22932 22931 0 -1 1036 18075 18680 1 1 120003 94 5092 54 25 0 1 0 483469856 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.18
CPU time (s): 1252.46
CPU user time (s): 1250.97
CPU system time (s): 1.49577
CPU usage (%): 100.99
Max. virtual memory (Kb): 844268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####