PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM	4c80436c6cab58e82888f1a9aa37d4f5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	29700
Biggest coefficient in the objective function	197378980184064000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	-3892337408572559116
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	197378980184064000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	-3892337408572559116
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.420935
Number of variables	48602
Total number of constraints	686
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	686
Minimum length of a constraint	30
Maximum length of a constraint	600
Trace number 22933

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        839280 kB
Buffers:         14448 kB
Cached:         157020 kB
SwapCached:        572 kB
Active:          45132 kB
Inactive:       128512 kB
HighTotal:      131008 kB
HighFree:        70140 kB
LowTotal:       903652 kB
LowFree:        769140 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            15960 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:16:59 (client local time) WITH STATUS 143 IN 1268.71 SECONDS
stats: 11007 7 1268.71 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-modszk1.opb
c reading problem 
c [nbvar=48602]
c [nbconstr=686]
c time 730.546
c #vars     48602
c #clauses  1368
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.71 0.90 0.89 2/54 17453
Raw data (stat): 17453 (runsolver) R 17452 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550650048 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.0018 s]
Raw data (loadavg): 0.75 0.91 0.89 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 873 46 0 0 25 0 10 0 550650048 853975040 19194 4294967295 134512640 134569956 3221224400 3221214704 1131198045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 19194 13073 16 0 208474 0
vsize: 833960
[startup+20.0024 s]
Raw data (loadavg): 0.79 0.91 0.89 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 1767 46 0 0 25 0 10 0 550650048 853975040 19686 4294967295 134512640 134569956 3221224400 3221214824 1131219071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 19686 13073 16 0 208474 0
vsize: 833960
[startup+30.0033 s]
Raw data (loadavg): 0.82 0.91 0.89 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 2665 46 0 0 25 0 10 0 550650048 853975040 20116 4294967295 134512640 134569956 3221224400 3221214824 1131218413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20116 13073 16 0 208474 0
vsize: 833960
[startup+40.0044 s]
Raw data (loadavg): 0.85 0.91 0.89 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 3594 46 0 0 25 0 10 0 550650048 853975040 20346 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20346 13073 16 0 208474 0
vsize: 833960
[startup+50.0046 s]
Raw data (loadavg): 0.87 0.92 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 4526 47 0 0 24 0 10 0 550650048 853975040 20467 4294967295 134512640 134569956 3221224400 3221214824 1131217680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20467 13073 16 0 208474 0
vsize: 833960
[startup+60.0058 s]
Raw data (loadavg): 0.89 0.92 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 5459 47 0 0 25 0 10 0 550650048 853975040 20562 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20562 13073 16 0 208474 0
vsize: 833960
[startup+70.0078 s]
Raw data (loadavg): 0.91 0.92 0.90 2/63 17462
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 17984 0 1 0 6400 47 0 0 25 0 10 0 550650048 853975040 20777 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20777 13073 16 0 208474 0
vsize: 833960
[startup+80.0233 s]
Raw data (loadavg): 0.92 0.92 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 7349 47 0 0 25 0 10 0 550650048 853975040 20858 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20858 13073 16 0 208474 0
vsize: 833960
[startup+90.024 s]
Raw data (loadavg): 0.93 0.92 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 8299 47 0 0 25 0 10 0 550650048 853975040 20927 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20927 13073 16 0 208474 0
vsize: 833960
[startup+100.024 s]
Raw data (loadavg): 0.94 0.93 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 9247 47 0 0 25 0 10 0 550650048 853975040 20995 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20995 13073 16 0 208474 0
vsize: 833960
[startup+110.028 s]
Raw data (loadavg): 0.95 0.93 0.90 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 10198 47 0 0 25 0 10 0 550650048 853975040 21055 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21055 13073 16 0 208474 0
vsize: 833960
[startup+120.028 s]
Raw data (loadavg): 1.04 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 11150 47 0 0 25 0 10 0 550650048 853975040 21112 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21112 13073 16 0 208474 0
vsize: 833960
[startup+130.04 s]
Raw data (loadavg): 1.03 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 12099 47 0 0 25 0 10 0 550650048 853975040 21170 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21170 13073 16 0 208474 0
vsize: 833960
[startup+140.04 s]
Raw data (loadavg): 1.03 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 13050 48 0 0 25 0 10 0 550650048 853975040 21221 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21221 13073 16 0 208474 0
vsize: 833960
[startup+150.04 s]
Raw data (loadavg): 1.02 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 14001 48 0 0 25 0 10 0 550650048 853975040 21271 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21271 13073 16 0 208474 0
vsize: 833960
[startup+160.042 s]
Raw data (loadavg): 1.02 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 14949 48 0 0 25 0 10 0 550650048 853975040 21323 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21323 13073 16 0 208474 0
vsize: 833960
[startup+170.042 s]
Raw data (loadavg): 1.02 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 15900 48 0 0 25 0 10 0 550650048 853975040 21368 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21368 13073 16 0 208474 0
vsize: 833960
[startup+180.044 s]
Raw data (loadavg): 1.01 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 16842 48 0 0 25 0 10 0 550650048 853975040 21413 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21413 13073 16 0 208474 0
vsize: 833960
[startup+190.045 s]
Raw data (loadavg): 1.01 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 17771 48 0 0 25 0 10 0 550650048 853975040 21456 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21456 13073 16 0 208474 0
vsize: 833960
[startup+200.045 s]
Raw data (loadavg): 1.01 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 18704 48 0 0 25 0 10 0 550650048 853975040 21754 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21754 13073 16 0 208474 0
vsize: 833960
[startup+210.049 s]
Raw data (loadavg): 1.01 0.95 0.91 2/63 17462
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 17984 0 1 0 19652 48 0 0 25 0 10 0 550650048 853975040 21795 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21795 13073 16 0 208474 0
vsize: 833960
[startup+220.051 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 20596 49 0 0 25 0 10 0 550650048 853975040 21837 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21837 13073 16 0 208474 0
vsize: 833960
[startup+230.056 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 21542 49 0 0 25 0 10 0 550650048 853975040 21876 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21876 13073 16 0 208474 0
vsize: 833960
[startup+240.057 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 22489 49 0 0 25 0 10 0 550650048 853975040 21914 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21914 13073 16 0 208474 0
vsize: 833960
[startup+250.058 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17984 0 1 0 23435 49 0 0 25 0 10 0 550650048 853975040 21951 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21951 13073 16 0 208474 0
vsize: 833960
[startup+260.079 s]
Raw data (loadavg): 1.00 0.96 0.91 3/63 17462
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17993 0 1 0 24351 49 0 0 25 0 10 0 550650048 858701824 23020 4294967295 134512640 134569956 3221224400 3221213388 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209644 23020 13073 16 0 209628 0
vsize: 838576
[startup+270.079 s]
Raw data (loadavg): 1.24 1.01 0.93 3/67 17507
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 25195 50 0 0 25 0 10 0 550650048 857968640 24092 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24092 13073 16 0 209449 0
vsize: 837860
[startup+280.08 s]
Raw data (loadavg): 1.20 1.01 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 26122 51 0 0 25 0 10 0 550650048 857968640 24092 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24092 13073 16 0 209449 0
vsize: 837860
[startup+290.082 s]
Raw data (loadavg): 1.17 1.01 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 27043 51 0 0 25 0 10 0 550650048 857968640 24150 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24150 13073 16 0 209449 0
vsize: 837860
[startup+300.082 s]
Raw data (loadavg): 1.14 1.01 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 27962 52 0 0 25 0 10 0 550650048 857968640 24243 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24243 13073 16 0 209449 0
vsize: 837860
[startup+310.083 s]
Raw data (loadavg): 1.12 1.01 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 28886 52 0 0 25 0 10 0 550650048 857968640 24324 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24324 13073 16 0 209449 0
vsize: 837860
[startup+320.084 s]
Raw data (loadavg): 1.10 1.01 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 29816 53 0 0 25 0 10 0 550650048 857968640 24354 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24354 13073 16 0 209449 0
vsize: 837860
[startup+330.085 s]
Raw data (loadavg): 1.09 1.00 0.93 2/63 17515
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 30740 53 0 0 25 0 10 0 550650048 857968640 24417 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24417 13073 16 0 209449 0
vsize: 837860
[startup+340.086 s]
Raw data (loadavg): 1.07 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 31665 54 0 0 25 0 10 0 550650048 857968640 24460 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24460 13073 16 0 209449 0
vsize: 837860
[startup+350.087 s]
Raw data (loadavg): 1.06 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 17996 0 1 0 32591 54 0 0 25 0 10 0 550650048 857968640 24514 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24514 13073 16 0 209449 0
vsize: 837860
[startup+360.088 s]
Raw data (loadavg): 1.05 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 33518 54 0 0 25 0 10 0 550650048 857968640 24557 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24557 13073 16 0 209449 0
vsize: 837860
[startup+370.088 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 34441 55 0 0 25 0 10 0 550650048 857968640 24598 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24598 13073 16 0 209449 0
vsize: 837860
[startup+380.088 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 35364 56 0 0 24 0 10 0 550650048 857968640 24643 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24643 13073 16 0 209449 0
vsize: 837860
[startup+390.089 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 36292 56 0 0 25 0 10 0 550650048 857968640 24684 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 24684 13073 16 0 209449 0
vsize: 837860
[startup+400.089 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 37214 56 0 0 25 0 10 0 550650048 857968640 24731 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24731 13073 16 0 209449 0
vsize: 837860
[startup+410.089 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 38133 56 0 0 24 0 10 0 550650048 857968640 24774 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24774 13073 16 0 209449 0
vsize: 837860
[startup+420.089 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 39056 57 0 0 25 0 10 0 550650048 857968640 24820 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24820 13073 16 0 209449 0
vsize: 837860
[startup+430.118 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 39979 57 0 0 25 0 10 0 550650048 857968640 24884 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24884 13073 16 0 209449 0
vsize: 837860
[startup+440.121 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 40900 57 0 0 25 0 10 0 550650048 857968640 24932 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24932 13073 16 0 209449 0
vsize: 837860
[startup+450.122 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 41824 57 0 0 25 0 10 0 550650048 857968640 24971 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 24971 13073 16 0 209449 0
vsize: 837860
[startup+460.123 s]
Raw data (loadavg): 1.14 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 42739 57 0 0 25 0 10 0 550650048 857968640 25011 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25011 13073 16 0 209449 0
vsize: 837860
[startup+470.124 s]
Raw data (loadavg): 1.12 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 43655 57 0 0 25 0 10 0 550650048 857968640 25103 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25103 13073 16 0 209449 0
vsize: 837860
[startup+480.124 s]
Raw data (loadavg): 1.10 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 44578 57 0 0 25 0 10 0 550650048 857968640 25143 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25143 13073 16 0 209449 0
vsize: 837860
[startup+490.126 s]
Raw data (loadavg): 1.09 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 45496 57 0 0 25 0 10 0 550650048 857968640 25184 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25184 13073 16 0 209449 0
vsize: 837860
[startup+500.127 s]
Raw data (loadavg): 1.07 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 46414 57 0 0 25 0 10 0 550650048 857968640 25222 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25222 13073 16 0 209449 0
vsize: 837860
[startup+510.127 s]
Raw data (loadavg): 1.06 1.03 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 47338 58 0 0 25 0 10 0 550650048 857968640 25252 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25252 13073 16 0 209449 0
vsize: 837860
[startup+520.128 s]
Raw data (loadavg): 1.05 1.02 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 48246 58 0 0 24 0 10 0 550650048 857968640 25365 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25365 13073 16 0 209449 0
vsize: 837860
[startup+530.138 s]
Raw data (loadavg): 1.04 1.02 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 49154 58 0 0 25 0 10 0 550650048 857968640 25425 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25425 13073 16 0 209449 0
vsize: 837860
[startup+540.142 s]
Raw data (loadavg): 1.04 1.02 0.94 2/63 17517
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 17996 0 1 0 50061 58 0 0 25 0 10 0 550650048 857968640 25540 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25540 13073 16 0 209449 0
vsize: 837860
[startup+550.143 s]
Raw data (loadavg): 1.03 1.02 0.94 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 50975 58 0 0 25 0 10 0 550650048 857968640 25594 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25594 13073 16 0 209449 0
vsize: 837860
[startup+565.917 s]
Raw data (loadavg): 1.18 1.05 0.95 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 52392 59 0 0 25 0 10 0 550650048 857968640 25773 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25773 13073 16 0 209449 0
vsize: 837860
[startup+575.918 s]
Raw data (loadavg): 1.15 1.05 0.95 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 53291 59 0 0 25 0 10 0 550650048 857968640 25916 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 25916 13073 16 0 209449 0
vsize: 837860
[startup+585.919 s]
Raw data (loadavg): 1.13 1.05 0.95 2/63 17517
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 54196 59 0 0 23 0 10 0 550650048 857968640 26035 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 26035 13073 16 0 209449 0
vsize: 837860
[startup+595.919 s]
Raw data (loadavg): 1.11 1.05 0.95 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 55098 59 0 0 25 0 10 0 550650048 857968640 26076 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 26076 13073 16 0 209449 0
vsize: 837860
[startup+608.191 s]
Raw data (loadavg): 1.32 1.09 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 55575 60 0 0 19 0 10 0 550650048 857968640 26137 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 26137 13073 16 0 209449 0
vsize: 837860
[startup+618.191 s]
Raw data (loadavg): 1.27 1.09 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 56466 60 0 0 25 0 10 0 550650048 857968640 26199 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 26199 13073 16 0 209449 0
vsize: 837860
[startup+628.19 s]
Raw data (loadavg): 1.23 1.09 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 57356 61 0 0 25 0 10 0 550650048 857968640 26420 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 26420 13073 16 0 209449 0
vsize: 837860
[startup+638.199 s]
Raw data (loadavg): 1.19 1.08 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 58249 61 0 0 25 0 10 0 550650048 857968640 26660 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209465 26660 13073 16 0 209449 0
vsize: 837860
[startup+648.198 s]
Raw data (loadavg): 1.16 1.08 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 59139 62 0 0 25 0 10 0 550650048 857968640 26950 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 26950 13073 16 0 209449 0
vsize: 837860
[startup+658.199 s]
Raw data (loadavg): 1.14 1.08 0.96 2/63 17519
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 17996 0 1 0 60032 63 0 0 25 0 10 0 550650048 857968640 27162 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27162 13073 16 0 209449 0
vsize: 837860
[startup+668.209 s]
Raw data (loadavg): 1.11 1.07 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 60931 64 0 0 25 0 10 0 550650048 857968640 27229 4294967295 134512640 134569956 3221224400 3221214912 1131363645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27229 13073 16 0 209449 0
vsize: 837860
[startup+678.214 s]
Raw data (loadavg): 1.10 1.07 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 61819 64 0 0 25 0 10 0 550650048 857968640 27290 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27290 13073 16 0 209449 0
vsize: 837860
[startup+688.214 s]
Raw data (loadavg): 1.08 1.07 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 62710 65 0 0 25 0 10 0 550650048 857968640 27418 4294967295 134512640 134569956 3221224400 3221214280 1131304386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27418 13073 16 0 209449 0
vsize: 837860
[startup+698.214 s]
Raw data (loadavg): 1.07 1.07 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 63602 65 0 0 25 0 10 0 550650048 857968640 27509 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27509 13073 16 0 209449 0
vsize: 837860
[startup+708.236 s]
Raw data (loadavg): 1.06 1.06 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 64490 65 0 0 24 0 10 0 550650048 857968640 27637 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27637 13073 16 0 209449 0
vsize: 837860
[startup+718.236 s]
Raw data (loadavg): 1.05 1.06 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 65383 66 0 0 25 0 10 0 550650048 857968640 27963 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 27963 13073 16 0 209449 0
vsize: 837860
[startup+728.237 s]
Raw data (loadavg): 1.04 1.06 0.96 2/63 17519
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 17996 0 1 0 66282 66 0 0 25 0 10 0 550650048 857968640 28193 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209465 28193 13073 16 0 209449 0
vsize: 837860
[startup+738.24 s]
Raw data (loadavg): 1.11 1.07 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18024 0 1 0 67178 67 0 0 25 0 11 0 550650048 858497024 28341 4294967295 134512640 134569956 3221224400 3221214784 1131399573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209594 28341 13073 16 0 209578 0
vsize: 838376
[startup+748.239 s]
Raw data (loadavg): 1.16 1.09 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18071 0 1 0 68066 67 0 0 25 0 11 0 550650048 861138944 29126 4294967295 134512640 134569956 3221224400 3221214628 1130863339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210239 29126 13073 16 0 210223 0
vsize: 840956
[startup+758.24 s]
Raw data (loadavg): 1.14 1.08 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18071 0 1 0 69048 67 0 0 25 0 11 0 550650048 860098560 28844 4294967295 134512640 134569956 3221224400 3221214804 1131475628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 28844 13073 16 0 209969 0
vsize: 839940
[startup+768.239 s]
Raw data (loadavg): 1.12 1.08 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 70045 68 0 0 25 0 11 0 550650048 860098560 28845 4294967295 134512640 134569956 3221224400 3221214672 1131410544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 28845 13073 16 0 209969 0
vsize: 839940
[startup+778.239 s]
Raw data (loadavg): 1.10 1.08 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 71035 68 0 0 25 0 11 0 550650048 860098560 28859 4294967295 134512640 134569956 3221224400 3221214804 1131475929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 28859 13073 16 0 209969 0
vsize: 839940
[startup+788.239 s]
Raw data (loadavg): 1.08 1.07 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 72020 68 0 0 25 0 11 0 550650048 860098560 28931 4294967295 134512640 134569956 3221224400 3221214768 1131649152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 28931 13073 16 0 209969 0
vsize: 839940
[startup+798.239 s]
Raw data (loadavg): 1.07 1.07 0.97 3/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 73019 68 0 0 25 0 11 0 550650048 860745728 29102 4294967295 134512640 134569956 3221224400 3221214768 1131649168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210143 29102 13073 16 0 210127 0
vsize: 840572
[startup+808.239 s]
Raw data (loadavg): 1.06 1.07 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 74011 68 0 0 25 0 11 0 550650048 860098560 29012 4294967295 134512640 134569956 3221224400 3221214796 1131475628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 29012 13073 16 0 209969 0
vsize: 839940
[startup+818.239 s]
Raw data (loadavg): 1.05 1.06 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 75003 68 0 0 25 0 11 0 550650048 860098560 29012 4294967295 134512640 134569956 3221224400 3221214760 1131649171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29012 13073 16 0 209969 0
vsize: 839940
[startup+828.238 s]
Raw data (loadavg): 1.04 1.06 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 76003 68 0 0 25 0 11 0 550650048 860098560 29012 4294967295 134512640 134569956 3221224400 3221214760 1131649171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29012 13073 16 0 209969 0
vsize: 839940
[startup+838.238 s]
Raw data (loadavg): 1.03 1.06 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 76995 68 0 0 25 0 11 0 550650048 860098560 29027 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29027 13073 16 0 209969 0
vsize: 839940
[startup+848.238 s]
Raw data (loadavg): 1.03 1.06 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 77995 68 0 0 25 0 11 0 550650048 860098560 29027 4294967295 134512640 134569956 3221224400 3221214760 1131649160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29027 13073 16 0 209969 0
vsize: 839940
[startup+858.238 s]
Raw data (loadavg): 1.02 1.05 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 78988 68 0 0 25 0 11 0 550650048 860098560 29059 4294967295 134512640 134569956 3221224400 3221214760 1131649160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29059 13073 16 0 209969 0
vsize: 839940
[startup+868.237 s]
Raw data (loadavg): 1.02 1.05 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 79979 68 0 0 25 0 11 0 550650048 860098560 29771 4294967295 134512640 134569956 3221224400 3221214800 1131451665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29771 13073 16 0 209969 0
vsize: 839940
[startup+878.237 s]
Raw data (loadavg): 1.02 1.05 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 80976 68 0 0 25 0 11 0 550650048 860098560 29771 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29771 13073 16 0 209969 0
vsize: 839940
[startup+888.237 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18072 0 1 0 81970 68 0 0 25 0 11 0 550650048 860098560 29771 4294967295 134512640 134569956 3221224400 3221214760 1131649317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29771 13073 16 0 209969 0
vsize: 839940
[startup+898.236 s]
Raw data (loadavg): 1.01 1.05 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 82966 68 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+908.237 s]
Raw data (loadavg): 1.01 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 83965 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+918.238 s]
Raw data (loadavg): 1.01 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 84962 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+928.237 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 85958 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+938.246 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) S 17452 22612 22611 0 -1 0 18073 0 1 0 86957 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+948.246 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 87955 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214740 1131640307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+958.247 s]
Raw data (loadavg): 1.00 1.04 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 88947 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+968.246 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 89941 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+978.264 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 90939 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+988.273 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 91931 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214560 1131570968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+998.274 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 92926 69 0 0 25 0 11 0 550650048 860098560 29772 4294967295 134512640 134569956 3221224400 3221214760 1131649152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29772 13073 16 0 209969 0
vsize: 839940
[startup+1008.27 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 93917 70 0 0 25 0 11 0 550650048 860098560 29773 4294967295 134512640 134569956 3221224400 3221214760 1131649317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 29773 13073 16 0 209969 0
vsize: 839940
[startup+1018.27 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 94912 70 0 0 25 0 11 0 550650048 860098560 29773 4294967295 134512640 134569956 3221224400 3221214840 1131446328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29773 13073 16 0 209969 0
vsize: 839940
[startup+1028.27 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 95907 70 0 0 25 0 11 0 550650048 860098560 29774 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29774 13073 16 0 209969 0
vsize: 839940
[startup+1038.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 96902 70 0 0 25 0 11 0 550650048 860098560 29774 4294967295 134512640 134569956 3221224400 3221214760 1131649164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29774 13073 16 0 209969 0
vsize: 839940
[startup+1048.27 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 97897 70 0 0 25 0 11 0 550650048 860098560 29774 4294967295 134512640 134569956 3221224400 3221214760 1131649320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29774 13073 16 0 209969 0
vsize: 839940
[startup+1058.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 98897 70 0 0 25 0 11 0 550650048 860098560 29774 4294967295 134512640 134569956 3221224400 3221214760 1131649305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 29774 13073 16 0 209969 0
vsize: 839940
[startup+1068.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 99891 70 0 0 25 0 11 0 550650048 860098560 29774 4294967295 134512640 134569956 3221224400 3221214744 1131475641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29774 13073 16 0 209969 0
vsize: 839940
[startup+1078.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 100886 70 0 0 25 0 11 0 550650048 860098560 29775 4294967295 134512640 134569956 3221224400 3221214760 1131649305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29775 13073 16 0 209969 0
vsize: 839940
[startup+1088.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 101880 70 0 0 25 0 11 0 550650048 860098560 29775 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29775 13073 16 0 209969 0
vsize: 839940
[startup+1098.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 102880 70 0 0 25 0 11 0 550650048 860098560 29775 4294967295 134512640 134569956 3221224400 3221214760 1131649160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29775 13073 16 0 209969 0
vsize: 839940
[startup+1108.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 103874 70 0 0 25 0 11 0 550650048 860098560 29804 4294967295 134512640 134569956 3221224400 3221214760 1131649299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29804 13073 16 0 209969 0
vsize: 839940
[startup+1118.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 104868 70 0 0 25 0 11 0 550650048 860098560 29849 4294967295 134512640 134569956 3221224400 3221214760 1131649320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29849 13073 16 0 209969 0
vsize: 839940
[startup+1128.28 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 105863 70 0 0 25 0 11 0 550650048 860098560 29890 4294967295 134512640 134569956 3221224400 3221214784 1131398887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29890 13073 16 0 209969 0
vsize: 839940
[startup+1138.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 106858 70 0 0 25 0 11 0 550650048 860098560 29912 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29912 13073 16 0 209969 0
vsize: 839940
[startup+1148.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 107852 70 0 0 25 0 11 0 550650048 860098560 29939 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29939 13073 16 0 209969 0
vsize: 839940
[startup+1158.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 108852 70 0 0 25 0 11 0 550650048 860098560 29939 4294967295 134512640 134569956 3221224400 3221214800 1131451665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29939 13073 16 0 209969 0
vsize: 839940
[startup+1168.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 109846 70 0 0 25 0 11 0 550650048 860098560 29965 4294967295 134512640 134569956 3221224400 3221214760 1131649164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 29965 13073 16 0 209969 0
vsize: 839940
[startup+1178.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 110841 70 0 0 25 0 11 0 550650048 860098560 30000 4294967295 134512640 134569956 3221224400 3221214800 1131450661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 30000 13073 16 0 209969 0
vsize: 839940
[startup+1188.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 111836 70 0 0 25 0 11 0 550650048 860098560 30028 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30028 13073 16 0 209969 0
vsize: 839940
[startup+1198.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 112831 70 0 0 25 0 11 0 550650048 860098560 30047 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30047 13073 16 0 209969 0
vsize: 839940
[startup+1208.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 113827 70 0 0 25 0 11 0 550650048 860098560 30062 4294967295 134512640 134569956 3221224400 3221214760 1131649178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30062 13073 16 0 209969 0
vsize: 839940
[startup+1218.28 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 114822 71 0 0 25 0 11 0 550650048 860098560 30067 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30067 13073 16 0 209969 0
vsize: 839940
[startup+1228.29 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 115818 71 0 0 25 0 11 0 550650048 860098560 30078 4294967295 134512640 134569956 3221224400 3221214664 1131489472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30078 13073 16 0 209969 0
vsize: 839940
[startup+1238.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 116817 71 0 0 25 0 11 0 550650048 860098560 30078 4294967295 134512640 134569956 3221224400 3221214760 1131649164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209985 30078 13073 16 0 209969 0
vsize: 839940
[startup+1248.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 117812 71 0 0 25 0 11 0 550650048 860098560 30099 4294967295 134512640 134569956 3221224400 3221214656 1131284044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30099 13073 16 0 209969 0
vsize: 839940
[startup+1258.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 118807 71 0 0 25 0 11 0 550650048 860098560 30122 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30122 13073 16 0 209969 0
vsize: 839940
[startup+1268.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 119802 71 0 0 25 0 11 0 550650048 860098560 30144 4294967295 134512640 134569956 3221224400 3221214760 1131649168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30144 13073 16 0 209969 0
vsize: 839940
[startup+1278.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 17520
Raw data (stat): 17453 (java) R 17452 22612 22611 0 -1 0 18073 0 1 0 120802 71 0 0 25 0 11 0 550650048 860098560 30144 4294967295 134512640 134569956 3221224400 3221214760 1131649173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209985 30144 13073 16 0 209969 0
vsize: 839940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1278.43 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 17522
Raw data (stat): 17453 (java) Z 17452 22612 22611 0 -1 1036 18073 10262 1 0 120805 71 5952 40 25 0 1 0 550650048 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): 1278.43
CPU time (s): 1268.71
CPU user time (s): 1267.58
CPU system time (s): 1.12483
CPU usage (%): 99.2393
Max. virtual memory (Kb): 840956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####