PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.01984
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 16306

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        653376 kB
Buffers:         25100 kB
Cached:         324556 kB
SwapCached:          0 kB
Active:         161648 kB
Inactive:       190872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        653124 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            23160 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:10:15 (client local time) WITH STATUS 143 IN 1226.63 SECONDS
stats: 13724 7 1226.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p0282.opb
c reading problem 
c [nbvar=282]
c [nbconstr=523]
c time 1.415
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.692
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.791
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.914
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.126
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) : 45.029
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.733
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.593
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) : 271.426
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) : 636.998
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) : 800.679
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) : 810.473
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) : 819.993
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) : 829.3
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) : 838.88
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) : 848.232
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) : 857.338
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) : 868.018
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) : 1028.811
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) : 1036.191
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) : 1043.346
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) : 1050.456
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) : 1057.24
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) : 1064.205
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.71 0.91 0.89 2/54 14435
Raw data (stat): 14435 (runsolver) R 14434 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543045503 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.06 0.97 0.91 4/64 14449
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18072 3 1 0 634 41 0 0 25 0 11 0 543045503 868999168 22247 4294967295 134512640 134569956 3221224400 3221214736 1131262960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212158 22247 13073 16 0 212142 0
vsize: 848632
[startup+20.0015 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 14449
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18073 3 1 0 1585 42 0 0 25 0 11 0 543045503 865411072 21718 4294967295 134512640 134569956 3221224400 3221214424 1078033516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 21718 13073 16 0 211266 0
vsize: 845128
[startup+30.0023 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 14449
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18073 3 1 0 2544 42 0 0 25 0 11 0 543045503 865411072 22025 4294967295 134512640 134569956 3221224400 3221214800 1131211670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22025 13073 16 0 211266 0
vsize: 845128
[startup+40.0028 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 14449
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18073 3 1 0 3497 42 0 0 25 0 11 0 543045503 865411072 22240 4294967295 134512640 134569956 3221224400 3221214536 1131235629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22240 13073 16 0 211266 0
vsize: 845128
[startup+50.0039 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18073 3 1 0 4458 42 0 0 25 0 11 0 543045503 865411072 22488 4294967295 134512640 134569956 3221224400 3221214896 1131220589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22488 13073 16 0 211266 0
vsize: 845128
[startup+60.0038 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 5419 43 0 0 25 0 11 0 543045503 865411072 22636 4294967295 134512640 134569956 3221224400 3221214800 1131211365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22636 13073 16 0 211266 0
vsize: 845128
[startup+70.0047 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 6387 43 0 0 25 0 11 0 543045503 865411072 22792 4294967295 134512640 134569956 3221224400 3221214696 1131235874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22792 13073 16 0 211266 0
vsize: 845128
[startup+80.0054 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 7361 43 0 0 25 0 11 0 543045503 865411072 22865 4294967295 134512640 134569956 3221224400 3221214800 1131211084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22865 13073 16 0 211266 0
vsize: 845128
[startup+90.0062 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 8331 43 0 0 25 0 11 0 543045503 865411072 22955 4294967295 134512640 134569956 3221224400 3221214800 1131211851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 22955 13073 16 0 211266 0
vsize: 845128
[startup+100.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 9302 43 0 0 25 0 11 0 543045503 865411072 23067 4294967295 134512640 134569956 3221224400 3221214840 1131199513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23067 13073 16 0 211266 0
vsize: 845128
[startup+110.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 10278 44 0 0 25 0 11 0 543045503 865411072 23129 4294967295 134512640 134569956 3221224400 3221214800 1131211310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23129 13073 16 0 211266 0
vsize: 845128
[startup+120.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 11253 44 0 0 25 0 11 0 543045503 865411072 23224 4294967295 134512640 134569956 3221224400 3221214800 1131211600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23224 13073 16 0 211266 0
vsize: 845128
[startup+130.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 12232 45 0 0 25 0 11 0 543045503 865411072 23286 4294967295 134512640 134569956 3221224400 3221214808 1131309548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23286 13073 16 0 211266 0
vsize: 845128
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 13207 45 0 0 24 0 11 0 543045503 865411072 23379 4294967295 134512640 134569956 3221224400 3221214800 1131211936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23379 13073 16 0 211266 0
vsize: 845128
[startup+150.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 14185 45 0 0 25 0 11 0 543045503 865411072 23429 4294967295 134512640 134569956 3221224400 3221214568 1131247618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23429 13073 16 0 211266 0
vsize: 845128
[startup+160.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 15162 46 0 0 25 0 11 0 543045503 865411072 23506 4294967295 134512640 134569956 3221224400 3221214896 1131221287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23506 13073 16 0 211266 0
vsize: 845128
[startup+170.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 16141 46 0 0 25 0 11 0 543045503 865411072 23577 4294967295 134512640 134569956 3221224400 3221214800 1131211342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23577 13073 16 0 211266 0
vsize: 845128
[startup+180.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 17120 47 0 0 24 0 11 0 543045503 865411072 23675 4294967295 134512640 134569956 3221224400 3221214840 1131199586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23675 13073 16 0 211266 0
vsize: 845128
[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 18103 47 0 0 25 0 11 0 543045503 865411072 23721 4294967295 134512640 134569956 3221224400 3221214536 1131235518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23721 13073 16 0 211266 0
vsize: 845128
[startup+200.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 19085 47 0 0 25 0 11 0 543045503 865411072 23787 4294967295 134512640 134569956 3221224400 3221214680 1131302148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23787 13073 16 0 211266 0
vsize: 845128
[startup+210.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 20066 47 0 0 25 0 11 0 543045503 865411072 23838 4294967295 134512640 134569956 3221224400 3221214800 1131211936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23838 13073 16 0 211266 0
vsize: 845128
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 21047 48 0 0 25 0 11 0 543045503 865411072 23896 4294967295 134512640 134569956 3221224400 3221214408 1131560725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23896 13073 16 0 211266 0
vsize: 845128
[startup+230.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 22027 48 0 0 24 0 11 0 543045503 865411072 23974 4294967295 134512640 134569956 3221224400 3221214800 1131211381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 23974 13073 16 0 211266 0
vsize: 845128
[startup+240.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 23010 48 0 0 25 0 11 0 543045503 865411072 24060 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24060 13073 16 0 211266 0
vsize: 845128
[startup+250.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 23994 49 0 0 25 0 11 0 543045503 865411072 24108 4294967295 134512640 134569956 3221224400 3221214896 1131221050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24108 13073 16 0 211266 0
vsize: 845128
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 24978 49 0 0 24 0 11 0 543045503 865411072 24179 4294967295 134512640 134569956 3221224400 3221214640 1131240080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24179 13073 16 0 211266 0
vsize: 845128
[startup+270.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14452
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 25960 49 0 0 25 0 11 0 543045503 865411072 24219 4294967295 134512640 134569956 3221224400 3221214800 1131211250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24219 13073 16 0 211266 0
vsize: 845128
[startup+280.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 26941 49 0 0 25 0 11 0 543045503 865411072 24250 4294967295 134512640 134569956 3221224400 3221214800 1131211119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24250 13073 16 0 211266 0
vsize: 845128
[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 27922 50 0 0 25 0 11 0 543045503 865411072 24310 4294967295 134512640 134569956 3221224400 3221214840 1131199513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24310 13073 16 0 211266 0
vsize: 845128
[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 28907 50 0 0 25 0 11 0 543045503 865411072 24381 4294967295 134512640 134569956 3221224400 3221214576 1131534140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24381 13073 16 0 211266 0
vsize: 845128
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 29893 51 0 0 25 0 11 0 543045503 865411072 24415 4294967295 134512640 134569956 3221224400 3221214536 1131235631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24415 13073 16 0 211266 0
vsize: 845128
[startup+320.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 30879 51 0 0 24 0 11 0 543045503 865411072 24442 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24442 13073 16 0 211266 0
vsize: 845128
[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 31864 51 0 0 25 0 11 0 543045503 865411072 24489 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24489 13073 16 0 211266 0
vsize: 845128
[startup+340.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 32848 52 0 0 24 0 11 0 543045503 865411072 24533 4294967295 134512640 134569956 3221224400 3221214892 1131199468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24533 13073 16 0 211266 0
vsize: 845128
[startup+350.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 33835 52 0 0 25 0 11 0 543045503 865411072 24584 4294967295 134512640 134569956 3221224400 3221214840 1131199509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24584 13073 16 0 211266 0
vsize: 845128
[startup+360.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 34820 52 0 0 25 0 11 0 543045503 865411072 24638 4294967295 134512640 134569956 3221224400 3221214800 1131211860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24638 13073 16 0 211266 0
vsize: 845128
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 35803 53 0 0 25 0 11 0 543045503 865411072 24664 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24664 13073 16 0 211266 0
vsize: 845128
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 36784 53 0 0 25 0 11 0 543045503 865411072 24697 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24697 13073 16 0 211266 0
vsize: 845128
[startup+390.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 37765 53 0 0 25 0 11 0 543045503 865411072 24773 4294967295 134512640 134569956 3221224400 3221214800 1131211719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24773 13073 16 0 211266 0
vsize: 845128
[startup+400.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 38747 53 0 0 25 0 11 0 543045503 865411072 24859 4294967295 134512640 134569956 3221224400 3221214800 1131211365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24859 13073 16 0 211266 0
vsize: 845128
[startup+410.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 39731 54 0 0 25 0 11 0 543045503 865411072 24917 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24917 13073 16 0 211266 0
vsize: 845128
[startup+420.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 40716 54 0 0 25 0 11 0 543045503 865411072 24953 4294967295 134512640 134569956 3221224400 3221214896 1131220607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 24953 13073 16 0 211266 0
vsize: 845128
[startup+430.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 41702 54 0 0 25 0 11 0 543045503 865411072 25010 4294967295 134512640 134569956 3221224400 3221214536 1131237080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25010 13073 16 0 211266 0
vsize: 845128
[startup+440.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 42686 55 0 0 25 0 11 0 543045503 865411072 25042 4294967295 134512640 134569956 3221224400 3221214568 1131248225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25042 13073 16 0 211266 0
vsize: 845128
[startup+450.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 43670 55 0 0 25 0 11 0 543045503 865411072 25088 4294967295 134512640 134569956 3221224400 3221214896 1131220293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25088 13073 16 0 211266 0
vsize: 845128
[startup+460.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 44654 55 0 0 25 0 11 0 543045503 865411072 25128 4294967295 134512640 134569956 3221224400 3221214536 1131235850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25128 13073 16 0 211266 0
vsize: 845128
[startup+470.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 45634 56 0 0 25 0 11 0 543045503 865411072 25178 4294967295 134512640 134569956 3221224400 3221214892 1131199468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25178 13073 16 0 211266 0
vsize: 845128
[startup+480.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 46609 56 0 0 25 0 11 0 543045503 865411072 25226 4294967295 134512640 134569956 3221224400 3221214872 1131210017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25226 13073 16 0 211266 0
vsize: 845128
[startup+490.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 47582 56 0 0 25 0 11 0 543045503 865411072 25288 4294967295 134512640 134569956 3221224400 3221214896 1131220293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25288 13073 16 0 211266 0
vsize: 845128
[startup+500.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 48553 57 0 0 24 0 11 0 543045503 865411072 25357 4294967295 134512640 134569956 3221224400 3221214872 1131210033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25357 13073 16 0 211266 0
vsize: 845128
[startup+510.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 49530 57 0 0 25 0 11 0 543045503 865411072 25493 4294967295 134512640 134569956 3221224400 3221214800 1131211999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25493 13073 16 0 211266 0
vsize: 845128
[startup+520.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 50508 57 0 0 25 0 11 0 543045503 865411072 25586 4294967295 134512640 134569956 3221224400 3221214800 1131211310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25586 13073 16 0 211266 0
vsize: 845128
[startup+530.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 51488 57 0 0 25 0 11 0 543045503 865411072 25638 4294967295 134512640 134569956 3221224400 3221214536 1131235934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25638 13073 16 0 211266 0
vsize: 845128
[startup+540.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 52469 58 0 0 24 0 11 0 543045503 865411072 25700 4294967295 134512640 134569956 3221224400 3221214536 1131236561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25700 13073 16 0 211266 0
vsize: 845128
[startup+550.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 53451 58 0 0 24 0 11 0 543045503 865411072 25762 4294967295 134512640 134569956 3221224400 3221214800 1131211310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25762 13073 16 0 211266 0
vsize: 845128
[startup+560.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 54436 58 0 0 25 0 11 0 543045503 865411072 25786 4294967295 134512640 134569956 3221224400 3221214800 1131211119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25786 13073 16 0 211266 0
vsize: 845128
[startup+570.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 55419 59 0 0 25 0 11 0 543045503 865411072 25830 4294967295 134512640 134569956 3221224400 3221214536 1131235699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25830 13073 16 0 211266 0
vsize: 845128
[startup+580.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) S 14434 11931 11930 0 -1 0 18074 3 1 0 56402 59 0 0 25 0 11 0 543045503 865411072 25871 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25871 13073 16 0 211266 0
vsize: 845128
[startup+590.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 57381 59 0 0 25 0 11 0 543045503 865411072 25911 4294967295 134512640 134569956 3221224400 3221214840 1131199505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25911 13073 16 0 211266 0
vsize: 845128
[startup+600.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 58357 60 0 0 25 0 11 0 543045503 865411072 25956 4294967295 134512640 134569956 3221224400 3221214568 1131249068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 25956 13073 16 0 211266 0
vsize: 845128
[startup+610.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 59333 60 0 0 25 0 11 0 543045503 865411072 26016 4294967295 134512640 134569956 3221224400 3221214800 1131211310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26016 13073 16 0 211266 0
vsize: 845128
[startup+620.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14453
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 60312 61 0 0 25 0 11 0 543045503 865411072 26085 4294967295 134512640 134569956 3221224400 3221214800 1131211092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26085 13073 16 0 211266 0
vsize: 845128
[startup+630.04 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 14506
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 61285 64 0 0 25 0 11 0 543045503 865411072 26171 4294967295 134512640 134569956 3221224400 3221214800 1131211423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26171 13073 16 0 211266 0
vsize: 845128
[startup+640.041 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 14507
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 62265 64 0 0 25 0 11 0 543045503 865411072 26216 4294967295 134512640 134569956 3221224400 3221214640 1131229786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26216 13073 16 0 211266 0
vsize: 845128
[startup+650.041 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 14507
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 63244 64 0 0 25 0 11 0 543045503 865411072 26260 4294967295 134512640 134569956 3221224400 3221214800 1131210990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 26260 13073 16 0 211266 0
vsize: 845128
[startup+660.041 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 14507
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 64225 64 0 0 25 0 11 0 543045503 865411072 26318 4294967295 134512640 134569956 3221224400 3221214800 1131211503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26318 13073 16 0 211266 0
vsize: 845128
[startup+670.042 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 14507
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 65202 65 0 0 25 0 11 0 543045503 865411072 26364 4294967295 134512640 134569956 3221224400 3221214896 1131221088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26364 13073 16 0 211266 0
vsize: 845128
[startup+680.042 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 14507
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 66181 65 0 0 25 0 11 0 543045503 865411072 26429 4294967295 134512640 134569956 3221224400 3221214896 1131220504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26429 13073 16 0 211266 0
vsize: 845128
[startup+690.043 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 67157 66 0 0 25 0 11 0 543045503 865411072 26542 4294967295 134512640 134569956 3221224400 3221214800 1131210978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26542 13073 16 0 211266 0
vsize: 845128
[startup+700.044 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 68139 66 0 0 25 0 11 0 543045503 865411072 26611 4294967295 134512640 134569956 3221224400 3221214800 1131210956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26611 13073 16 0 211266 0
vsize: 845128
[startup+710.044 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 69119 66 0 0 25 0 11 0 543045503 865411072 26655 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26655 13073 16 0 211266 0
vsize: 845128
[startup+720.044 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 70097 66 0 0 25 0 11 0 543045503 865411072 26703 4294967295 134512640 134569956 3221224400 3221214816 1131340590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26703 13073 16 0 211266 0
vsize: 845128
[startup+730.045 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 71072 66 0 0 25 0 11 0 543045503 865411072 26769 4294967295 134512640 134569956 3221224400 3221214896 1131220584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26769 13073 16 0 211266 0
vsize: 845128
[startup+740.046 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 72048 66 0 0 25 0 11 0 543045503 865411072 26858 4294967295 134512640 134569956 3221224400 3221214640 1131240087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26858 13073 16 0 211266 0
vsize: 845128
[startup+750.047 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 73021 67 0 0 25 0 11 0 543045503 865411072 26980 4294967295 134512640 134569956 3221224400 3221214800 1131212056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 26980 13073 16 0 211266 0
vsize: 845128
[startup+760.047 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 73998 67 0 0 25 0 11 0 543045503 865411072 27108 4294967295 134512640 134569956 3221224400 3221214800 1131210958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27108 13073 16 0 211266 0
vsize: 845128
[startup+770.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 74977 67 0 0 25 0 11 0 543045503 865411072 27198 4294967295 134512640 134569956 3221224400 3221214840 1131199493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27198 13073 16 0 211266 0
vsize: 845128
[startup+780.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 75957 67 0 0 25 0 11 0 543045503 865411072 27267 4294967295 134512640 134569956 3221224400 3221214800 1131211626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27267 13073 16 0 211266 0
vsize: 845128
[startup+790.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 76937 67 0 0 25 0 11 0 543045503 865411072 27319 4294967295 134512640 134569956 3221224400 3221214944 1131546175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27319 13073 16 0 211266 0
vsize: 845128
[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14509
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 77916 68 0 0 25 0 11 0 543045503 865411072 27369 4294967295 134512640 134569956 3221224400 3221214800 1131211308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27369 13073 16 0 211266 0
vsize: 845128
[startup+810.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14510
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 78896 68 0 0 24 0 11 0 543045503 865411072 27438 4294967295 134512640 134569956 3221224400 3221214800 1131211248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27438 13073 16 0 211266 0
vsize: 845128
[startup+820.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14511
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 79881 69 0 0 25 0 11 0 543045503 865411072 27514 4294967295 134512640 134569956 3221224400 3221214800 1131211211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27514 13073 16 0 211266 0
vsize: 845128
[startup+830.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14513
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 80866 69 0 0 25 0 11 0 543045503 865411072 27559 4294967295 134512640 134569956 3221224400 3221214840 1131199723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27559 13073 16 0 211266 0
vsize: 845128
[startup+840.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14514
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 81855 70 0 0 25 0 11 0 543045503 865411072 27587 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27587 13073 16 0 211266 0
vsize: 845128
[startup+850.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14515
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 82842 70 0 0 25 0 11 0 543045503 865411072 27618 4294967295 134512640 134569956 3221224400 3221214840 1131199491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 27618 13073 16 0 211266 0
vsize: 845128
[startup+860.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 14516
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 83829 70 0 0 25 0 11 0 543045503 865411072 27643 4294967295 134512640 134569956 3221224400 3221214800 1131211557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27643 13073 16 0 211266 0
vsize: 845128
[startup+870.052 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 84819 70 0 0 25 0 11 0 543045503 865411072 27695 4294967295 134512640 134569956 3221224400 3221214800 1131210941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27695 13073 16 0 211266 0
vsize: 845128
[startup+880.052 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 85802 70 0 0 25 0 11 0 543045503 865411072 27747 4294967295 134512640 134569956 3221224400 3221214892 1131199468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27747 13073 16 0 211266 0
vsize: 845128
[startup+890.053 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 86786 70 0 0 25 0 11 0 543045503 865411072 27766 4294967295 134512640 134569956 3221224400 3221214800 1131211218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27766 13073 16 0 211266 0
vsize: 845128
[startup+900.054 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 87766 70 0 0 25 0 11 0 543045503 865411072 27824 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27824 13073 16 0 211266 0
vsize: 845128
[startup+910.054 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 88746 70 0 0 25 0 11 0 543045503 865411072 27886 4294967295 134512640 134569956 3221224400 3221214800 1131211381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27886 13073 16 0 211266 0
vsize: 845128
[startup+920.055 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 89727 70 0 0 25 0 11 0 543045503 865411072 27956 4294967295 134512640 134569956 3221224400 3221214800 1131211491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 27956 13073 16 0 211266 0
vsize: 845128
[startup+930.055 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 90710 70 0 0 25 0 11 0 543045503 865411072 28001 4294967295 134512640 134569956 3221224400 3221214800 1131211365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28001 13073 16 0 211266 0
vsize: 845128
[startup+940.056 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 91690 70 0 0 24 0 11 0 543045503 865411072 28038 4294967295 134512640 134569956 3221224400 3221214840 1131199488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28038 13073 16 0 211266 0
vsize: 845128
[startup+950.057 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 92673 70 0 0 25 0 11 0 543045503 865411072 28106 4294967295 134512640 134569956 3221224400 3221214800 1131211381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28106 13073 16 0 211266 0
vsize: 845128
[startup+960.057 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 14517
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 93657 70 0 0 25 0 11 0 543045503 865411072 28162 4294967295 134512640 134569956 3221224400 3221214800 1131210956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28162 13073 16 0 211266 0
vsize: 845128
[startup+970.058 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 94640 70 0 0 25 0 11 0 543045503 865411072 28214 4294967295 134512640 134569956 3221224400 3221214800 1131210945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28214 13073 16 0 211266 0
vsize: 845128
[startup+980.059 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 95622 70 0 0 25 0 11 0 543045503 865411072 28248 4294967295 134512640 134569956 3221224400 3221214816 1131340171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28248 13073 16 0 211266 0
vsize: 845128
[startup+990.059 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 96605 70 0 0 25 0 11 0 543045503 865411072 28308 4294967295 134512640 134569956 3221224400 3221214696 1131235964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28308 13073 16 0 211266 0
vsize: 845128
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 97590 71 0 0 25 0 11 0 543045503 865411072 28374 4294967295 134512640 134569956 3221224400 3221214896 1131220470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28374 13073 16 0 211266 0
vsize: 845128
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 98574 71 0 0 25 0 11 0 543045503 865411072 28405 4294967295 134512640 134569956 3221224400 3221214896 1131220426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28405 13073 16 0 211266 0
vsize: 845128
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14519
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 99559 71 0 0 25 0 11 0 543045503 865411072 28433 4294967295 134512640 134569956 3221224400 3221214640 1131240112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28433 13073 16 0 211266 0
vsize: 845128
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14520
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 100545 71 0 0 25 0 11 0 543045503 865411072 28456 4294967295 134512640 134569956 3221224400 3221214896 1131220312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28456 13073 16 0 211266 0
vsize: 845128
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14521
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 101521 71 0 0 25 0 11 0 543045503 865411072 28515 4294967295 134512640 134569956 3221224400 3221214800 1131211365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28515 13073 16 0 211266 0
vsize: 845128
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14522
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 102508 71 0 0 25 0 11 0 543045503 865411072 28554 4294967295 134512640 134569956 3221224400 3221214800 1131210945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28554 13073 16 0 211266 0
vsize: 845128
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14524
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 103494 71 0 0 24 0 11 0 543045503 865411072 28579 4294967295 134512640 134569956 3221224400 3221214840 1131199656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211282 28579 13073 16 0 211266 0
vsize: 845128
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 104485 72 0 0 25 0 11 0 543045503 865411072 28587 4294967295 134512640 134569956 3221224400 3221214800 1131211924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28587 13073 16 0 211266 0
vsize: 845128
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 105469 72 0 0 25 0 11 0 543045503 865411072 28595 4294967295 134512640 134569956 3221224400 3221214584 1131275536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28595 13073 16 0 211266 0
vsize: 845128
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 106452 72 0 0 25 0 11 0 543045503 865411072 28603 4294967295 134512640 134569956 3221224400 3221214840 1131199513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28603 13073 16 0 211266 0
vsize: 845128
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 107434 72 0 0 20 0 11 0 543045503 865411072 28644 4294967295 134512640 134569956 3221224400 3221214800 1131211381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28644 13073 16 0 211266 0
vsize: 845128
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 3/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 108420 73 0 0 25 0 11 0 543045503 865411072 28677 4294967295 134512640 134569956 3221224400 3221214840 1131199513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28677 13073 16 0 211266 0
vsize: 845128
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 109406 73 0 0 25 0 11 0 543045503 865411072 28696 4294967295 134512640 134569956 3221224400 3221214544 1131248214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28696 13073 16 0 211266 0
vsize: 845128
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 110390 74 0 0 24 0 11 0 543045503 865411072 28739 4294967295 134512640 134569956 3221224400 3221214800 1131211480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28739 13073 16 0 211266 0
vsize: 845128
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 111374 74 0 0 25 0 11 0 543045503 865411072 28762 4294967295 134512640 134569956 3221224400 3221214840 1131199505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28762 13073 16 0 211266 0
vsize: 845128
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 112360 74 0 0 25 0 11 0 543045503 865411072 28794 4294967295 134512640 134569956 3221224400 3221214800 1131210967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28794 13073 16 0 211266 0
vsize: 845128
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) S 14434 11931 11930 0 -1 0 18074 3 1 0 113342 75 0 0 25 0 11 0 543045503 865411072 28823 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28823 13073 16 0 211266 0
vsize: 845128
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 114321 75 0 0 25 0 11 0 543045503 865411072 28852 4294967295 134512640 134569956 3221224400 3221214800 1131211076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28852 13073 16 0 211266 0
vsize: 845128
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 115300 75 0 0 25 0 11 0 543045503 865411072 28901 4294967295 134512640 134569956 3221224400 3221214544 1131249825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28901 13073 16 0 211266 0
vsize: 845128
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 116280 75 0 0 25 0 11 0 543045503 865411072 28957 4294967295 134512640 134569956 3221224400 3221214896 1131220875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28957 13073 16 0 211266 0
vsize: 845128
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 117262 75 0 0 25 0 11 0 543045503 865411072 28997 4294967295 134512640 134569956 3221224400 3221214632 1131352652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 28997 13073 16 0 211266 0
vsize: 845128
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 118248 76 0 0 25 0 11 0 543045503 865411072 29030 4294967295 134512640 134569956 3221224400 3221214400 1078032389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 29030 13073 16 0 211266 0
vsize: 845128
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 119232 76 0 0 25 0 11 0 543045503 865411072 29058 4294967295 134512640 134569956 3221224400 3221214800 1131211531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 29058 13073 16 0 211266 0
vsize: 845128
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 14525
Raw data (stat): 14435 (java) R 14434 11931 11930 0 -1 0 18074 3 1 0 120213 76 0 0 25 0 11 0 543045503 865411072 29084 4294967295 134512640 134569956 3221224400 3221214800 1131210967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211282 29084 13073 16 0 211266 0
vsize: 845128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 14527
Raw data (stat): 14435 (java) Z 14434 11931 11930 0 -1 1036 18074 7969 1 0 120214 76 2336 35 25 0 1 0 543045503 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.14
CPU time (s): 1226.63
CPU user time (s): 1225.51
CPU system time (s): 1.12183
CPU usage (%): 99.7145
Max. virtual memory (Kb): 848632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####