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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM3f087816af6a7fb75be2e9f81cc24df7
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.11
Number of variables1400
Total number of constraints109379
Number of constraints which are clauses109379
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 4510 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 18:01:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3114 boxname=wulflinc27 idbench=346 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3f087816af6a7fb75be2e9f81cc24df7  /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-3.opb
IDLAUNCH: 3114
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        882544 kB
Buffers:         32776 kB
Cached:          81908 kB
SwapCached:       3160 kB
Active:          46752 kB
Inactive:        73928 kB
HighTotal:      131008 kB
HighFree:        45724 kB
LowTotal:       903652 kB
LowFree:        836820 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25784 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:23:41 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3114 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-3.opb
c reading problem 
c [nbvar=1400]
c [nbconstr=109379]
c time 16.444
c #vars     1400
c #clauses  109379
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=0
c Current CPU time (ms) : 16.939
c starts	: 1
c conflicts	: 0
c decisions	: 1400
c propagations	: 1400
c inspects	: 0
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=-1
c Current CPU time (ms) : 17.15
c starts	: 2
c conflicts	: 0
c decisions	: 2799
c propagations	: 2800
c inspects	: 174
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=-2
c Current CPU time (ms) : 22.477
c starts	: 3
c conflicts	: 24
c decisions	: 4198
c propagations	: 4524
c inspects	: 4549
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-39
c Current CPU time (ms) : 22.941
c starts	: 4
c conflicts	: 24
c decisions	: 4237
c propagations	: 5924
c inspects	: 10545
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-40
c Current CPU time (ms) : 59.703
c starts	: 6
c conflicts	: 133
c decisions	: 4459
c propagations	: 9446
c inspects	: 70330
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 133
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-41
c Current CPU time (ms) : 68.442
c starts	: 7
c conflicts	: 144
c decisions	: 4513
c propagations	: 10912
c inspects	: 89961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 144
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-42
c Current CPU time (ms) : 79.532
c starts	: 8
c conflicts	: 163
c decisions	: 4573
c propagations	: 12410
c inspects	: 112288
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 163
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-43
c Current CPU time (ms) : 89.439
c starts	: 9
c conflicts	: 170
c decisions	: 4622
c propagations	: 13841
c inspects	: 134777
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 170
c root simplifications	: 9
#### 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.97 1.01 0.97 2/54 19914
Raw data (stat): 19914 (runsolver) R 19913 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477946883 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.05 1.02 0.98 2/63 19923
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18000 0 1 0 794 42 0 0 25 0 10 0 477946883 854257664 22998 4294967295 134512640 134569956 3221224416 3221213696 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208559 22998 13073 16 0 208543 0
vsize: 834236
[startup+20.0004 s]
Raw data (loadavg): 1.20 1.06 0.99 4/64 19926
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18068 3 1 0 1512 45 0 0 25 0 11 0 477946883 861507584 31982 4294967295 134512640 134569956 3221224416 3221213548 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210329 31982 13073 16 0 210313 0
vsize: 841316
[startup+30.0016 s]
Raw data (loadavg): 1.17 1.05 0.99 2/64 19928
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 2342 45 0 0 25 0 11 0 477946883 860700672 35480 4294967295 134512640 134569956 3221224416 3221214784 1131352476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210132 35480 13073 16 0 210116 0
vsize: 840528
[startup+40.0012 s]
Raw data (loadavg): 1.14 1.05 0.99 2/64 19928
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 3236 45 0 0 25 0 11 0 477946883 860700672 35997 4294967295 134512640 134569956 3221224416 3221214696 1131210702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210132 35997 13073 16 0 210116 0
vsize: 840528
[startup+50.0019 s]
Raw data (loadavg): 1.12 1.05 0.99 2/64 19928
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 4132 45 0 0 25 0 11 0 477946883 859795456 36384 4294967295 134512640 134569956 3221224416 3221214744 1131443622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209911 36384 13073 16 0 209895 0
vsize: 839644
[startup+60.0023 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 19928
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 5004 45 0 0 25 0 11 0 477946883 859795456 36946 4294967295 134512640 134569956 3221224416 3221214544 1131163928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209911 36946 13073 16 0 209895 0
vsize: 839644
[startup+70.0027 s]
Raw data (loadavg): 1.09 1.05 0.99 2/64 19930
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 5843 46 0 0 24 0 11 0 477946883 863989760 38270 4294967295 134512640 134569956 3221224416 3221214696 1131211105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 38270 13073 16 0 210919 0
vsize: 843740
[startup+80.0034 s]
Raw data (loadavg): 1.07 1.04 0.99 2/64 19930
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 6696 46 0 0 25 0 11 0 477946883 863989760 38697 4294967295 134512640 134569956 3221224416 3221214696 1131210821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 38697 13073 16 0 210919 0
vsize: 843740
[startup+90.0037 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 19931
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 7533 46 0 0 25 0 11 0 477946883 863989760 38892 4294967295 134512640 134569956 3221224416 3221213296 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 38892 13073 16 0 210919 0
vsize: 843740
[startup+100.004 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 8373 46 0 0 25 0 11 0 477946883 863989760 39153 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 39153 13073 16 0 210919 0
vsize: 843740
[startup+110.005 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 9225 47 0 0 25 0 11 0 477946883 863989760 39568 4294967295 134512640 134569956 3221224416 3221214600 1131576946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 39568 13073 16 0 210919 0
vsize: 843740
[startup+120.006 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 10104 47 0 0 25 0 11 0 477946883 863989760 39940 4294967295 134512640 134569956 3221224416 3221214600 1131577365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 39940 13073 16 0 210919 0
vsize: 843740
[startup+130.006 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 10985 48 0 0 25 0 11 0 477946883 863989760 40313 4294967295 134512640 134569956 3221224416 3221214696 1131210497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 40313 13073 16 0 210919 0
vsize: 843740
[startup+140.007 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 11869 48 0 0 25 0 11 0 477946883 863989760 40584 4294967295 134512640 134569956 3221224416 3221214784 1131394052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 40584 13073 16 0 210919 0
vsize: 843740
[startup+150.009 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 12762 48 0 0 25 0 11 0 477946883 863989760 40817 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 40817 13073 16 0 210919 0
vsize: 843740
[startup+160.009 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 13653 49 0 0 25 0 11 0 477946883 863989760 41075 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 41075 13073 16 0 210919 0
vsize: 843740
[startup+170.009 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 14520 49 0 0 25 0 11 0 477946883 863989760 41374 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 41374 13073 16 0 210919 0
vsize: 843740
[startup+180.01 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 15378 49 0 0 25 0 11 0 477946883 863989760 41620 4294967295 134512640 134569956 3221224416 3221214600 1131577128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 41620 13073 16 0 210919 0
vsize: 843740
[startup+190.01 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 16238 50 0 0 25 0 11 0 477946883 863989760 42226 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 42226 13073 16 0 210919 0
vsize: 843740
[startup+200.012 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 17124 50 0 0 25 0 11 0 477946883 863989760 42510 4294967295 134512640 134569956 3221224416 3221214600 1131578260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 42510 13073 16 0 210919 0
vsize: 843740
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 18007 50 0 0 25 0 11 0 477946883 863989760 43058 4294967295 134512640 134569956 3221224416 3221214720 1131243582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 43058 13073 16 0 210919 0
vsize: 843740
[startup+220.012 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 18885 51 0 0 25 0 11 0 477946883 863989760 43435 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 43435 13073 16 0 210919 0
vsize: 843740
[startup+230.013 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 19769 51 0 0 25 0 11 0 477946883 863989760 43806 4294967295 134512640 134569956 3221224416 3221214784 1131226280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 43806 13073 16 0 210919 0
vsize: 843740
[startup+240.014 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 20634 52 0 0 25 0 11 0 477946883 863989760 44403 4294967295 134512640 134569956 3221224416 3221214832 1131362610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 44403 13073 16 0 210919 0
vsize: 843740
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 21502 52 0 0 25 0 11 0 477946883 863989760 44731 4294967295 134512640 134569956 3221224416 3221214696 1131210502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 44731 13073 16 0 210919 0
vsize: 843740
[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 22352 52 0 0 25 0 11 0 477946883 863989760 44783 4294967295 134512640 134569956 3221224416 3221214696 1131211169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 44783 13073 16 0 210919 0
vsize: 843740
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19932
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 23220 52 0 0 25 0 11 0 477946883 863989760 45251 4294967295 134512640 134569956 3221224416 3221214784 1131392994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 45251 13073 16 0 210919 0
vsize: 843740
[startup+280.016 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 24102 53 0 0 25 0 11 0 477946883 863989760 45605 4294967295 134512640 134569956 3221224416 3221214760 1131425437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 45605 13073 16 0 210919 0
vsize: 843740
[startup+290.017 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 24974 53 0 0 25 0 11 0 477946883 863989760 45800 4294967295 134512640 134569956 3221224416 3221214696 1131210918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 45800 13073 16 0 210919 0
vsize: 843740
[startup+300.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 25847 54 0 0 25 0 11 0 477946883 863989760 46008 4294967295 134512640 134569956 3221224416 3221214696 1131211054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 46008 13073 16 0 210919 0
vsize: 843740
[startup+310.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 26734 54 0 0 25 0 11 0 477946883 863989760 46321 4294967295 134512640 134569956 3221224416 3221214696 1131210983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 46321 13073 16 0 210919 0
vsize: 843740
[startup+320.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 27607 54 0 0 25 0 11 0 477946883 863989760 46635 4294967295 134512640 134569956 3221224416 3221214696 1131211105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 46635 13073 16 0 210919 0
vsize: 843740
[startup+330.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 28483 54 0 0 25 0 11 0 477946883 863989760 46869 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 46869 13073 16 0 210919 0
vsize: 843740
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 29367 55 0 0 25 0 11 0 477946883 863989760 47188 4294967295 134512640 134569956 3221224416 3221214696 1131211817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 47188 13073 16 0 210919 0
vsize: 843740
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 30243 55 0 0 25 0 11 0 477946883 863989760 47449 4294967295 134512640 134569956 3221224416 3221214720 1131243470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 47449 13073 16 0 210919 0
vsize: 843740
[startup+360.021 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 31122 55 0 0 25 0 11 0 477946883 863989760 47735 4294967295 134512640 134569956 3221224416 3221214832 1131363338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 47735 13073 16 0 210919 0
vsize: 843740
[startup+370.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 32007 56 0 0 25 0 11 0 477946883 863989760 48052 4294967295 134512640 134569956 3221224416 3221214760 1131425400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 48052 13073 16 0 210919 0
vsize: 843740
[startup+380.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 32895 56 0 0 25 0 11 0 477946883 863989760 48309 4294967295 134512640 134569956 3221224416 3221214696 1131211842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 48309 13073 16 0 210919 0
vsize: 843740
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 33785 56 0 0 25 0 11 0 477946883 863989760 48567 4294967295 134512640 134569956 3221224416 3221214600 1131578253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 48567 13073 16 0 210919 0
vsize: 843740
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 34675 56 0 0 25 0 11 0 477946883 863989760 48742 4294967295 134512640 134569956 3221224416 3221214696 1131210962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 48742 13073 16 0 210919 0
vsize: 843740
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 35559 57 0 0 25 0 11 0 477946883 863989760 49067 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 49067 13073 16 0 210919 0
vsize: 843740
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 36448 57 0 0 25 0 11 0 477946883 863989760 49308 4294967295 134512640 134569956 3221224416 3221214704 1131603498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 49308 13073 16 0 210919 0
vsize: 843740
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 37359 57 0 0 25 0 11 0 477946883 863989760 49545 4294967295 134512640 134569956 3221224416 3221214696 1131210817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 49545 13073 16 0 210919 0
vsize: 843740
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 38252 57 0 0 24 0 11 0 477946883 863989760 49767 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 49767 13073 16 0 210919 0
vsize: 843740
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 39162 57 0 0 25 0 11 0 477946883 863989760 49989 4294967295 134512640 134569956 3221224416 3221214696 1131211791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 49989 13073 16 0 210919 0
vsize: 843740
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 40035 57 0 0 25 0 11 0 477946883 863989760 50230 4294967295 134512640 134569956 3221224416 3221214696 1131210724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 50230 13073 16 0 210919 0
vsize: 843740
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 40929 57 0 0 25 0 11 0 477946883 863989760 50398 4294967295 134512640 134569956 3221224416 3221214696 1131210821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 50398 13073 16 0 210919 0
vsize: 843740
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 41843 58 0 0 25 0 11 0 477946883 863989760 50796 4294967295 134512640 134569956 3221224416 3221214784 1131394059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 50796 13073 16 0 210919 0
vsize: 843740
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 42758 58 0 0 25 0 11 0 477946883 863989760 50836 4294967295 134512640 134569956 3221224416 3221214696 1131211817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 50836 13073 16 0 210919 0
vsize: 843740
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 43643 58 0 0 25 0 11 0 477946883 863989760 50869 4294967295 134512640 134569956 3221224416 3221214696 1131210809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 50869 13073 16 0 210919 0
vsize: 843740
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 44521 58 0 0 25 0 11 0 477946883 863989760 51121 4294967295 134512640 134569956 3221224416 3221214640 1131243276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 51121 13073 16 0 210919 0
vsize: 843740
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 45396 58 0 0 25 0 11 0 477946883 863989760 51519 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 51522 13073 16 0 210919 0
vsize: 843740
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 46297 58 0 0 25 0 11 0 477946883 863989760 51781 4294967295 134512640 134569956 3221224416 3221214696 1131211832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 51781 13073 16 0 210919 0
vsize: 843740
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 47210 58 0 0 25 0 11 0 477946883 863989760 51984 4294967295 134512640 134569956 3221224416 3221214832 1131362256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 51984 13073 16 0 210919 0
vsize: 843740
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 48116 58 0 0 25 0 11 0 477946883 863989760 52231 4294967295 134512640 134569956 3221224416 3221214784 1131394120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 52231 13073 16 0 210919 0
vsize: 843740
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 49024 58 0 0 25 0 11 0 477946883 863989760 52401 4294967295 134512640 134569956 3221224416 3221214696 1131211517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 52401 13073 16 0 210919 0
vsize: 843740
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 49929 59 0 0 25 0 11 0 477946883 863989760 52612 4294967295 134512640 134569956 3221224416 3221214696 1131211881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 52612 13073 16 0 210919 0
vsize: 843740
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 50827 59 0 0 25 0 11 0 477946883 863989760 52849 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 52849 13073 16 0 210919 0
vsize: 843740
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 51739 59 0 0 25 0 11 0 477946883 863989760 53090 4294967295 134512640 134569956 3221224416 3221214696 1131210465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 53090 13073 16 0 210919 0
vsize: 843740
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 52642 59 0 0 24 0 11 0 477946883 863989760 53255 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 53255 13073 16 0 210919 0
vsize: 843740
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 53553 59 0 0 25 0 11 0 477946883 863989760 53487 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 53487 13073 16 0 210919 0
vsize: 843740
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 54476 59 0 0 25 0 11 0 477946883 863989760 53715 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 53715 13073 16 0 210919 0
vsize: 843740
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 55403 59 0 0 25 0 11 0 477946883 863989760 53862 4294967295 134512640 134569956 3221224416 3221214784 1131394964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 53862 13073 16 0 210919 0
vsize: 843740
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 56320 59 0 0 25 0 11 0 477946883 863989760 54044 4294967295 134512640 134569956 3221224416 3221214784 1131394059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54044 13073 16 0 210919 0
vsize: 843740
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 57234 59 0 0 25 0 11 0 477946883 863989760 54167 4294967295 134512640 134569956 3221224416 3221214696 1131210469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54167 13073 16 0 210919 0
vsize: 843740
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 58146 59 0 0 25 0 11 0 477946883 863989760 54429 4294967295 134512640 134569956 3221224416 3221214784 1131612692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54429 13073 16 0 210919 0
vsize: 843740
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 59061 59 0 0 25 0 11 0 477946883 863989760 54590 4294967295 134512640 134569956 3221224416 3221214696 1131211538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54590 13073 16 0 210919 0
vsize: 843740
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 59994 59 0 0 25 0 11 0 477946883 863989760 54756 4294967295 134512640 134569956 3221224416 3221214704 1131603463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54756 13073 16 0 210919 0
vsize: 843740
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 60923 59 0 0 25 0 11 0 477946883 863989760 54937 4294967295 134512640 134569956 3221224416 3221214784 1131394059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 54937 13073 16 0 210919 0
vsize: 843740
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 61852 59 0 0 25 0 11 0 477946883 863989760 55080 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55085 13073 16 0 210919 0
vsize: 843740
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 62789 60 0 0 25 0 11 0 477946883 863989760 55222 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55222 13073 16 0 210919 0
vsize: 843740
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 63725 60 0 0 25 0 11 0 477946883 863989760 55338 4294967295 134512640 134569956 3221224416 3221214832 1131361623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55338 13073 16 0 210919 0
vsize: 843740
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 64659 60 0 0 25 0 11 0 477946883 863989760 55419 4294967295 134512640 134569956 3221224416 3221214696 1131211272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55419 13073 16 0 210919 0
vsize: 843740
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 65582 60 0 0 25 0 11 0 477946883 863989760 55587 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55587 13073 16 0 210919 0
vsize: 843740
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 66491 60 0 0 25 0 11 0 477946883 863989760 55724 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55724 13073 16 0 210919 0
vsize: 843740
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 67394 60 0 0 25 0 11 0 477946883 863989760 55901 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 55901 13073 16 0 210919 0
vsize: 843740
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 68307 60 0 0 25 0 11 0 477946883 863989760 56119 4294967295 134512640 134569956 3221224416 3221214784 1131612692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210935 56119 13073 16 0 210919 0
vsize: 843740
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 69226 60 0 0 25 0 11 0 477946883 863989760 56312 4294967295 134512640 134569956 3221224416 3221214696 1131210465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 56312 13073 16 0 210919 0
vsize: 843740
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 70145 60 0 0 25 0 11 0 477946883 863989760 56514 4294967295 134512640 134569956 3221224416 3221214760 1131423575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 56514 13073 16 0 210919 0
vsize: 843740
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 71072 61 0 0 24 0 11 0 477946883 863989760 56719 4294967295 134512640 134569956 3221224416 3221214784 1131393943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 56719 13073 16 0 210919 0
vsize: 843740
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 72020 61 0 0 25 0 11 0 477946883 863989760 56873 4294967295 134512640 134569956 3221224416 3221214696 1131210709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 56873 13073 16 0 210919 0
vsize: 843740
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 72952 61 0 0 25 0 11 0 477946883 863989760 56970 4294967295 134512640 134569956 3221224416 3221213336 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 56970 13073 16 0 210919 0
vsize: 843740
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 73870 61 0 0 24 0 11 0 477946883 863989760 57070 4294967295 134512640 134569956 3221224416 3221214596 1131509801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57070 13073 16 0 210919 0
vsize: 843740
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 74781 61 0 0 25 0 11 0 477946883 863989760 57141 4294967295 134512640 134569956 3221224416 3221214696 1131210761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57141 13073 16 0 210919 0
vsize: 843740
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 75700 61 0 0 25 0 11 0 477946883 863989760 57394 4294967295 134512640 134569956 3221224416 3221214696 1131211255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57394 13073 16 0 210919 0
vsize: 843740
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 76623 62 0 0 25 0 11 0 477946883 863989760 57567 4294967295 134512640 134569956 3221224416 3221214696 1131210966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57567 13073 16 0 210919 0
vsize: 843740
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 77555 62 0 0 25 0 11 0 477946883 863989760 57733 4294967295 134512640 134569956 3221224416 3221214784 1131393233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57733 13073 16 0 210919 0
vsize: 843740
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 78468 62 0 0 25 0 11 0 477946883 863989760 57874 4294967295 134512640 134569956 3221224416 3221214696 1131210829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 57874 13073 16 0 210919 0
vsize: 843740
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 79385 63 0 0 25 0 11 0 477946883 863989760 58014 4294967295 134512640 134569956 3221224416 3221214696 1131211953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58014 13073 16 0 210919 0
vsize: 843740
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 80323 63 0 0 25 0 11 0 477946883 863989760 58222 4294967295 134512640 134569956 3221224416 3221214696 1131211791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58222 13073 16 0 210919 0
vsize: 843740
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 81267 63 0 0 25 0 11 0 477946883 863989760 58262 4294967295 134512640 134569956 3221224416 3221213904 1079720856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58262 13073 16 0 210919 0
vsize: 843740
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 82173 64 0 0 25 0 11 0 477946883 863989760 58294 4294967295 134512640 134569956 3221224416 3221214696 1131210461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58294 13073 16 0 210919 0
vsize: 843740
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 83061 64 0 0 25 0 11 0 477946883 863989760 58315 4294967295 134512640 134569956 3221224416 3221214696 1131210813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58315 13073 16 0 210919 0
vsize: 843740
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 83951 64 0 0 25 0 11 0 477946883 863989760 58652 4294967295 134512640 134569956 3221224416 3221214696 1131210465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58652 13073 16 0 210919 0
vsize: 843740
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 84835 65 0 0 25 0 11 0 477946883 863989760 58901 4294967295 134512640 134569956 3221224416 3221214696 1131211074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 58901 13073 16 0 210919 0
vsize: 843740
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 85724 65 0 0 25 0 11 0 477946883 863989760 59066 4294967295 134512640 134569956 3221224416 3221214680 1131245220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 59066 13073 16 0 210919 0
vsize: 843740
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 86618 65 0 0 25 0 11 0 477946883 863989760 59323 4294967295 134512640 134569956 3221224416 3221214696 1131210983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 59323 13073 16 0 210919 0
vsize: 843740
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 87535 66 0 0 25 0 11 0 477946883 863989760 59581 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 59581 13073 16 0 210919 0
vsize: 843740
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 88440 66 0 0 25 0 11 0 477946883 863989760 59753 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 59753 13073 16 0 210919 0
vsize: 843740
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 89323 67 0 0 25 0 11 0 477946883 863989760 59923 4294967295 134512640 134569956 3221224416 3221214696 1131211091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 59923 13073 16 0 210919 0
vsize: 843740
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 90205 67 0 0 25 0 11 0 477946883 863989760 60043 4294967295 134512640 134569956 3221224416 3221214596 1131490464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 60043 13073 16 0 210919 0
vsize: 843740
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 91095 67 0 0 24 0 11 0 477946883 863989760 60436 4294967295 134512640 134569956 3221224416 3221214696 1131211791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 60436 13073 16 0 210919 0
vsize: 843740
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 92007 67 0 0 25 0 11 0 477946883 863989760 60619 4294967295 134512640 134569956 3221224416 3221214704 1131605591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 60619 13073 16 0 210919 0
vsize: 843740
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 92901 68 0 0 25 0 11 0 477946883 863989760 60803 4294967295 134512640 134569956 3221224416 3221214696 1131210497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 60803 13073 16 0 210919 0
vsize: 843740
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 93789 68 0 0 25 0 11 0 477946883 863989760 60980 4294967295 134512640 134569956 3221224416 3221214784 1131394919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 60980 13073 16 0 210919 0
vsize: 843740
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 94695 69 0 0 25 0 11 0 477946883 863989760 61273 4294967295 134512640 134569956 3221224416 3221214600 1131577314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 61273 13073 16 0 210919 0
vsize: 843740
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 95599 69 0 0 25 0 11 0 477946883 863989760 61448 4294967295 134512640 134569956 3221224416 3221214752 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 61448 13073 16 0 210919 0
vsize: 843740
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 96516 69 0 0 25 0 11 0 477946883 863989760 61719 4294967295 134512640 134569956 3221224416 3221214696 1131210777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 61719 13073 16 0 210919 0
vsize: 843740
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 97422 70 0 0 20 0 11 0 477946883 863989760 61891 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 61891 13073 16 0 210919 0
vsize: 843740
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 98311 70 0 0 18 0 11 0 477946883 863989760 61986 4294967295 134512640 134569956 3221224416 3221214784 1131612692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 61986 13073 16 0 210919 0
vsize: 843740
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 99192 70 0 0 21 0 11 0 477946883 863989760 62272 4294967295 134512640 134569956 3221224416 3221214680 1131477809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 62272 13073 16 0 210919 0
vsize: 843740
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 100064 70 0 0 22 0 11 0 477946883 863989760 62593 4294967295 134512640 134569956 3221224416 3221214784 1131394964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 62593 13073 16 0 210919 0
vsize: 843740
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 100935 71 0 0 17 0 11 0 477946883 863989760 62929 4294967295 134512640 134569956 3221224416 3221214696 1131210974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 62929 13073 16 0 210919 0
vsize: 843740
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 101815 71 0 0 20 0 11 0 477946883 863989760 63136 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 63136 13073 16 0 210919 0
vsize: 843740
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 102703 71 0 0 21 0 11 0 477946883 863989760 63426 4294967295 134512640 134569956 3221224416 3221214696 1131210469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 63426 13073 16 0 210919 0
vsize: 843740
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 103597 72 0 0 19 0 11 0 477946883 863989760 63772 4294967295 134512640 134569956 3221224416 3221214600 1131577314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 63772 13073 16 0 210919 0
vsize: 843740
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) S 19913 18865 18864 0 -1 0 18071 3 1 0 104487 72 0 0 23 0 11 0 477946883 863989760 63924 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 63924 13073 16 0 210919 0
vsize: 843740
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 105380 72 0 0 20 0 11 0 477946883 863989760 64204 4294967295 134512640 134569956 3221224416 3221214544 1131163976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 64204 13073 16 0 210919 0
vsize: 843740
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 106283 73 0 0 18 0 11 0 477946883 863989760 64502 4294967295 134512640 134569956 3221224416 3221214784 1131394062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 64502 13073 16 0 210919 0
vsize: 843740
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 107179 73 0 0 16 0 11 0 477946883 863989760 64712 4294967295 134512640 134569956 3221224416 3221214864 1131612692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 64712 13073 16 0 210919 0
vsize: 843740
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 108087 73 0 0 17 0 11 0 477946883 863989760 64913 4294967295 134512640 134569956 3221224416 3221214696 1131211184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 64913 13073 16 0 210919 0
vsize: 843740
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 108990 74 0 0 20 0 11 0 477946883 863989760 65028 4294967295 134512640 134569956 3221224416 3221214696 1131210473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65028 13073 16 0 210919 0
vsize: 843740
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 109890 74 0 0 16 0 11 0 477946883 863989760 65270 4294967295 134512640 134569956 3221224416 3221214696 1131211231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65270 13073 16 0 210919 0
vsize: 843740
[startup+1240.08 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 110798 75 0 0 18 0 11 0 477946883 863989760 65507 4294967295 134512640 134569956 3221224416 3221214696 1131210821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65507 13073 16 0 210919 0
vsize: 843740
[startup+1250.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 111729 75 0 0 25 0 11 0 477946883 863989760 65660 4294967295 134512640 134569956 3221224416 3221214696 1131210821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65660 13073 16 0 210919 0
vsize: 843740
[startup+1260.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 112653 75 0 0 25 0 11 0 477946883 863989760 65915 4294967295 134512640 134569956 3221224416 3221214696 1131210469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65915 13073 16 0 210919 0
vsize: 843740
[startup+1270.08 s]
Raw data (loadavg): 1.13 1.03 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 113577 75 0 0 25 0 11 0 477946883 863989760 65973 4294967295 134512640 134569956 3221224416 3221214696 1131211949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 65973 13073 16 0 210919 0
vsize: 843740
[startup+1280.08 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 114502 75 0 0 25 0 11 0 477946883 863989760 66166 4294967295 134512640 134569956 3221224416 3221214784 1131393984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66166 13073 16 0 210919 0
vsize: 843740
[startup+1290.08 s]
Raw data (loadavg): 1.15 1.04 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 115418 76 0 0 25 0 11 0 477946883 863989760 66278 4294967295 134512640 134569956 3221224416 3221214696 1131211025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66278 13073 16 0 210919 0
vsize: 843740
[startup+1300.09 s]
Raw data (loadavg): 1.21 1.06 1.01 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 116322 76 0 0 25 0 11 0 477946883 863989760 66433 4294967295 134512640 134569956 3221224416 3221214696 1131211786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66433 13073 16 0 210919 0
vsize: 843740
[startup+1310.09 s]
Raw data (loadavg): 1.18 1.06 1.01 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 117227 77 0 0 24 0 11 0 477946883 863989760 66606 4294967295 134512640 134569956 3221224416 3221214696 1131211268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66606 13073 16 0 210919 0
vsize: 843740
[startup+1320.09 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 118139 77 0 0 25 0 11 0 477946883 863989760 66741 4294967295 134512640 134569956 3221224416 3221214784 1131394164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66741 13073 16 0 210919 0
vsize: 843740
[startup+1330.09 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 119048 78 0 0 25 0 11 0 477946883 863989760 66959 4294967295 134512640 134569956 3221224416 3221214696 1131210683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 66959 13073 16 0 210919 0
vsize: 843740
[startup+1340.09 s]
Raw data (loadavg): 1.11 1.05 1.00 2/64 19934
Raw data (stat): 19914 (java) R 19913 18865 18864 0 -1 0 18071 3 1 0 119954 78 0 0 24 0 11 0 477946883 863989760 67112 4294967295 134512640 134569956 3221224416 3221214784 1131395389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210935 67112 13073 16 0 210919 0
vsize: 843740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.24 s]
Raw data (loadavg): 1.11 1.05 1.00 1/54 19936
Raw data (stat): 19914 (java) Z 19913 18865 18864 0 -1 1036 18071 53681 1 0 119957 90 14866 125 25 0 1 0 477946883 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): 1340.24
CPU time (s): 1350.41
CPU user time (s): 1348.24
CPU system time (s): 2.16467
CPU usage (%): 100.759
Max. virtual memory (Kb): 843740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####