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/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb
MD5SUM	837e3a0cb21dfdb0a0a99b7f963c12dc
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	9432
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	179181298104960
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	409031671808
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	179181298104960
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	13368
Total number of constraints	1872
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	2
Maximum length of a constraint	209
Trace number 18355

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 14:29:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18391 boxname=wulflinc23 idbench=1415 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  837e3a0cb21dfdb0a0a99b7f963c12dc  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-gesa2.opb
IDLAUNCH: 18391
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        872600 kB
Buffers:         16076 kB
Cached:         120304 kB
SwapCached:        436 kB
Active:          14808 kB
Inactive:       123592 kB
HighTotal:      131008 kB
HighFree:       103040 kB
LowTotal:       903652 kB
LowFree:        769560 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            17836 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 14:50:01 (client local time) WITH STATUS 143 IN 1223.71 SECONDS
stats: 18391 7 1223.71 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-gesa2.opb
c reading problem 
c [nbvar=13368]
c [nbconstr=1872]
c time 62.098
c #vars     13368
c #clauses  1873
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.79 0.92 0.89 2/54 7028
Raw data (stat): 7028 (runsolver) R 7027 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545806945 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.0105 s]
Raw data (loadavg): 0.82 0.93 0.90 3/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17900 0 80 0 485 53 0 0 22 0 10 0 545806945 853635072 18948 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 18948 13073 16 0 208391 0
vsize: 833628
[startup+20.0115 s]
Raw data (loadavg): 0.85 0.93 0.90 2/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17900 0 80 0 1400 54 0 0 25 0 10 0 545806945 853864448 19632 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208463 19632 13073 16 0 208447 0
vsize: 833852
[startup+30.0123 s]
Raw data (loadavg): 0.87 0.93 0.90 2/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17900 0 80 0 2278 54 0 0 24 0 10 0 545806945 853864448 20165 4294967295 134512640 134569956 3221224400 3221214824 1131213549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208463 20165 13073 16 0 208447 0
vsize: 833852
[startup+40.0123 s]
Raw data (loadavg): 1.05 0.96 0.91 2/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17932 0 80 0 3098 55 0 0 21 0 10 0 545806945 864468992 22857 4294967295 134512640 134569956 3221224400 3221214808 1131213834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211052 22857 13073 16 0 211036 0
vsize: 844208
[startup+50.0125 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17932 0 80 0 3971 55 0 0 17 0 10 0 545806945 864468992 23097 4294967295 134512640 134569956 3221224400 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211052 23097 13073 16 0 211036 0
vsize: 844208
[startup+60.0121 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 7037
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17932 0 80 0 4843 55 0 0 19 0 10 0 545806945 864468992 23679 4294967295 134512640 134569956 3221224400 3221214800 1131214083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211052 23679 13073 16 0 211036 0
vsize: 844208
[startup+70.0193 s]
Raw data (loadavg): 1.03 0.97 0.91 3/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 17960 0 80 0 5731 57 0 0 25 0 11 0 545806945 863948800 24136 4294967295 134512640 134569956 3221224400 3221211160 1085786722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 24136 13073 16 0 210909 0
vsize: 843700
[startup+80.0196 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 6603 57 0 0 25 0 11 0 545806945 863948800 24256 4294967295 134512640 134569956 3221224400 3221214676 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 24256 13073 16 0 210909 0
vsize: 843700
[startup+90.019 s]
Raw data (loadavg): 1.10 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 7513 57 0 0 25 0 11 0 545806945 863948800 24385 4294967295 134512640 134569956 3221224400 3221214560 1131284115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 24385 13073 16 0 210909 0
vsize: 843700
[startup+100.02 s]
Raw data (loadavg): 1.08 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 8463 58 0 0 25 0 11 0 545806945 863948800 24385 4294967295 134512640 134569956 3221224400 3221214560 1131284223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 24385 13073 16 0 210909 0
vsize: 843700
[startup+110.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 9415 58 0 0 25 0 11 0 545806945 863948800 24385 4294967295 134512640 134569956 3221224400 3221214560 1131284957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 24385 13073 16 0 210909 0
vsize: 843700
[startup+120.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 10364 58 0 0 24 0 11 0 545806945 863948800 25072 4294967295 134512640 134569956 3221224400 3221214664 1131376910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25072 13073 16 0 210909 0
vsize: 843700
[startup+130.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18000 0 81 0 11358 58 0 0 25 0 11 0 545806945 863948800 25106 4294967295 134512640 134569956 3221224400 3221214704 1131286177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25106 13073 16 0 210909 0
vsize: 843700
[startup+140.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 12353 58 0 0 25 0 11 0 545806945 863948800 25159 4294967295 134512640 134569956 3221224400 3221214712 1131195715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25159 13073 16 0 210909 0
vsize: 843700
[startup+150.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 13351 58 0 0 25 0 11 0 545806945 863948800 25159 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25159 13073 16 0 210909 0
vsize: 843700
[startup+160.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 14346 58 0 0 25 0 11 0 545806945 863948800 25159 4294967295 134512640 134569956 3221224400 3221214656 1131590803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25159 13073 16 0 210909 0
vsize: 843700
[startup+170.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 15342 58 0 0 25 0 11 0 545806945 863948800 25160 4294967295 134512640 134569956 3221224400 3221214528 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25160 13073 16 0 210909 0
vsize: 843700
[startup+180.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 16338 59 0 0 25 0 11 0 545806945 863948800 25160 4294967295 134512640 134569956 3221224400 3221214560 1131284859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25160 13073 16 0 210909 0
vsize: 843700
[startup+190.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 17335 59 0 0 25 0 11 0 545806945 863948800 25160 4294967295 134512640 134569956 3221224400 3221214656 1131590589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25160 13073 16 0 210909 0
vsize: 843700
[startup+200.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 18333 59 0 0 25 0 11 0 545806945 863948800 25160 4294967295 134512640 134569956 3221224400 3221214664 1131376995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25160 13073 16 0 210909 0
vsize: 843700
[startup+210.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 19328 60 0 0 25 0 11 0 545806945 863948800 25188 4294967295 134512640 134569956 3221224400 3221214656 1131284246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25188 13073 16 0 210909 0
vsize: 843700
[startup+220.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 20327 60 0 0 25 0 11 0 545806945 863948800 25188 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25188 13073 16 0 210909 0
vsize: 843700
[startup+230.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 21321 60 0 0 25 0 11 0 545806945 863948800 25189 4294967295 134512640 134569956 3221224400 3221214660 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25189 13073 16 0 210909 0
vsize: 843700
[startup+240.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 22317 60 0 0 25 0 11 0 545806945 863948800 25189 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25189 13073 16 0 210909 0
vsize: 843700
[startup+250.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 23314 60 0 0 25 0 11 0 545806945 863948800 25189 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25189 13073 16 0 210909 0
vsize: 843700
[startup+260.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 24312 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+270.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 25310 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214656 1131284964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+280.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 26309 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214656 1131590784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+290.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 27308 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+300.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 28307 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+310.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 29304 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214536 1131490489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+320.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 30297 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214656 1131590606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+330.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 31294 61 0 0 25 0 11 0 545806945 863948800 25201 4294967295 134512640 134569956 3221224400 3221214768 1131617866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25201 13073 16 0 210909 0
vsize: 843700
[startup+340.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 32290 61 0 0 25 0 11 0 545806945 863948800 25230 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25230 13073 16 0 210909 0
vsize: 843700
[startup+350.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 33287 62 0 0 25 0 11 0 545806945 863948800 25230 4294967295 134512640 134569956 3221224400 3221214656 1131590674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25230 13073 16 0 210909 0
vsize: 843700
[startup+360.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 34283 62 0 0 25 0 11 0 545806945 863948800 25264 4294967295 134512640 134569956 3221224400 3221214656 1131284732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25264 13073 16 0 210909 0
vsize: 843700
[startup+370.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 35282 62 0 0 25 0 11 0 545806945 863948800 25264 4294967295 134512640 134569956 3221224400 3221214656 1131283986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25264 13073 16 0 210909 0
vsize: 843700
[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 36281 62 0 0 25 0 11 0 545806945 863948800 25250 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25250 13073 16 0 210909 0
vsize: 843700
[startup+390.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 37276 62 0 0 25 0 11 0 545806945 863948800 25252 4294967295 134512640 134569956 3221224400 3221214624 1131457444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25252 13073 16 0 210909 0
vsize: 843700
[startup+400.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 38268 62 0 0 25 0 11 0 545806945 863948800 25252 4294967295 134512640 134569956 3221224400 3221214668 1131457388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25252 13073 16 0 210909 0
vsize: 843700
[startup+410.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 39263 62 0 0 25 0 11 0 545806945 863948800 25252 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25252 13073 16 0 210909 0
vsize: 843700
[startup+420.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 40260 62 0 0 25 0 11 0 545806945 863948800 25255 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25255 13073 16 0 210909 0
vsize: 843700
[startup+430.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 41258 62 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 42256 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131590674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 43254 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131284252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+460.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 44253 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131589950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+470.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 45251 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+480.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 46248 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131590674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+490.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 47244 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+500.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 48241 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131590776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+510.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 49238 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131284521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+520.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 50235 63 0 0 25 0 11 0 545806945 863948800 25263 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25263 13073 16 0 210909 0
vsize: 843700
[startup+530.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 51234 63 0 0 25 0 11 0 545806945 863948800 25294 4294967295 134512640 134569956 3221224400 3221214656 1131590580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25294 13073 16 0 210909 0
vsize: 843700
[startup+540.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 52234 63 0 0 25 0 11 0 545806945 863948800 25294 4294967295 134512640 134569956 3221224400 3221214768 1131617818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25294 13073 16 0 210909 0
vsize: 843700
[startup+550.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 53227 63 0 0 25 0 11 0 545806945 863948800 25295 4294967295 134512640 134569956 3221224400 3221214584 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25295 13073 16 0 210909 0
vsize: 843700
[startup+560.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 54223 63 0 0 25 0 11 0 545806945 863948800 25295 4294967295 134512640 134569956 3221224400 3221214656 1131284964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25295 13073 16 0 210909 0
vsize: 843700
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 55220 63 0 0 25 0 11 0 545806945 863948800 25295 4294967295 134512640 134569956 3221224400 3221214656 1131284252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25295 13073 16 0 210909 0
vsize: 843700
[startup+580.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 56217 63 0 0 25 0 11 0 545806945 863948800 25295 4294967295 134512640 134569956 3221224400 3221214760 1131620725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25295 13073 16 0 210909 0
vsize: 843700
[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 57215 63 0 0 25 0 11 0 545806945 863948800 25295 4294967295 134512640 134569956 3221224400 3221214656 1131284115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25295 13073 16 0 210909 0
vsize: 843700
[startup+600.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 58213 63 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+610.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 59212 63 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131590067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+620.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 60207 64 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131283916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 61204 64 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131590690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+640.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 62201 64 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+650.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 63198 64 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+660.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 64196 64 0 0 25 0 11 0 545806945 863948800 25320 4294967295 134512640 134569956 3221224400 3221214656 1131590674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25320 13073 16 0 210909 0
vsize: 843700
[startup+670.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 65194 64 0 0 25 0 11 0 545806945 863948800 25350 4294967295 134512640 134569956 3221224400 3221214656 1131591673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25350 13073 16 0 210909 0
vsize: 843700
[startup+680.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 66194 64 0 0 25 0 11 0 545806945 863948800 25350 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25350 13073 16 0 210909 0
vsize: 843700
[startup+690.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 67189 64 0 0 25 0 11 0 545806945 863948800 25350 4294967295 134512640 134569956 3221224400 3221214744 1131502007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25350 13073 16 0 210909 0
vsize: 843700
[startup+700.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 68171 64 0 0 25 0 11 0 545806945 863948800 25350 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25350 13073 16 0 210909 0
vsize: 843700
[startup+710.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) S 7027 3260 3259 0 -1 0 18001 0 81 0 69150 64 0 0 25 0 11 0 545806945 863948800 25350 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25350 13073 16 0 210909 0
vsize: 843700
[startup+720.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 70131 64 0 0 25 0 11 0 545806945 863948800 25364 4294967295 134512640 134569956 3221224400 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25364 13073 16 0 210909 0
vsize: 843700
[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 71116 64 0 0 25 0 11 0 545806945 863948800 25498 4294967295 134512640 134569956 3221224400 3221214664 1131284392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25498 13073 16 0 210909 0
vsize: 843700
[startup+740.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 72099 64 0 0 25 0 11 0 545806945 863948800 25501 4294967295 134512640 134569956 3221224400 3221214744 1131503014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25501 13073 16 0 210909 0
vsize: 843700
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 73070 64 0 0 25 0 11 0 545806945 863948800 25501 4294967295 134512640 134569956 3221224400 3221214744 1131500896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25501 13073 16 0 210909 0
vsize: 843700
[startup+760.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 74040 64 0 0 25 0 11 0 545806945 863948800 25501 4294967295 134512640 134569956 3221224400 3221214624 1131457465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25501 13073 16 0 210909 0
vsize: 843700
[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 75018 64 0 0 25 0 11 0 545806945 863948800 25501 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25501 13073 16 0 210909 0
vsize: 843700
[startup+780.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 76008 65 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131284252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 77006 65 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+800.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 78005 65 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214760 1131620677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 79004 65 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214760 1131620551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+820.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 80003 66 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+830.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 80997 66 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131284252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+840.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 81994 66 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131284115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+850.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 82992 66 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131284115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+860.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 83988 66 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214768 1131617811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+870.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 84986 67 0 0 25 0 11 0 545806945 863948800 25682 4294967295 134512640 134569956 3221224400 3221214656 1131590002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25682 13073 16 0 210909 0
vsize: 843700
[startup+880.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 85983 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214760 1131620551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+890.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 86983 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214768 1131617811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+900.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 87978 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+910.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 88958 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+920.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 89938 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214760 1131620611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+930.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 90922 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214656 1131590063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+940.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 91905 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214656 1131589979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+950.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 92888 67 0 0 25 0 11 0 545806945 863948800 25714 4294967295 134512640 134569956 3221224400 3221214656 1131284453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25714 13073 16 0 210909 0
vsize: 843700
[startup+960.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 93879 67 0 0 25 0 11 0 545806945 863948800 25741 4294967295 134512640 134569956 3221224400 3221214656 1131590365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25741 13073 16 0 210909 0
vsize: 843700
[startup+970.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 94870 68 0 0 25 0 11 0 545806945 863948800 25912 4294967295 134512640 134569956 3221224400 3221214676 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25912 13073 16 0 210909 0
vsize: 843700
[startup+980.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 95861 68 0 0 25 0 11 0 545806945 863948800 25912 4294967295 134512640 134569956 3221224400 3221214744 1131502056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25912 13073 16 0 210909 0
vsize: 843700
[startup+990.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 96854 68 0 0 25 0 11 0 545806945 863948800 25912 4294967295 134512640 134569956 3221224400 3221214544 1131561475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25912 13073 16 0 210909 0
vsize: 843700
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 97851 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214736 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 98845 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214672 1131543669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 99843 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214760 1131620551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 100841 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214656 1131284985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 101840 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214664 1131275682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 102839 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214656 1131284267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 103838 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214768 1131617811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 104837 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214656 1131590321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 105836 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 106822 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214732 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 107799 68 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214704 1131477568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 108774 69 0 0 25 0 11 0 545806945 863948800 25944 4294967295 134512640 134569956 3221224400 3221214672 1131541716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25944 13073 16 0 210909 0
vsize: 843700
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 109754 69 0 0 25 0 11 0 545806945 863948800 25983 4294967295 134512640 134569956 3221224400 3221214744 1131503099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 25983 13073 16 0 210909 0
vsize: 843700
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 110747 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214744 1131501302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 111743 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 112740 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214672 1131542801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 113730 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214744 1131503492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.91 3/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 114706 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214688 1131204432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 115689 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214760 1131620551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 116675 69 0 0 24 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214656 1131283945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 117663 69 0 0 25 0 11 0 545806945 863948800 26131 4294967295 134512640 134569956 3221224400 3221214656 1131284264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26131 13073 16 0 210909 0
vsize: 843700
[startup+1210.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 118659 69 0 0 25 0 11 0 545806945 863948800 26266 4294967295 134512640 134569956 3221224400 3221214656 1131590002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26266 13073 16 0 210909 0
vsize: 843700
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 119657 69 0 0 25 0 11 0 545806945 863948800 26266 4294967295 134512640 134569956 3221224400 3221214656 1131284115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26266 13073 16 0 210909 0
vsize: 843700
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7038
Raw data (stat): 7028 (java) R 7027 3260 3259 0 -1 0 18001 0 81 0 120656 69 0 0 25 0 11 0 545806945 863948800 26266 4294967295 134512640 134569956 3221224400 3221214768 1131617808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210925 26266 13073 16 0 210909 0
vsize: 843700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 7040
Raw data (stat): 7028 (java) Z 7027 3260 3259 0 -1 1036 18001 5506 81 0 120660 69 1620 20 25 0 1 0 545806945 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.21
CPU time (s): 1223.71
CPU user time (s): 1222.81
CPU system time (s): 0.900863
CPU usage (%): 99.4718
Max. virtual memory (Kb): 844208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####