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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
MD5SUM	4a697c297ecbc7d83b192d907b1ba64c
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	5999
Biggest coefficient in the objective function	252287385600
Number of bits for the biggest coefficient in the objective function	38
Sum of the numbers in the objective function	4556926949351
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	252287385600
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	4556926949351
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.150976
Number of variables	16645
Total number of constraints	1029
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	1029
Minimum length of a constraint	7
Maximum length of a constraint	333
Trace number 16035

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        719508 kB
Buffers:         29228 kB
Cached:         255192 kB
SwapCached:         24 kB
Active:          33428 kB
Inactive:       253636 kB
HighTotal:      131008 kB
HighFree:        11984 kB
LowTotal:       903652 kB
LowFree:        707524 kB
SwapTotal:     2097892 kB
SwapFree:      2097660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            22496 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:30:06 (client local time) WITH STATUS 143 IN 1247.79 SECONDS
stats: 16350 7 1247.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-seba.opb
c reading problem 
c [nbvar=16645]
c [nbconstr=1029]
c time 88.554
c #vars     16645
c #clauses  1485
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.85 0.95 0.94 2/54 27688
Raw data (stat): 27688 (runsolver) R 27687 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542803830 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.87 0.95 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17978 0 1 0 895 35 0 0 25 0 10 0 542803830 853405696 19201 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208351 19201 13073 16 0 208335 0
vsize: 833404
[startup+20.0091 s]
Raw data (loadavg): 0.89 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) S 27687 26298 26297 0 -1 0 17981 0 1 0 1717 35 0 0 25 0 10 0 542803830 857829376 21244 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209431 21244 13073 16 0 209415 0
vsize: 837724
[startup+30.0094 s]
Raw data (loadavg): 0.91 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) S 27687 26298 26297 0 -1 0 17981 0 1 0 2557 36 0 0 25 0 10 0 542803830 856616960 21754 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 21754 13073 16 0 209119 0
vsize: 836540
[startup+40.0091 s]
Raw data (loadavg): 0.92 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17981 0 1 0 3413 37 0 0 18 0 10 0 542803830 856616960 22384 4294967295 134512640 134569956 3221224400 3221214208 1076874544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 22384 13073 16 0 209119 0
vsize: 836540
[startup+50.0118 s]
Raw data (loadavg): 0.93 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17982 0 1 0 4265 37 0 0 17 0 10 0 542803830 856616960 22942 4294967295 134512640 134569956 3221224400 3221213904 1131237329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 22942 13073 16 0 209119 0
vsize: 836540
[startup+60.0117 s]
Raw data (loadavg): 0.94 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17982 0 1 0 5121 38 0 0 16 0 10 0 542803830 856616960 23435 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 23435 13073 16 0 209119 0
vsize: 836540
[startup+70.0123 s]
Raw data (loadavg): 0.95 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17982 0 1 0 5986 39 0 0 19 0 10 0 542803830 856616960 23826 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 23826 13073 16 0 209119 0
vsize: 836540
[startup+80.0137 s]
Raw data (loadavg): 0.96 0.96 0.94 2/63 27697
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 17982 0 1 0 6847 39 0 0 19 0 10 0 542803830 856616960 24098 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209135 24098 13073 16 0 209119 0
vsize: 836540
[startup+90.0147 s]
Raw data (loadavg): 0.96 0.96 0.94 3/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18011 0 1 0 7688 40 0 0 21 0 11 0 542803830 857403392 24641 4294967295 134512640 134569956 3221224400 3221214784 1131265411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209327 24641 13073 16 0 209311 0
vsize: 837308
[startup+100.014 s]
Raw data (loadavg): 0.97 0.96 0.94 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18011 0 1 0 8586 40 0 0 19 0 11 0 542803830 857145344 24772 4294967295 134512640 134569956 3221224400 3221214688 1131265589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209264 24772 13073 16 0 209248 0
vsize: 837056
[startup+110.016 s]
Raw data (loadavg): 1.13 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18050 0 1 0 9428 40 0 0 25 0 11 0 542803830 862388224 26066 4294967295 134512640 134569956 3221224400 3221214784 1131347496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 26066 13073 16 0 210528 0
vsize: 842176
[startup+120.017 s]
Raw data (loadavg): 1.11 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 10313 41 0 0 25 0 11 0 542803830 862388224 26331 4294967295 134512640 134569956 3221224400 3221214688 1131266189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 26331 13073 16 0 210528 0
vsize: 842176
[startup+130.017 s]
Raw data (loadavg): 1.10 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 11247 41 0 0 25 0 11 0 542803830 862388224 26766 4294967295 134512640 134569956 3221224400 3221214784 1131345537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 26766 13073 16 0 210528 0
vsize: 842176
[startup+140.017 s]
Raw data (loadavg): 1.08 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 12200 42 0 0 25 0 11 0 542803830 862388224 26795 4294967295 134512640 134569956 3221224400 3221214592 1131560206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 26795 13073 16 0 210528 0
vsize: 842176
[startup+150.017 s]
Raw data (loadavg): 1.07 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 13167 42 0 0 25 0 11 0 542803830 862388224 26998 4294967295 134512640 134569956 3221224400 3221214592 1131465008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 26998 13073 16 0 210528 0
vsize: 842176
[startup+160.017 s]
Raw data (loadavg): 1.06 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 14151 42 0 0 25 0 11 0 542803830 862388224 27009 4294967295 134512640 134569956 3221224400 3221214588 1131319773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27009 13073 16 0 210528 0
vsize: 842176
[startup+170.017 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18051 0 1 0 15136 42 0 0 25 0 11 0 542803830 862388224 27024 4294967295 134512640 134569956 3221224400 3221214640 1131272707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27024 13073 16 0 210528 0
vsize: 842176
[startup+180.018 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 16119 43 0 0 25 0 11 0 542803830 862388224 27119 4294967295 134512640 134569956 3221224400 3221214592 1131560206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27119 13073 16 0 210528 0
vsize: 842176
[startup+190.018 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 17108 43 0 0 25 0 11 0 542803830 862388224 27202 4294967295 134512640 134569956 3221224400 3221214592 1131560221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27202 13073 16 0 210528 0
vsize: 842176
[startup+200.018 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 18103 44 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+210.017 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 19100 44 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+220.018 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 20097 45 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214600 1131317822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+230.018 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 21094 45 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214688 1131635200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+240.017 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 22092 45 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214496 1131272791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+250.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 23088 45 0 0 25 0 11 0 542803830 862388224 27205 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27205 13073 16 0 210528 0
vsize: 842176
[startup+260.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 24085 46 0 0 25 0 11 0 542803830 862388224 27207 4294967295 134512640 134569956 3221224400 3221214592 1131560294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27207 13073 16 0 210528 0
vsize: 842176
[startup+270.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 25082 46 0 0 25 0 11 0 542803830 862388224 27207 4294967295 134512640 134569956 3221224400 3221214784 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27207 13073 16 0 210528 0
vsize: 842176
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 26062 47 0 0 25 0 11 0 542803830 862388224 27207 4294967295 134512640 134569956 3221224400 3221214784 1131345311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27207 13073 16 0 210528 0
vsize: 842176
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 27027 47 0 0 25 0 11 0 542803830 862388224 27207 4294967295 134512640 134569956 3221224400 3221214932 1130885179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27207 13073 16 0 210528 0
vsize: 842176
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 27992 47 0 0 25 0 11 0 542803830 862388224 27222 4294967295 134512640 134569956 3221224400 3221214688 1131265573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27222 13073 16 0 210528 0
vsize: 842176
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 28957 48 0 0 25 0 11 0 542803830 862388224 27379 4294967295 134512640 134569956 3221224400 3221214688 1131264905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27379 13073 16 0 210528 0
vsize: 842176
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 29923 48 0 0 24 0 11 0 542803830 862388224 27432 4294967295 134512640 134569956 3221224400 3221214816 1131581904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27432 13073 16 0 210528 0
vsize: 842176
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 30877 48 0 0 24 0 11 0 542803830 862388224 27475 4294967295 134512640 134569956 3221224400 3221214688 1131264873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27475 13073 16 0 210528 0
vsize: 842176
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 31853 48 0 0 25 0 11 0 542803830 862388224 27628 4294967295 134512640 134569956 3221224400 3221214688 1131621536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27628 13073 16 0 210528 0
vsize: 842176
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 32831 49 0 0 25 0 11 0 542803830 862388224 27655 4294967295 134512640 134569956 3221224400 3221214592 1131560210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27655 13073 16 0 210528 0
vsize: 842176
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 33816 49 0 0 25 0 11 0 542803830 862388224 27682 4294967295 134512640 134569956 3221224400 3221214688 1131621660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27682 13073 16 0 210528 0
vsize: 842176
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 34806 49 0 0 25 0 11 0 542803830 862388224 27821 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27821 13073 16 0 210528 0
vsize: 842176
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 35803 49 0 0 25 0 11 0 542803830 862388224 27842 4294967295 134512640 134569956 3221224400 3221214648 1131631588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27842 13073 16 0 210528 0
vsize: 842176
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 36800 50 0 0 25 0 11 0 542803830 862388224 27851 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27851 13073 16 0 210528 0
vsize: 842176
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) S 27687 26298 26297 0 -1 0 18052 0 1 0 37792 50 0 0 25 0 11 0 542803830 862388224 27853 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27853 13073 16 0 210528 0
vsize: 842176
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 38771 50 0 0 25 0 11 0 542803830 862388224 27856 4294967295 134512640 134569956 3221224400 3221214688 1131265295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27856 13073 16 0 210528 0
vsize: 842176
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 39747 51 0 0 25 0 11 0 542803830 862388224 27856 4294967295 134512640 134569956 3221224400 3221214688 1131265396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27856 13073 16 0 210528 0
vsize: 842176
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 40724 51 0 0 25 0 11 0 542803830 862388224 27901 4294967295 134512640 134569956 3221224400 3221214688 1131264873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27901 13073 16 0 210528 0
vsize: 842176
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 41699 51 0 0 25 0 11 0 542803830 862388224 27935 4294967295 134512640 134569956 3221224400 3221214688 1131264880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27935 13073 16 0 210528 0
vsize: 842176
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 42670 51 0 0 25 0 11 0 542803830 862388224 27975 4294967295 134512640 134569956 3221224400 3221214688 1131264865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 27975 13073 16 0 210528 0
vsize: 842176
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 43640 52 0 0 25 0 11 0 542803830 862388224 28077 4294967295 134512640 134569956 3221224400 3221214664 1131413317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28077 13073 16 0 210528 0
vsize: 842176
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 44608 52 0 0 25 0 11 0 542803830 862388224 28109 4294967295 134512640 134569956 3221224400 3221214680 1131265411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28109 13073 16 0 210528 0
vsize: 842176
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 45577 52 0 0 25 0 11 0 542803830 862388224 28301 4294967295 134512640 134569956 3221224400 3221214784 1131347492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28301 13073 16 0 210528 0
vsize: 842176
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 46543 52 0 0 25 0 11 0 542803830 862388224 28368 4294967295 134512640 134569956 3221224400 3221214688 1131265411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28368 13073 16 0 210528 0
vsize: 842176
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 47491 53 0 0 25 0 11 0 542803830 862388224 28437 4294967295 134512640 134569956 3221224400 3221214688 1131265419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28437 13073 16 0 210528 0
vsize: 842176
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 48431 53 0 0 24 0 11 0 542803830 862388224 28487 4294967295 134512640 134569956 3221224400 3221214784 1131346666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28487 13073 16 0 210528 0
vsize: 842176
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 49380 53 0 0 25 0 11 0 542803830 862388224 28600 4294967295 134512640 134569956 3221224400 3221214784 1131345537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28600 13073 16 0 210528 0
vsize: 842176
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 50342 53 0 0 25 0 11 0 542803830 862388224 28830 4294967295 134512640 134569956 3221224400 3221214784 1131345482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28830 13073 16 0 210528 0
vsize: 842176
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 51316 53 0 0 25 0 11 0 542803830 862388224 28918 4294967295 134512640 134569956 3221224400 3221214728 1131466786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28918 13073 16 0 210528 0
vsize: 842176
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 52290 54 0 0 25 0 11 0 542803830 862388224 28946 4294967295 134512640 134569956 3221224400 3221214784 1131345455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28946 13073 16 0 210528 0
vsize: 842176
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 53261 54 0 0 25 0 11 0 542803830 862388224 28978 4294967295 134512640 134569956 3221224400 3221214664 1131411489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 28978 13073 16 0 210528 0
vsize: 842176
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 54231 54 0 0 25 0 11 0 542803830 862388224 29034 4294967295 134512640 134569956 3221224400 3221214784 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29034 13073 16 0 210528 0
vsize: 842176
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 55192 55 0 0 25 0 11 0 542803830 862388224 29132 4294967295 134512640 134569956 3221224400 3221214688 1131264905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29132 13073 16 0 210528 0
vsize: 842176
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 56157 55 0 0 25 0 11 0 542803830 862388224 29166 4294967295 134512640 134569956 3221224400 3221214784 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29166 13073 16 0 210528 0
vsize: 842176
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 57120 55 0 0 25 0 11 0 542803830 862388224 29273 4294967295 134512640 134569956 3221224400 3221214344 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29273 13073 16 0 210528 0
vsize: 842176
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 58072 55 0 0 25 0 11 0 542803830 862388224 29302 4294967295 134512640 134569956 3221224400 3221214688 1131265672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29302 13073 16 0 210528 0
vsize: 842176
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 59026 56 0 0 25 0 11 0 542803830 862388224 29395 4294967295 134512640 134569956 3221224400 3221214400 1131461266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29395 13073 16 0 210528 0
vsize: 842176
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 59972 56 0 0 25 0 11 0 542803830 862388224 29746 4294967295 134512640 134569956 3221224400 3221214784 1131345560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29746 13073 16 0 210528 0
vsize: 842176
[startup+640.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 60939 56 0 0 25 0 11 0 542803830 862388224 29854 4294967295 134512640 134569956 3221224400 3221214688 1131265408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29854 13073 16 0 210528 0
vsize: 842176
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 61904 57 0 0 25 0 11 0 542803830 862388224 29906 4294967295 134512640 134569956 3221224400 3221214688 1131265885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 29906 13073 16 0 210528 0
vsize: 842176
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 62872 57 0 0 25 0 11 0 542803830 862388224 30024 4294967295 134512640 134569956 3221224400 3221214784 1131347393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30024 13073 16 0 210528 0
vsize: 842176
[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 63842 57 0 0 25 0 11 0 542803830 862388224 30056 4294967295 134512640 134569956 3221224400 3221214688 1131265362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30056 13073 16 0 210528 0
vsize: 842176
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 64811 57 0 0 25 0 11 0 542803830 862388224 30104 4294967295 134512640 134569956 3221224400 3221214784 1131346704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30104 13073 16 0 210528 0
vsize: 842176
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 65779 57 0 0 25 0 11 0 542803830 862388224 30178 4294967295 134512640 134569956 3221224400 3221214784 1131349430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30178 13073 16 0 210528 0
vsize: 842176
[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 66748 58 0 0 25 0 11 0 542803830 862388224 30216 4294967295 134512640 134569956 3221224400 3221214688 1131265573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30216 13073 16 0 210528 0
vsize: 842176
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 67698 58 0 0 25 0 11 0 542803830 862388224 30248 4294967295 134512640 134569956 3221224400 3221214688 1131265103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30248 13073 16 0 210528 0
vsize: 842176
[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 68627 58 0 0 25 0 11 0 542803830 862388224 30325 4294967295 134512640 134569956 3221224400 3221214600 1131317712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30325 13073 16 0 210528 0
vsize: 842176
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 69577 59 0 0 25 0 11 0 542803830 862388224 30351 4294967295 134512640 134569956 3221224400 3221214592 1131560294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30351 13073 16 0 210528 0
vsize: 842176
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 70524 59 0 0 25 0 11 0 542803830 862388224 30520 4294967295 134512640 134569956 3221224400 3221214592 1131561179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30520 13073 16 0 210528 0
vsize: 842176
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 71492 60 0 0 25 0 11 0 542803830 862388224 30540 4294967295 134512640 134569956 3221224400 3221214592 1131561300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30540 13073 16 0 210528 0
vsize: 842176
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 72455 60 0 0 25 0 11 0 542803830 862388224 30946 4294967295 134512640 134569956 3221224400 3221214688 1131635311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 30946 13073 16 0 210528 0
vsize: 842176
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 73439 60 0 0 25 0 11 0 542803830 862388224 31040 4294967295 134512640 134569956 3221224400 3221214496 1131272707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31040 13073 16 0 210528 0
vsize: 842176
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 74437 61 0 0 25 0 11 0 542803830 862388224 31043 4294967295 134512640 134569956 3221224400 3221214496 1131272697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31043 13073 16 0 210528 0
vsize: 842176
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 75434 61 0 0 25 0 11 0 542803830 862388224 31043 4294967295 134512640 134569956 3221224400 3221214496 1131273002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31043 13073 16 0 210528 0
vsize: 842176
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 76431 61 0 0 25 0 11 0 542803830 862388224 31043 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31043 13073 16 0 210528 0
vsize: 842176
[startup+810.057 s]
Raw data (loadavg): 1.08 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 77429 61 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214688 1131621536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+820.058 s]
Raw data (loadavg): 1.07 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 78426 62 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214496 1131272707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+830.059 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 79423 62 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214496 1131272756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+840.059 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 80420 62 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214496 1131272849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+850.059 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 81418 63 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214592 1131560199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+860.061 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 82414 63 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+870.062 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 83411 64 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214688 1131635311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+880.064 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 84409 64 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214784 1131345537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+890.064 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 85387 64 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214832 1131403648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+900.064 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 86344 65 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214688 1131264877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+910.176 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 87312 66 0 0 25 0 11 0 542803830 862388224 31044 4294967295 134512640 134569956 3221224400 3221214784 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31044 13073 16 0 210528 0
vsize: 842176
[startup+920.182 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 88262 66 0 0 25 0 11 0 542803830 862388224 31124 4294967295 134512640 134569956 3221224400 3221214688 1131265126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31124 13073 16 0 210528 0
vsize: 842176
[startup+930.182 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 89227 66 0 0 25 0 11 0 542803830 862388224 31250 4294967295 134512640 134569956 3221224400 3221214688 1131265411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31250 13073 16 0 210528 0
vsize: 842176
[startup+940.182 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 90198 67 0 0 25 0 11 0 542803830 862388224 31267 4294967295 134512640 134569956 3221224400 3221214688 1131266189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31267 13073 16 0 210528 0
vsize: 842176
[startup+950.182 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 91157 67 0 0 25 0 11 0 542803830 862388224 31320 4294967295 134512640 134569956 3221224400 3221214652 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31320 13073 16 0 210528 0
vsize: 842176
[startup+960.183 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 92119 67 0 0 25 0 11 0 542803830 862388224 31373 4294967295 134512640 134569956 3221224400 3221214688 1131635210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31373 13073 16 0 210528 0
vsize: 842176
[startup+970.193 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 93085 67 0 0 24 0 11 0 542803830 862388224 31379 4294967295 134512640 134569956 3221224400 3221214496 1131272707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31379 13073 16 0 210528 0
vsize: 842176
[startup+980.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 94057 68 0 0 25 0 11 0 542803830 862388224 31420 4294967295 134512640 134569956 3221224400 3221214592 1131560332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31420 13073 16 0 210528 0
vsize: 842176
[startup+990.199 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 95028 68 0 0 25 0 11 0 542803830 862388224 31552 4294967295 134512640 134569956 3221224400 3221214496 1131274216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31552 13073 16 0 210528 0
vsize: 842176
[startup+1000.2 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 96025 69 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214496 1131274429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 97024 69 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214496 1131272808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 98022 69 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214600 1131317776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 99013 70 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214688 1131621667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 100002 70 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214496 1131273030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 100991 70 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214688 1131621579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 101980 71 0 0 25 0 11 0 542803830 862388224 31562 4294967295 134512640 134569956 3221224400 3221214496 1131273058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31562 13073 16 0 210528 0
vsize: 842176
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 102976 71 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214688 1131621591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 103974 71 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 104972 71 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214688 1131635196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 105939 71 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214784 1131345566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 106903 72 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214784 1131346576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1120.21 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 107857 72 0 0 25 0 11 0 542803830 862388224 31663 4294967295 134512640 134569956 3221224400 3221214496 1131273084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31663 13073 16 0 210528 0
vsize: 842176
[startup+1130.21 s]
Raw data (loadavg): 1.14 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 108835 72 0 0 25 0 11 0 542803830 862388224 31783 4294967295 134512640 134569956 3221224400 3221214592 1131561115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31783 13073 16 0 210528 0
vsize: 842176
[startup+1140.21 s]
Raw data (loadavg): 1.12 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 109812 72 0 0 25 0 11 0 542803830 862388224 31788 4294967295 134512640 134569956 3221224400 3221214496 1131272849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31788 13073 16 0 210528 0
vsize: 842176
[startup+1150.21 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 110799 72 0 0 25 0 11 0 542803830 862388224 31792 4294967295 134512640 134569956 3221224400 3221214496 1131272707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31792 13073 16 0 210528 0
vsize: 842176
[startup+1160.21 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 111777 72 0 0 25 0 11 0 542803830 862388224 31820 4294967295 134512640 134569956 3221224400 3221214688 1131621548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31820 13073 16 0 210528 0
vsize: 842176
[startup+1170.21 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 112759 72 0 0 25 0 11 0 542803830 862388224 31957 4294967295 134512640 134569956 3221224400 3221214496 1131272849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31957 13073 16 0 210528 0
vsize: 842176
[startup+1180.21 s]
Raw data (loadavg): 1.14 1.04 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 113758 72 0 0 25 0 11 0 542803830 862388224 31957 4294967295 134512640 134569956 3221224400 3221214592 1131559998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210544 31957 13073 16 0 210528 0
vsize: 842176
[startup+1190.21 s]
Raw data (loadavg): 1.12 1.04 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 114746 72 0 0 24 0 11 0 542803830 862388224 31957 4294967295 134512640 134569956 3221224400 3221214728 1131233467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31957 13073 16 0 210528 0
vsize: 842176
[startup+1200.21 s]
Raw data (loadavg): 1.10 1.04 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 115716 72 0 0 25 0 11 0 542803830 862388224 31958 4294967295 134512640 134569956 3221224400 3221214688 1131265204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31958 13073 16 0 210528 0
vsize: 842176
[startup+1210.21 s]
Raw data (loadavg): 1.08 1.04 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 116681 72 0 0 25 0 11 0 542803830 862388224 31958 4294967295 134512640 134569956 3221224400 3221214688 1131265411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31958 13073 16 0 210528 0
vsize: 842176
[startup+1220.21 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 117649 72 0 0 24 0 11 0 542803830 862388224 31986 4294967295 134512640 134569956 3221224400 3221214784 1131345482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31986 13073 16 0 210528 0
vsize: 842176
[startup+1230.21 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 118615 72 0 0 25 0 11 0 542803830 862388224 31999 4294967295 134512640 134569956 3221224400 3221214784 1131345482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 31999 13073 16 0 210528 0
vsize: 842176
[startup+1240.21 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 119586 73 0 0 25 0 11 0 542803830 862388224 32023 4294967295 134512640 134569956 3221224400 3221214688 1131264905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 32023 13073 16 0 210528 0
vsize: 842176
[startup+1250.21 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 27698
Raw data (stat): 27688 (java) R 27687 26298 26297 0 -1 0 18052 0 1 0 120552 73 0 0 25 0 11 0 542803830 862388224 32069 4294967295 134512640 134569956 3221224400 3221214784 1131346522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210544 32069 13073 16 0 210528 0
vsize: 842176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.29 s]
Raw data (loadavg): 1.04 1.03 0.97 1/54 27700
Raw data (stat): 27688 (java) Z 27687 26298 26297 0 -1 1036 18052 11663 1 0 120553 73 4117 34 25 0 1 0 542803830 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): 1250.29
CPU time (s): 1247.79
CPU user time (s): 1246.71
CPU system time (s): 1.08183
CPU usage (%): 99.8007
Max. virtual memory (Kb): 842176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####