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-p0282.opb
MD5SUM	1a8deb577df7e72871b7e1004c098336
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 15017

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-21 02:36:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18716 boxname=wulflinc19 idbench=1440 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 18716
/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:        779736 kB
Buffers:          7728 kB
Cached:         219448 kB
SwapCached:        556 kB
Active:          67636 kB
Inactive:       161632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        779484 kB
SwapTotal:     2097892 kB
SwapFree:      2096436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            19912 kB
Committed_AS:    63784 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 02:57:17 (client local time) WITH STATUS 143 IN 1242.01 SECONDS
stats: 18716 7 1242.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0282.opb
c reading problem 
c [nbvar=282]
c [nbconstr=523]
c time 1.475
c #vars     282
c #clauses  221
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=457129
c Current CPU time (ms) : 1.766
c starts	: 1
c conflicts	: 0
c decisions	: 264
c propagations	: 282
c inspects	: 197
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=453986
c Current CPU time (ms) : 1.865
c starts	: 2
c conflicts	: 0
c decisions	: 521
c propagations	: 564
c inspects	: 323
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=415236
c Current CPU time (ms) : 3.706
c starts	: 3
c conflicts	: 2
c decisions	: 804
c propagations	: 890
c inspects	: 611
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 3
c 
c CURRENT OPTIMUM=389423
c Current CPU time (ms) : 4.275
c starts	: 4
c conflicts	: 3
c decisions	: 1050
c propagations	: 1180
c inspects	: 1050
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 4
c 
c CURRENT OPTIMUM=384402
c Current CPU time (ms) : 44.939
c starts	: 6
c conflicts	: 106
c decisions	: 1727
c propagations	: 4274
c inspects	: 20306
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 106
c root simplifications	: 6
c 
c CURRENT OPTIMUM=384170
c Current CPU time (ms) : 45.643
c starts	: 7
c conflicts	: 106
c decisions	: 1789
c propagations	: 4556
c inspects	: 21292
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 106
c root simplifications	: 7
c 
c CURRENT OPTIMUM=382132
c Current CPU time (ms) : 46.503
c starts	: 8
c conflicts	: 107
c decisions	: 1867
c propagations	: 4846
c inspects	: 22219
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 107
c root simplifications	: 8
c 
c CURRENT OPTIMUM=381900
c Current CPU time (ms) : 268.055
c starts	: 11
c conflicts	: 365
c decisions	: 3609
c propagations	: 10630
c inspects	: 235255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 365
c root simplifications	: 11
c 
c CURRENT OPTIMUM=381551
c Current CPU time (ms) : 629.016
c starts	: 14
c conflicts	: 616
c decisions	: 7840
c propagations	: 17715
c inspects	: 562294
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 616
c root simplifications	: 14
c 
c CURRENT OPTIMUM=381501
c Current CPU time (ms) : 790.86
c starts	: 16
c conflicts	: 720
c decisions	: 8691
c propagations	: 19612
c inspects	: 742364
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 16
c 
c CURRENT OPTIMUM=381430
c Current CPU time (ms) : 800.587
c starts	: 17
c conflicts	: 720
c decisions	: 8776
c propagations	: 19894
c inspects	: 752211
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 17
c 
c CURRENT OPTIMUM=381359
c Current CPU time (ms) : 810.028
c starts	: 18
c conflicts	: 720
c decisions	: 8860
c propagations	: 20176
c inspects	: 761801
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 18
c 
c CURRENT OPTIMUM=381296
c Current CPU time (ms) : 819.258
c starts	: 19
c conflicts	: 720
c decisions	: 8941
c propagations	: 20458
c inspects	: 771210
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 19
c 
c CURRENT OPTIMUM=381252
c Current CPU time (ms) : 828.764
c starts	: 20
c conflicts	: 720
c decisions	: 9024
c propagations	: 20740
c inspects	: 780909
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 20
c 
c CURRENT OPTIMUM=381181
c Current CPU time (ms) : 838.03
c starts	: 21
c conflicts	: 720
c decisions	: 9106
c propagations	: 21022
c inspects	: 790351
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 21
c 
c CURRENT OPTIMUM=381118
c Current CPU time (ms) : 847.124
c starts	: 22
c conflicts	: 720
c decisions	: 9185
c propagations	: 21304
c inspects	: 799609
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 22
c 
c CURRENT OPTIMUM=380534
c Current CPU time (ms) : 857.798
c starts	: 23
c conflicts	: 721
c decisions	: 9315
c propagations	: 21610
c inspects	: 810231
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 721
c root simplifications	: 23
c 
c CURRENT OPTIMUM=380293
c Current CPU time (ms) : 1018.522
c starts	: 25
c conflicts	: 821
c decisions	: 9800
c propagations	: 22826
c inspects	: 973955
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 821
c root simplifications	: 25
c 
c CURRENT OPTIMUM=380100
c Current CPU time (ms) : 1025.912
c starts	: 26
c conflicts	: 821
c decisions	: 9895
c propagations	: 23108
c inspects	: 981088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 821
c root simplifications	: 26
c 
c CURRENT OPTIMUM=380073
c Current CPU time (ms) : 1033.073
c starts	: 27
c conflicts	: 821
c decisions	: 9957
c propagations	: 23390
c inspects	: 988264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 821
c root simplifications	: 27
c 
c CURRENT OPTIMUM=379880
c Current CPU time (ms) : 1040.193
c starts	: 28
c conflicts	: 821
c decisions	: 10051
c propagations	: 23672
c inspects	: 995166
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 821
c root simplifications	: 28
c 
c CURRENT OPTIMUM=379805
c Current CPU time (ms) : 1046.987
c starts	: 29
c conflicts	: 821
c decisions	: 10126
c propagations	: 23954
c inspects	: 1001884
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 821
c root simplifications	: 29
c 
c CURRENT OPTIMUM=379147
c Current CPU time (ms) : 1053.974
c starts	: 30
c conflicts	: 822
c decisions	: 10238
c propagations	: 24238
c inspects	: 1008483
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 822
c root simplifications	: 30
#### 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.80 0.93 0.90 2/55 19235
Raw data (stat): 19235 (runsolver) R 19234 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541525365 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.0044 s]
Raw data (loadavg): 1.14 1.00 0.92 2/65 19249
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18065 3 1 0 630 45 0 0 24 0 11 0 541525365 864686080 21356 4294967295 134512640 134569956 3221224400 3221214664 1131175197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211105 21356 13073 16 0 211089 0
vsize: 844420
[startup+20.0048 s]
Raw data (loadavg): 1.12 1.00 0.92 2/65 19249
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18066 3 1 0 1580 46 0 0 25 0 11 0 541525365 863997952 21453 4294967295 134512640 134569956 3221224400 3221214568 1131251472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 21453 13073 16 0 210921 0
vsize: 843748
[startup+30.0061 s]
Raw data (loadavg): 1.10 1.00 0.92 2/65 19249
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18066 3 1 0 2538 46 0 0 25 0 11 0 541525365 863997952 21759 4294967295 134512640 134569956 3221224400 3221214600 1131572820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 21759 13073 16 0 210921 0
vsize: 843748
[startup+40.0068 s]
Raw data (loadavg): 1.08 1.00 0.92 2/65 19249
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18066 3 1 0 3490 47 0 0 25 0 11 0 541525365 863997952 21974 4294967295 134512640 134569956 3221224400 3221214536 1131241860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 21974 13073 16 0 210921 0
vsize: 843748
[startup+50.0073 s]
Raw data (loadavg): 1.07 1.00 0.92 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18066 3 1 0 4450 47 0 0 25 0 11 0 541525365 863997952 22223 4294967295 134512640 134569956 3221224400 3221214800 1131214410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 22223 13073 16 0 210921 0
vsize: 843748
[startup+60.0085 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 5411 48 0 0 25 0 11 0 541525365 863997952 22370 4294967295 134512640 134569956 3221224400 3221214480 1131292034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 22370 13073 16 0 210921 0
vsize: 843748
[startup+70.0092 s]
Raw data (loadavg): 1.12 1.02 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 6379 48 0 0 25 0 11 0 541525365 863997952 22520 4294967295 134512640 134569956 3221224400 3221214896 1131223064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22520 13073 16 0 210921 0
vsize: 843748
[startup+80.0133 s]
Raw data (loadavg): 1.10 1.02 0.93 2/65 19252
Raw data (stat): 19235 (java) S 19234 22929 22928 0 -1 0 18067 3 1 0 7351 48 0 0 25 0 11 0 541525365 863997952 22594 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22594 13073 16 0 210921 0
vsize: 843748
[startup+90.014 s]
Raw data (loadavg): 1.09 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 8322 48 0 0 25 0 11 0 541525365 863997952 22683 4294967295 134512640 134569956 3221224400 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22683 13073 16 0 210921 0
vsize: 843748
[startup+100.014 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 9292 48 0 0 25 0 11 0 541525365 863997952 22793 4294967295 134512640 134569956 3221224400 3221214704 1131515692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22793 13073 16 0 210921 0
vsize: 843748
[startup+110.014 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 10266 48 0 0 25 0 11 0 541525365 863997952 22862 4294967295 134512640 134569956 3221224400 3221214896 1131223370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22862 13073 16 0 210921 0
vsize: 843748
[startup+120.024 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 11242 48 0 0 25 0 11 0 541525365 863997952 22966 4294967295 134512640 134569956 3221224400 3221214800 1131214406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 22966 13073 16 0 210921 0
vsize: 843748
[startup+130.025 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 12221 48 0 0 25 0 11 0 541525365 863997952 23028 4294967295 134512640 134569956 3221224400 3221214696 1131302867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23028 13073 16 0 210921 0
vsize: 843748
[startup+140.025 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 13197 48 0 0 25 0 11 0 541525365 863997952 23114 4294967295 134512640 134569956 3221224400 3221214536 1131241683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23114 13073 16 0 210921 0
vsize: 843748
[startup+150.026 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 14174 48 0 0 25 0 11 0 541525365 863997952 23167 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23167 13073 16 0 210921 0
vsize: 843748
[startup+160.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 15150 48 0 0 25 0 11 0 541525365 863997952 23250 4294967295 134512640 134569956 3221224400 3221214888 1131422916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23250 13073 16 0 210921 0
vsize: 843748
[startup+170.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 16129 48 0 0 25 0 11 0 541525365 863997952 23319 4294967295 134512640 134569956 3221224400 3221214616 1131270831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23319 13073 16 0 210921 0
vsize: 843748
[startup+180.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 17109 49 0 0 24 0 11 0 541525365 863997952 23420 4294967295 134512640 134569956 3221224400 3221214840 1131192901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23420 13073 16 0 210921 0
vsize: 843748
[startup+190.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19252
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 18092 49 0 0 25 0 11 0 541525365 863997952 23457 4294967295 134512640 134569956 3221224400 3221214840 1131192866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23457 13073 16 0 210921 0
vsize: 843748
[startup+200.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 19072 49 0 0 25 0 11 0 541525365 863997952 23535 4294967295 134512640 134569956 3221224400 3221214800 1131213885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23535 13073 16 0 210921 0
vsize: 843748
[startup+210.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 20052 49 0 0 25 0 11 0 541525365 863997952 23573 4294967295 134512640 134569956 3221224400 3221214896 1131223210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23573 13073 16 0 210921 0
vsize: 843748
[startup+220.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 21034 49 0 0 25 0 11 0 541525365 863997952 23650 4294967295 134512640 134569956 3221224400 3221214800 1131213885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23650 13073 16 0 210921 0
vsize: 843748
[startup+230.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 22014 49 0 0 25 0 11 0 541525365 863997952 23727 4294967295 134512640 134569956 3221224400 3221214800 1131214254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23727 13073 16 0 210921 0
vsize: 843748
[startup+240.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 22997 49 0 0 25 0 11 0 541525365 863997952 23808 4294967295 134512640 134569956 3221224400 3221214840 1131192866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23808 13073 16 0 210921 0
vsize: 843748
[startup+250.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 23981 49 0 0 25 0 11 0 541525365 863997952 23854 4294967295 134512640 134569956 3221224400 3221214640 1131235783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23854 13073 16 0 210921 0
vsize: 843748
[startup+260.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19254
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 24965 49 0 0 25 0 11 0 541525365 863997952 23918 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23918 13073 16 0 210921 0
vsize: 843748
[startup+270.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 25946 49 0 0 25 0 11 0 541525365 863997952 23956 4294967295 134512640 134569956 3221224400 3221214896 1131223428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 23956 13073 16 0 210921 0
vsize: 843748
[startup+280.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 26926 49 0 0 25 0 11 0 541525365 863997952 24008 4294967295 134512640 134569956 3221224400 3221214892 1131213868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24008 13073 16 0 210921 0
vsize: 843748
[startup+290.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 27908 49 0 0 25 0 11 0 541525365 863997952 24064 4294967295 134512640 134569956 3221224400 3221214800 1131214192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24064 13073 16 0 210921 0
vsize: 843748
[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 28892 49 0 0 25 0 11 0 541525365 863997952 24127 4294967295 134512640 134569956 3221224400 3221214480 1131291354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24127 13073 16 0 210921 0
vsize: 843748
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 29881 49 0 0 25 0 11 0 541525365 863997952 24151 4294967295 134512640 134569956 3221224400 3221214936 1131281497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24151 13073 16 0 210921 0
vsize: 843748
[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 30865 50 0 0 25 0 11 0 541525365 863997952 24192 4294967295 134512640 134569956 3221224400 3221214368 1131592749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24192 13073 16 0 210921 0
vsize: 843748
[startup+330.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 31851 50 0 0 25 0 11 0 541525365 863997952 24232 4294967295 134512640 134569956 3221224400 3221214800 1131214501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24232 13073 16 0 210921 0
vsize: 843748
[startup+340.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 32836 50 0 0 25 0 11 0 541525365 863997952 24290 4294967295 134512640 134569956 3221224400 3221214800 1131214306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24290 13073 16 0 210921 0
vsize: 843748
[startup+350.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 33821 50 0 0 25 0 11 0 541525365 863997952 24341 4294967295 134512640 134569956 3221224400 3221214800 1131214577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24341 13073 16 0 210921 0
vsize: 843748
[startup+360.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 34806 50 0 0 25 0 11 0 541525365 863997952 24378 4294967295 134512640 134569956 3221224400 3221214800 1131214165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24378 13073 16 0 210921 0
vsize: 843748
[startup+370.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 35787 50 0 0 25 0 11 0 541525365 863997952 24407 4294967295 134512640 134569956 3221224400 3221214536 1131241808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24407 13073 16 0 210921 0
vsize: 843748
[startup+380.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) S 19234 22929 22928 0 -1 0 18067 3 1 0 36768 50 0 0 25 0 11 0 541525365 863997952 24467 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24467 13073 16 0 210921 0
vsize: 843748
[startup+390.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 37750 50 0 0 25 0 11 0 541525365 863997952 24546 4294967295 134512640 134569956 3221224400 3221214896 1131223410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24546 13073 16 0 210921 0
vsize: 843748
[startup+400.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 38733 50 0 0 25 0 11 0 541525365 863997952 24619 4294967295 134512640 134569956 3221224400 3221214368 1131592914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24619 13073 16 0 210921 0
vsize: 843748
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 39717 50 0 0 25 0 11 0 541525365 863997952 24665 4294967295 134512640 134569956 3221224400 3221214840 1131192768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24665 13073 16 0 210921 0
vsize: 843748
[startup+420.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 40703 50 0 0 25 0 11 0 541525365 863997952 24710 4294967295 134512640 134569956 3221224400 3221214896 1131223049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24710 13073 16 0 210921 0
vsize: 843748
[startup+430.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 41689 50 0 0 25 0 11 0 541525365 863997952 24758 4294967295 134512640 134569956 3221224400 3221214936 1131281497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24758 13073 16 0 210921 0
vsize: 843748
[startup+440.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 42673 50 0 0 25 0 11 0 541525365 863997952 24788 4294967295 134512640 134569956 3221224400 3221214800 1131214475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24788 13073 16 0 210921 0
vsize: 843748
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 43657 50 0 0 25 0 11 0 541525365 863997952 24837 4294967295 134512640 134569956 3221224400 3221214640 1131236321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24837 13073 16 0 210921 0
vsize: 843748
[startup+460.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 44638 50 0 0 25 0 11 0 541525365 863997952 24891 4294967295 134512640 134569956 3221224400 3221214896 1131223237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24891 13073 16 0 210921 0
vsize: 843748
[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 45615 50 0 0 25 0 11 0 541525365 863997952 24935 4294967295 134512640 134569956 3221224400 3221214800 1131214306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24935 13073 16 0 210921 0
vsize: 843748
[startup+480.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 46589 50 0 0 25 0 11 0 541525365 863997952 24984 4294967295 134512640 134569956 3221224400 3221214800 1131214205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 24984 13073 16 0 210921 0
vsize: 843748
[startup+490.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19255
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 47560 50 0 0 25 0 11 0 541525365 863997952 25046 4294967295 134512640 134569956 3221224400 3221214568 1131252340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25046 13073 16 0 210921 0
vsize: 843748
[startup+500.055 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 48532 50 0 0 25 0 11 0 541525365 863997952 25173 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25173 13073 16 0 210921 0
vsize: 843748
[startup+510.055 s]
Raw data (loadavg): 1.06 1.02 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 49509 50 0 0 25 0 11 0 541525365 863997952 25307 4294967295 134512640 134569956 3221224400 3221214896 1131223024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25307 13073 16 0 210921 0
vsize: 843748
[startup+520.055 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 50489 50 0 0 25 0 11 0 541525365 863997952 25351 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25351 13073 16 0 210921 0
vsize: 843748
[startup+530.055 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 51472 50 0 0 25 0 11 0 541525365 863997952 25407 4294967295 134512640 134569956 3221224400 3221214456 1079721457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25407 13073 16 0 210921 0
vsize: 843748
[startup+540.057 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 52451 50 0 0 24 0 11 0 541525365 863997952 25468 4294967295 134512640 134569956 3221224400 3221214772 1131590695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25468 13073 16 0 210921 0
vsize: 843748
[startup+550.057 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 53436 50 0 0 25 0 11 0 541525365 863997952 25509 4294967295 134512640 134569956 3221224400 3221214800 1131215138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25509 13073 16 0 210921 0
vsize: 843748
[startup+560.057 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 54418 50 0 0 24 0 11 0 541525365 863997952 25544 4294967295 134512640 134569956 3221224400 3221214536 1131241962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25544 13073 16 0 210921 0
vsize: 843748
[startup+570.058 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 55400 50 0 0 25 0 11 0 541525365 863997952 25592 4294967295 134512640 134569956 3221224400 3221214840 1131192768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25592 13073 16 0 210921 0
vsize: 843748
[startup+580.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 56380 50 0 0 25 0 11 0 541525365 863997952 25631 4294967295 134512640 134569956 3221224400 3221214800 1131214356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25631 13073 16 0 210921 0
vsize: 843748
[startup+590.059 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 57357 50 0 0 25 0 11 0 541525365 863997952 25670 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25670 13073 16 0 210921 0
vsize: 843748
[startup+600.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 58333 50 0 0 24 0 11 0 541525365 863997952 25728 4294967295 134512640 134569956 3221224400 3221214800 1131214325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25728 13073 16 0 210921 0
vsize: 843748
[startup+610.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 59312 50 0 0 25 0 11 0 541525365 863997952 25790 4294967295 134512640 134569956 3221224400 3221214536 1131243714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25790 13073 16 0 210921 0
vsize: 843748
[startup+620.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19257
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 60290 50 0 0 25 0 11 0 541525365 863997952 25881 4294967295 134512640 134569956 3221224400 3221214892 1131215155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25881 13073 16 0 210921 0
vsize: 843748
[startup+630.061 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 61270 50 0 0 25 0 11 0 541525365 863997952 25936 4294967295 134512640 134569956 3221224400 3221214840 1131192768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25936 13073 16 0 210921 0
vsize: 843748
[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 62250 51 0 0 25 0 11 0 541525365 863997952 25973 4294967295 134512640 134569956 3221224400 3221214800 1131215138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 25973 13073 16 0 210921 0
vsize: 843748
[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 63232 51 0 0 25 0 11 0 541525365 863997952 26031 4294967295 134512640 134569956 3221224400 3221214840 1131192789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26031 13073 16 0 210921 0
vsize: 843748
[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 64211 51 0 0 25 0 11 0 541525365 863997952 26061 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26061 13073 16 0 210921 0
vsize: 843748
[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 65189 51 0 0 25 0 11 0 541525365 863997952 26147 4294967295 134512640 134569956 3221224400 3221214896 1131223428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26147 13073 16 0 210921 0
vsize: 843748
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 66167 51 0 0 25 0 11 0 541525365 863997952 26246 4294967295 134512640 134569956 3221224400 3221214800 1131213946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26246 13073 16 0 210921 0
vsize: 843748
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 67149 51 0 0 25 0 11 0 541525365 863997952 26323 4294967295 134512640 134569956 3221224400 3221214800 1131214808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26323 13073 16 0 210921 0
vsize: 843748
[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 68127 51 0 0 25 0 11 0 541525365 863997952 26376 4294967295 134512640 134569956 3221224400 3221214800 1131214306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26376 13073 16 0 210921 0
vsize: 843748
[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 69105 51 0 0 25 0 11 0 541525365 863997952 26424 4294967295 134512640 134569956 3221224400 3221214800 1131214306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26424 13073 16 0 210921 0
vsize: 843748
[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 70081 51 0 0 25 0 11 0 541525365 863997952 26486 4294967295 134512640 134569956 3221224400 3221214800 1131214844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26486 13073 16 0 210921 0
vsize: 843748
[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 71055 51 0 0 24 0 11 0 541525365 863997952 26585 4294967295 134512640 134569956 3221224400 3221214800 1131214905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26585 13073 16 0 210921 0
vsize: 843748
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 72031 51 0 0 25 0 11 0 541525365 863997952 26692 4294967295 134512640 134569956 3221224400 3221214800 1131214340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26692 13073 16 0 210921 0
vsize: 843748
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 73008 51 0 0 25 0 11 0 541525365 863997952 26822 4294967295 134512640 134569956 3221224400 3221214800 1131214464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26822 13073 16 0 210921 0
vsize: 843748
[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 73985 52 0 0 24 0 11 0 541525365 863997952 26925 4294967295 134512640 134569956 3221224400 3221214600 1131466197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26925 13073 16 0 210921 0
vsize: 843748
[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 74966 52 0 0 25 0 11 0 541525365 863997952 26994 4294967295 134512640 134569956 3221224400 3221214776 1131416673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 26994 13073 16 0 210921 0
vsize: 843748
[startup+780.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 75946 52 0 0 25 0 11 0 541525365 863997952 27046 4294967295 134512640 134569956 3221224400 3221214800 1131214298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27046 13073 16 0 210921 0
vsize: 843748
[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19258
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 76926 52 0 0 25 0 11 0 541525365 863997952 27096 4294967295 134512640 134569956 3221224400 3221214840 1131192789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27096 13073 16 0 210921 0
vsize: 843748
[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19261
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 77908 52 0 0 25 0 11 0 541525365 863997952 27159 4294967295 134512640 134569956 3221224400 3221214892 1131213875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27159 13073 16 0 210921 0
vsize: 843748
[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19262
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 78891 52 0 0 25 0 11 0 541525365 863997952 27241 4294967295 134512640 134569956 3221224400 3221214800 1131214254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27241 13073 16 0 210921 0
vsize: 843748
[startup+820.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19264
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 79878 52 0 0 25 0 11 0 541525365 863997952 27287 4294967295 134512640 134569956 3221224400 3221214800 1131213893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210937 27287 13073 16 0 210921 0
vsize: 843748
[startup+830.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19265
Raw data (stat): 19235 (java) S 19234 22929 22928 0 -1 0 18067 3 1 0 80867 52 0 0 25 0 11 0 541525365 863997952 27317 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27317 13073 16 0 210921 0
vsize: 843748
[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19266
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 81854 53 0 0 25 0 11 0 541525365 863997952 27346 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27346 13073 16 0 210921 0
vsize: 843748
[startup+850.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19267
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 82842 53 0 0 25 0 11 0 541525365 863997952 27371 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27371 13073 16 0 210921 0
vsize: 843748
[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 83830 53 0 0 25 0 11 0 541525365 863997952 27441 4294967295 134512640 134569956 3221224400 3221214896 1131223448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27441 13073 16 0 210921 0
vsize: 843748
[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 84815 53 0 0 25 0 11 0 541525365 863997952 27475 4294967295 134512640 134569956 3221224400 3221214568 1131252465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27475 13073 16 0 210921 0
vsize: 843748
[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 85796 53 0 0 25 0 11 0 541525365 863997952 27506 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27506 13073 16 0 210921 0
vsize: 843748
[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 86776 53 0 0 24 0 11 0 541525365 863997952 27558 4294967295 134512640 134569956 3221224400 3221214896 1131223051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27558 13073 16 0 210921 0
vsize: 843748
[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 87758 53 0 0 25 0 11 0 541525365 863997952 27614 4294967295 134512640 134569956 3221224400 3221214840 1131192977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27614 13073 16 0 210921 0
vsize: 843748
[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 88739 53 0 0 25 0 11 0 541525365 863997952 27684 4294967295 134512640 134569956 3221224400 3221214288 1080217243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27684 13073 16 0 210921 0
vsize: 843748
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 89722 53 0 0 25 0 11 0 541525365 863997952 27729 4294967295 134512640 134569956 3221224400 3221214840 1131192768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27729 13073 16 0 210921 0
vsize: 843748
[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 90702 54 0 0 25 0 11 0 541525365 863997952 27766 4294967295 134512640 134569956 3221224400 3221214800 1131214229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27766 13073 16 0 210921 0
vsize: 843748
[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 91684 54 0 0 25 0 11 0 541525365 863997952 27834 4294967295 134512640 134569956 3221224400 3221214800 1131214529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27834 13073 16 0 210921 0
vsize: 843748
[startup+950.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 92668 54 0 0 25 0 11 0 541525365 863997952 27890 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27890 13073 16 0 210921 0
vsize: 843748
[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 93649 54 0 0 24 0 11 0 541525365 863997952 27942 4294967295 134512640 134569956 3221224400 3221214872 1131222013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27942 13073 16 0 210921 0
vsize: 843748
[startup+970.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 94632 54 0 0 25 0 11 0 541525365 863997952 27976 4294967295 134512640 134569956 3221224400 3221214800 1131214254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 27976 13073 16 0 210921 0
vsize: 843748
[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 95616 54 0 0 25 0 11 0 541525365 863997952 28036 4294967295 134512640 134569956 3221224400 3221214536 1131241725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28036 13073 16 0 210921 0
vsize: 843748
[startup+990.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 96599 54 0 0 25 0 11 0 541525365 863997952 28106 4294967295 134512640 134569956 3221224400 3221214840 1131192918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28106 13073 16 0 210921 0
vsize: 843748
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 97584 54 0 0 25 0 11 0 541525365 863997952 28133 4294967295 134512640 134569956 3221224400 3221214840 1131192768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28133 13073 16 0 210921 0
vsize: 843748
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19268
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 98569 54 0 0 24 0 11 0 541525365 863997952 28161 4294967295 134512640 134569956 3221224400 3221214408 1131551212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28161 13073 16 0 210921 0
vsize: 843748
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19269
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18067 3 1 0 99553 54 0 0 25 0 11 0 541525365 863997952 28193 4294967295 134512640 134569956 3221224400 3221214896 1131223024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28193 13073 16 0 210921 0
vsize: 843748
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19270
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 100532 54 0 0 25 0 11 0 541525365 863997952 28243 4294967295 134512640 134569956 3221224400 3221214896 1131224100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28243 13073 16 0 210921 0
vsize: 843748
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19271
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 101517 54 0 0 25 0 11 0 541525365 863997952 28284 4294967295 134512640 134569956 3221224400 3221214840 1131192901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28284 13073 16 0 210921 0
vsize: 843748
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19273
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 102504 55 0 0 25 0 11 0 541525365 863997952 28307 4294967295 134512640 134569956 3221224400 3221214800 1131213881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28307 13073 16 0 210921 0
vsize: 843748
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19274
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 103495 55 0 0 25 0 11 0 541525365 863997952 28315 4294967295 134512640 134569956 3221224400 3221214452 1131552300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28315 13073 16 0 210921 0
vsize: 843748
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19274
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 104479 55 0 0 25 0 11 0 541525365 863997952 28323 4294967295 134512640 134569956 3221224400 3221214424 1131563829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28323 13073 16 0 210921 0
vsize: 843748
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19274
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 105462 55 0 0 25 0 11 0 541525365 863997952 28339 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28339 13073 16 0 210921 0
vsize: 843748
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19274
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 106444 55 0 0 25 0 11 0 541525365 863997952 28383 4294967295 134512640 134569956 3221224400 3221214800 1131213885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28383 13073 16 0 210921 0
vsize: 843748
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 107432 55 0 0 24 0 11 0 541525365 863997952 28414 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28414 13073 16 0 210921 0
vsize: 843748
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 108418 55 0 0 25 0 11 0 541525365 863997952 28424 4294967295 134512640 134569956 3221224400 3221214840 1131192793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28424 13073 16 0 210921 0
vsize: 843748
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 109402 55 0 0 24 0 11 0 541525365 863997952 28467 4294967295 134512640 134569956 3221224400 3221214896 1131223061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28467 13073 16 0 210921 0
vsize: 843748
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 110386 55 0 0 25 0 11 0 541525365 863997952 28490 4294967295 134512640 134569956 3221224400 3221214332 1131594768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28490 13073 16 0 210921 0
vsize: 843748
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 111371 55 0 0 25 0 11 0 541525365 863997952 28523 4294967295 134512640 134569956 3221224400 3221214432 1131498117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28523 13073 16 0 210921 0
vsize: 843748
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 112354 56 0 0 25 0 11 0 541525365 863997952 28562 4294967295 134512640 134569956 3221224400 3221214896 1131223049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28562 13073 16 0 210921 0
vsize: 843748
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 113335 56 0 0 25 0 11 0 541525365 863997952 28584 4294967295 134512640 134569956 3221224400 3221214512 1131241789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28584 13073 16 0 210921 0
vsize: 843748
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 114313 56 0 0 25 0 11 0 541525365 863997952 28642 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28642 13073 16 0 210921 0
vsize: 843748
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 115294 56 0 0 25 0 11 0 541525365 863997952 28702 4294967295 134512640 134569956 3221224400 3221214840 1131192793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28702 13073 16 0 210921 0
vsize: 843748
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 116279 56 0 0 25 0 11 0 541525365 863997952 28733 4294967295 134512640 134569956 3221224400 3221214240 1131594626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28733 13073 16 0 210921 0
vsize: 843748
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 117262 56 0 0 25 0 11 0 541525365 863997952 28766 4294967295 134512640 134569956 3221224400 3221214592 1131269566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28766 13073 16 0 210921 0
vsize: 843748
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 118245 56 0 0 25 0 11 0 541525365 863997952 28794 4294967295 134512640 134569956 3221224400 3221214512 1131241860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28794 13073 16 0 210921 0
vsize: 843748
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 119225 56 0 0 25 0 11 0 541525365 863997952 28812 4294967295 134512640 134569956 3221224400 3221214800 1131214449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28812 13073 16 0 210921 0
vsize: 843748
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 19276
Raw data (stat): 19235 (java) R 19234 22929 22928 0 -1 0 18068 3 1 0 120205 56 0 0 25 0 11 0 541525365 863997952 28868 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210937 28868 13073 16 0 210921 0
vsize: 843748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 19278
Raw data (stat): 19235 (java) Z 19234 22929 22928 0 -1 1036 18068 15297 1 1 120211 61 3875 53 25 0 1 0 541525365 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): 1242.01
CPU user time (s): 1240.86
CPU system time (s): 1.15082
CPU usage (%): 100.959
Max. virtual memory (Kb): 844420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####