PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.02084
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 15607

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 05:13:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17130 boxname=wulflinc17 idbench=1318 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 17130
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        873100 kB
Buffers:          6556 kB
Cached:         126672 kB
SwapCached:        596 kB
Active:          53808 kB
Inactive:        82968 kB
HighTotal:      131008 kB
HighFree:        31220 kB
LowTotal:       903652 kB
LowFree:        841880 kB
SwapTotal:     2097892 kB
SwapFree:      2097284 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6628 kB
Slab:            19180 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 05:33:39 (client local time) WITH STATUS 143 IN 1241.32 SECONDS
stats: 17130 7 1241.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-p0282.opb
c reading problem 
c [nbvar=282]
c [nbconstr=523]
c time 1.491
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.763
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.869
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) : 4.188
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.449
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) : 43.565
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) : 44.269
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) : 45.126
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) : 266.943
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) : 625.543
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) : 786.794
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) : 796.54
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) : 806.005
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) : 815.227
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) : 824.736
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) : 834.0
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) : 843.091
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) : 853.768
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) : 1015.442
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) : 1022.926
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) : 1030.101
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) : 1037.211
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) : 1044.027
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) : 1051.033
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.92 0.98 0.92 2/55 22901
Raw data (stat): 22901 (runsolver) R 22900 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542476836 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99997 s]
Raw data (loadavg): 1.09 1.02 0.93 2/65 22915
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18067 3 1 0 644 42 0 0 25 0 11 0 542476836 863715328 21061 4294967295 134512640 134569956 3221224400 3221214552 1131240695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210868 21061 13073 16 0 210852 0
vsize: 843472
[startup+20.0009 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 22915
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18068 3 1 0 1592 43 0 0 25 0 11 0 542476836 862724096 21134 4294967295 134512640 134569956 3221224400 3221214512 1131410075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 21134 13073 16 0 210610 0
vsize: 842504
[startup+30.0015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 22915
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18068 3 1 0 2545 43 0 0 24 0 11 0 542476836 862724096 21467 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 21467 13073 16 0 210610 0
vsize: 842504
[startup+40.0016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 22915
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18068 3 1 0 3497 43 0 0 25 0 11 0 542476836 862724096 21788 4294967295 134512640 134569956 3221224400 3221214528 1131555024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 21788 13073 16 0 210610 0
vsize: 842504
[startup+50.0031 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 22918
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18068 3 1 0 4456 43 0 0 25 0 11 0 542476836 862724096 21926 4294967295 134512640 134569956 3221224400 3221214840 1131192747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 21926 13073 16 0 210610 0
vsize: 842504
[startup+60.0064 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 22918
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 5418 43 0 0 24 0 11 0 542476836 862724096 22078 4294967295 134512640 134569956 3221224400 3221214800 1131214419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22078 13073 16 0 210610 0
vsize: 842504
[startup+70.0096 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) S 22900 20838 20837 0 -1 0 18069 3 1 0 6388 43 0 0 25 0 11 0 542476836 862724096 22230 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22230 13073 16 0 210610 0
vsize: 842504
[startup+80.0106 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 7360 43 0 0 25 0 11 0 542476836 862724096 22309 4294967295 134512640 134569956 3221224400 3221214800 1131215070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22309 13073 16 0 210610 0
vsize: 842504
[startup+90.0111 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 8330 44 0 0 25 0 11 0 542476836 862724096 22408 4294967295 134512640 134569956 3221224400 3221214896 1131223492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22408 13073 16 0 210610 0
vsize: 842504
[startup+100.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 9301 44 0 0 25 0 11 0 542476836 862724096 22513 4294967295 134512640 134569956 3221224400 3221214872 1131212393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22513 13073 16 0 210610 0
vsize: 842504
[startup+110.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 10275 44 0 0 25 0 11 0 542476836 862724096 22593 4294967295 134512640 134569956 3221224400 3221214800 1131214272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22593 13073 16 0 210610 0
vsize: 842504
[startup+120.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 11251 44 0 0 24 0 11 0 542476836 862724096 22685 4294967295 134512640 134569956 3221224400 3221214936 1131294297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22685 13073 16 0 210610 0
vsize: 842504
[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 12229 44 0 0 25 0 11 0 542476836 862724096 22753 4294967295 134512640 134569956 3221224400 3221214800 1131215074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22753 13073 16 0 210610 0
vsize: 842504
[startup+140.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 13207 44 0 0 25 0 11 0 542476836 862724096 22828 4294967295 134512640 134569956 3221224400 3221214800 1131214702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22828 13073 16 0 210610 0
vsize: 842504
[startup+150.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 14183 44 0 0 25 0 11 0 542476836 862724096 22889 4294967295 134512640 134569956 3221224400 3221214800 1131213821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22889 13073 16 0 210610 0
vsize: 842504
[startup+160.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 15160 44 0 0 25 0 11 0 542476836 862724096 22962 4294967295 134512640 134569956 3221224400 3221214896 1131223927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 22962 13073 16 0 210610 0
vsize: 842504
[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 16138 44 0 0 24 0 11 0 542476836 862724096 23033 4294967295 134512640 134569956 3221224400 3221214800 1131214910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23033 13073 16 0 210610 0
vsize: 842504
[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 17119 44 0 0 25 0 11 0 542476836 862724096 23131 4294967295 134512640 134569956 3221224400 3221214800 1131214391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23131 13073 16 0 210610 0
vsize: 842504
[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 18101 45 0 0 25 0 11 0 542476836 862724096 23176 4294967295 134512640 134569956 3221224400 3221214656 1131360500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23176 13073 16 0 210610 0
vsize: 842504
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 19082 45 0 0 25 0 11 0 542476836 862724096 23249 4294967295 134512640 134569956 3221224400 3221214800 1131214190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23249 13073 16 0 210610 0
vsize: 842504
[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 20062 45 0 0 25 0 11 0 542476836 862724096 23295 4294967295 134512640 134569956 3221224400 3221214856 1131131933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23295 13073 16 0 210610 0
vsize: 842504
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 21044 45 0 0 25 0 11 0 542476836 862724096 23368 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23368 13073 16 0 210610 0
vsize: 842504
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 22024 45 0 0 25 0 11 0 542476836 862724096 23442 4294967295 134512640 134569956 3221224400 3221214840 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23442 13073 16 0 210610 0
vsize: 842504
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 23008 45 0 0 25 0 11 0 542476836 862724096 23520 4294967295 134512640 134569956 3221224400 3221214700 1131256499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23520 13073 16 0 210610 0
vsize: 842504
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 23991 45 0 0 25 0 11 0 542476836 862724096 23568 4294967295 134512640 134569956 3221224400 3221214800 1131214334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23568 13073 16 0 210610 0
vsize: 842504
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22920
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 24974 45 0 0 25 0 11 0 542476836 862724096 23628 4294967295 134512640 134569956 3221224400 3221214552 1131240667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23628 13073 16 0 210610 0
vsize: 842504
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 25954 45 0 0 25 0 11 0 542476836 862724096 23666 4294967295 134512640 134569956 3221224400 3221214800 1131214234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23666 13073 16 0 210610 0
vsize: 842504
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 26934 45 0 0 25 0 11 0 542476836 862724096 23721 4294967295 134512640 134569956 3221224400 3221214800 1131214419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23721 13073 16 0 210610 0
vsize: 842504
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 27915 45 0 0 25 0 11 0 542476836 862724096 23788 4294967295 134512640 134569956 3221224400 3221214800 1131214936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23788 13073 16 0 210610 0
vsize: 842504
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 28901 45 0 0 25 0 11 0 542476836 862724096 23843 4294967295 134512640 134569956 3221224400 3221214872 1131212345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23843 13073 16 0 210610 0
vsize: 842504
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 29888 45 0 0 25 0 11 0 542476836 862724096 23869 4294967295 134512640 134569956 3221224400 3221214840 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23869 13073 16 0 210610 0
vsize: 842504
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 30872 45 0 0 24 0 11 0 542476836 862724096 23915 4294967295 134512640 134569956 3221224400 3221214608 1131214423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23915 13073 16 0 210610 0
vsize: 842504
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 31857 46 0 0 25 0 11 0 542476836 862724096 23950 4294967295 134512640 134569956 3221224400 3221214800 1131214190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 23950 13073 16 0 210610 0
vsize: 842504
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 32843 46 0 0 24 0 11 0 542476836 862724096 24014 4294967295 134512640 134569956 3221224400 3221214840 1131192729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24014 13073 16 0 210610 0
vsize: 842504
[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 33830 46 0 0 25 0 11 0 542476836 862724096 24056 4294967295 134512640 134569956 3221224400 3221214800 1131214190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24056 13073 16 0 210610 0
vsize: 842504
[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22921
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 34815 46 0 0 25 0 11 0 542476836 862724096 24090 4294967295 134512640 134569956 3221224400 3221214840 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24090 13073 16 0 210610 0
vsize: 842504
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 35796 46 0 0 25 0 11 0 542476836 862724096 24121 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24121 13073 16 0 210610 0
vsize: 842504
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 36775 46 0 0 25 0 11 0 542476836 862724096 24182 4294967295 134512640 134569956 3221224400 3221214800 1131215070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24182 13073 16 0 210610 0
vsize: 842504
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 37757 46 0 0 25 0 11 0 542476836 862724096 24271 4294967295 134512640 134569956 3221224400 3221214800 1131214419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24271 13073 16 0 210610 0
vsize: 842504
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 38740 46 0 0 25 0 11 0 542476836 862724096 24347 4294967295 134512640 134569956 3221224400 3221214800 1131214143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24347 13073 16 0 210610 0
vsize: 842504
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 39726 46 0 0 25 0 11 0 542476836 862724096 24377 4294967295 134512640 134569956 3221224400 3221214800 1131214469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24377 13073 16 0 210610 0
vsize: 842504
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 40710 46 0 0 25 0 11 0 542476836 862724096 24430 4294967295 134512640 134569956 3221224400 3221214800 1131214315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24430 13073 16 0 210610 0
vsize: 842504
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 41695 47 0 0 25 0 11 0 542476836 862724096 24473 4294967295 134512640 134569956 3221224400 3221214320 1131583717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24473 13073 16 0 210610 0
vsize: 842504
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 42680 47 0 0 25 0 11 0 542476836 862724096 24504 4294967295 134512640 134569956 3221224400 3221214800 1131213882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24504 13073 16 0 210610 0
vsize: 842504
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 43663 47 0 0 25 0 11 0 542476836 862724096 24552 4294967295 134512640 134569956 3221224400 3221214800 1131214190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24552 13073 16 0 210610 0
vsize: 842504
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 44645 47 0 0 25 0 11 0 542476836 862724096 24607 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 24607 13073 16 0 210610 0
vsize: 842504
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 45621 47 0 0 25 0 11 0 542476836 862724096 24650 4294967295 134512640 134569956 3221224400 3221214800 1131214423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24650 13073 16 0 210610 0
vsize: 842504
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 46592 47 0 0 25 0 11 0 542476836 862724096 24707 4294967295 134512640 134569956 3221224400 3221214456 1131602422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24707 13073 16 0 210610 0
vsize: 842504
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) S 22900 20838 20837 0 -1 0 18069 3 1 0 47564 47 0 0 25 0 11 0 542476836 862724096 24774 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24774 13073 16 0 210610 0
vsize: 842504
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 48537 48 0 0 24 0 11 0 542476836 862724096 24904 4294967295 134512640 134569956 3221224400 3221214876 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 24904 13073 16 0 210610 0
vsize: 842504
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 49515 48 0 0 25 0 11 0 542476836 862724096 25024 4294967295 134512640 134569956 3221224400 3221214800 1131214356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25024 13073 16 0 210610 0
vsize: 842504
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 50495 48 0 0 25 0 11 0 542476836 862724096 25075 4294967295 134512640 134569956 3221224400 3221214600 1131583800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25075 13073 16 0 210610 0
vsize: 842504
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 51478 48 0 0 25 0 11 0 542476836 862724096 25131 4294967295 134512640 134569956 3221224400 3221214416 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25131 13073 16 0 210610 0
vsize: 842504
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 52458 48 0 0 25 0 11 0 542476836 862724096 25197 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25197 13073 16 0 210610 0
vsize: 842504
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 53442 48 0 0 25 0 11 0 542476836 862724096 25222 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25222 13073 16 0 210610 0
vsize: 842504
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 54424 48 0 0 25 0 11 0 542476836 862724096 25268 4294967295 134512640 134569956 3221224400 3221214800 1131214787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25268 13073 16 0 210610 0
vsize: 842504
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 55406 48 0 0 25 0 11 0 542476836 862724096 25308 4294967295 134512640 134569956 3221224400 3221214800 1131214831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25308 13073 16 0 210610 0
vsize: 842504
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 56383 48 0 0 25 0 11 0 542476836 862724096 25355 4294967295 134512640 134569956 3221224400 3221214840 1131192737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25355 13073 16 0 210610 0
vsize: 842504
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 57360 48 0 0 25 0 11 0 542476836 862724096 25405 4294967295 134512640 134569956 3221224400 3221214800 1131214457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25405 13073 16 0 210610 0
vsize: 842504
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 58336 48 0 0 25 0 11 0 542476836 862724096 25456 4294967295 134512640 134569956 3221224400 3221214848 1131536751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25456 13073 16 0 210610 0
vsize: 842504
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 59313 48 0 0 24 0 11 0 542476836 862724096 25540 4294967295 134512640 134569956 3221224400 3221214320 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25540 13073 16 0 210610 0
vsize: 842504
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22923
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 60293 48 0 0 25 0 11 0 542476836 862724096 25610 4294967295 134512640 134569956 3221224400 3221214800 1131213889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25610 13073 16 0 210610 0
vsize: 842504
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22924
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 61274 48 0 0 25 0 11 0 542476836 862724096 25663 4294967295 134512640 134569956 3221224400 3221214800 1131214403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25663 13073 16 0 210610 0
vsize: 842504
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22924
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 62252 48 0 0 24 0 11 0 542476836 862724096 25709 4294967295 134512640 134569956 3221224400 3221214800 1131214871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25709 13073 16 0 210610 0
vsize: 842504
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22924
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 63235 48 0 0 25 0 11 0 542476836 862724096 25756 4294967295 134512640 134569956 3221224400 3221214800 1131214190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25756 13073 16 0 210610 0
vsize: 842504
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22924
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 64211 49 0 0 25 0 11 0 542476836 862724096 25820 4294967295 134512640 134569956 3221224400 3221214800 1131214419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25820 13073 16 0 210610 0
vsize: 842504
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 65190 49 0 0 25 0 11 0 542476836 862724096 25892 4294967295 134512640 134569956 3221224400 3221214840 1131192725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 25892 13073 16 0 210610 0
vsize: 842504
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 66168 49 0 0 25 0 11 0 542476836 862724096 26002 4294967295 134512640 134569956 3221224400 3221214800 1131214731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26002 13073 16 0 210610 0
vsize: 842504
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 67150 49 0 0 25 0 11 0 542476836 862724096 26057 4294967295 134512640 134569956 3221224400 3221214800 1131214469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26057 13073 16 0 210610 0
vsize: 842504
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 68128 49 0 0 25 0 11 0 542476836 862724096 26111 4294967295 134512640 134569956 3221224400 3221214892 1131192684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26111 13073 16 0 210610 0
vsize: 842504
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 69105 49 0 0 25 0 11 0 542476836 862724096 26158 4294967295 134512640 134569956 3221224400 3221214800 1131214846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26158 13073 16 0 210610 0
vsize: 842504
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 70081 49 0 0 25 0 11 0 542476836 862724096 26234 4294967295 134512640 134569956 3221224400 3221214896 1131224036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26234 13073 16 0 210610 0
vsize: 842504
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 71055 49 0 0 24 0 11 0 542476836 862724096 26354 4294967295 134512640 134569956 3221224400 3221214840 1131192802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26354 13073 16 0 210610 0
vsize: 842504
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 72031 49 0 0 25 0 11 0 542476836 862724096 26448 4294967295 134512640 134569956 3221224400 3221214800 1131214873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26448 13073 16 0 210610 0
vsize: 842504
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 73007 50 0 0 17 0 11 0 542476836 862724096 26585 4294967295 134512640 134569956 3221224400 3221214800 1131214740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26585 13073 16 0 210610 0
vsize: 842504
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 73987 50 0 0 25 0 11 0 542476836 862724096 26660 4294967295 134512640 134569956 3221224400 3221214784 1131286791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26660 13073 16 0 210610 0
vsize: 842504
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 74967 50 0 0 25 0 11 0 542476836 862724096 26728 4294967295 134512640 134569956 3221224400 3221214576 1131249570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26728 13073 16 0 210610 0
vsize: 842504
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22926
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 75947 50 0 0 25 0 11 0 542476836 862724096 26770 4294967295 134512640 134569956 3221224400 3221214896 1131223173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26770 13073 16 0 210610 0
vsize: 842504
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22927
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 76928 50 0 0 25 0 11 0 542476836 862724096 26838 4294967295 134512640 134569956 3221224400 3221214800 1131214016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26838 13073 16 0 210610 0
vsize: 842504
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22928
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 77909 50 0 0 25 0 11 0 542476836 862724096 26913 4294967295 134512640 134569956 3221224400 3221214892 1131213804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26913 13073 16 0 210610 0
vsize: 842504
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22929
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 78896 50 0 0 25 0 11 0 542476836 862724096 26969 4294967295 134512640 134569956 3221224400 3221214896 1131224054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 26969 13073 16 0 210610 0
vsize: 842504
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22930
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 79883 50 0 0 25 0 11 0 542476836 862724096 27018 4294967295 134512640 134569956 3221224400 3221214800 1131214453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27018 13073 16 0 210610 0
vsize: 842504
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22931
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 80871 50 0 0 25 0 11 0 542476836 862724096 27049 4294967295 134512640 134569956 3221224400 3221214840 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27049 13073 16 0 210610 0
vsize: 842504
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22932
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 81858 51 0 0 24 0 11 0 542476836 862724096 27061 4294967295 134512640 134569956 3221224400 3221214840 1131192837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27061 13073 16 0 210610 0
vsize: 842504
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22933
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 82847 51 0 0 25 0 11 0 542476836 862724096 27110 4294967295 134512640 134569956 3221224400 3221214800 1131214413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27110 13073 16 0 210610 0
vsize: 842504
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 83834 51 0 0 25 0 11 0 542476836 862724096 27169 4294967295 134512640 134569956 3221224400 3221214700 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27169 13073 16 0 210610 0
vsize: 842504
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 84818 51 0 0 25 0 11 0 542476836 862724096 27192 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27192 13073 16 0 210610 0
vsize: 842504
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 85798 51 0 0 25 0 11 0 542476836 862724096 27227 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27227 13073 16 0 210610 0
vsize: 842504
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 86778 51 0 0 25 0 11 0 542476836 862724096 27300 4294967295 134512640 134569956 3221224400 3221214800 1131214141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27300 13073 16 0 210610 0
vsize: 842504
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 87758 51 0 0 24 0 11 0 542476836 862724096 27364 4294967295 134512640 134569956 3221224400 3221214840 1131192729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27364 13073 16 0 210610 0
vsize: 842504
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 88740 52 0 0 25 0 11 0 542476836 862724096 27421 4294967295 134512640 134569956 3221224400 3221214800 1131214309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27421 13073 16 0 210610 0
vsize: 842504
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 89722 52 0 0 25 0 11 0 542476836 862724096 27454 4294967295 134512640 134569956 3221224400 3221214840 1131192697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27454 13073 16 0 210610 0
vsize: 842504
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 90701 52 0 0 25 0 11 0 542476836 862724096 27509 4294967295 134512640 134569956 3221224400 3221214576 1131249183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27509 13073 16 0 210610 0
vsize: 842504
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 91683 53 0 0 25 0 11 0 542476836 862724096 27580 4294967295 134512640 134569956 3221224400 3221214800 1131214375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27580 13073 16 0 210610 0
vsize: 842504
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 92666 53 0 0 25 0 11 0 542476836 862724096 27618 4294967295 134512640 134569956 3221224400 3221214876 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27618 13073 16 0 210610 0
vsize: 842504
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22934
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 93648 54 0 0 25 0 11 0 542476836 862724096 27664 4294967295 134512640 134569956 3221224400 3221214576 1131249156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27664 13073 16 0 210610 0
vsize: 842504
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22936
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 94629 54 0 0 25 0 11 0 542476836 862724096 27714 4294967295 134512640 134569956 3221224400 3221214800 1131214303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27714 13073 16 0 210610 0
vsize: 842504
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22936
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 95612 54 0 0 25 0 11 0 542476836 862724096 27780 4294967295 134512640 134569956 3221224400 3221214800 1131213889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27780 13073 16 0 210610 0
vsize: 842504
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22936
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 96597 55 0 0 25 0 11 0 542476836 862724096 27825 4294967295 134512640 134569956 3221224400 3221214800 1131214234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27825 13073 16 0 210610 0
vsize: 842504
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22936
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 97582 55 0 0 25 0 11 0 542476836 862724096 27855 4294967295 134512640 134569956 3221224400 3221214392 1080217313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27855 13073 16 0 210610 0
vsize: 842504
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22936
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 98568 55 0 0 25 0 11 0 542476836 862724096 27880 4294967295 134512640 134569956 3221224400 3221214800 1131213908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27880 13073 16 0 210610 0
vsize: 842504
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22937
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 99550 56 1 0 25 0 11 0 542476836 862724096 27914 4294967295 134512640 134569956 3221224400 3221214800 1131214924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210626 27914 13073 16 0 210610 0
vsize: 842504
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22938
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 100530 56 1 0 25 0 11 0 542476836 862724096 27965 4294967295 134512640 134569956 3221224400 3221214800 1131214245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 27965 13073 16 0 210610 0
vsize: 842504
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22940
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 101516 56 1 0 25 0 11 0 542476836 862724096 28003 4294967295 134512640 134569956 3221224400 3221214256 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28003 13073 16 0 210610 0
vsize: 842504
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22941
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 102504 57 1 0 25 0 11 0 542476836 862724096 28018 4294967295 134512640 134569956 3221224400 3221214840 1131192725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28018 13073 16 0 210610 0
vsize: 842504
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 103493 57 1 0 25 0 11 0 542476836 862724096 28025 4294967295 134512640 134569956 3221224400 3221214800 1131213825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28025 13073 16 0 210610 0
vsize: 842504
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 104478 57 1 0 25 0 11 0 542476836 862724096 28033 4294967295 134512640 134569956 3221224400 3221214840 1131192704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28033 13073 16 0 210610 0
vsize: 842504
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 105460 57 1 0 25 0 11 0 542476836 862724096 28049 4294967295 134512640 134569956 3221224400 3221214800 1131214303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28049 13073 16 0 210610 0
vsize: 842504
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 106444 57 1 0 25 0 11 0 542476836 862724096 28096 4294967295 134512640 134569956 3221224400 3221214724 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28096 13073 16 0 210610 0
vsize: 842504
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 107431 57 1 0 25 0 11 0 542476836 862724096 28126 4294967295 134512640 134569956 3221224400 3221214552 1131249267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28126 13073 16 0 210610 0
vsize: 842504
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 108416 57 1 0 24 0 11 0 542476836 862724096 28150 4294967295 134512640 134569956 3221224400 3221214840 1131192729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28150 13073 16 0 210610 0
vsize: 842504
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 109401 57 1 0 25 0 11 0 542476836 862724096 28179 4294967295 134512640 134569956 3221224400 3221214800 1131213964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28179 13073 16 0 210610 0
vsize: 842504
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 3/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 110386 57 1 0 25 0 11 0 542476836 862724096 28204 4294967295 134512640 134569956 3221224400 3221214800 1131214184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28204 13073 16 0 210610 0
vsize: 842504
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 111371 57 1 0 25 0 11 0 542476836 862724096 28241 4294967295 134512640 134569956 3221224400 3221214632 1131360818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28241 13073 16 0 210610 0
vsize: 842504
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 112352 57 1 0 25 0 11 0 542476836 862724096 28283 4294967295 134512640 134569956 3221224400 3221214800 1131214515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28283 13073 16 0 210610 0
vsize: 842504
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 113330 57 1 0 25 0 11 0 542476836 862724096 28316 4294967295 134512640 134569956 3221224400 3221214800 1131213937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28316 13073 16 0 210610 0
vsize: 842504
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 114311 57 1 0 25 0 11 0 542476836 862724096 28364 4294967295 134512640 134569956 3221224400 3221214552 1131249376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28364 13073 16 0 210610 0
vsize: 842504
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 115293 57 1 0 25 0 11 0 542476836 862724096 28420 4294967295 134512640 134569956 3221224400 3221214800 1131214816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28420 13073 16 0 210610 0
vsize: 842504
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 116277 58 1 0 25 0 11 0 542476836 862724096 28452 4294967295 134512640 134569956 3221224400 3221214568 1131514617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28452 13073 16 0 210610 0
vsize: 842504
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 117262 58 1 0 25 0 11 0 542476836 862724096 28486 4294967295 134512640 134569956 3221224400 3221214800 1131214871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28486 13073 16 0 210610 0
vsize: 842504
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 118241 58 1 0 24 0 11 0 542476836 862724096 28514 4294967295 134512640 134569956 3221224400 3221214800 1131214836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28514 13073 16 0 210610 0
vsize: 842504
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 119220 58 1 0 25 0 11 0 542476836 862724096 28540 4294967295 134512640 134569956 3221224400 3221214800 1131213858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28540 13073 16 0 210610 0
vsize: 842504
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 22942
Raw data (stat): 22901 (java) R 22900 20838 20837 0 -1 0 18069 3 1 0 120203 58 1 0 25 0 11 0 542476836 862724096 28598 4294967295 134512640 134569956 3221224400 3221214892 1131213804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210626 28598 13073 16 0 210610 0
vsize: 842504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 22944
Raw data (stat): 22901 (java) Z 22900 20838 20837 0 -1 1036 18069 14467 1 0 120207 63 3809 52 25 0 1 0 542476836 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.17
CPU time (s): 1241.32
CPU user time (s): 1240.16
CPU system time (s): 1.16182
CPU usage (%): 100.907
Max. virtual memory (Kb): 843472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####