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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
MD5SUM	5f5bedf3690a537deb8cc97cc5d565ae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	94
Optimality of the best value was proved	NO
Number of terms in the objective function	4624
Biggest coefficient in the objective function	2577
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	13335
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2577
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	13335
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	4624
Total number of constraints	9886
Number of constraints which are clauses	4404
Number of constraints which are cardinality constraints (but not clauses)	5482
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	22
Trace number 4538

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-13 18:22:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3366 boxname=wulflinc6 idbench=374 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5f5bedf3690a537deb8cc97cc5d565ae  /oldhome/oroussel/tmp/wulflinc6/normalized-30:30:4.5:0.95:98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-30:30:4.5:0.95:98.opb
IDLAUNCH: 3366
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        923192 kB
Buffers:         33924 kB
Cached:          55708 kB
SwapCached:       2644 kB
Active:          47432 kB
Inactive:        47660 kB
HighTotal:      131008 kB
HighFree:        71456 kB
LowTotal:       903652 kB
LowFree:        851736 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10784 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:43:10 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3366 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-30:30:4.5:0.95:98.opb
c reading problem 
c [nbvar=4624]
c [nbconstr=9886]
c time 13.913
c #vars     4624
c #clauses  5263
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=151
c Current CPU time (ms) : 15.973
c starts	: 1
c conflicts	: 0
c decisions	: 1995
c propagations	: 4624
c inspects	: 8264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=150
c Current CPU time (ms) : 67.428
c starts	: 2
c conflicts	: 14
c decisions	: 4023
c propagations	: 9395
c inspects	: 15339
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 2
c 
c CURRENT OPTIMUM=89
c Current CPU time (ms) : 490.958
c starts	: 3
c conflicts	: 14
c decisions	: 6671
c propagations	: 14018
c inspects	: 52550
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 14
c root simplifications	: 3
c 
c CURRENT OPTIMUM=87
c Current CPU time (ms) : 934.679
c starts	: 4
c conflicts	: 15
c decisions	: 9320
c propagations	: 18642
c inspects	: 87808
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 4
#### 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.93 0.98 0.99 2/54 31108
Raw data (stat): 31108 (runsolver) R 31107 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419856265 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+9.99948 s]
Raw data (loadavg): 1.10 1.02 1.01 4/63 31117
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18005 0 1 0 846 44 0 0 25 0 10 0 419856265 859537408 20301 4294967295 134512640 134569956 3221224400 3221213940 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209848 20301 13073 16 0 209832 0
vsize: 839392
[startup+20.0001 s]
Raw data (loadavg): 1.39 1.08 1.03 4/64 31119
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18068 4 1 0 1564 45 0 0 25 0 11 0 419856265 872968192 24812 4294967295 134512640 134569956 3221224400 3221214768 1131448515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213127 24812 13073 16 0 213111 0
vsize: 852508
[startup+30.0048 s]
Raw data (loadavg): 1.40 1.09 1.03 2/64 31119
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18068 4 1 0 2442 45 0 0 17 0 11 0 419856265 870297600 24359 4294967295 134512640 134569956 3221224400 3221214664 1131243407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212475 24359 13073 16 0 212459 0
vsize: 849900
[startup+40.005 s]
Raw data (loadavg): 1.34 1.09 1.03 2/64 31119
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18068 4 1 0 3337 45 0 0 19 0 11 0 419856265 870297600 24219 4294967295 134512640 134569956 3221224400 3221214664 1131242924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212475 24219 13073 16 0 212459 0
vsize: 849900
[startup+50.0055 s]
Raw data (loadavg): 1.44 1.12 1.04 2/64 31119
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 4220 46 0 0 25 0 11 0 419856265 871346176 24864 4294967295 134512640 134569956 3221224400 3221214664 1131243674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 24864 13073 16 0 212715 0
vsize: 850924
[startup+60.0052 s]
Raw data (loadavg): 1.37 1.12 1.04 2/64 31119
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 5167 46 0 0 24 0 11 0 419856265 871346176 25595 4294967295 134512640 134569956 3221224400 3221214600 1131612269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 25595 13073 16 0 212715 0
vsize: 850924
[startup+70.0052 s]
Raw data (loadavg): 1.40 1.13 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 6088 46 0 0 25 0 11 0 419856265 871346176 25749 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 25749 13073 16 0 212715 0
vsize: 850924
[startup+80.0059 s]
Raw data (loadavg): 1.33 1.12 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 6999 46 0 0 25 0 11 0 419856265 871346176 25934 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 25934 13073 16 0 212715 0
vsize: 850924
[startup+90.006 s]
Raw data (loadavg): 1.28 1.12 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 7904 46 0 0 25 0 11 0 419856265 871346176 25934 4294967295 134512640 134569956 3221224400 3221214760 1131450879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 25934 13073 16 0 212715 0
vsize: 850924
[startup+100.006 s]
Raw data (loadavg): 1.24 1.11 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 8833 46 0 0 18 0 11 0 419856265 871346176 26627 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26627 13073 16 0 212715 0
vsize: 850924
[startup+110.006 s]
Raw data (loadavg): 1.20 1.11 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 9823 46 0 0 24 0 11 0 419856265 871346176 26759 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26759 13073 16 0 212715 0
vsize: 850924
[startup+120.007 s]
Raw data (loadavg): 1.17 1.11 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 10818 47 0 0 20 0 11 0 419856265 871346176 26762 4294967295 134512640 134569956 3221224400 3221214760 1131448417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26762 13073 16 0 212715 0
vsize: 850924
[startup+130.007 s]
Raw data (loadavg): 1.14 1.10 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 11811 47 0 0 17 0 11 0 419856265 871346176 26764 4294967295 134512640 134569956 3221224400 3221214656 1131244113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26764 13073 16 0 212715 0
vsize: 850924
[startup+140.008 s]
Raw data (loadavg): 1.12 1.10 1.04 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 12806 47 0 0 22 0 11 0 419856265 871346176 26770 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26770 13073 16 0 212715 0
vsize: 850924
[startup+150.009 s]
Raw data (loadavg): 1.10 1.09 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 13801 47 0 0 19 0 11 0 419856265 871346176 26775 4294967295 134512640 134569956 3221224400 3221214656 1131243290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26775 13073 16 0 212715 0
vsize: 850924
[startup+160.009 s]
Raw data (loadavg): 1.09 1.09 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 14797 47 0 0 17 0 11 0 419856265 871346176 26785 4294967295 134512640 134569956 3221224400 3221214760 1131451897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26785 13073 16 0 212715 0
vsize: 850924
[startup+170.009 s]
Raw data (loadavg): 1.07 1.09 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 15793 48 0 0 22 0 11 0 419856265 871346176 26787 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26787 13073 16 0 212715 0
vsize: 850924
[startup+180.009 s]
Raw data (loadavg): 1.06 1.08 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 16787 48 0 0 20 0 11 0 419856265 871346176 26790 4294967295 134512640 134569956 3221224400 3221214760 1131452042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26790 13073 16 0 212715 0
vsize: 850924
[startup+190.013 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 17781 48 0 0 16 0 11 0 419856265 871346176 26793 4294967295 134512640 134569956 3221224400 3221214656 1131243387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26793 13073 16 0 212715 0
vsize: 850924
[startup+200.014 s]
Raw data (loadavg): 1.04 1.08 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 18776 49 0 0 25 0 11 0 419856265 871346176 26803 4294967295 134512640 134569956 3221224400 3221214760 1131451912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26803 13073 16 0 212715 0
vsize: 850924
[startup+210.014 s]
Raw data (loadavg): 1.04 1.07 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 19771 49 0 0 20 0 11 0 419856265 871346176 26811 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26811 13073 16 0 212715 0
vsize: 850924
[startup+220.014 s]
Raw data (loadavg): 1.03 1.07 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 20766 49 0 0 17 0 11 0 419856265 871346176 26815 4294967295 134512640 134569956 3221224400 3221214656 1131243526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26815 13073 16 0 212715 0
vsize: 850924
[startup+230.015 s]
Raw data (loadavg): 1.02 1.07 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 21762 49 0 0 23 0 11 0 419856265 871346176 26818 4294967295 134512640 134569956 3221224400 3221214656 1131242909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26818 13073 16 0 212715 0
vsize: 850924
[startup+240.015 s]
Raw data (loadavg): 1.02 1.07 1.03 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 22757 50 0 0 19 0 11 0 419856265 871346176 26821 4294967295 134512640 134569956 3221224400 3221214760 1131448466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26821 13073 16 0 212715 0
vsize: 850924
[startup+250.015 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 23752 50 0 0 17 0 11 0 419856265 871346176 26824 4294967295 134512640 134569956 3221224400 3221214656 1131243698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26824 13073 16 0 212715 0
vsize: 850924
[startup+260.015 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 24747 50 0 0 23 0 11 0 419856265 871346176 26827 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26827 13073 16 0 212715 0
vsize: 850924
[startup+270.016 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 25742 50 0 0 20 0 11 0 419856265 871346176 26830 4294967295 134512640 134569956 3221224400 3221214756 1131242892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26830 13073 16 0 212715 0
vsize: 850924
[startup+280.016 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 26737 50 0 0 18 0 11 0 419856265 871346176 26833 4294967295 134512640 134569956 3221224400 3221214656 1131244141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26833 13073 16 0 212715 0
vsize: 850924
[startup+290.016 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 27732 51 0 0 24 0 11 0 419856265 871346176 26845 4294967295 134512640 134569956 3221224400 3221214656 1131243359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26845 13073 16 0 212715 0
vsize: 850924
[startup+300.016 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 28727 52 0 0 22 0 11 0 419856265 871346176 26861 4294967295 134512640 134569956 3221224400 3221214760 1131447332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26861 13073 16 0 212715 0
vsize: 850924
[startup+310.017 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 29724 52 0 0 20 0 11 0 419856265 871346176 26864 4294967295 134512640 134569956 3221224400 3221214656 1131243164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26864 13073 16 0 212715 0
vsize: 850924
[startup+320.017 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 30720 52 0 0 17 0 11 0 419856265 871346176 26867 4294967295 134512640 134569956 3221224400 3221214760 1131448395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26867 13073 16 0 212715 0
vsize: 850924
[startup+330.018 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 31717 52 0 0 24 0 11 0 419856265 871346176 26869 4294967295 134512640 134569956 3221224400 3221214756 1131242892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26869 13073 16 0 212715 0
vsize: 850924
[startup+340.018 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 32712 53 0 0 22 0 11 0 419856265 871346176 26872 4294967295 134512640 134569956 3221224400 3221214760 1131447371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 26872 13073 16 0 212715 0
vsize: 850924
[startup+350.019 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 33707 53 0 0 21 0 11 0 419856265 871346176 26875 4294967295 134512640 134569956 3221224400 3221214656 1131244096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26875 13073 16 0 212715 0
vsize: 850924
[startup+360.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 34704 53 0 0 19 0 11 0 419856265 871346176 26878 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26878 13073 16 0 212715 0
vsize: 850924
[startup+370.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 35699 54 0 0 17 0 11 0 419856265 871346176 26880 4294967295 134512640 134569956 3221224400 3221214760 1131449311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26880 13073 16 0 212715 0
vsize: 850924
[startup+380.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 36696 55 0 0 25 0 11 0 419856265 871346176 26883 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26883 13073 16 0 212715 0
vsize: 850924
[startup+390.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 37692 55 0 0 23 0 11 0 419856265 871346176 26886 4294967295 134512640 134569956 3221224400 3221214760 1131449244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26886 13073 16 0 212715 0
vsize: 850924
[startup+400.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 38688 56 0 0 22 0 11 0 419856265 871346176 26888 4294967295 134512640 134569956 3221224400 3221214760 1131448421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26888 13073 16 0 212715 0
vsize: 850924
[startup+410.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 39685 56 0 0 21 0 11 0 419856265 871346176 26891 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26891 13073 16 0 212715 0
vsize: 850924
[startup+420.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 40681 57 0 0 20 0 11 0 419856265 871346176 26894 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26894 13073 16 0 212715 0
vsize: 850924
[startup+430.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 41677 57 0 0 18 0 11 0 419856265 871346176 26897 4294967295 134512640 134569956 3221224400 3221214760 1131448356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 26897 13073 16 0 212715 0
vsize: 850924
[startup+440.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 42671 57 0 0 18 0 11 0 419856265 871346176 26899 4294967295 134512640 134569956 3221224400 3221214656 1131244032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26899 13073 16 0 212715 0
vsize: 850924
[startup+450.022 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 43665 58 0 0 17 0 11 0 419856265 871346176 26902 4294967295 134512640 134569956 3221224400 3221214656 1131244054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26902 13073 16 0 212715 0
vsize: 850924
[startup+460.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 44659 58 0 0 16 0 11 0 419856265 871346176 26947 4294967295 134512640 134569956 3221224400 3221214756 1131244188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26947 13073 16 0 212715 0
vsize: 850924
[startup+470.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 45655 58 0 0 25 0 11 0 419856265 871346176 26953 4294967295 134512640 134569956 3221224400 3221214656 1131243164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26953 13073 16 0 212715 0
vsize: 850924
[startup+480.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 46651 59 0 0 24 0 11 0 419856265 871346176 26956 4294967295 134512640 134569956 3221224400 3221214656 1131244099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26956 13073 16 0 212715 0
vsize: 850924
[startup+490.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31120
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 47645 59 0 0 24 0 11 0 419856265 871346176 26959 4294967295 134512640 134569956 3221224400 3221214776 1131419244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26959 13073 16 0 212715 0
vsize: 850924
[startup+500.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 48622 59 0 0 18 0 11 0 419856265 871346176 26966 4294967295 134512640 134569956 3221224400 3221214760 1131448492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26966 13073 16 0 212715 0
vsize: 850924
[startup+510.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 49599 59 0 0 21 0 11 0 419856265 871346176 26967 4294967295 134512640 134569956 3221224400 3221214760 1131447173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26967 13073 16 0 212715 0
vsize: 850924
[startup+520.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) S 31107 29653 29652 0 -1 0 18109 4 1 0 50575 60 0 0 25 0 11 0 419856265 871346176 26969 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 26969 13073 16 0 212715 0
vsize: 850924
[startup+530.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 51566 60 0 0 20 0 11 0 419856265 871346176 27093 4294967295 134512640 134569956 3221224400 3221214656 1131243563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27093 13073 16 0 212715 0
vsize: 850924
[startup+540.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 52563 61 0 0 17 0 11 0 419856265 871346176 27094 4294967295 134512640 134569956 3221224400 3221214760 1131448395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27094 13073 16 0 212715 0
vsize: 850924
[startup+550.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 53559 61 0 0 23 0 11 0 419856265 871346176 27095 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27095 13073 16 0 212715 0
vsize: 850924
[startup+560.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 54556 61 0 0 20 0 11 0 419856265 871346176 27097 4294967295 134512640 134569956 3221224400 3221214760 1131448373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27097 13073 16 0 212715 0
vsize: 850924
[startup+570.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 55553 62 0 0 17 0 11 0 419856265 871346176 27099 4294967295 134512640 134569956 3221224400 3221214760 1131448395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27099 13073 16 0 212715 0
vsize: 850924
[startup+580.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 56550 62 0 0 22 0 11 0 419856265 871346176 27100 4294967295 134512640 134569956 3221224400 3221214656 1131243417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27100 13073 16 0 212715 0
vsize: 850924
[startup+590.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 57547 63 0 0 20 0 11 0 419856265 871346176 27101 4294967295 134512640 134569956 3221224400 3221214760 1131447173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27101 13073 16 0 212715 0
vsize: 850924
[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 58543 63 0 0 17 0 11 0 419856265 871346176 27102 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27102 13073 16 0 212715 0
vsize: 850924
[startup+610.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 59540 63 0 0 22 0 11 0 419856265 871346176 27103 4294967295 134512640 134569956 3221224400 3221214656 1131243417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27103 13073 16 0 212715 0
vsize: 850924
[startup+620.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 60536 63 0 0 19 0 11 0 419856265 871346176 27105 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27105 13073 16 0 212715 0
vsize: 850924
[startup+630.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 61533 64 0 0 16 0 11 0 419856265 871346176 27107 4294967295 134512640 134569956 3221224400 3221214760 1131448417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27107 13073 16 0 212715 0
vsize: 850924
[startup+640.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 62529 64 0 0 23 0 11 0 419856265 871346176 27109 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27109 13073 16 0 212715 0
vsize: 850924
[startup+650.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 63525 65 0 0 19 0 11 0 419856265 871346176 27110 4294967295 134512640 134569956 3221224400 3221214760 1131451967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27110 13073 16 0 212715 0
vsize: 850924
[startup+660.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 64522 65 0 0 17 0 11 0 419856265 871346176 27112 4294967295 134512640 134569956 3221224400 3221214656 1131243526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27112 13073 16 0 212715 0
vsize: 850924
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 65518 66 0 0 24 0 11 0 419856265 871346176 27113 4294967295 134512640 134569956 3221224400 3221214656 1131242917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27113 13073 16 0 212715 0
vsize: 850924
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 66515 66 0 0 21 0 11 0 419856265 871346176 27114 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27114 13073 16 0 212715 0
vsize: 850924
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 67512 66 0 0 18 0 11 0 419856265 871346176 27116 4294967295 134512640 134569956 3221224400 3221214656 1131243662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27116 13073 16 0 212715 0
vsize: 850924
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 68509 66 0 0 25 0 11 0 419856265 871346176 27117 4294967295 134512640 134569956 3221224400 3221214656 1131243180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27117 13073 16 0 212715 0
vsize: 850924
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 69506 67 0 0 22 0 11 0 419856265 871346176 27118 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27118 13073 16 0 212715 0
vsize: 850924
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 70502 68 0 0 20 0 11 0 419856265 871346176 27121 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27121 13073 16 0 212715 0
vsize: 850924
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 71499 68 0 0 17 0 11 0 419856265 871346176 27122 4294967295 134512640 134569956 3221224400 3221214756 1131244188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27122 13073 16 0 212715 0
vsize: 850924
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 72496 68 0 0 24 0 11 0 419856265 871346176 27123 4294967295 134512640 134569956 3221224400 3221214656 1131244099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27123 13073 16 0 212715 0
vsize: 850924
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 73493 69 0 0 22 0 11 0 419856265 871346176 27125 4294967295 134512640 134569956 3221224400 3221214760 1131452122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27125 13073 16 0 212715 0
vsize: 850924
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 74489 69 0 0 21 0 11 0 419856265 871346176 27127 4294967295 134512640 134569956 3221224400 3221214656 1131243765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27127 13073 16 0 212715 0
vsize: 850924
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 75486 69 0 0 19 0 11 0 419856265 871346176 27128 4294967295 134512640 134569956 3221224400 3221214656 1131243232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27128 13073 16 0 212715 0
vsize: 850924
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 76483 70 0 0 17 0 11 0 419856265 871346176 27130 4294967295 134512640 134569956 3221224400 3221214760 1131451971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27130 13073 16 0 212715 0
vsize: 850924
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 77480 70 0 0 25 0 11 0 419856265 871346176 27131 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 27131 13073 16 0 212715 0
vsize: 850924
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 78476 70 0 0 23 0 11 0 419856265 871346176 27132 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27132 13073 16 0 212715 0
vsize: 850924
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 79470 71 0 0 21 0 11 0 419856265 871346176 27133 4294967295 134512640 134569956 3221224400 3221214760 1131451971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27133 13073 16 0 212715 0
vsize: 850924
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 80464 71 0 0 19 0 11 0 419856265 871346176 27134 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27134 13073 16 0 212715 0
vsize: 850924
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 81457 72 0 0 17 0 11 0 419856265 871346176 27142 4294967295 134512640 134569956 3221224400 3221214656 1131243992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27142 13073 16 0 212715 0
vsize: 850924
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 82453 72 0 0 17 0 11 0 419856265 871346176 27227 4294967295 134512640 134569956 3221224400 3221214760 1131448527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27227 13073 16 0 212715 0
vsize: 850924
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 83450 73 0 0 24 0 11 0 419856265 871346176 27228 4294967295 134512640 134569956 3221224400 3221214656 1131242924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27228 13073 16 0 212715 0
vsize: 850924
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 84447 73 0 0 23 0 11 0 419856265 871346176 27230 4294967295 134512640 134569956 3221224400 3221214656 1131243290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27230 13073 16 0 212715 0
vsize: 850924
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 85444 73 0 0 22 0 11 0 419856265 871346176 27231 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27231 13073 16 0 212715 0
vsize: 850924
[startup+880.044 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 86441 73 0 0 21 0 11 0 419856265 871346176 27233 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27233 13073 16 0 212715 0
vsize: 850924
[startup+890.045 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 87437 74 0 0 21 0 11 0 419856265 871346176 27234 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27234 13073 16 0 212715 0
vsize: 850924
[startup+900.046 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 88434 74 0 0 20 0 11 0 419856265 871346176 27238 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27238 13073 16 0 212715 0
vsize: 850924
[startup+910.045 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 89430 75 0 0 25 0 11 0 419856265 871346176 27240 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27240 13073 16 0 212715 0
vsize: 850924
[startup+920.046 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 90426 75 0 0 19 0 11 0 419856265 871346176 27242 4294967295 134512640 134569956 3221224400 3221214760 1131447404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27242 13073 16 0 212715 0
vsize: 850924
[startup+930.047 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 31121
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 91422 75 0 0 19 0 11 0 419856265 871346176 27243 4294967295 134512640 134569956 3221224400 3221214760 1131448417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27243 13073 16 0 212715 0
vsize: 850924
[startup+940.047 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 92410 76 0 0 16 0 11 0 419856265 871346176 27244 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27244 13073 16 0 212715 0
vsize: 850924
[startup+950.048 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 93384 76 0 0 19 0 11 0 419856265 871346176 27244 4294967295 134512640 134569956 3221224400 3221214760 1131448264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27244 13073 16 0 212715 0
vsize: 850924
[startup+960.048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 94359 77 0 0 23 0 11 0 419856265 871346176 27244 4294967295 134512640 134569956 3221224400 3221214656 1131243265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27244 13073 16 0 212715 0
vsize: 850924
[startup+970.048 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 95337 77 0 0 19 0 11 0 419856265 871346176 27385 4294967295 134512640 134569956 3221224400 3221214656 1131242917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27385 13073 16 0 212715 0
vsize: 850924
[startup+980.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 96333 78 0 0 25 0 11 0 419856265 871346176 27387 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27387 13073 16 0 212715 0
vsize: 850924
[startup+990.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 97328 78 0 0 22 0 11 0 419856265 871346176 27388 4294967295 134512640 134569956 3221224400 3221214656 1131242917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27388 13073 16 0 212715 0
vsize: 850924
[startup+1000.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 98323 79 0 0 20 0 11 0 419856265 871346176 27389 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27389 13073 16 0 212715 0
vsize: 850924
[startup+1010.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 99317 80 0 0 16 0 11 0 419856265 871346176 27394 4294967295 134512640 134569956 3221224400 3221214656 1131243417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27394 13073 16 0 212715 0
vsize: 850924
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 100313 80 0 0 22 0 11 0 419856265 871346176 27395 4294967295 134512640 134569956 3221224400 3221214656 1131244079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27395 13073 16 0 212715 0
vsize: 850924
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 101308 80 0 0 19 0 11 0 419856265 871346176 27397 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27397 13073 16 0 212715 0
vsize: 850924
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 102304 81 0 0 17 0 11 0 419856265 871346176 27400 4294967295 134512640 134569956 3221224400 3221214656 1131243532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27400 13073 16 0 212715 0
vsize: 850924
[startup+1050.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 103300 81 0 0 23 0 11 0 419856265 871346176 27401 4294967295 134512640 134569956 3221224400 3221214656 1131242945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27401 13073 16 0 212715 0
vsize: 850924
[startup+1060.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 104296 82 0 0 21 0 11 0 419856265 871346176 27403 4294967295 134512640 134569956 3221224400 3221214656 1131243631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27403 13073 16 0 212715 0
vsize: 850924
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 105291 82 0 0 18 0 11 0 419856265 871346176 27405 4294967295 134512640 134569956 3221224400 3221214656 1131243200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27405 13073 16 0 212715 0
vsize: 850924
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 106288 83 0 0 25 0 11 0 419856265 871346176 27408 4294967295 134512640 134569956 3221224400 3221214656 1131243463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27408 13073 16 0 212715 0
vsize: 850924
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 107284 83 0 0 23 0 11 0 419856265 871346176 27410 4294967295 134512640 134569956 3221224400 3221214656 1131242913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27410 13073 16 0 212715 0
vsize: 850924
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 108280 83 0 0 19 0 11 0 419856265 871346176 27412 4294967295 134512640 134569956 3221224400 3221214760 1131447404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27412 13073 16 0 212715 0
vsize: 850924
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 109275 84 0 0 17 0 11 0 419856265 871346176 27413 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27413 13073 16 0 212715 0
vsize: 850924
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 110272 84 0 0 24 0 11 0 419856265 871346176 27415 4294967295 134512640 134569956 3221224400 3221214760 1131449221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27415 13073 16 0 212715 0
vsize: 850924
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 111267 85 0 0 21 0 11 0 419856265 871346176 27417 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27417 13073 16 0 212715 0
vsize: 850924
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 112260 85 0 0 20 0 11 0 419856265 871346176 27418 4294967295 134512640 134569956 3221224400 3221214656 1131243503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27418 13073 16 0 212715 0
vsize: 850924
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 113254 85 0 0 17 0 11 0 419856265 871346176 27421 4294967295 134512640 134569956 3221224400 3221214760 1131448476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27421 13073 16 0 212715 0
vsize: 850924
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 114249 86 0 0 23 0 11 0 419856265 871346176 27425 4294967295 134512640 134569956 3221224400 3221214760 1131447339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212731 27425 13073 16 0 212715 0
vsize: 850924
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 115244 86 0 0 22 0 11 0 419856265 871346176 27428 4294967295 134512640 134569956 3221224400 3221214656 1131244074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27428 13073 16 0 212715 0
vsize: 850924
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 116240 86 0 0 20 0 11 0 419856265 871346176 27430 4294967295 134512640 134569956 3221224400 3221214656 1131242926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27430 13073 16 0 212715 0
vsize: 850924
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 117235 87 0 0 19 0 11 0 419856265 871346176 27435 4294967295 134512640 134569956 3221224400 3221214760 1131447332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27435 13073 16 0 212715 0
vsize: 850924
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 118231 87 0 0 17 0 11 0 419856265 871346176 27437 4294967295 134512640 134569956 3221224400 3221214760 1131448421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27437 13073 16 0 212715 0
vsize: 850924
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 119227 87 0 0 24 0 11 0 419856265 871346176 27438 4294967295 134512640 134569956 3221224400 3221214760 1131449244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27438 13073 16 0 212715 0
vsize: 850924
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31122
Raw data (stat): 31108 (java) R 31107 29653 29652 0 -1 0 18109 4 1 0 120223 87 0 0 22 0 11 0 419856265 871346176 27440 4294967295 134512640 134569956 3221224400 3221214756 1131242892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212731 27440 13073 16 0 212715 0
vsize: 850924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31124
Raw data (stat): 31108 (java) Z 31107 29653 29652 0 -1 1036 18109 23408 1 0 120227 92 4330 68 24 0 1 0 419856265 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.15
CPU time (s): 1247.19
CPU user time (s): 1245.58
CPU system time (s): 1.61275
CPU usage (%): 102.216
Max. virtual memory (Kb): 852508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####