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/unibo/normalized-mps-v2-13-7-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	14.4348
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 14718

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 00:53:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20263 boxname=wulflinc9 idbench=1559 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-sp98ar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-sp98ar.opb
IDLAUNCH: 20263
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        606104 kB
Buffers:         34964 kB
Cached:         370308 kB
SwapCached:          8 kB
Active:          95568 kB
Inactive:       312484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        605852 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14860 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 01:13:57 (client local time) WITH STATUS 143 IN 1232.01 SECONDS
stats: 20263 7 1232.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-sp98ar.opb
c reading problem 
c [nbvar=15085]
c [nbconstr=16520]
c time 82.866
c #vars     15085
c #clauses  1431
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 31655
Raw data (stat): 31655 (runsolver) R 31654 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482690050 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.94 0.90 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 17975 0 1 0 896 38 0 0 25 0 10 0 482690050 853184512 19059 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208297 19059 13073 16 0 208281 0
vsize: 833188
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.91 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 17976 0 1 0 1785 38 0 0 25 0 10 0 482690050 853770240 19647 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208440 19647 13073 16 0 208424 0
vsize: 833760
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.91 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 17976 0 1 0 2684 38 0 0 25 0 10 0 482690050 853770240 20074 4294967295 134512640 134569956 3221224400 3221214824 1131213887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208440 20074 13073 16 0 208424 0
vsize: 833760
[startup+40.0036 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 31664
Raw data (stat): 31655 (java) S 31654 30854 30853 0 -1 0 17976 0 1 0 3611 38 0 0 25 0 10 0 482690050 853770240 20302 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208440 20302 13073 16 0 208424 0
vsize: 833760
[startup+50.005 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 31664
Raw data (stat): 31655 (java) S 31654 30854 30853 0 -1 0 17976 0 1 0 4540 39 0 0 25 0 10 0 482690050 853770240 20421 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208440 20421 13073 16 0 208424 0
vsize: 833760
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.95 0.91 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 17976 0 1 0 5472 39 0 0 25 0 10 0 482690050 853770240 20522 4294967295 134512640 134569956 3221224400 3221214384 1079668986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208440 20522 13073 16 0 208424 0
vsize: 833760
[startup+70.0055 s]
Raw data (loadavg): 1.11 0.98 0.92 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18002 0 1 0 6347 40 0 0 25 0 10 0 482690050 854134784 20841 4294967295 134512640 134569956 3221224400 3221214376 1131270734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208529 20841 13073 16 0 208513 0
vsize: 834116
[startup+80.0064 s]
Raw data (loadavg): 1.09 0.98 0.92 2/63 31664
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18002 0 1 0 7293 43 0 0 25 0 10 0 482690050 855523328 21711 4294967295 134512640 134569956 3221224400 3221214496 1131270734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208868 21711 13073 16 0 208852 0
vsize: 835472
[startup+90.0058 s]
Raw data (loadavg): 1.24 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18074 0 1 0 8174 45 0 0 25 0 11 0 482690050 860155904 25729 4294967295 134512640 134569956 3221224400 3221214704 1131479013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209999 25729 13073 16 0 209983 0
vsize: 839996
[startup+100.007 s]
Raw data (loadavg): 1.20 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18074 0 1 0 9164 45 0 0 25 0 11 0 482690050 858787840 25300 4294967295 134512640 134569956 3221224400 3221214732 1131468103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25300 13073 16 0 209649 0
vsize: 838660
[startup+110.008 s]
Raw data (loadavg): 1.17 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 10101 45 0 0 25 0 11 0 482690050 858787840 25309 4294967295 134512640 134569956 3221224400 3221214728 1131645154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25309 13073 16 0 209649 0
vsize: 838660
[startup+120.008 s]
Raw data (loadavg): 1.14 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 11053 45 0 0 25 0 11 0 482690050 858787840 25310 4294967295 134512640 134569956 3221224400 3221214720 1131288270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25310 13073 16 0 209649 0
vsize: 838660
[startup+130.008 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 11999 45 0 0 24 0 11 0 482690050 858787840 25314 4294967295 134512640 134569956 3221224400 3221214728 1131330840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25314 13073 16 0 209649 0
vsize: 838660
[startup+140.008 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 12950 46 0 0 25 0 11 0 482690050 858787840 25314 4294967295 134512640 134569956 3221224400 3221214720 1131288270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25314 13073 16 0 209649 0
vsize: 838660
[startup+150.008 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 13938 46 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214720 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+160.008 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 14936 46 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214824 1131612653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+170.008 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 15934 46 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214720 1131288436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+180.009 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 16932 47 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214824 1131612653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+190.009 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 17931 47 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214720 1131287952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+200.01 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18075 0 1 0 18927 47 0 0 25 0 11 0 482690050 858787840 25689 4294967295 134512640 134569956 3221224400 3221214772 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25689 13073 16 0 209649 0
vsize: 838660
[startup+210.01 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 19921 47 0 0 25 0 11 0 482690050 858787840 25697 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25697 13073 16 0 209649 0
vsize: 838660
[startup+220.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 20918 48 0 0 25 0 11 0 482690050 858787840 25697 4294967295 134512640 134569956 3221224400 3221214472 1131288436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25697 13073 16 0 209649 0
vsize: 838660
[startup+230.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 21915 48 0 0 25 0 11 0 482690050 858787840 25697 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25697 13073 16 0 209649 0
vsize: 838660
[startup+240.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 22912 48 0 0 25 0 11 0 482690050 858787840 25697 4294967295 134512640 134569956 3221224400 3221214472 1131288055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25697 13073 16 0 209649 0
vsize: 838660
[startup+250.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 23909 48 0 0 25 0 11 0 482690050 858787840 25699 4294967295 134512640 134569956 3221224400 3221214568 1131682598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25699 13073 16 0 209649 0
vsize: 838660
[startup+260.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 24908 48 0 0 25 0 11 0 482690050 858787840 25713 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25713 13073 16 0 209649 0
vsize: 838660
[startup+270.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 25906 49 0 0 25 0 11 0 482690050 858787840 25714 4294967295 134512640 134569956 3221224400 3221214528 1131330823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25714 13073 16 0 209649 0
vsize: 838660
[startup+280.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18076 0 1 0 26903 49 0 0 25 0 11 0 482690050 858787840 25715 4294967295 134512640 134569956 3221224400 3221214472 1131288059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25715 13073 16 0 209649 0
vsize: 838660
[startup+290.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 27898 49 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214568 1131682545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 28896 50 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214472 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 29895 50 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214568 1131683772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 30893 50 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214472 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 31892 50 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214568 1131683963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 32890 50 0 0 25 0 11 0 482690050 858787840 25716 4294967295 134512640 134569956 3221224400 3221214568 1131682555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25716 13073 16 0 209649 0
vsize: 838660
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 33878 51 0 0 25 0 11 0 482690050 858787840 25720 4294967295 134512640 134569956 3221224400 3221214472 1131287870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25720 13073 16 0 209649 0
vsize: 838660
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 34875 51 0 0 25 0 11 0 482690050 858787840 25720 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25720 13073 16 0 209649 0
vsize: 838660
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 35874 51 0 0 25 0 11 0 482690050 858787840 25720 4294967295 134512640 134569956 3221224400 3221214472 1131287890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25720 13073 16 0 209649 0
vsize: 838660
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31665
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 36873 51 0 0 25 0 11 0 482690050 858787840 25720 4294967295 134512640 134569956 3221224400 3221214576 1131639655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25720 13073 16 0 209649 0
vsize: 838660
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.93 3/65 31666
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 37872 51 0 0 25 0 11 0 482690050 858787840 25720 4294967295 134512640 134569956 3221224400 3221214584 1131650548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25720 13073 16 0 209649 0
vsize: 838660
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 38856 62 0 0 25 0 11 0 482690050 858787840 25726 4294967295 134512640 134569956 3221224400 3221214568 1131682671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25726 13073 16 0 209649 0
vsize: 838660
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 39852 62 0 0 25 0 11 0 482690050 858787840 25726 4294967295 134512640 134569956 3221224400 3221214184 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25726 13073 16 0 209649 0
vsize: 838660
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 40849 62 0 0 25 0 11 0 482690050 858787840 25726 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25726 13073 16 0 209649 0
vsize: 838660
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 41847 62 0 0 25 0 11 0 482690050 858787840 25726 4294967295 134512640 134569956 3221224400 3221214680 1131712525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25726 13073 16 0 209649 0
vsize: 838660
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 42845 62 0 0 25 0 11 0 482690050 858787840 25726 4294967295 134512640 134569956 3221224400 3221214568 1131682939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25726 13073 16 0 209649 0
vsize: 838660
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31718
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 43843 62 0 0 25 0 11 0 482690050 858787840 25728 4294967295 134512640 134569956 3221224400 3221214680 1131720457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25728 13073 16 0 209649 0
vsize: 838660
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 44841 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214680 1131720419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 45840 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214576 1131288055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 46838 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131683113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 47838 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214576 1131288055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 48836 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131682945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 49835 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131682555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 50834 62 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214576 1131288251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 51833 63 0 0 24 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 52831 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214576 1131288406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 53830 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 54829 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214656 1131416701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 55826 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131682952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 56825 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 57823 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214576 1131288055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 58822 63 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 59820 64 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214680 1131712525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 60814 64 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214768 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+630.022 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 61810 65 0 0 25 0 11 0 482690050 858787840 25743 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25743 13073 16 0 209649 0
vsize: 838660
[startup+640.022 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 62806 65 0 0 25 0 11 0 482690050 858787840 25744 4294967295 134512640 134569956 3221224400 3221214568 1131683992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25744 13073 16 0 209649 0
vsize: 838660
[startup+650.023 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 63804 65 0 0 25 0 11 0 482690050 858787840 25744 4294967295 134512640 134569956 3221224400 3221214680 1131712431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25744 13073 16 0 209649 0
vsize: 838660
[startup+660.023 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 64801 65 0 0 25 0 11 0 482690050 858787840 25746 4294967295 134512640 134569956 3221224400 3221214576 1131288044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25746 13073 16 0 209649 0
vsize: 838660
[startup+670.023 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 65797 66 0 0 25 0 11 0 482690050 858787840 25760 4294967295 134512640 134569956 3221224400 3221214680 1131720457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25760 13073 16 0 209649 0
vsize: 838660
[startup+680.023 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 66796 66 0 0 25 0 11 0 482690050 858787840 25760 4294967295 134512640 134569956 3221224400 3221214680 1131720412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25760 13073 16 0 209649 0
vsize: 838660
[startup+690.023 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 67794 66 0 0 25 0 11 0 482690050 858787840 25760 4294967295 134512640 134569956 3221224400 3221214568 1131682555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25760 13073 16 0 209649 0
vsize: 838660
[startup+700.024 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 31720
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 68793 66 0 0 25 0 11 0 482690050 858787840 25760 4294967295 134512640 134569956 3221224400 3221214680 1131720419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25760 13073 16 0 209649 0
vsize: 838660
[startup+710.024 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 69791 67 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131288440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+720.024 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 70789 67 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131288251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+730.024 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 71788 67 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131683159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+740.024 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 72787 67 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131287910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+750.025 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 73785 68 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214680 1131720412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+760.025 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 74784 68 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 75782 68 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 76780 68 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131682615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 77779 68 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131288055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 78777 69 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 79776 69 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214680 1131712540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 80775 69 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131682952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 81771 69 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131683992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 82769 69 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 83766 70 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 84764 70 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131287910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 85762 70 0 0 25 0 11 0 482690050 858787840 25762 4294967295 134512640 134569956 3221224400 3221214576 1131287833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25762 13073 16 0 209649 0
vsize: 838660
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 86759 70 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214680 1131720412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 87757 70 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214656 1131416689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 88756 70 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 89754 71 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214680 1131720457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 90752 71 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214680 1131720419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 91750 71 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131287838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 92748 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131288436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 93747 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 94745 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214652 1131476211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 95744 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131288270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 96743 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 97741 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131288251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 98740 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131683774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 99739 72 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 100737 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131287987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 101737 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131684833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 102731 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131682808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 103728 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214568 1131684796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 104725 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131288038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 105722 73 0 0 25 0 11 0 482690050 858787840 25777 4294967295 134512640 134569956 3221224400 3221214576 1131288015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25777 13073 16 0 209649 0
vsize: 838660
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 106719 74 0 0 25 0 11 0 482690050 858787840 25779 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25779 13073 16 0 209649 0
vsize: 838660
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 107717 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214576 1131288044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 108716 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131683204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 109715 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 110713 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214680 1131720412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 111712 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214576 1131287910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 112711 74 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214576 1131288044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 113710 75 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131682942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 114709 75 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214680 1131720419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 115707 75 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 116706 76 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131682555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 117705 76 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131683000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 118704 77 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214568 1131683204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 119702 77 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214680 1131720419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 31722
Raw data (stat): 31655 (java) R 31654 30854 30853 0 -1 0 18077 0 1 0 120703 77 0 0 25 0 11 0 482690050 858787840 25794 4294967295 134512640 134569956 3221224400 3221214680 1131712428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209665 25794 13073 16 0 209649 0
vsize: 838660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 31724
Raw data (stat): 31655 (java) Z 31654 30854 30853 0 -1 1036 18077 11912 1 0 120706 77 2384 32 25 0 1 0 482690050 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): 1220.17
CPU time (s): 1232.01
CPU user time (s): 1230.91
CPU system time (s): 1.10483
CPU usage (%): 100.97
Max. virtual memory (Kb): 839996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####