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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
MD5SUM	3d332eb7d51bcc8080712302c467a201
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5528305
Optimality of the best value was proved	NO
Number of terms in the objective function	3100
Biggest coefficient in the objective function	4831838208
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	550843571711
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	4831838208
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	550843571711
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1251.11
Number of variables	3100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	31
Maximum length of a constraint	300
Trace number 20876

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-21 22:07:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14205 boxname=wulflinc10 idbench=1093 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3d332eb7d51bcc8080712302c467a201  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x10a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x10a.opb
IDLAUNCH: 14205
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        748516 kB
Buffers:         17296 kB
Cached:         247564 kB
SwapCached:          0 kB
Active:          43496 kB
Inactive:       223840 kB
HighTotal:      131008 kB
HighFree:         2520 kB
LowTotal:       903652 kB
LowFree:        745996 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13276 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:27:43 (client local time) WITH STATUS 143 IN 1217.62 SECONDS
stats: 14205 7 1217.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x10a.opb
c reading problem 
c [nbvar=3100]
c [nbconstr=120]
c time 5.995
c #vars     3100
c #clauses  141
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=5706743
c Current CPU time (ms) : 12.486
c starts	: 1
c conflicts	: 3
c decisions	: 1794
c propagations	: 5320
c inspects	: 3761
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 4
c 
c CURRENT OPTIMUM=4883177
c Current CPU time (ms) : 54.444
c starts	: 2
c conflicts	: 10
c decisions	: 3863
c propagations	: 13446
c inspects	: 17817
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
c root simplifications	: 12
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.97 2/54 5923
Raw data (stat): 5923 (runsolver) R 5922 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490341720 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.0006 s]
Raw data (loadavg): 1.01 1.00 0.97 3/64 5933
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18096 0 1 0 741 37 0 0 25 0 11 0 490341720 860106752 20683 4294967295 134512640 134569956 3221224400 3221214656 1131225423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209987 20683 13073 16 0 209971 0
vsize: 839948
[startup+20.001 s]
Raw data (loadavg): 1.01 1.00 0.97 3/64 5934
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18097 3 1 0 1669 37 0 0 25 0 11 0 490341720 859688960 21017 4294967295 134512640 134569956 3221224400 3221213676 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209885 21017 13073 16 0 209869 0
vsize: 839540
[startup+30.023 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 5934
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18098 3 1 0 2616 38 0 0 25 0 11 0 490341720 859652096 21073 4294967295 134512640 134569956 3221224400 3221214680 1131224589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21073 13073 16 0 209860 0
vsize: 839504
[startup+40.0245 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 5934
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18098 3 1 0 3542 38 0 0 25 0 11 0 490341720 859652096 21248 4294967295 134512640 134569956 3221224400 3221214776 1131315483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21248 13073 16 0 209860 0
vsize: 839504
[startup+50.0247 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5934
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 4512 38 0 0 25 0 11 0 490341720 859652096 21693 4294967295 134512640 134569956 3221224400 3221214728 1131186328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21693 13073 16 0 209860 0
vsize: 839504
[startup+60.0247 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 5494 39 0 0 25 0 11 0 490341720 859652096 21723 4294967295 134512640 134569956 3221224400 3221214680 1131224761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21723 13073 16 0 209860 0
vsize: 839504
[startup+70.0252 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 6478 39 0 0 25 0 11 0 490341720 859652096 21744 4294967295 134512640 134569956 3221224400 3221214568 1131426224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 21744 13073 16 0 209860 0
vsize: 839504
[startup+80.0254 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 7458 40 0 0 24 0 11 0 490341720 859652096 21770 4294967295 134512640 134569956 3221224400 3221214680 1131224659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21770 13073 16 0 209860 0
vsize: 839504
[startup+90.0254 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 8440 40 0 0 25 0 11 0 490341720 859652096 21862 4294967295 134512640 134569956 3221224400 3221214664 1131369826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21862 13073 16 0 209860 0
vsize: 839504
[startup+100.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 9421 40 0 0 25 0 11 0 490341720 859652096 21865 4294967295 134512640 134569956 3221224400 3221214728 1131186240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21865 13073 16 0 209860 0
vsize: 839504
[startup+110.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 10400 40 0 0 25 0 11 0 490341720 859652096 21898 4294967295 134512640 134569956 3221224400 3221214776 1131315483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21898 13073 16 0 209860 0
vsize: 839504
[startup+120.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 11381 41 0 0 25 0 11 0 490341720 859652096 21986 4294967295 134512640 134569956 3221224400 3221214776 1131318081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 21986 13073 16 0 209860 0
vsize: 839504
[startup+130.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 12372 41 0 0 25 0 11 0 490341720 859652096 22008 4294967295 134512640 134569956 3221224400 3221214680 1131224589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22008 13073 16 0 209860 0
vsize: 839504
[startup+140.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 13362 41 0 0 25 0 11 0 490341720 859652096 22021 4294967295 134512640 134569956 3221224400 3221214680 1131225508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22021 13073 16 0 209860 0
vsize: 839504
[startup+150.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 14354 41 0 0 25 0 11 0 490341720 859652096 22037 4294967295 134512640 134569956 3221224400 3221214776 1131317327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22037 13073 16 0 209860 0
vsize: 839504
[startup+160.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 15344 42 0 0 25 0 11 0 490341720 859652096 22060 4294967295 134512640 134569956 3221224400 3221214776 1131316520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22060 13073 16 0 209860 0
vsize: 839504
[startup+170.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 16335 42 0 0 25 0 11 0 490341720 859652096 22076 4294967295 134512640 134569956 3221224400 3221214680 1131224589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22076 13073 16 0 209860 0
vsize: 839504
[startup+180.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 17325 42 0 0 25 0 11 0 490341720 859652096 22101 4294967295 134512640 134569956 3221224400 3221214680 1131224622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22101 13073 16 0 209860 0
vsize: 839504
[startup+190.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 18316 43 0 0 25 0 11 0 490341720 859652096 22112 4294967295 134512640 134569956 3221224400 3221214680 1131224589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22112 13073 16 0 209860 0
vsize: 839504
[startup+200.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 19305 43 0 0 25 0 11 0 490341720 859652096 22145 4294967295 134512640 134569956 3221224400 3221214680 1131225374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22145 13073 16 0 209860 0
vsize: 839504
[startup+210.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 20297 43 0 0 25 0 11 0 490341720 859652096 22150 4294967295 134512640 134569956 3221224400 3221214772 1131224140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22150 13073 16 0 209860 0
vsize: 839504
[startup+220.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 21288 43 0 0 25 0 11 0 490341720 859652096 22164 4294967295 134512640 134569956 3221224400 3221214680 1131224884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22164 13073 16 0 209860 0
vsize: 839504
[startup+230.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 22279 44 0 0 25 0 11 0 490341720 859652096 22191 4294967295 134512640 134569956 3221224400 3221214776 1131317837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22191 13073 16 0 209860 0
vsize: 839504
[startup+240.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 23269 45 0 0 25 0 11 0 490341720 859652096 22215 4294967295 134512640 134569956 3221224400 3221214776 1131316358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22215 13073 16 0 209860 0
vsize: 839504
[startup+250.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 24261 45 0 0 25 0 11 0 490341720 859652096 22219 4294967295 134512640 134569956 3221224400 3221214680 1131225079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22219 13073 16 0 209860 0
vsize: 839504
[startup+260.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 25251 46 0 0 25 0 11 0 490341720 859652096 22241 4294967295 134512640 134569956 3221224400 3221214680 1131225086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22241 13073 16 0 209860 0
vsize: 839504
[startup+270.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 26241 46 0 0 25 0 11 0 490341720 859652096 22256 4294967295 134512640 134569956 3221224400 3221214680 1131224844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22256 13073 16 0 209860 0
vsize: 839504
[startup+280.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 27232 47 0 0 25 0 11 0 490341720 859652096 22277 4294967295 134512640 134569956 3221224400 3221214676 1080203752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22277 13073 16 0 209860 0
vsize: 839504
[startup+290.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 28221 47 0 0 25 0 11 0 490341720 859652096 22315 4294967295 134512640 134569956 3221224400 3221214568 1131426336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22315 13073 16 0 209860 0
vsize: 839504
[startup+300.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 29211 47 0 0 25 0 11 0 490341720 859652096 22341 4294967295 134512640 134569956 3221224400 3221214680 1131224589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22341 13073 16 0 209860 0
vsize: 839504
[startup+310.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 30194 48 0 0 24 0 11 0 490341720 859652096 22353 4294967295 134512640 134569956 3221224400 3221214776 1131318121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22353 13073 16 0 209860 0
vsize: 839504
[startup+320.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 31178 48 0 0 24 0 11 0 490341720 859652096 22356 4294967295 134512640 134569956 3221224400 3221214680 1131224172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22356 13073 16 0 209860 0
vsize: 839504
[startup+330.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 32164 48 0 0 25 0 11 0 490341720 859652096 22423 4294967295 134512640 134569956 3221224400 3221214680 1131224797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22423 13073 16 0 209860 0
vsize: 839504
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 33156 49 0 0 25 0 11 0 490341720 859652096 22438 4294967295 134512640 134569956 3221224400 3221214680 1131224165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22438 13073 16 0 209860 0
vsize: 839504
[startup+350.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 34148 49 0 0 25 0 11 0 490341720 859652096 22460 4294967295 134512640 134569956 3221224400 3221214680 1131224541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22460 13073 16 0 209860 0
vsize: 839504
[startup+360.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 35141 49 0 0 25 0 11 0 490341720 859652096 22479 4294967295 134512640 134569956 3221224400 3221214680 1131224221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22479 13073 16 0 209860 0
vsize: 839504
[startup+370.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 36134 50 0 0 25 0 11 0 490341720 859652096 22487 4294967295 134512640 134569956 3221224400 3221214680 1131224172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22487 13073 16 0 209860 0
vsize: 839504
[startup+380.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 37127 50 0 0 25 0 11 0 490341720 859652096 22496 4294967295 134512640 134569956 3221224400 3221214568 1131426345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22496 13073 16 0 209860 0
vsize: 839504
[startup+390.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 38118 51 0 0 25 0 11 0 490341720 859652096 22508 4294967295 134512640 134569956 3221224400 3221214680 1131225021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22508 13073 16 0 209860 0
vsize: 839504
[startup+400.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 39109 51 0 0 25 0 11 0 490341720 859652096 22515 4294967295 134512640 134569956 3221224400 3221214680 1131225459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22515 13073 16 0 209860 0
vsize: 839504
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 40096 51 0 0 25 0 11 0 490341720 859652096 22523 4294967295 134512640 134569956 3221224400 3221214552 1131470077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22523 13073 16 0 209860 0
vsize: 839504
[startup+420.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 41084 52 0 0 25 0 11 0 490341720 859652096 22562 4294967295 134512640 134569956 3221224400 3221214744 1131385743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22562 13073 16 0 209860 0
vsize: 839504
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 42072 52 0 0 25 0 11 0 490341720 859652096 22574 4294967295 134512640 134569956 3221224400 3221214680 1131224815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22574 13073 16 0 209860 0
vsize: 839504
[startup+440.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 43057 53 0 0 25 0 11 0 490341720 859652096 22583 4294967295 134512640 134569956 3221224400 3221214664 1131557456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22583 13073 16 0 209860 0
vsize: 839504
[startup+450.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 44027 53 0 0 25 0 11 0 490341720 859652096 22662 4294967295 134512640 134569956 3221224400 3221214608 1131224541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22662 13073 16 0 209860 0
vsize: 839504
[startup+460.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18099 3 1 0 45011 53 0 0 25 0 11 0 490341720 859652096 22662 4294967295 134512640 134569956 3221224400 3221214480 1131152865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22662 13073 16 0 209860 0
vsize: 839504
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 45995 53 0 0 25 0 11 0 490341720 859652096 22700 4294967295 134512640 134569956 3221224400 3221214656 1131186322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22700 13073 16 0 209860 0
vsize: 839504
[startup+480.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 46985 53 0 0 25 0 11 0 490341720 859652096 22777 4294967295 134512640 134569956 3221224400 3221214704 1131315483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22777 13073 16 0 209860 0
vsize: 839504
[startup+490.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 47977 54 0 0 25 0 11 0 490341720 859652096 22795 4294967295 134512640 134569956 3221224400 3221214600 1131369826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22795 13073 16 0 209860 0
vsize: 839504
[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 48969 54 0 0 25 0 11 0 490341720 859652096 22797 4294967295 134512640 134569956 3221224400 3221214656 1131186359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22797 13073 16 0 209860 0
vsize: 839504
[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 49961 55 0 0 25 0 11 0 490341720 859652096 22809 4294967295 134512640 134569956 3221224400 3221214608 1131224729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 22809 13073 16 0 209860 0
vsize: 839504
[startup+520.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 50938 55 0 0 25 0 11 0 490341720 860700672 23076 4294967295 134512640 134569956 3221224400 3221214592 1131557456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23076 13073 16 0 210116 0
vsize: 840528
[startup+530.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 51925 55 0 0 25 0 11 0 490341720 860700672 23091 4294967295 134512640 134569956 3221224400 3221214480 1131470024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23091 13073 16 0 210116 0
vsize: 840528
[startup+540.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 52904 55 0 0 25 0 11 0 490341720 860700672 23094 4294967295 134512640 134569956 3221224400 3221214496 1131233181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23094 13073 16 0 210116 0
vsize: 840528
[startup+550.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 53883 55 0 0 25 0 11 0 490341720 860700672 23160 4294967295 134512640 134569956 3221224400 3221214496 1131233143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23160 13073 16 0 210116 0
vsize: 840528
[startup+560.162 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 54874 55 0 0 25 0 11 0 490341720 860700672 23306 4294967295 134512640 134569956 3221224400 3221214608 1131224541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23306 13073 16 0 210116 0
vsize: 840528
[startup+570.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 55867 55 0 0 25 0 11 0 490341720 860700672 23306 4294967295 134512640 134569956 3221224400 3221214608 1131224161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23306 13073 16 0 210116 0
vsize: 840528
[startup+580.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 56858 55 0 0 25 0 11 0 490341720 860700672 23307 4294967295 134512640 134569956 3221224400 3221214608 1131224815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23307 13073 16 0 210116 0
vsize: 840528
[startup+590.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 57851 55 0 0 25 0 11 0 490341720 860700672 23318 4294967295 134512640 134569956 3221224400 3221214608 1131224777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23318 13073 16 0 210116 0
vsize: 840528
[startup+600.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 58842 55 0 0 25 0 11 0 490341720 860700672 23336 4294967295 134512640 134569956 3221224400 3221214608 1131225086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23336 13073 16 0 210116 0
vsize: 840528
[startup+610.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 59835 55 0 0 25 0 11 0 490341720 860700672 23344 4294967295 134512640 134569956 3221224400 3221214704 1131316255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23344 13073 16 0 210116 0
vsize: 840528
[startup+620.163 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 60827 55 0 0 25 0 11 0 490341720 860700672 23371 4294967295 134512640 134569956 3221224400 3221214640 1131224589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23371 13073 16 0 210116 0
vsize: 840528
[startup+630.164 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 61821 56 0 0 25 0 11 0 490341720 860700672 23375 4294967295 134512640 134569956 3221224400 3221214736 1131315476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23375 13073 16 0 210116 0
vsize: 840528
[startup+640.165 s]
Raw data (loadavg): 1.08 1.02 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 62813 56 0 0 25 0 11 0 490341720 860700672 23381 4294967295 134512640 134569956 3221224400 3221214640 1131224570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210132 23381 13073 16 0 210116 0
vsize: 840528
[startup+650.164 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 63801 56 0 0 25 0 11 0 490341720 859652096 23163 4294967295 134512640 134569956 3221224400 3221214736 1131315483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23163 13073 16 0 209860 0
vsize: 839504
[startup+660.165 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 64789 56 0 0 25 0 11 0 490341720 859652096 23186 4294967295 134512640 134569956 3221224400 3221214640 1131224854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23186 13073 16 0 209860 0
vsize: 839504
[startup+670.165 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 65783 56 0 0 25 0 11 0 490341720 859652096 23239 4294967295 134512640 134569956 3221224400 3221214640 1131224157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23239 13073 16 0 209860 0
vsize: 839504
[startup+680.165 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 66773 56 0 0 25 0 11 0 490341720 859652096 23260 4294967295 134512640 134569956 3221224400 3221214640 1131224854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23260 13073 16 0 209860 0
vsize: 839504
[startup+690.165 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 67764 56 0 0 25 0 11 0 490341720 859652096 23266 4294967295 134512640 134569956 3221224400 3221214584 1131518306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23266 13073 16 0 209860 0
vsize: 839504
[startup+700.165 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 68755 56 0 0 25 0 11 0 490341720 859652096 23276 4294967295 134512640 134569956 3221224400 3221214640 1131224803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23276 13073 16 0 209860 0
vsize: 839504
[startup+710.165 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 69740 56 0 0 25 0 11 0 490341720 859652096 23318 4294967295 134512640 134569956 3221224400 3221214640 1131225111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23318 13073 16 0 209860 0
vsize: 839504
[startup+720.173 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 70722 57 0 0 25 0 11 0 490341720 859652096 23355 4294967295 134512640 134569956 3221224400 3221214640 1131224761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23355 13073 16 0 209860 0
vsize: 839504
[startup+730.174 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 71703 57 0 0 24 0 11 0 490341720 859652096 23425 4294967295 134512640 134569956 3221224400 3221214736 1131315425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23425 13073 16 0 209860 0
vsize: 839504
[startup+740.176 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 72689 57 0 0 25 0 11 0 490341720 859652096 23526 4294967295 134512640 134569956 3221224400 3221214528 1131232948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23526 13073 16 0 209860 0
vsize: 839504
[startup+750.185 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 5935
Raw data (stat): 5923 (java) S 5922 25347 25346 0 -1 0 18100 3 1 0 73676 57 0 0 25 0 11 0 490341720 859652096 23532 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23532 13073 16 0 209860 0
vsize: 839504
[startup+760.189 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 74656 57 0 0 25 0 11 0 490341720 859652096 23537 4294967295 134512640 134569956 3221224400 3221214640 1131224737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23537 13073 16 0 209860 0
vsize: 839504
[startup+770.189 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 75631 57 0 0 25 0 11 0 490341720 859652096 23539 4294967295 134512640 134569956 3221224400 3221214528 1131233181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23539 13073 16 0 209860 0
vsize: 839504
[startup+780.193 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 76613 57 0 0 25 0 11 0 490341720 859652096 23641 4294967295 134512640 134569956 3221224400 3221214640 1131224589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23641 13073 16 0 209860 0
vsize: 839504
[startup+790.193 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 77597 58 0 0 25 0 11 0 490341720 859652096 23718 4294967295 134512640 134569956 3221224400 3221214640 1131224256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23718 13073 16 0 209860 0
vsize: 839504
[startup+800.192 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 78582 58 0 0 25 0 11 0 490341720 859652096 23752 4294967295 134512640 134569956 3221224400 3221214640 1131225134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23752 13073 16 0 209860 0
vsize: 839504
[startup+810.195 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 79570 58 0 0 24 0 11 0 490341720 859652096 23828 4294967295 134512640 134569956 3221224400 3221214736 1131315552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23828 13073 16 0 209860 0
vsize: 839504
[startup+820.195 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 80559 58 0 0 25 0 11 0 490341720 859652096 23866 4294967295 134512640 134569956 3221224400 3221214736 1131317354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23866 13073 16 0 209860 0
vsize: 839504
[startup+830.195 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 81548 58 0 0 25 0 11 0 490341720 859652096 23887 4294967295 134512640 134569956 3221224400 3221214640 1131224589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23887 13073 16 0 209860 0
vsize: 839504
[startup+840.195 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 82536 58 0 0 25 0 11 0 490341720 859652096 23940 4294967295 134512640 134569956 3221224400 3221214640 1131224161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23940 13073 16 0 209860 0
vsize: 839504
[startup+850.195 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 83527 58 0 0 25 0 11 0 490341720 859652096 23954 4294967295 134512640 134569956 3221224400 3221214640 1131224258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23954 13073 16 0 209860 0
vsize: 839504
[startup+860.196 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 84519 58 0 0 25 0 11 0 490341720 859652096 23990 4294967295 134512640 134569956 3221224400 3221214688 1131186318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23990 13073 16 0 209860 0
vsize: 839504
[startup+870.199 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 85512 58 0 0 25 0 11 0 490341720 859652096 23994 4294967295 134512640 134569956 3221224400 3221214512 1131471078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 23994 13073 16 0 209860 0
vsize: 839504
[startup+880.208 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 86501 58 0 0 25 0 11 0 490341720 859652096 24016 4294967295 134512640 134569956 3221224400 3221214624 1131559292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24016 13073 16 0 209860 0
vsize: 839504
[startup+890.208 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 87489 58 0 0 25 0 11 0 490341720 859652096 24033 4294967295 134512640 134569956 3221224400 3221214528 1131233226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24033 13073 16 0 209860 0
vsize: 839504
[startup+900.211 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) S 5922 25347 25346 0 -1 0 18100 3 1 0 88473 58 0 0 25 0 11 0 490341720 859652096 24061 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24061 13073 16 0 209860 0
vsize: 839504
[startup+910.22 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 89457 58 0 0 25 0 11 0 490341720 859652096 24099 4294967295 134512640 134569956 3221224400 3221214624 1131557591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24099 13073 16 0 209860 0
vsize: 839504
[startup+920.228 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 90442 58 0 0 25 0 11 0 490341720 859652096 24149 4294967295 134512640 134569956 3221224400 3221214624 1131557448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209876 24149 13073 16 0 209860 0
vsize: 839504
[startup+930.229 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 91423 59 0 0 25 0 11 0 490341720 859652096 24210 4294967295 134512640 134569956 3221224400 3221214512 1131471072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24210 13073 16 0 209860 0
vsize: 839504
[startup+940.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 92403 59 0 0 25 0 11 0 490341720 859652096 24270 4294967295 134512640 134569956 3221224400 3221214736 1131315552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24270 13073 16 0 209860 0
vsize: 839504
[startup+950.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 93374 59 0 0 25 0 11 0 490341720 859652096 24380 4294967295 134512640 134569956 3221224400 3221214640 1131224861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24380 13073 16 0 209860 0
vsize: 839504
[startup+960.231 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 94356 59 0 0 25 0 11 0 490341720 859652096 24460 4294967295 134512640 134569956 3221224400 3221214736 1131317435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24460 13073 16 0 209860 0
vsize: 839504
[startup+970.231 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 95343 59 0 0 25 0 11 0 490341720 859652096 24539 4294967295 134512640 134569956 3221224400 3221214688 1131186240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24539 13073 16 0 209860 0
vsize: 839504
[startup+980.231 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 96334 59 0 0 25 0 11 0 490341720 859652096 24551 4294967295 134512640 134569956 3221224400 3221214640 1131224165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24551 13073 16 0 209860 0
vsize: 839504
[startup+990.232 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 97323 59 0 0 25 0 11 0 490341720 859652096 24581 4294967295 134512640 134569956 3221224400 3221214640 1131224761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24581 13073 16 0 209860 0
vsize: 839504
[startup+1000.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 98313 59 0 0 25 0 11 0 490341720 859652096 24601 4294967295 134512640 134569956 3221224400 3221214688 1131186265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24601 13073 16 0 209860 0
vsize: 839504
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 99304 59 0 0 25 0 11 0 490341720 859652096 24624 4294967295 134512640 134569956 3221224400 3221214640 1131224706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24624 13073 16 0 209860 0
vsize: 839504
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 100295 59 0 0 25 0 11 0 490341720 859652096 24632 4294967295 134512640 134569956 3221224400 3221214640 1131224433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24632 13073 16 0 209860 0
vsize: 839504
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 101282 59 0 0 25 0 11 0 490341720 859652096 24674 4294967295 134512640 134569956 3221224400 3221214512 1131470245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24674 13073 16 0 209860 0
vsize: 839504
[startup+1040.23 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 102267 59 0 0 25 0 11 0 490341720 859652096 24690 4294967295 134512640 134569956 3221224400 3221214512 1131469217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24690 13073 16 0 209860 0
vsize: 839504
[startup+1050.23 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 103255 59 0 0 25 0 11 0 490341720 859652096 24702 4294967295 134512640 134569956 3221224400 3221214528 1131232914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24702 13073 16 0 209860 0
vsize: 839504
[startup+1060.23 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 104243 60 0 0 25 0 11 0 490341720 859652096 24723 4294967295 134512640 134569956 3221224400 3221214392 1131376626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24723 13073 16 0 209860 0
vsize: 839504
[startup+1070.23 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 105237 60 0 0 25 0 11 0 490341720 859652096 24791 4294967295 134512640 134569956 3221224400 3221214512 1131471055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24791 13073 16 0 209860 0
vsize: 839504
[startup+1080.23 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 106233 60 0 0 25 0 11 0 490341720 859652096 24791 4294967295 134512640 134569956 3221224400 3221214528 1131233181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24791 13073 16 0 209860 0
vsize: 839504
[startup+1090.23 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 107227 60 0 0 25 0 11 0 490341720 859652096 24791 4294967295 134512640 134569956 3221224400 3221214640 1131224221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24791 13073 16 0 209860 0
vsize: 839504
[startup+1100.23 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 108219 60 0 0 25 0 11 0 490341720 859652096 24791 4294967295 134512640 134569956 3221224400 3221214640 1131224165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24791 13073 16 0 209860 0
vsize: 839504
[startup+1110.24 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 109209 60 0 0 25 0 11 0 490341720 859652096 24791 4294967295 134512640 134569956 3221224400 3221214640 1131224165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24791 13073 16 0 209860 0
vsize: 839504
[startup+1120.24 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 110198 61 0 0 25 0 11 0 490341720 859652096 24809 4294967295 134512640 134569956 3221224400 3221214640 1131224815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24809 13073 16 0 209860 0
vsize: 839504
[startup+1130.24 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 111189 61 0 0 25 0 11 0 490341720 859652096 24821 4294967295 134512640 134569956 3221224400 3221214736 1131315483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24821 13073 16 0 209860 0
vsize: 839504
[startup+1140.24 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 112180 61 0 0 24 0 11 0 490341720 859652096 24848 4294967295 134512640 134569956 3221224400 3221214736 1131317390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24848 13073 16 0 209860 0
vsize: 839504
[startup+1150.24 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 113170 61 0 0 25 0 11 0 490341720 859652096 24862 4294967295 134512640 134569956 3221224400 3221214640 1131224574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24862 13073 16 0 209860 0
vsize: 839504
[startup+1160.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 114161 61 0 0 25 0 11 0 490341720 859652096 24879 4294967295 134512640 134569956 3221224400 3221214640 1131224197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24879 13073 16 0 209860 0
vsize: 839504
[startup+1170.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 115152 61 0 0 25 0 11 0 490341720 859652096 24926 4294967295 134512640 134569956 3221224400 3221214736 1131316192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24926 13073 16 0 209860 0
vsize: 839504
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 116144 61 0 0 25 0 11 0 490341720 859652096 24933 4294967295 134512640 134569956 3221224400 3221214688 1131186240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24933 13073 16 0 209860 0
vsize: 839504
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 117133 61 0 0 25 0 11 0 490341720 859652096 24957 4294967295 134512640 134569956 3221224400 3221214736 1131315552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24957 13073 16 0 209860 0
vsize: 839504
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 118104 61 0 0 25 0 11 0 490341720 859652096 24976 4294967295 134512640 134569956 3221224400 3221214528 1131233141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 24976 13073 16 0 209860 0
vsize: 839504
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 119079 61 0 0 25 0 11 0 490341720 859652096 25017 4294967295 134512640 134569956 3221224400 3221214528 1131233181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 25017 13073 16 0 209860 0
vsize: 839504
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 5935
Raw data (stat): 5923 (java) R 5922 25347 25346 0 -1 0 18100 3 1 0 120056 61 0 0 25 0 11 0 490341720 859652096 25091 4294967295 134512640 134569956 3221224400 3221214528 1131233181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209876 25091 13073 16 0 209860 0
vsize: 839504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.32 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 5937
Raw data (stat): 5923 (java) Z 5922 25347 25346 0 -1 1036 18100 5284 1 0 120059 62 1614 26 25 0 1 0 490341720 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.32
CPU time (s): 1217.62
CPU user time (s): 1216.74
CPU system time (s): 0.881865
CPU usage (%): 99.7788
Max. virtual memory (Kb): 840528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####