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/miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUM	a733e9fa1e4e3ac90baf85249f7c3e9a
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 22083

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-22 02:03:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12138 boxname=wulflinc7 idbench=934 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 12138
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        306884 kB
Buffers:         23884 kB
Cached:         682172 kB
SwapCached:        328 kB
Active:          53292 kB
Inactive:       655300 kB
HighTotal:      131008 kB
HighFree:        33992 kB
LowTotal:       903652 kB
LowFree:        272892 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6460 kB
Slab:            13544 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:23:55 (client local time) WITH STATUS 143 IN 1226.99 SECONDS
stats: 12138 7 1226.99 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-p0282.opb
c reading problem 
c [nbvar=282]
c [nbconstr=523]
c time 1.502
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.796
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.897
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.594
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) : 3.936
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.058
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.762
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.631
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) : 270.463
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.761
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) : 801.108
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.951
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) : 820.515
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.858
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) : 839.472
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.857
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) : 858.069
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.898
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) : 1032.477
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) : 1039.948
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) : 1047.185
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) : 1054.385
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) : 1061.265
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) : 1068.353
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.85 0.97 0.95 2/54 24488
Raw data (stat): 24488 (runsolver) R 24487 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491754995 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.02 1.00 0.96 2/64 24502
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18086 3 1 0 686 43 0 0 25 0 11 0 491754995 863543296 21085 4294967295 134512640 134569956 3221224400 3221214640 1131240279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210826 21085 13073 16 0 210810 0
vsize: 843304
[startup+20 s]
Raw data (loadavg): 1.09 1.02 0.97 2/64 24502
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18087 3 1 0 1636 43 0 0 25 0 11 0 491754995 863379456 21336 4294967295 134512640 134569956 3221224400 3221214344 1078022265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210786 21336 13073 16 0 210770 0
vsize: 843144
[startup+30.0007 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 24502
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18087 3 1 0 2595 44 0 0 25 0 11 0 491754995 862593024 21456 4294967295 134512640 134569956 3221224400 3221214640 1131237104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 21456 13073 16 0 210578 0
vsize: 842376
[startup+40.0011 s]
Raw data (loadavg): 1.07 1.01 0.97 2/64 24502
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18087 3 1 0 3548 44 0 0 25 0 11 0 491754995 862593024 21671 4294967295 134512640 134569956 3221224400 3221214576 1131512748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 21671 13073 16 0 210578 0
vsize: 842376
[startup+50.0019 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18087 3 1 0 4509 45 0 0 25 0 11 0 491754995 862593024 21919 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 21919 13073 16 0 210578 0
vsize: 842376
[startup+60.0016 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 5470 45 0 0 24 0 11 0 491754995 862593024 22067 4294967295 134512640 134569956 3221224400 3221214840 1131211413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 22067 13073 16 0 210578 0
vsize: 842376
[startup+70.0017 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 6438 45 0 0 24 0 11 0 491754995 862593024 22213 4294967295 134512640 134569956 3221224400 3221214892 1131215212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22213 13073 16 0 210578 0
vsize: 842376
[startup+80.0018 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 7412 45 0 0 25 0 11 0 491754995 862593024 22286 4294967295 134512640 134569956 3221224400 3221214800 1131216279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22286 13073 16 0 210578 0
vsize: 842376
[startup+90.0014 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 8383 45 0 0 25 0 11 0 491754995 862593024 22376 4294967295 134512640 134569956 3221224400 3221214840 1131211409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22376 13073 16 0 210578 0
vsize: 842376
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 9353 45 0 0 25 0 11 0 491754995 862593024 22488 4294967295 134512640 134569956 3221224400 3221214956 1131386662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22488 13073 16 0 210578 0
vsize: 842376
[startup+110.003 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 10327 45 0 0 25 0 11 0 491754995 862593024 22557 4294967295 134512640 134569956 3221224400 3221214800 1131216219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22557 13073 16 0 210578 0
vsize: 842376
[startup+120.004 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) S 24487 22932 22931 0 -1 0 18088 3 1 0 11305 45 0 0 25 0 11 0 491754995 862593024 22648 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22648 13073 16 0 210578 0
vsize: 842376
[startup+130.006 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 12282 46 0 0 25 0 11 0 491754995 862593024 22720 4294967295 134512640 134569956 3221224400 3221214752 1131300433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22720 13073 16 0 210578 0
vsize: 842376
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 13260 46 0 0 25 0 11 0 491754995 862593024 22800 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22800 13073 16 0 210578 0
vsize: 842376
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 14239 46 0 0 25 0 11 0 491754995 862593024 22850 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22850 13073 16 0 210578 0
vsize: 842376
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 15214 46 0 0 24 0 11 0 491754995 862593024 22935 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22935 13073 16 0 210578 0
vsize: 842376
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24505
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 16193 46 0 0 25 0 11 0 491754995 862593024 22999 4294967295 134512640 134569956 3221224400 3221214820 1130916184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 22999 13073 16 0 210578 0
vsize: 842376
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 17173 46 0 0 25 0 11 0 491754995 862593024 23096 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23096 13073 16 0 210578 0
vsize: 842376
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 18154 46 0 0 25 0 11 0 491754995 862593024 23144 4294967295 134512640 134569956 3221224400 3221214800 1131215831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23144 13073 16 0 210578 0
vsize: 842376
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 19136 46 0 0 25 0 11 0 491754995 862593024 23211 4294967295 134512640 134569956 3221224400 3221214800 1131215237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23211 13073 16 0 210578 0
vsize: 842376
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 20117 47 0 0 25 0 11 0 491754995 862593024 23259 4294967295 134512640 134569956 3221224400 3221214748 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23259 13073 16 0 210578 0
vsize: 842376
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 21098 47 0 0 25 0 11 0 491754995 862593024 23320 4294967295 134512640 134569956 3221224400 3221214800 1131216478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23320 13073 16 0 210578 0
vsize: 842376
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 22080 47 0 0 25 0 11 0 491754995 862593024 23394 4294967295 134512640 134569956 3221224400 3221214800 1131216113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23394 13073 16 0 210578 0
vsize: 842376
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 23061 47 0 0 25 0 11 0 491754995 862593024 23484 4294967295 134512640 134569956 3221224400 3221214800 1131215551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23484 13073 16 0 210578 0
vsize: 842376
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 24047 47 0 0 25 0 11 0 491754995 862593024 23528 4294967295 134512640 134569956 3221224400 3221214800 1131215717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23528 13073 16 0 210578 0
vsize: 842376
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 25030 47 0 0 25 0 11 0 491754995 862593024 23599 4294967295 134512640 134569956 3221224400 3221214840 1131211392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23599 13073 16 0 210578 0
vsize: 842376
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24507
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 26010 47 0 0 25 0 11 0 491754995 862593024 23642 4294967295 134512640 134569956 3221224400 3221214800 1131215827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23642 13073 16 0 210578 0
vsize: 842376
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 26991 47 0 0 25 0 11 0 491754995 862593024 23681 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23681 13073 16 0 210578 0
vsize: 842376
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 27972 47 0 0 25 0 11 0 491754995 862593024 23741 4294967295 134512640 134569956 3221224400 3221214800 1131215642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23741 13073 16 0 210578 0
vsize: 842376
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 28957 47 0 0 25 0 11 0 491754995 862593024 23802 4294967295 134512640 134569956 3221224400 3221214840 1131211425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23802 13073 16 0 210578 0
vsize: 842376
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 29944 47 0 0 25 0 11 0 491754995 862593024 23835 4294967295 134512640 134569956 3221224400 3221214640 1131237247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 23835 13073 16 0 210578 0
vsize: 842376
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 30930 47 0 0 25 0 11 0 491754995 862593024 23868 4294967295 134512640 134569956 3221224400 3221214800 1131215819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 23868 13073 16 0 210578 0
vsize: 842376
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 31914 48 0 0 25 0 11 0 491754995 862593024 23909 4294967295 134512640 134569956 3221224400 3221214800 1131215669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 23909 13073 16 0 210578 0
vsize: 842376
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 32897 48 0 0 25 0 11 0 491754995 862593024 23963 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 23963 13073 16 0 210578 0
vsize: 842376
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 33884 48 0 0 25 0 11 0 491754995 862593024 24004 4294967295 134512640 134569956 3221224400 3221214800 1131215266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24004 13073 16 0 210578 0
vsize: 842376
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 34868 48 0 0 25 0 11 0 491754995 862593024 24060 4294967295 134512640 134569956 3221224400 3221214872 1131223337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24060 13073 16 0 210578 0
vsize: 842376
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 35850 49 0 0 25 0 11 0 491754995 862593024 24086 4294967295 134512640 134569956 3221224400 3221214800 1131215827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24086 13073 16 0 210578 0
vsize: 842376
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 36831 49 0 0 25 0 11 0 491754995 862593024 24120 4294967295 134512640 134569956 3221224400 3221214872 1131223357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24120 13073 16 0 210578 0
vsize: 842376
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 37810 50 0 0 25 0 11 0 491754995 862593024 24205 4294967295 134512640 134569956 3221224400 3221214800 1131215573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24205 13073 16 0 210578 0
vsize: 842376
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 38792 50 0 0 25 0 11 0 491754995 862593024 24289 4294967295 134512640 134569956 3221224400 3221214768 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24289 13073 16 0 210578 0
vsize: 842376
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 39776 51 0 0 25 0 11 0 491754995 862593024 24338 4294967295 134512640 134569956 3221224400 3221214800 1131215407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24338 13073 16 0 210578 0
vsize: 842376
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 40759 51 0 0 25 0 11 0 491754995 862593024 24379 4294967295 134512640 134569956 3221224400 3221214800 1131215266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24379 13073 16 0 210578 0
vsize: 842376
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 41744 52 0 0 25 0 11 0 491754995 862593024 24440 4294967295 134512640 134569956 3221224400 3221214800 1131216254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24440 13073 16 0 210578 0
vsize: 842376
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 42728 52 0 0 25 0 11 0 491754995 862593024 24465 4294967295 134512640 134569956 3221224400 3221214536 1131345508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24465 13073 16 0 210578 0
vsize: 842376
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 43712 52 0 0 25 0 11 0 491754995 862593024 24508 4294967295 134512640 134569956 3221224400 3221214896 1131224581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24508 13073 16 0 210578 0
vsize: 842376
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 44694 52 0 0 25 0 11 0 491754995 862593024 24558 4294967295 134512640 134569956 3221224400 3221214840 1131211413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24558 13073 16 0 210578 0
vsize: 842376
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) S 24487 22932 22931 0 -1 0 18088 3 1 0 45674 53 0 0 25 0 11 0 491754995 862593024 24598 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24598 13073 16 0 210578 0
vsize: 842376
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 46648 53 0 0 25 0 11 0 491754995 862593024 24646 4294967295 134512640 134569956 3221224400 3221214412 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24646 13073 16 0 210578 0
vsize: 842376
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 47620 53 0 0 25 0 11 0 491754995 862593024 24708 4294967295 134512640 134569956 3221224400 3221214800 1131215650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 24708 13073 16 0 210578 0
vsize: 842376
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 48591 54 0 0 25 0 11 0 491754995 862593024 24777 4294967295 134512640 134569956 3221224400 3221214872 1131223345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24777 13073 16 0 210578 0
vsize: 842376
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 49564 54 0 0 25 0 11 0 491754995 862593024 24924 4294967295 134512640 134569956 3221224400 3221214896 1131224581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 24924 13073 16 0 210578 0
vsize: 842376
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 50542 54 0 0 25 0 11 0 491754995 862593024 25013 4294967295 134512640 134569956 3221224400 3221214840 1131211392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25013 13073 16 0 210578 0
vsize: 842376
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 51522 55 0 0 25 0 11 0 491754995 862593024 25063 4294967295 134512640 134569956 3221224400 3221214536 1131242940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25063 13073 16 0 210578 0
vsize: 842376
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 52503 55 0 0 25 0 11 0 491754995 862593024 25120 4294967295 134512640 134569956 3221224400 3221214800 1131215642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25120 13073 16 0 210578 0
vsize: 842376
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 53484 56 0 0 25 0 11 0 491754995 862593024 25182 4294967295 134512640 134569956 3221224400 3221214552 1131591376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25182 13073 16 0 210578 0
vsize: 842376
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 54468 56 0 0 25 0 11 0 491754995 862593024 25206 4294967295 134512640 134569956 3221224400 3221214896 1131224405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25206 13073 16 0 210578 0
vsize: 842376
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 55448 56 0 0 24 0 11 0 491754995 862593024 25257 4294967295 134512640 134569956 3221224400 3221214360 1131587502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25257 13073 16 0 210578 0
vsize: 842376
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 56429 57 0 0 25 0 11 0 491754995 862593024 25293 4294967295 134512640 134569956 3221224400 3221214800 1131216148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25293 13073 16 0 210578 0
vsize: 842376
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 57408 57 0 0 25 0 11 0 491754995 862593024 25337 4294967295 134512640 134569956 3221224400 3221214800 1131215764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25337 13073 16 0 210578 0
vsize: 842376
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 58385 58 0 0 25 0 11 0 491754995 862593024 25376 4294967295 134512640 134569956 3221224400 3221214800 1131216294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25376 13073 16 0 210578 0
vsize: 842376
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 59360 58 0 0 25 0 11 0 491754995 862593024 25436 4294967295 134512640 134569956 3221224400 3221214568 1131254417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25436 13073 16 0 210578 0
vsize: 842376
[startup+620.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 60336 58 0 0 24 0 11 0 491754995 862593024 25511 4294967295 134512640 134569956 3221224400 3221214696 1131243358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25511 13073 16 0 210578 0
vsize: 842376
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24508
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 61316 59 0 0 25 0 11 0 491754995 862593024 25591 4294967295 134512640 134569956 3221224400 3221214800 1131215650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25591 13073 16 0 210578 0
vsize: 842376
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 62295 59 0 0 25 0 11 0 491754995 862593024 25636 4294967295 134512640 134569956 3221224400 3221214800 1131215811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25636 13073 16 0 210578 0
vsize: 842376
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 63275 59 0 0 25 0 11 0 491754995 862593024 25680 4294967295 134512640 134569956 3221224400 3221214536 1131243018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25680 13073 16 0 210578 0
vsize: 842376
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 64255 60 0 0 25 0 11 0 491754995 862593024 25738 4294967295 134512640 134569956 3221224400 3221214896 1131224853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25738 13073 16 0 210578 0
vsize: 842376
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 65232 60 0 0 25 0 11 0 491754995 862593024 25784 4294967295 134512640 134569956 3221224400 3221214800 1131216244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 25784 13073 16 0 210578 0
vsize: 842376
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 66210 61 0 0 25 0 11 0 491754995 862593024 25849 4294967295 134512640 134569956 3221224400 3221214800 1131215723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25849 13073 16 0 210578 0
vsize: 842376
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 67187 61 0 0 24 0 11 0 491754995 862593024 25962 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 25962 13073 16 0 210578 0
vsize: 842376
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 68168 61 0 0 25 0 11 0 491754995 862593024 26031 4294967295 134512640 134569956 3221224400 3221214800 1131215650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 26031 13073 16 0 210578 0
vsize: 842376
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 69148 61 0 0 25 0 11 0 491754995 862593024 26075 4294967295 134512640 134569956 3221224400 3221214800 1131215237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26075 13073 16 0 210578 0
vsize: 842376
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 70125 61 0 0 25 0 11 0 491754995 862593024 26123 4294967295 134512640 134569956 3221224400 3221214536 1131243101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26123 13073 16 0 210578 0
vsize: 842376
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 71100 62 0 0 25 0 11 0 491754995 862593024 26189 4294967295 134512640 134569956 3221224400 3221214896 1131224714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26189 13073 16 0 210578 0
vsize: 842376
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 72076 62 0 0 25 0 11 0 491754995 862593024 26278 4294967295 134512640 134569956 3221224400 3221214640 1131240279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26278 13073 16 0 210578 0
vsize: 842376
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) S 24487 22932 22931 0 -1 0 18088 3 1 0 73050 63 0 0 25 0 11 0 491754995 862593024 26388 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26388 13073 16 0 210578 0
vsize: 842376
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 74026 63 0 0 25 0 11 0 491754995 862593024 26528 4294967295 134512640 134569956 3221224400 3221214896 1131224754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26528 13073 16 0 210578 0
vsize: 842376
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 75005 64 0 0 25 0 11 0 491754995 862593024 26618 4294967295 134512640 134569956 3221224400 3221214500 1079721552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26618 13073 16 0 210578 0
vsize: 842376
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 75985 64 0 0 25 0 11 0 491754995 862593024 26687 4294967295 134512640 134569956 3221224400 3221214320 1080217358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26687 13073 16 0 210578 0
vsize: 842376
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 76965 65 0 0 25 0 11 0 491754995 862593024 26739 4294967295 134512640 134569956 3221224400 3221214840 1131211392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26739 13073 16 0 210578 0
vsize: 842376
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24509
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 77945 65 0 0 25 0 11 0 491754995 862593024 26789 4294967295 134512640 134569956 3221224400 3221214800 1131215665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26789 13073 16 0 210578 0
vsize: 842376
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24510
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 78927 65 0 0 25 0 11 0 491754995 862593024 26852 4294967295 134512640 134569956 3221224400 3221214800 1131215407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26852 13073 16 0 210578 0
vsize: 842376
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24511
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 79911 66 0 0 24 0 11 0 491754995 862593024 26934 4294967295 134512640 134569956 3221224400 3221214800 1131215364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26934 13073 16 0 210578 0
vsize: 842376
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24512
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 80898 66 0 0 25 0 11 0 491754995 862593024 26974 4294967295 134512640 134569956 3221224400 3221214800 1131216188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 26974 13073 16 0 210578 0
vsize: 842376
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24513
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 81885 67 0 0 25 0 11 0 491754995 862593024 27007 4294967295 134512640 134569956 3221224400 3221214800 1131215598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27007 13073 16 0 210578 0
vsize: 842376
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24515
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 82873 68 0 0 25 0 11 0 491754995 862593024 27038 4294967295 134512640 134569956 3221224400 3221214800 1131215598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27038 13073 16 0 210578 0
vsize: 842376
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24516
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 83860 68 0 0 25 0 11 0 491754995 862593024 27055 4294967295 134512640 134569956 3221224400 3221214840 1131211385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27055 13073 16 0 210578 0
vsize: 842376
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 84849 69 0 0 25 0 11 0 491754995 862593024 27117 4294967295 134512640 134569956 3221224400 3221214840 1131211409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27117 13073 16 0 210578 0
vsize: 842376
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 85833 69 0 0 25 0 11 0 491754995 862593024 27164 4294967295 134512640 134569956 3221224400 3221214872 1131223289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27164 13073 16 0 210578 0
vsize: 842376
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 86816 70 0 0 25 0 11 0 491754995 862593024 27182 4294967295 134512640 134569956 3221224400 3221214936 1131386713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 27182 13073 16 0 210578 0
vsize: 842376
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 87796 70 0 0 25 0 11 0 491754995 862593024 27230 4294967295 134512640 134569956 3221224400 3221214840 1131211413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27230 13073 16 0 210578 0
vsize: 842376
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 88778 71 0 0 25 0 11 0 491754995 862593024 27296 4294967295 134512640 134569956 3221224400 3221214840 1131211392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27296 13073 16 0 210578 0
vsize: 842376
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 89758 71 0 0 25 0 11 0 491754995 862593024 27366 4294967295 134512640 134569956 3221224400 3221214748 1131287016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27366 13073 16 0 210578 0
vsize: 842376
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 90740 72 0 0 25 0 11 0 491754995 862593024 27417 4294967295 134512640 134569956 3221224400 3221214536 1131243144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27417 13073 16 0 210578 0
vsize: 842376
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 91721 73 0 0 25 0 11 0 491754995 862593024 27455 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27455 13073 16 0 210578 0
vsize: 842376
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 92702 73 0 0 25 0 11 0 491754995 862593024 27519 4294967295 134512640 134569956 3221224400 3221214840 1131211392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27519 13073 16 0 210578 0
vsize: 842376
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 93686 74 0 0 25 0 11 0 491754995 862593024 27575 4294967295 134512640 134569956 3221224400 3221214800 1131216229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27575 13073 16 0 210578 0
vsize: 842376
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 94667 75 0 0 24 0 11 0 491754995 862593024 27618 4294967295 134512640 134569956 3221224400 3221214800 1131215684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27618 13073 16 0 210578 0
vsize: 842376
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 95650 75 0 0 25 0 11 0 491754995 862593024 27655 4294967295 134512640 134569956 3221224400 3221214644 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27655 13073 16 0 210578 0
vsize: 842376
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 96632 76 0 0 25 0 11 0 491754995 862593024 27713 4294967295 134512640 134569956 3221224400 3221214536 1131374284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27713 13073 16 0 210578 0
vsize: 842376
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 97616 76 0 0 25 0 11 0 491754995 862593024 27783 4294967295 134512640 134569956 3221224400 3221214800 1131215290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27783 13073 16 0 210578 0
vsize: 842376
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 98601 77 0 0 25 0 11 0 491754995 862593024 27819 4294967295 134512640 134569956 3221224400 3221214800 1131215795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27819 13073 16 0 210578 0
vsize: 842376
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18088 3 1 0 99585 78 0 0 25 0 11 0 491754995 862593024 27848 4294967295 134512640 134569956 3221224400 3221214840 1131211558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27848 13073 16 0 210578 0
vsize: 842376
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24517
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 100569 78 0 0 25 0 11 0 491754995 862593024 27875 4294967295 134512640 134569956 3221224400 3221214800 1131215596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27875 13073 16 0 210578 0
vsize: 842376
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24518
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 101553 79 0 0 25 0 11 0 491754995 862593024 27908 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27908 13073 16 0 210578 0
vsize: 842376
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24520
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 102533 79 0 0 25 0 11 0 491754995 862593024 27957 4294967295 134512640 134569956 3221224400 3221214800 1131216244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27957 13073 16 0 210578 0
vsize: 842376
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24521
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 103519 80 0 0 25 0 11 0 491754995 862593024 27987 4294967295 134512640 134569956 3221224400 3221214800 1131215630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 27987 13073 16 0 210578 0
vsize: 842376
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.97 3/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 104508 81 1 0 24 0 11 0 491754995 862593024 28001 4294967295 134512640 134569956 3221224400 3221214156 1077371616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210594 28001 13073 16 0 210578 0
vsize: 842376
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 105496 81 1 0 25 0 11 0 491754995 862593024 28009 4294967295 134512640 134569956 3221224400 3221214800 1131215898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28009 13073 16 0 210578 0
vsize: 842376
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 106479 81 1 0 25 0 11 0 491754995 862593024 28024 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28024 13073 16 0 210578 0
vsize: 842376
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 107461 81 1 0 25 0 11 0 491754995 862593024 28033 4294967295 134512640 134569956 3221224400 3221214840 1131211490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28033 13073 16 0 210578 0
vsize: 842376
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 108447 82 1 0 24 0 11 0 491754995 862593024 28088 4294967295 134512640 134569956 3221224400 3221214800 1131215598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28088 13073 16 0 210578 0
vsize: 842376
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 109434 82 1 0 24 0 11 0 491754995 862593024 28111 4294967295 134512640 134569956 3221224400 3221214840 1131211435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28111 13073 16 0 210578 0
vsize: 842376
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 110420 83 1 0 25 0 11 0 491754995 862593024 28134 4294967295 134512640 134569956 3221224400 3221214840 1131211425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28134 13073 16 0 210578 0
vsize: 842376
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 111404 84 1 0 25 0 11 0 491754995 862593024 28169 4294967295 134512640 134569956 3221224400 3221214800 1131216482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28169 13073 16 0 210578 0
vsize: 842376
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 112389 84 1 0 25 0 11 0 491754995 862593024 28191 4294967295 134512640 134569956 3221224400 3221214840 1131211470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28191 13073 16 0 210578 0
vsize: 842376
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 113373 85 1 0 25 0 11 0 491754995 862593024 28226 4294967295 134512640 134569956 3221224400 3221214800 1131215819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28226 13073 16 0 210578 0
vsize: 842376
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 114354 85 1 0 25 0 11 0 491754995 862593024 28266 4294967295 134512640 134569956 3221224400 3221214800 1131216203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28266 13073 16 0 210578 0
vsize: 842376
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 115334 86 1 0 25 0 11 0 491754995 862593024 28299 4294967295 134512640 134569956 3221224400 3221214800 1131215898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28299 13073 16 0 210578 0
vsize: 842376
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 116314 86 1 0 25 0 11 0 491754995 862593024 28347 4294967295 134512640 134569956 3221224400 3221214896 1131224834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28347 13073 16 0 210578 0
vsize: 842376
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 117296 86 1 0 25 0 11 0 491754995 862593024 28403 4294967295 134512640 134569956 3221224400 3221214328 1131572209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28403 13073 16 0 210578 0
vsize: 842376
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 118280 87 1 0 25 0 11 0 491754995 862593024 28435 4294967295 134512640 134569956 3221224400 3221214512 1131243523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28435 13073 16 0 210578 0
vsize: 842376
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 119265 87 1 0 25 0 11 0 491754995 862593024 28469 4294967295 134512640 134569956 3221224400 3221214512 1131243685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28469 13073 16 0 210578 0
vsize: 842376
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24523
Raw data (stat): 24488 (java) R 24487 22932 22931 0 -1 0 18089 3 1 0 120246 87 1 0 25 0 11 0 491754995 862593024 28497 4294967295 134512640 134569956 3221224400 3221214800 1131215653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210594 28497 13073 16 0 210578 0
vsize: 842376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 24525
Raw data (stat): 24488 (java) Z 24487 22932 22931 0 -1 1036 18089 7938 1 0 120249 88 2327 33 25 0 1 0 491754995 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.12
CPU time (s): 1226.99
CPU user time (s): 1225.77
CPU system time (s): 1.21381
CPU usage (%): 99.7453
Max. virtual memory (Kb): 843304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####