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-standgub.opb
MD5SUM	596bf3240e9419031120c2cbaef1fb61
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	210
Biggest coefficient in the objective function	53687091200
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	326417514192
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	77387257610240
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	2427818341201528
Number of bits of the biggest sum of numbers	52
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.331949
Number of variables	33244
Total number of constraints	463
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	463
Minimum length of a constraint	11
Maximum length of a constraint	22350
Trace number 22554

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-22 03:23:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11527 boxname=wulflinc26 idbench=887 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  596bf3240e9419031120c2cbaef1fb61  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-standgub.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-standgub.opb
IDLAUNCH: 11527
/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:        877160 kB
Buffers:         12112 kB
Cached:         121696 kB
SwapCached:        424 kB
Active:          19456 kB
Inactive:       116420 kB
HighTotal:      131008 kB
HighFree:       105084 kB
LowTotal:       903652 kB
LowFree:        772076 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5424 kB
Slab:            15840 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:43:57 (client local time) WITH STATUS 143 IN 1253.21 SECONDS
stats: 11527 7 1253.21 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-standgub.opb
c reading problem 
c [nbvar=33274]
c [nbconstr=463]
c time 345.897
c #vars     33244
c #clauses  618
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 16525
Raw data (stat): 16525 (runsolver) R 16524 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550454608 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.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17922 0 76 0 592 51 0 0 25 0 10 0 550454608 855396352 19481 4294967295 134512640 134569956 3221224400 3221214504 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 19481 13073 16 0 208821 0
vsize: 835348
[startup+20.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) S 16524 22612 22611 0 -1 0 17925 0 76 0 1449 51 0 0 25 0 10 0 550454608 855396352 20331 4294967295 134512640 134569956 3221224400 3221213648 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208837 20334 13073 16 0 208821 0
vsize: 835348
[startup+30.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 2334 51 0 0 25 0 10 0 550454608 855396352 20781 4294967295 134512640 134569956 3221224400 3221214508 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 20781 13073 16 0 208821 0
vsize: 835348
[startup+40.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 3220 52 0 0 24 0 10 0 550454608 855396352 21194 4294967295 134512640 134569956 3221224400 3221214472 1130895493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 21194 13073 16 0 208821 0
vsize: 835348
[startup+50.0071 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 4136 52 0 0 25 0 10 0 550454608 856080384 21581 4294967295 134512640 134569956 3221224400 3221214816 1131311897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209004 21581 13073 16 0 208988 0
vsize: 836016
[startup+60.0162 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 5047 52 0 0 25 0 10 0 550454608 855810048 21717 4294967295 134512640 134569956 3221224400 3221214816 1131310532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 21717 13073 16 0 208922 0
vsize: 835752
[startup+70.0165 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 5957 53 0 0 25 0 10 0 550454608 855810048 21868 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 21868 13073 16 0 208922 0
vsize: 835752
[startup+80.0176 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 6873 53 0 0 25 0 10 0 550454608 855810048 22099 4294967295 134512640 134569956 3221224400 3221214816 1131309630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22099 13073 16 0 208922 0
vsize: 835752
[startup+90.0179 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 7799 54 0 0 25 0 10 0 550454608 855810048 22214 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22214 13073 16 0 208922 0
vsize: 835752
[startup+100.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 8726 54 0 0 25 0 10 0 550454608 855810048 22339 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22339 13073 16 0 208922 0
vsize: 835752
[startup+110.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 9656 54 0 0 24 0 10 0 550454608 855810048 22444 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22444 13073 16 0 208922 0
vsize: 835752
[startup+120.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 10590 54 0 0 25 0 10 0 550454608 855810048 22541 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22541 13073 16 0 208922 0
vsize: 835752
[startup+130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 11521 55 0 0 25 0 10 0 550454608 855810048 22638 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22638 13073 16 0 208922 0
vsize: 835752
[startup+140.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 12452 56 0 0 25 0 10 0 550454608 855810048 22732 4294967295 134512640 134569956 3221224400 3221214832 1131168149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22732 13073 16 0 208922 0
vsize: 835752
[startup+150.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) S 16524 22612 22611 0 -1 0 17925 0 76 0 13387 56 0 0 25 0 10 0 550454608 855810048 22806 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 22806 13073 16 0 208922 0
vsize: 835752
[startup+160.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 14318 56 0 0 25 0 10 0 550454608 855810048 22896 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 22896 13073 16 0 208922 0
vsize: 835752
[startup+170.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 15249 56 0 0 25 0 10 0 550454608 855810048 22970 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 22970 13073 16 0 208922 0
vsize: 835752
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 16181 56 0 0 25 0 10 0 550454608 855810048 23044 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23044 13073 16 0 208922 0
vsize: 835752
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 17117 57 0 0 25 0 10 0 550454608 855810048 23125 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23125 13073 16 0 208922 0
vsize: 835752
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 18037 57 0 0 25 0 10 0 550454608 855810048 23195 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23195 13073 16 0 208922 0
vsize: 835752
[startup+210.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) S 16524 22612 22611 0 -1 0 17925 0 76 0 18954 57 0 0 25 0 10 0 550454608 855810048 23264 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23264 13073 16 0 208922 0
vsize: 835752
[startup+220.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 19878 57 0 0 25 0 10 0 550454608 855810048 23490 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23490 13073 16 0 208922 0
vsize: 835752
[startup+230.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 20807 57 0 0 25 0 10 0 550454608 855810048 23556 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23556 13073 16 0 208922 0
vsize: 835752
[startup+240.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) S 16524 22612 22611 0 -1 0 17925 0 76 0 21737 57 0 0 25 0 10 0 550454608 855810048 23621 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23621 13073 16 0 208922 0
vsize: 835752
[startup+250.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 22668 57 0 0 25 0 10 0 550454608 855810048 23685 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23685 13073 16 0 208922 0
vsize: 835752
[startup+260.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 23597 57 0 0 25 0 10 0 550454608 855810048 23748 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23748 13073 16 0 208922 0
vsize: 835752
[startup+270.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 24524 58 0 0 24 0 10 0 550454608 855810048 23799 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23799 13073 16 0 208922 0
vsize: 835752
[startup+280.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 25454 58 0 0 25 0 10 0 550454608 855810048 23859 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 23859 13073 16 0 208922 0
vsize: 835752
[startup+290.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 26379 58 0 0 25 0 10 0 550454608 855810048 23920 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23920 13073 16 0 208922 0
vsize: 835752
[startup+300.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 27293 58 0 0 25 0 10 0 550454608 855810048 23984 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 23984 13073 16 0 208922 0
vsize: 835752
[startup+310.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 28208 58 0 0 25 0 10 0 550454608 855810048 24044 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 24044 13073 16 0 208922 0
vsize: 835752
[startup+320.042 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 29141 58 0 0 25 0 10 0 550454608 855810048 24252 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 24252 13073 16 0 208922 0
vsize: 835752
[startup+330.044 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 30085 58 0 0 25 0 10 0 550454608 855810048 24286 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 24286 13073 16 0 208922 0
vsize: 835752
[startup+340.044 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17925 0 76 0 31027 58 0 0 25 0 10 0 550454608 855810048 24318 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208938 24318 13073 16 0 208922 0
vsize: 835752
[startup+350.098 s]
Raw data (loadavg): 1.12 1.00 0.92 3/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17956 0 76 0 31963 59 0 0 25 0 10 0 550454608 857006080 25563 4294967295 134512640 134569956 3221224400 3221214744 1131275524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209230 25563 13073 16 0 209214 0
vsize: 836920
[startup+360.099 s]
Raw data (loadavg): 1.10 1.00 0.92 2/63 16534
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17956 0 76 0 32932 59 0 0 25 0 10 0 550454608 855810048 27272 4294967295 134512640 134569956 3221224400 3221214832 1131346359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 27272 13073 16 0 208922 0
vsize: 835752
[startup+370.099 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 17963 0 76 0 33923 60 0 0 25 0 11 0 550454608 856338432 27283 4294967295 134512640 134569956 3221224400 3221214784 1131346380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209067 27283 13073 16 0 209051 0
vsize: 836268
[startup+380.107 s]
Raw data (loadavg): 1.22 1.03 0.93 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18001 0 78 0 34801 60 0 0 25 0 11 0 550454608 861196288 28487 4294967295 134512640 134569956 3221224400 3221214480 1131268299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210253 28487 13073 16 0 210237 0
vsize: 841012
[startup+390.109 s]
Raw data (loadavg): 1.26 1.05 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18002 0 78 0 35794 60 0 0 25 0 11 0 550454608 859123712 27946 4294967295 134512640 134569956 3221224400 3221214608 1131512085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209747 27946 13073 16 0 209731 0
vsize: 838988
[startup+400.108 s]
Raw data (loadavg): 1.22 1.05 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 36784 60 0 0 25 0 11 0 550454608 858042368 27694 4294967295 134512640 134569956 3221224400 3221214600 1131596025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27694 13073 16 0 209467 0
vsize: 837932
[startup+410.109 s]
Raw data (loadavg): 1.18 1.04 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 37779 60 0 0 25 0 11 0 550454608 858042368 27695 4294967295 134512640 134569956 3221224400 3221214608 1131512089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27695 13073 16 0 209467 0
vsize: 837932
[startup+420.109 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 38774 61 0 0 25 0 11 0 550454608 858042368 27695 4294967295 134512640 134569956 3221224400 3221214696 1131275833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27695 13073 16 0 209467 0
vsize: 837932
[startup+430.11 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 39762 61 0 0 25 0 11 0 550454608 858042368 27698 4294967295 134512640 134569956 3221224400 3221214760 1131510904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27698 13073 16 0 209467 0
vsize: 837932
[startup+440.11 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 40752 62 0 0 25 0 11 0 550454608 858042368 27699 4294967295 134512640 134569956 3221224400 3221214696 1131651564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27699 13073 16 0 209467 0
vsize: 837932
[startup+450.11 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 41743 62 0 0 25 0 11 0 550454608 858042368 27699 4294967295 134512640 134569956 3221224400 3221214696 1131651661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27699 13073 16 0 209467 0
vsize: 837932
[startup+460.11 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 42724 62 0 0 25 0 11 0 550454608 858042368 27701 4294967295 134512640 134569956 3221224400 3221214784 1131346359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27701 13073 16 0 209467 0
vsize: 837932
[startup+470.11 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 43709 63 0 0 25 0 11 0 550454608 858042368 27707 4294967295 134512640 134569956 3221224400 3221214696 1131651676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27707 13073 16 0 209467 0
vsize: 837932
[startup+480.111 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 44704 63 0 0 25 0 11 0 550454608 858042368 27707 4294967295 134512640 134569956 3221224400 3221214696 1131651683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27707 13073 16 0 209467 0
vsize: 837932
[startup+490.112 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 45695 63 0 0 25 0 11 0 550454608 858042368 27719 4294967295 134512640 134569956 3221224400 3221214696 1131651567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27719 13073 16 0 209467 0
vsize: 837932
[startup+500.112 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 46690 63 0 0 25 0 11 0 550454608 858042368 27725 4294967295 134512640 134569956 3221224400 3221214696 1131651564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 27725 13073 16 0 209467 0
vsize: 837932
[startup+510.112 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 47679 63 0 0 25 0 11 0 550454608 858042368 27776 4294967295 134512640 134569956 3221224400 3221214696 1131651661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27776 13073 16 0 209467 0
vsize: 837932
[startup+520.113 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 48669 63 0 0 25 0 11 0 550454608 858042368 27818 4294967295 134512640 134569956 3221224400 3221214696 1131275877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27818 13073 16 0 209467 0
vsize: 837932
[startup+530.114 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 49633 63 0 0 24 0 11 0 550454608 858042368 27897 4294967295 134512640 134569956 3221224400 3221214696 1131276078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27897 13073 16 0 209467 0
vsize: 837932
[startup+540.114 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 50604 63 0 0 25 0 11 0 550454608 858042368 27962 4294967295 134512640 134569956 3221224400 3221214696 1131651661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 27962 13073 16 0 209467 0
vsize: 837932
[startup+550.114 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 51578 63 0 0 24 0 11 0 550454608 858042368 28016 4294967295 134512640 134569956 3221224400 3221214696 1131651661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28016 13073 16 0 209467 0
vsize: 837932
[startup+560.114 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 52557 63 0 0 25 0 11 0 550454608 858042368 28183 4294967295 134512640 134569956 3221224400 3221214696 1131651672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28183 13073 16 0 209467 0
vsize: 837932
[startup+570.115 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 53544 63 0 0 25 0 11 0 550454608 858042368 28278 4294967295 134512640 134569956 3221224400 3221214784 1131346380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28278 13073 16 0 209467 0
vsize: 837932
[startup+580.116 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 54531 63 0 0 25 0 11 0 550454608 858042368 28320 4294967295 134512640 134569956 3221224400 3221214784 1131346359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28320 13073 16 0 209467 0
vsize: 837932
[startup+590.116 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 55518 63 0 0 25 0 11 0 550454608 858042368 28367 4294967295 134512640 134569956 3221224400 3221214696 1131275833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28367 13073 16 0 209467 0
vsize: 837932
[startup+600.116 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 56502 63 0 0 25 0 11 0 550454608 858042368 28394 4294967295 134512640 134569956 3221224400 3221214696 1131275892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28394 13073 16 0 209467 0
vsize: 837932
[startup+610.117 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 57486 63 0 0 25 0 11 0 550454608 858042368 28439 4294967295 134512640 134569956 3221224400 3221214696 1131651676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28439 13073 16 0 209467 0
vsize: 837932
[startup+620.118 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 58471 63 0 0 25 0 11 0 550454608 858042368 28501 4294967295 134512640 134569956 3221224400 3221214720 1131268299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28501 13073 16 0 209467 0
vsize: 837932
[startup+630.118 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 59456 63 0 0 25 0 11 0 550454608 858042368 28634 4294967295 134512640 134569956 3221224400 3221214696 1131275461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28634 13073 16 0 209467 0
vsize: 837932
[startup+640.118 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 60443 63 0 0 25 0 11 0 550454608 858042368 28689 4294967295 134512640 134569956 3221224400 3221214696 1131275468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28689 13073 16 0 209467 0
vsize: 837932
[startup+650.118 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 61427 63 0 0 25 0 11 0 550454608 858042368 28756 4294967295 134512640 134569956 3221224400 3221214696 1131276395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28756 13073 16 0 209467 0
vsize: 837932
[startup+660.119 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 62415 64 0 0 25 0 11 0 550454608 858042368 28807 4294967295 134512640 134569956 3221224400 3221214784 1131347378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28807 13073 16 0 209467 0
vsize: 837932
[startup+670.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 63399 64 0 0 25 0 11 0 550454608 858042368 28856 4294967295 134512640 134569956 3221224400 3221214696 1131275877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28856 13073 16 0 209467 0
vsize: 837932
[startup+680.129 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 64383 64 0 0 24 0 11 0 550454608 858042368 28948 4294967295 134512640 134569956 3221224400 3221214696 1131276168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 28948 13073 16 0 209467 0
vsize: 837932
[startup+690.129 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 65368 64 0 0 25 0 11 0 550454608 858042368 29008 4294967295 134512640 134569956 3221224400 3221214696 1131275468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29008 13073 16 0 209467 0
vsize: 837932
[startup+700.13 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 66355 64 0 0 25 0 11 0 550454608 858042368 29106 4294967295 134512640 134569956 3221224400 3221214756 1131332521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29106 13073 16 0 209467 0
vsize: 837932
[startup+710.13 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 67340 64 0 0 25 0 11 0 550454608 858042368 29169 4294967295 134512640 134569956 3221224400 3221214696 1131275493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29169 13073 16 0 209467 0
vsize: 837932
[startup+720.13 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 68321 64 0 0 25 0 11 0 550454608 858042368 29227 4294967295 134512640 134569956 3221224400 3221214976 1130919113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29227 13073 16 0 209467 0
vsize: 837932
[startup+730.13 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 69304 64 0 0 25 0 11 0 550454608 858042368 29277 4294967295 134512640 134569956 3221224400 3221214936 1131239513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29277 13073 16 0 209467 0
vsize: 837932
[startup+740.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 70288 64 0 0 25 0 11 0 550454608 858042368 29343 4294967295 134512640 134569956 3221224400 3221214696 1131275877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29343 13073 16 0 209467 0
vsize: 837932
[startup+750.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 71271 64 0 0 25 0 11 0 550454608 858042368 29430 4294967295 134512640 134569956 3221224400 3221214784 1131346380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29430 13073 16 0 209467 0
vsize: 837932
[startup+760.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 72256 64 0 0 25 0 11 0 550454608 858042368 29535 4294967295 134512640 134569956 3221224400 3221214784 1131349963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29535 13073 16 0 209467 0
vsize: 837932
[startup+770.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 73241 64 0 0 25 0 11 0 550454608 858042368 29622 4294967295 134512640 134569956 3221224400 3221214696 1131275796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29622 13073 16 0 209467 0
vsize: 837932
[startup+780.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 74226 64 0 0 25 0 11 0 550454608 858042368 29685 4294967295 134512640 134569956 3221224400 3221214784 1131350122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29685 13073 16 0 209467 0
vsize: 837932
[startup+790.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 75213 64 0 0 25 0 11 0 550454608 858042368 29745 4294967295 134512640 134569956 3221224400 3221214696 1131276731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29745 13073 16 0 209467 0
vsize: 837932
[startup+800.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 76199 64 0 0 25 0 11 0 550454608 858042368 29862 4294967295 134512640 134569956 3221224400 3221214696 1131276746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29862 13073 16 0 209467 0
vsize: 837932
[startup+810.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 77185 64 0 0 25 0 11 0 550454608 858042368 29895 4294967295 134512640 134569956 3221224400 3221214696 1131275453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29895 13073 16 0 209467 0
vsize: 837932
[startup+820.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 78171 64 0 0 25 0 11 0 550454608 858042368 29956 4294967295 134512640 134569956 3221224400 3221214784 1131347284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 29956 13073 16 0 209467 0
vsize: 837932
[startup+830.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 79156 64 0 0 25 0 11 0 550454608 858042368 30007 4294967295 134512640 134569956 3221224400 3221214784 1131350278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 30007 13073 16 0 209467 0
vsize: 837932
[startup+840.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 80138 65 0 0 25 0 11 0 550454608 858042368 30110 4294967295 134512640 134569956 3221224400 3221214584 1131675711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30110 13073 16 0 209467 0
vsize: 837932
[startup+850.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 81119 65 0 0 24 0 11 0 550454608 858042368 30178 4294967295 134512640 134569956 3221224400 3221214292 1131688720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30178 13073 16 0 209467 0
vsize: 837932
[startup+860.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 82103 65 0 0 25 0 11 0 550454608 858042368 30246 4294967295 134512640 134569956 3221224400 3221214696 1131651564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30246 13073 16 0 209467 0
vsize: 837932
[startup+870.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 83083 66 0 0 25 0 11 0 550454608 858042368 30384 4294967295 134512640 134569956 3221224400 3221214696 1131651676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30384 13073 16 0 209467 0
vsize: 837932
[startup+880.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 84066 66 0 0 25 0 11 0 550454608 858042368 30486 4294967295 134512640 134569956 3221224400 3221214696 1131276962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30486 13073 16 0 209467 0
vsize: 837932
[startup+890.134 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 85049 66 0 0 25 0 11 0 550454608 858042368 30561 4294967295 134512640 134569956 3221224400 3221214696 1131275560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30561 13073 16 0 209467 0
vsize: 837932
[startup+900.133 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 86035 67 0 0 24 0 11 0 550454608 858042368 30689 4294967295 134512640 134569956 3221224400 3221214780 1131275436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30689 13073 16 0 209467 0
vsize: 837932
[startup+910.134 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 87023 67 0 0 25 0 11 0 550454608 858042368 30738 4294967295 134512640 134569956 3221224400 3221214784 1131348381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30738 13073 16 0 209467 0
vsize: 837932
[startup+920.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 88011 67 0 0 25 0 11 0 550454608 858042368 30777 4294967295 134512640 134569956 3221224400 3221214696 1131275831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30777 13073 16 0 209467 0
vsize: 837932
[startup+930.134 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 88999 67 0 0 25 0 11 0 550454608 858042368 30810 4294967295 134512640 134569956 3221224400 3221214696 1131651564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30810 13073 16 0 209467 0
vsize: 837932
[startup+940.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) S 16524 22612 22611 0 -1 0 18003 0 78 0 89988 68 0 0 25 0 11 0 550454608 858042368 30853 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30853 13073 16 0 209467 0
vsize: 837932
[startup+950.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 90965 68 0 0 25 0 11 0 550454608 858042368 30892 4294967295 134512640 134569956 3221224400 3221214292 1131688715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30892 13073 16 0 209467 0
vsize: 837932
[startup+960.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 91950 68 0 0 25 0 11 0 550454608 858042368 30956 4294967295 134512640 134569956 3221224400 3221214784 1131350324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 30956 13073 16 0 209467 0
vsize: 837932
[startup+970.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 92937 68 0 0 25 0 11 0 550454608 858042368 31005 4294967295 134512640 134569956 3221224400 3221214696 1131276078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31005 13073 16 0 209467 0
vsize: 837932
[startup+980.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 93924 68 0 0 25 0 11 0 550454608 858042368 31059 4294967295 134512640 134569956 3221224400 3221214696 1131275593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31059 13073 16 0 209467 0
vsize: 837932
[startup+990.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 94909 68 0 0 25 0 11 0 550454608 858042368 31131 4294967295 134512640 134569956 3221224400 3221214696 1131651661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31131 13073 16 0 209467 0
vsize: 837932
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 95895 69 0 0 24 0 11 0 550454608 858042368 31200 4294967295 134512640 134569956 3221224400 3221214776 1131346380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31200 13073 16 0 209467 0
vsize: 837932
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 96882 69 0 0 25 0 11 0 550454608 858042368 31248 4294967295 134512640 134569956 3221224400 3221214688 1131276699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31248 13073 16 0 209467 0
vsize: 837932
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 97865 70 0 0 25 0 11 0 550454608 858042368 31306 4294967295 134512640 134569956 3221224400 3221214772 1131275436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31306 13073 16 0 209467 0
vsize: 837932
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 98851 70 0 0 25 0 11 0 550454608 858042368 31364 4294967295 134512640 134569956 3221224400 3221214952 1131708790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31364 13073 16 0 209467 0
vsize: 837932
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 99838 70 0 0 25 0 11 0 550454608 858042368 31412 4294967295 134512640 134569956 3221224400 3221214688 1131275831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31412 13073 16 0 209467 0
vsize: 837932
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 100821 71 0 0 25 0 11 0 550454608 858042368 31453 4294967295 134512640 134569956 3221224400 3221214688 1131275877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31453 13073 16 0 209467 0
vsize: 837932
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 101804 71 0 0 25 0 11 0 550454608 858042368 31493 4294967295 134512640 134569956 3221224400 3221214688 1131275833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31493 13073 16 0 209467 0
vsize: 837932
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 102788 71 0 0 25 0 11 0 550454608 858042368 31577 4294967295 134512640 134569956 3221224400 3221213924 1079755613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31577 13073 16 0 209467 0
vsize: 837932
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 103768 71 0 0 25 0 11 0 550454608 858042368 31671 4294967295 134512640 134569956 3221224400 3221214688 1131275877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31671 13073 16 0 209467 0
vsize: 837932
[startup+1090.14 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 104749 72 0 0 25 0 11 0 550454608 858042368 31772 4294967295 134512640 134569956 3221224400 3221214664 1131651676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31772 13073 16 0 209467 0
vsize: 837932
[startup+1100.14 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 105730 72 0 0 25 0 11 0 550454608 858042368 31823 4294967295 134512640 134569956 3221224400 3221214688 1131275552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31823 13073 16 0 209467 0
vsize: 837932
[startup+1110.14 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 106710 72 0 0 25 0 11 0 550454608 858042368 31909 4294967295 134512640 134569956 3221224400 3221214776 1131350278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31909 13073 16 0 209467 0
vsize: 837932
[startup+1120.14 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 107693 72 0 0 25 0 11 0 550454608 858042368 32039 4294967295 134512640 134569956 3221224400 3221214688 1131276719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 32039 13073 16 0 209467 0
vsize: 837932
[startup+1130.14 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 108676 73 0 0 25 0 11 0 550454608 858042368 32130 4294967295 134512640 134569956 3221224400 3221214688 1131275673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32130 13073 16 0 209467 0
vsize: 837932
[startup+1140.14 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 109654 73 0 0 25 0 11 0 550454608 858042368 32238 4294967295 134512640 134569956 3221224400 3221214688 1131275874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32238 13073 16 0 209467 0
vsize: 837932
[startup+1150.14 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 110634 73 0 0 25 0 11 0 550454608 858042368 32288 4294967295 134512640 134569956 3221224400 3221214776 1131346193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32288 13073 16 0 209467 0
vsize: 837932
[startup+1160.14 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 111615 74 0 0 25 0 11 0 550454608 858042368 32458 4294967295 134512640 134569956 3221224400 3221214664 1131651564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32458 13073 16 0 209467 0
vsize: 837932
[startup+1170.14 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 112599 74 0 0 25 0 11 0 550454608 858042368 32565 4294967295 134512640 134569956 3221224400 3221214688 1131275877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32565 13073 16 0 209467 0
vsize: 837932
[startup+1180.14 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 113583 75 0 0 24 0 11 0 550454608 858042368 32618 4294967295 134512640 134569956 3221224400 3221214688 1131275449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32618 13073 16 0 209467 0
vsize: 837932
[startup+1190.14 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 114568 75 0 0 25 0 11 0 550454608 858042368 32681 4294967295 134512640 134569956 3221224400 3221214688 1131275877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32681 13073 16 0 209467 0
vsize: 837932
[startup+1200.14 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 115554 75 0 0 25 0 11 0 550454608 858042368 32761 4294967295 134512640 134569956 3221224400 3221214688 1131275877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 32761 13073 16 0 209467 0
vsize: 837932
[startup+1210.14 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 116538 76 0 0 25 0 11 0 550454608 858042368 32835 4294967295 134512640 134569956 3221224400 3221214664 1131651661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32835 13073 16 0 209467 0
vsize: 837932
[startup+1220.14 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 117523 77 0 0 25 0 11 0 550454608 858042368 32909 4294967295 134512640 134569956 3221224400 3221214776 1131348315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32909 13073 16 0 209467 0
vsize: 837932
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 118507 77 0 0 25 0 11 0 550454608 858042368 32965 4294967295 134512640 134569956 3221224400 3221214600 1131675498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 32965 13073 16 0 209467 0
vsize: 837932
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 119492 77 0 0 25 0 11 0 550454608 858042368 33062 4294967295 134512640 134569956 3221224400 3221214688 1131275816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 33062 13073 16 0 209467 0
vsize: 837932
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 16535
Raw data (stat): 16525 (java) R 16524 22612 22611 0 -1 0 18003 0 78 0 120477 77 0 0 25 0 11 0 550454608 858042368 33114 4294967295 134512640 134569956 3221224400 3221214688 1131275816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 33114 13073 16 0 209467 0
vsize: 837932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.4 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 16537
Raw data (stat): 16525 (java) Z 16524 22612 22611 0 -1 1036 18003 17790 78 1 120495 78 4690 55 25 0 1 0 550454608 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.4
CPU time (s): 1253.21
CPU user time (s): 1251.86
CPU system time (s): 1.3478
CPU usage (%): 100.225
Max. virtual memory (Kb): 841012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####