PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
Number of variables	2100
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	21
Maximum length of a constraint	200
Trace number 17701

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        348600 kB
Buffers:         27772 kB
Cached:         634236 kB
SwapCached:        516 kB
Active:         149612 kB
Inactive:       514376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348348 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            16248 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 11:46:10 (client local time) WITH STATUS 143 IN 1226.96 SECONDS
stats: 19210 7 1226.96 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ran10x10b.opb
c reading problem 
c [nbvar=2100]
c [nbconstr=120]
c time 4.328
c #vars     2100
c #clauses  140
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=1377530
c Current CPU time (ms) : 9.273
c starts	: 1
c conflicts	: 4
c decisions	: 1092
c propagations	: 4175
c inspects	: 3989
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 5
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.94 2/54 7038
Raw data (stat): 7038 (runsolver) R 7037 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544703479 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.87 0.97 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18075 3 1 0 664 41 0 0 25 0 11 0 544703479 859865088 20683 4294967295 134512640 134569956 3221224400 3221214792 1131232635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209928 20683 13073 16 0 209912 0
vsize: 839712
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18080 3 1 0 1588 41 0 0 25 0 11 0 544703479 860545024 20925 4294967295 134512640 134569956 3221224400 3221214568 1131432560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 20925 13073 16 0 210078 0
vsize: 840376
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.97 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18080 3 1 0 2547 41 0 0 25 0 11 0 544703479 860545024 20996 4294967295 134512640 134569956 3221224400 3221214552 1131457490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 20996 13073 16 0 210078 0
vsize: 840376
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.97 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18080 3 1 0 3508 41 0 0 25 0 11 0 544703479 860545024 21055 4294967295 134512640 134569956 3221224400 3221214552 1131457483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210094 21055 13073 16 0 210078 0
vsize: 840376
[startup+50.003 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18081 3 1 0 4459 41 0 0 25 0 11 0 544703479 861593600 21669 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 21669 13073 16 0 210334 0
vsize: 841400
[startup+60.0037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18081 3 1 0 5443 41 0 0 25 0 11 0 544703479 861593600 21742 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 21742 13073 16 0 210334 0
vsize: 841400
[startup+70.0048 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18081 3 1 0 6434 41 0 0 25 0 11 0 544703479 861593600 21757 4294967295 134512640 134569956 3221224400 3221214560 1131232459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 21757 13073 16 0 210334 0
vsize: 841400
[startup+80.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18081 3 1 0 7416 41 0 0 25 0 11 0 544703479 861593600 21794 4294967295 134512640 134569956 3221224400 3221214848 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 21794 13073 16 0 210334 0
vsize: 841400
[startup+90.0049 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18081 3 1 0 8393 42 0 0 25 0 11 0 544703479 861593600 21816 4294967295 134512640 134569956 3221224400 3221214848 1131184871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 21816 13073 16 0 210334 0
vsize: 841400
[startup+100.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 9368 42 0 0 25 0 11 0 544703479 861593600 21859 4294967295 134512640 134569956 3221224400 3221214792 1131231791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 21859 13073 16 0 210334 0
vsize: 841400
[startup+110.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 10347 42 0 0 25 0 11 0 544703479 861593600 21968 4294967295 134512640 134569956 3221224400 3221214560 1131246497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 21968 13073 16 0 210334 0
vsize: 841400
[startup+120.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 11327 42 0 0 25 0 11 0 544703479 861593600 22003 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 22003 13073 16 0 210334 0
vsize: 841400
[startup+130.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 12307 42 0 0 25 0 11 0 544703479 861593600 22065 4294967295 134512640 134569956 3221224400 3221214792 1131232684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 22065 13073 16 0 210334 0
vsize: 841400
[startup+140.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 13292 43 0 0 25 0 11 0 544703479 861593600 22106 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 22106 13073 16 0 210334 0
vsize: 841400
[startup+150.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 14279 43 0 0 25 0 11 0 544703479 861593600 22166 4294967295 134512640 134569956 3221224400 3221214664 1131328620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210350 22166 13073 16 0 210334 0
vsize: 841400
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 15262 43 0 0 25 0 11 0 544703479 861593600 22205 4294967295 134512640 134569956 3221224400 3221214552 1131458407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22205 13073 16 0 210334 0
vsize: 841400
[startup+170.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 16247 43 0 0 25 0 11 0 544703479 861593600 22237 4294967295 134512640 134569956 3221224400 3221214792 1131232279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22237 13073 16 0 210334 0
vsize: 841400
[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 17231 43 0 0 25 0 11 0 544703479 861593600 22302 4294967295 134512640 134569956 3221224400 3221214792 1131231660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22302 13073 16 0 210334 0
vsize: 841400
[startup+190.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 18217 44 0 0 25 0 11 0 544703479 861593600 22381 4294967295 134512640 134569956 3221224400 3221214792 1131232585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22381 13073 16 0 210334 0
vsize: 841400
[startup+200.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 19205 44 0 0 25 0 11 0 544703479 861593600 22411 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22411 13073 16 0 210334 0
vsize: 841400
[startup+210.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 20191 44 0 0 25 0 11 0 544703479 861593600 22432 4294967295 134512640 134569956 3221224400 3221214560 1131246207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22432 13073 16 0 210334 0
vsize: 841400
[startup+220.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 21176 44 0 0 25 0 11 0 544703479 861593600 22492 4294967295 134512640 134569956 3221224400 3221214792 1131231667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22492 13073 16 0 210334 0
vsize: 841400
[startup+230.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 22159 44 0 0 25 0 11 0 544703479 861593600 22516 4294967295 134512640 134569956 3221224400 3221214560 1131246034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22516 13073 16 0 210334 0
vsize: 841400
[startup+240.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 23136 44 0 0 25 0 11 0 544703479 861593600 22570 4294967295 134512640 134569956 3221224400 3221214792 1131231596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22570 13073 16 0 210334 0
vsize: 841400
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 24119 44 0 0 25 0 11 0 544703479 861593600 22626 4294967295 134512640 134569956 3221224400 3221214848 1131307290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22626 13073 16 0 210334 0
vsize: 841400
[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 25097 44 0 0 25 0 11 0 544703479 861593600 22701 4294967295 134512640 134569956 3221224400 3221214872 1131314041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22701 13073 16 0 210334 0
vsize: 841400
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 26073 44 0 0 24 0 11 0 544703479 861593600 22777 4294967295 134512640 134569956 3221224400 3221214664 1131328620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22777 13073 16 0 210334 0
vsize: 841400
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 27056 44 0 0 25 0 11 0 544703479 861593600 22838 4294967295 134512640 134569956 3221224400 3221214792 1131231589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22838 13073 16 0 210334 0
vsize: 841400
[startup+290.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 28036 44 0 0 25 0 11 0 544703479 861593600 22920 4294967295 134512640 134569956 3221224400 3221214656 1131447286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210350 22920 13073 16 0 210334 0
vsize: 841400
[startup+300.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 29016 44 0 0 25 0 11 0 544703479 865787904 24152 4294967295 134512640 134569956 3221224400 3221214792 1131232559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211374 24152 13073 16 0 211358 0
vsize: 845496
[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 29994 45 0 0 25 0 11 0 544703479 864739328 23948 4294967295 134512640 134569956 3221224400 3221214924 1130918442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 23948 13073 16 0 211102 0
vsize: 844472
[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 30971 45 0 0 25 0 11 0 544703479 864739328 24016 4294967295 134512640 134569956 3221224400 3221214596 1131253664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24016 13073 16 0 211102 0
vsize: 844472
[startup+330.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 31949 46 0 0 25 0 11 0 544703479 864739328 24074 4294967295 134512640 134569956 3221224400 3221214792 1131231596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211118 24074 13073 16 0 211102 0
vsize: 844472
[startup+340.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 32929 46 0 0 25 0 11 0 544703479 864739328 24156 4294967295 134512640 134569956 3221224400 3221214552 1131246232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24156 13073 16 0 211102 0
vsize: 844472
[startup+350.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 33907 46 0 0 25 0 11 0 544703479 864739328 24228 4294967295 134512640 134569956 3221224400 3221214792 1131231630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24228 13073 16 0 211102 0
vsize: 844472
[startup+360.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 34888 46 0 0 25 0 11 0 544703479 864739328 24330 4294967295 134512640 134569956 3221224400 3221214792 1131232283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24330 13073 16 0 211102 0
vsize: 844472
[startup+370.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 35868 47 0 0 25 0 11 0 544703479 864739328 24417 4294967295 134512640 134569956 3221224400 3221214792 1131231954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24417 13073 16 0 211102 0
vsize: 844472
[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 36852 47 0 0 25 0 11 0 544703479 864739328 24475 4294967295 134512640 134569956 3221224400 3221214792 1131231581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24475 13073 16 0 211102 0
vsize: 844472
[startup+390.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 37837 48 0 0 25 0 11 0 544703479 864739328 24514 4294967295 134512640 134569956 3221224400 3221214848 1131184785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24514 13073 16 0 211102 0
vsize: 844472
[startup+400.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 38821 48 0 0 25 0 11 0 544703479 864739328 24593 4294967295 134512640 134569956 3221224400 3221214848 1131184768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24593 13073 16 0 211102 0
vsize: 844472
[startup+410.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 39804 48 0 0 25 0 11 0 544703479 864739328 24618 4294967295 134512640 134569956 3221224400 3221214792 1131231596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24618 13073 16 0 211102 0
vsize: 844472
[startup+420.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 40790 49 0 0 25 0 11 0 544703479 864739328 24663 4294967295 134512640 134569956 3221224400 3221214792 1131231888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24663 13073 16 0 211102 0
vsize: 844472
[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 41773 49 0 0 25 0 11 0 544703479 864739328 24710 4294967295 134512640 134569956 3221224400 3221214792 1131232514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24710 13073 16 0 211102 0
vsize: 844472
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 42756 49 0 0 25 0 11 0 544703479 864739328 24768 4294967295 134512640 134569956 3221224400 3221214592 1131529383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24768 13073 16 0 211102 0
vsize: 844472
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 43743 50 0 0 25 0 11 0 544703479 864739328 24828 4294967295 134512640 134569956 3221224400 3221214892 1131184748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24828 13073 16 0 211102 0
vsize: 844472
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 44730 50 0 0 25 0 11 0 544703479 864739328 24878 4294967295 134512640 134569956 3221224400 3221214792 1131232283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24878 13073 16 0 211102 0
vsize: 844472
[startup+470.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 45720 51 0 0 25 0 11 0 544703479 864739328 24908 4294967295 134512640 134569956 3221224400 3221214848 1131184768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24908 13073 16 0 211102 0
vsize: 844472
[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 46710 51 0 0 25 0 11 0 544703479 864739328 24934 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24934 13073 16 0 211102 0
vsize: 844472
[startup+490.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 47694 52 0 0 25 0 11 0 544703479 864739328 24956 4294967295 134512640 134569956 3221224400 3221214792 1131231596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24956 13073 16 0 211102 0
vsize: 844472
[startup+500.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 48679 52 0 0 25 0 11 0 544703479 864739328 24983 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 24983 13073 16 0 211102 0
vsize: 844472
[startup+510.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 49664 52 0 0 25 0 11 0 544703479 864739328 25006 4294967295 134512640 134569956 3221224400 3221214792 1131231589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25006 13073 16 0 211102 0
vsize: 844472
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 50649 52 0 0 25 0 11 0 544703479 864739328 25066 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25066 13073 16 0 211102 0
vsize: 844472
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 51633 53 0 0 25 0 11 0 544703479 864739328 25162 4294967295 134512640 134569956 3221224400 3221214792 1131232066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25162 13073 16 0 211102 0
vsize: 844472
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 52621 53 0 0 25 0 11 0 544703479 864739328 25196 4294967295 134512640 134569956 3221224400 3221214848 1131184844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25196 13073 16 0 211102 0
vsize: 844472
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 53610 54 0 0 25 0 11 0 544703479 864739328 25228 4294967295 134512640 134569956 3221224400 3221214528 1131529410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25228 13073 16 0 211102 0
vsize: 844472
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 54599 54 0 0 25 0 11 0 544703479 864739328 25251 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25251 13073 16 0 211102 0
vsize: 844472
[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 55589 54 0 0 24 0 11 0 544703479 864739328 25268 4294967295 134512640 134569956 3221224400 3221214376 1131527956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25268 13073 16 0 211102 0
vsize: 844472
[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 56578 54 0 0 25 0 11 0 544703479 864739328 25293 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25293 13073 16 0 211102 0
vsize: 844472
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 57567 55 0 0 25 0 11 0 544703479 864739328 25319 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25319 13073 16 0 211102 0
vsize: 844472
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 58555 55 0 0 25 0 11 0 544703479 864739328 25354 4294967295 134512640 134569956 3221224400 3221214792 1131232018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25354 13073 16 0 211102 0
vsize: 844472
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 59546 55 0 0 25 0 11 0 544703479 864739328 25397 4294967295 134512640 134569956 3221224400 3221214848 1131184883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211118 25397 13073 16 0 211102 0
vsize: 844472
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 60535 56 0 0 25 0 11 0 544703479 862642176 24922 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 24922 13073 16 0 210590 0
vsize: 842424
[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 61524 56 0 0 24 0 11 0 544703479 862642176 24953 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 24953 13073 16 0 210590 0
vsize: 842424
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 62513 57 0 0 25 0 11 0 544703479 862642176 24974 4294967295 134512640 134569956 3221224400 3221214792 1131232178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 24974 13073 16 0 210590 0
vsize: 842424
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 63503 57 0 0 25 0 11 0 544703479 862642176 25001 4294967295 134512640 134569956 3221224400 3221214892 1131231571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25001 13073 16 0 210590 0
vsize: 842424
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 64492 57 0 0 25 0 11 0 544703479 862642176 25032 4294967295 134512640 134569956 3221224400 3221214552 1131246401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25032 13073 16 0 210590 0
vsize: 842424
[startup+670.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 65481 57 0 0 24 0 11 0 544703479 862642176 25053 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25053 13073 16 0 210590 0
vsize: 842424
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 66472 58 0 0 25 0 11 0 544703479 862642176 25081 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25081 13073 16 0 210590 0
vsize: 842424
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 67462 58 0 0 25 0 11 0 544703479 862642176 25097 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25097 13073 16 0 210590 0
vsize: 842424
[startup+700.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 68452 58 0 0 25 0 11 0 544703479 862642176 25131 4294967295 134512640 134569956 3221224400 3221214792 1131231945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25131 13073 16 0 210590 0
vsize: 842424
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 69442 59 0 0 25 0 11 0 544703479 862642176 25146 4294967295 134512640 134569956 3221224400 3221214896 1131285480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25146 13073 16 0 210590 0
vsize: 842424
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 70433 59 0 0 25 0 11 0 544703479 862642176 25167 4294967295 134512640 134569956 3221224400 3221214792 1131232218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25167 13073 16 0 210590 0
vsize: 842424
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 71422 59 0 0 25 0 11 0 544703479 862642176 25183 4294967295 134512640 134569956 3221224400 3221214792 1131231614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25183 13073 16 0 210590 0
vsize: 842424
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 72413 59 0 0 25 0 11 0 544703479 862642176 25203 4294967295 134512640 134569956 3221224400 3221214892 1131341315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25203 13073 16 0 210590 0
vsize: 842424
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 73401 59 0 0 25 0 11 0 544703479 862642176 25224 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25224 13073 16 0 210590 0
vsize: 842424
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 74391 60 0 0 25 0 11 0 544703479 862642176 25256 4294967295 134512640 134569956 3221224400 3221214792 1131232123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25256 13073 16 0 210590 0
vsize: 842424
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 75381 60 0 0 25 0 11 0 544703479 862642176 25289 4294967295 134512640 134569956 3221224400 3221214792 1131232018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25289 13073 16 0 210590 0
vsize: 842424
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 76371 60 0 0 25 0 11 0 544703479 862642176 25315 4294967295 134512640 134569956 3221224400 3221214792 1131232668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25315 13073 16 0 210590 0
vsize: 842424
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 77361 61 0 0 25 0 11 0 544703479 862642176 25339 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25339 13073 16 0 210590 0
vsize: 842424
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 78351 61 0 0 25 0 11 0 544703479 862642176 25373 4294967295 134512640 134569956 3221224400 3221214792 1131232487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25373 13073 16 0 210590 0
vsize: 842424
[startup+810.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 79340 61 0 0 25 0 11 0 544703479 862642176 25395 4294967295 134512640 134569956 3221224400 3221214792 1131231950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25395 13073 16 0 210590 0
vsize: 842424
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 80328 61 0 0 25 0 11 0 544703479 862642176 25417 4294967295 134512640 134569956 3221224400 3221214792 1131232115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25417 13073 16 0 210590 0
vsize: 842424
[startup+830.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 81314 62 0 0 25 0 11 0 544703479 862642176 25448 4294967295 134512640 134569956 3221224400 3221214896 1131285386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25448 13073 16 0 210590 0
vsize: 842424
[startup+840.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 82303 62 0 0 25 0 11 0 544703479 862642176 25499 4294967295 134512640 134569956 3221224400 3221214848 1131184789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25499 13073 16 0 210590 0
vsize: 842424
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 83291 62 0 0 25 0 11 0 544703479 862642176 25532 4294967295 134512640 134569956 3221224400 3221214792 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25532 13073 16 0 210590 0
vsize: 842424
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 84280 63 0 0 24 0 11 0 544703479 862642176 25559 4294967295 134512640 134569956 3221224400 3221214896 1131284801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25559 13073 16 0 210590 0
vsize: 842424
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 85270 63 0 0 25 0 11 0 544703479 862642176 25575 4294967295 134512640 134569956 3221224400 3221214792 1131231585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25575 13073 16 0 210590 0
vsize: 842424
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 86259 63 0 0 25 0 11 0 544703479 862642176 25624 4294967295 134512640 134569956 3221224400 3221214792 1131232500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25624 13073 16 0 210590 0
vsize: 842424
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 87248 63 0 0 25 0 11 0 544703479 862642176 25636 4294967295 134512640 134569956 3221224400 3221214792 1131231630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25636 13073 16 0 210590 0
vsize: 842424
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 88237 63 0 0 25 0 11 0 544703479 862642176 25669 4294967295 134512640 134569956 3221224400 3221214216 1131528017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25669 13073 16 0 210590 0
vsize: 842424
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 89226 64 0 0 25 0 11 0 544703479 862642176 25694 4294967295 134512640 134569956 3221224400 3221214792 1131231683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25694 13073 16 0 210590 0
vsize: 842424
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 90215 64 0 0 24 0 11 0 544703479 862642176 25717 4294967295 134512640 134569956 3221224400 3221214792 1131231683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25717 13073 16 0 210590 0
vsize: 842424
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 91203 65 0 0 25 0 11 0 544703479 862642176 25747 4294967295 134512640 134569956 3221224400 3221214792 1131231614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25747 13073 16 0 210590 0
vsize: 842424
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 92193 65 0 0 25 0 11 0 544703479 862642176 25760 4294967295 134512640 134569956 3221224400 3221214720 1131231799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25760 13073 16 0 210590 0
vsize: 842424
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 93183 65 0 0 25 0 11 0 544703479 862642176 25780 4294967295 134512640 134569956 3221224400 3221214776 1131184800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25780 13073 16 0 210590 0
vsize: 842424
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 94173 65 0 0 25 0 11 0 544703479 862642176 25804 4294967295 134512640 134569956 3221224400 3221214824 1131284822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25804 13073 16 0 210590 0
vsize: 842424
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 95163 66 0 0 25 0 11 0 544703479 862642176 25824 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25824 13073 16 0 210590 0
vsize: 842424
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 96152 66 0 0 25 0 11 0 544703479 862642176 25835 4294967295 134512640 134569956 3221224400 3221214720 1131231649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25835 13073 16 0 210590 0
vsize: 842424
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 97141 66 0 0 25 0 11 0 544703479 862642176 25860 4294967295 134512640 134569956 3221224400 3221214720 1131231604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25860 13073 16 0 210590 0
vsize: 842424
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 98129 66 0 0 24 0 11 0 544703479 862642176 25883 4294967295 134512640 134569956 3221224400 3221214776 1131184785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25883 13073 16 0 210590 0
vsize: 842424
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 99119 67 0 0 25 0 11 0 544703479 862642176 25932 4294967295 134512640 134569956 3221224400 3221214720 1131231988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25932 13073 16 0 210590 0
vsize: 842424
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 100108 67 0 0 25 0 11 0 544703479 862642176 25974 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 25974 13073 16 0 210590 0
vsize: 842424
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 101097 67 0 0 25 0 11 0 544703479 862642176 26003 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 26003 13073 16 0 210590 0
vsize: 842424
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 102086 68 0 0 25 0 11 0 544703479 862642176 26044 4294967295 134512640 134569956 3221224400 3221214824 1131284701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 26044 13073 16 0 210590 0
vsize: 842424
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 103075 68 0 0 25 0 11 0 544703479 862642176 26068 4294967295 134512640 134569956 3221224400 3221214776 1131184765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 26068 13073 16 0 210590 0
vsize: 842424
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 104063 69 0 0 25 0 11 0 544703479 862642176 26088 4294967295 134512640 134569956 3221224400 3221214720 1131231980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210606 26088 13073 16 0 210590 0
vsize: 842424
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 105053 69 0 0 25 0 11 0 544703479 862642176 26107 4294967295 134512640 134569956 3221224400 3221214140 1131528011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26107 13073 16 0 210590 0
vsize: 842424
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 106042 69 0 0 25 0 11 0 544703479 862642176 26163 4294967295 134512640 134569956 3221224400 3221214392 1131532889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26163 13073 16 0 210590 0
vsize: 842424
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 107029 69 0 0 24 0 11 0 544703479 862642176 26186 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26186 13073 16 0 210590 0
vsize: 842424
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 108018 69 0 0 25 0 11 0 544703479 862642176 26225 4294967295 134512640 134569956 3221224400 3221214720 1131231649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26225 13073 16 0 210590 0
vsize: 842424
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 109008 69 0 0 25 0 11 0 544703479 862642176 26263 4294967295 134512640 134569956 3221224400 3221214776 1131184950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26263 13073 16 0 210590 0
vsize: 842424
[startup+1120.06 s]
Raw data (loadavg): 1.07 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 109996 69 0 0 25 0 11 0 544703479 862642176 26296 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26296 13073 16 0 210590 0
vsize: 842424
[startup+1130.06 s]
Raw data (loadavg): 1.06 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 110986 70 0 0 25 0 11 0 544703479 862642176 26329 4294967295 134512640 134569956 3221224400 3221214720 1131232204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26329 13073 16 0 210590 0
vsize: 842424
[startup+1140.06 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 111975 70 0 0 25 0 11 0 544703479 862642176 26344 4294967295 134512640 134569956 3221224400 3221214776 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26344 13073 16 0 210590 0
vsize: 842424
[startup+1150.06 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 112963 70 0 0 25 0 11 0 544703479 862642176 26381 4294967295 134512640 134569956 3221224400 3221214720 1131231585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26381 13073 16 0 210590 0
vsize: 842424
[startup+1160.06 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 113952 70 0 0 25 0 11 0 544703479 862642176 26405 4294967295 134512640 134569956 3221224400 3221214720 1131232585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26405 13073 16 0 210590 0
vsize: 842424
[startup+1170.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 114940 70 0 0 25 0 11 0 544703479 862642176 26431 4294967295 134512640 134569956 3221224400 3221214776 1131184768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26431 13073 16 0 210590 0
vsize: 842424
[startup+1180.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 115925 70 0 0 24 0 11 0 544703479 862642176 26479 4294967295 134512640 134569956 3221224400 3221214776 1131184810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26479 13073 16 0 210590 0
vsize: 842424
[startup+1190.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 116914 70 0 0 25 0 11 0 544703479 862642176 26556 4294967295 134512640 134569956 3221224400 3221214824 1131284837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26556 13073 16 0 210590 0
vsize: 842424
[startup+1200.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 117899 70 0 0 24 0 11 0 544703479 862642176 26578 4294967295 134512640 134569956 3221224400 3221214792 1131557744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26578 13073 16 0 210590 0
vsize: 842424
[startup+1210.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 118888 70 0 0 25 0 11 0 544703479 862642176 26649 4294967295 134512640 134569956 3221224400 3221214720 1131231954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26649 13073 16 0 210590 0
vsize: 842424
[startup+1220.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 119876 70 0 0 25 0 11 0 544703479 862642176 26677 4294967295 134512640 134569956 3221224400 3221214720 1131232557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26677 13073 16 0 210590 0
vsize: 842424
[startup+1230.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 7049
Raw data (stat): 7038 (java) R 7037 27565 27564 0 -1 0 18082 3 1 0 120864 70 0 0 24 0 11 0 544703479 862642176 26734 4294967295 134512640 134569956 3221224400 3221214720 1131231995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210606 26734 13073 16 0 210590 0
vsize: 842424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.01 1.00 0.95 1/54 7051
Raw data (stat): 7038 (java) Z 7037 27565 27564 0 -1 1036 18082 6145 1 0 120866 70 1733 25 25 0 1 0 544703479 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): 1230.14
CPU time (s): 1226.96
CPU user time (s): 1225.99
CPU system time (s): 0.963853
CPU usage (%): 99.7415
Max. virtual memory (Kb): 845496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####