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/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUMb95391b071a3986ad670119101f16613
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -43
Optimality of the best value was proved NO
Number of terms in the objective function 1534
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 1534
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 1534
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.13
Number of variables1534
Total number of constraints126082
Number of constraints which are clauses126082
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 4517 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-13 18:03:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3159 boxname=wulflinc10 idbench=351 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb
IDLAUNCH: 3159
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        908112 kB
Buffers:         33292 kB
Cached:          73440 kB
SwapCached:        164 kB
Active:          49724 kB
Inactive:        60036 kB
HighTotal:      131008 kB
HighFree:        53928 kB
LowTotal:       903652 kB
LowFree:        854184 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11284 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:25:57 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3159 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb
c reading problem 
c [nbvar=1534]
c [nbconstr=126082]
c time 18.936
c #vars     1534
c #clauses  126082
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) : 19.446
c starts	: 1
c conflicts	: 0
c decisions	: 1534
c propagations	: 1534
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) : 19.683
c starts	: 2
c conflicts	: 0
c decisions	: 3067
c propagations	: 3068
c inspects	: 205
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) : 26.254
c starts	: 3
c conflicts	: 25
c decisions	: 4600
c propagations	: 4952
c inspects	: 5351
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-42
c Current CPU time (ms) : 26.807
c starts	: 4
c conflicts	: 25
c decisions	: 4642
c propagations	: 6486
c inspects	: 12165
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-43
c Current CPU time (ms) : 27.64
c starts	: 5
c conflicts	: 27
c decisions	: 4686
c propagations	: 8031
c inspects	: 19828
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 27
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-44
c Current CPU time (ms) : 79.936
c starts	: 7
c conflicts	: 167
c decisions	: 4967
c propagations	: 12116
c inspects	: 97024
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 167
c root simplifications	: 7
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 26911
Raw data (stat): 26911 (runsolver) R 26910 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419748395 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.0005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 26920
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 17997 0 1 0 774 48 0 0 25 0 10 0 419748395 854249472 23086 4294967295 134512640 134569956 3221224416 3221214832 1131302972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208557 23086 13073 16 0 208541 0
vsize: 834228
[startup+20.0015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26921
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18025 0 1 0 1654 51 0 0 25 0 11 0 419748395 854777856 29555 4294967295 134512640 134569956 3221224416 3221214936 1131320173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208686 29555 13073 16 0 208670 0
vsize: 834744
[startup+30.0025 s]
Raw data (loadavg): 1.32 1.07 1.02 3/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18081 3 1 0 2339 52 0 0 25 0 11 0 419748395 862466048 37451 4294967295 134512640 134569956 3221224416 3221214608 1130894847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210563 37451 13073 16 0 210547 0
vsize: 842252
[startup+40.0026 s]
Raw data (loadavg): 1.27 1.06 1.02 2/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18082 3 1 0 3231 52 0 0 25 0 11 0 419748395 861904896 37748 4294967295 134512640 134569956 3221224416 3221214672 1131192395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 37748 13073 16 0 210410 0
vsize: 841704
[startup+50.0031 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18082 3 1 0 4142 52 0 0 25 0 11 0 419748395 861904896 38120 4294967295 134512640 134569956 3221224416 3221214608 1131427507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 38120 13073 16 0 210410 0
vsize: 841704
[startup+60.0033 s]
Raw data (loadavg): 1.19 1.06 1.02 2/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 5054 52 0 0 25 0 11 0 419748395 861904896 38570 4294967295 134512640 134569956 3221224416 3221214648 1131179907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 38570 13073 16 0 210410 0
vsize: 841704
[startup+70.0038 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 5943 52 0 0 25 0 11 0 419748395 861904896 38997 4294967295 134512640 134569956 3221224416 3221214672 1131191568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 38997 13073 16 0 210410 0
vsize: 841704
[startup+80.0048 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 26926
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 6803 53 0 0 25 0 11 0 419748395 861904896 39853 4294967295 134512640 134569956 3221224416 3221214832 1131392022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 39853 13073 16 0 210410 0
vsize: 841704
[startup+90.0079 s]
Raw data (loadavg): 1.11 1.05 1.02 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 7641 53 0 0 16 0 11 0 419748395 861904896 40272 4294967295 134512640 134569956 3221224416 3221214832 1131392718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 40272 13073 16 0 210410 0
vsize: 841704
[startup+100.008 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 8510 53 0 0 21 0 11 0 419748395 861904896 40838 4294967295 134512640 134569956 3221224416 3221214672 1131192378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 40838 13073 16 0 210410 0
vsize: 841704
[startup+110.009 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 9382 54 0 0 25 0 11 0 419748395 861904896 41284 4294967295 134512640 134569956 3221224416 3221214768 1131353910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 41284 13073 16 0 210410 0
vsize: 841704
[startup+120.009 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 10274 55 0 0 25 0 11 0 419748395 861904896 41726 4294967295 134512640 134569956 3221224416 3221214568 1131523673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 41726 13073 16 0 210410 0
vsize: 841704
[startup+130.01 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 11165 55 0 0 25 0 11 0 419748395 861904896 42218 4294967295 134512640 134569956 3221224416 3221214672 1131192772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 42218 13073 16 0 210410 0
vsize: 841704
[startup+140.01 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 12057 55 0 0 25 0 11 0 419748395 861904896 42542 4294967295 134512640 134569956 3221224416 3221214672 1131192314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 42542 13073 16 0 210410 0
vsize: 841704
[startup+150.01 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 26927
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 12914 55 0 0 25 0 11 0 419748395 861904896 42865 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 42865 13073 16 0 210410 0
vsize: 841704
[startup+160.011 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 13763 56 0 0 25 0 11 0 419748395 861904896 43038 4294967295 134512640 134569956 3221224416 3221214672 1131192675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 43038 13073 16 0 210410 0
vsize: 841704
[startup+170.011 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 14614 56 0 0 25 0 11 0 419748395 861904896 43679 4294967295 134512640 134569956 3221224416 3221214704 1131675680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 43679 13073 16 0 210410 0
vsize: 841704
[startup+180.011 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 15499 57 0 0 24 0 11 0 419748395 861904896 43980 4294967295 134512640 134569956 3221224416 3221214592 1131650926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 43980 13073 16 0 210410 0
vsize: 841704
[startup+190.011 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 16390 57 0 0 25 0 11 0 419748395 861904896 44270 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 44270 13073 16 0 210410 0
vsize: 841704
[startup+200.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 17265 57 0 0 25 0 11 0 419748395 861904896 44708 4294967295 134512640 134569956 3221224416 3221214592 1131650923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 44708 13073 16 0 210410 0
vsize: 841704
[startup+210.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 18156 58 0 0 25 0 11 0 419748395 861904896 44888 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 44888 13073 16 0 210410 0
vsize: 841704
[startup+220.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 19039 58 0 0 24 0 11 0 419748395 861904896 45426 4294967295 134512640 134569956 3221224416 3221214768 1131353824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 45426 13073 16 0 210410 0
vsize: 841704
[startup+230.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 19923 58 0 0 25 0 11 0 419748395 861904896 45699 4294967295 134512640 134569956 3221224416 3221214672 1131191819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 45699 13073 16 0 210410 0
vsize: 841704
[startup+240.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 20813 58 0 0 25 0 11 0 419748395 861904896 46083 4294967295 134512640 134569956 3221224416 3221214816 1131381988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 46083 13073 16 0 210410 0
vsize: 841704
[startup+250.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 21702 59 0 0 25 0 11 0 419748395 861904896 46362 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 46362 13073 16 0 210410 0
vsize: 841704
[startup+260.014 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 22594 59 0 0 25 0 11 0 419748395 861904896 46675 4294967295 134512640 134569956 3221224416 3221214672 1131191373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 46675 13073 16 0 210410 0
vsize: 841704
[startup+270.014 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 23439 60 0 0 25 0 11 0 419748395 861904896 46822 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 46822 13073 16 0 210410 0
vsize: 841704
[startup+280.015 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 24311 60 0 0 25 0 11 0 419748395 861904896 47273 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 47273 13073 16 0 210410 0
vsize: 841704
[startup+290.016 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 25212 60 0 0 25 0 11 0 419748395 861904896 47582 4294967295 134512640 134569956 3221224416 3221214672 1131192663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 47582 13073 16 0 210410 0
vsize: 841704
[startup+300.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 26102 60 0 0 25 0 11 0 419748395 861904896 47676 4294967295 134512640 134569956 3221224416 3221214680 1131379432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 47676 13073 16 0 210410 0
vsize: 841704
[startup+310.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 26983 61 0 0 25 0 11 0 419748395 861904896 48182 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 48182 13073 16 0 210410 0
vsize: 841704
[startup+320.016 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 27851 61 0 0 25 0 11 0 419748395 861904896 48616 4294967295 134512640 134569956 3221224416 3221214760 1131432957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 48616 13073 16 0 210410 0
vsize: 841704
[startup+330.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 28737 61 0 0 25 0 11 0 419748395 861904896 48853 4294967295 134512640 134569956 3221224416 3221214768 1131353978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 48853 13073 16 0 210410 0
vsize: 841704
[startup+340.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 29608 61 0 0 24 0 11 0 419748395 861904896 49132 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 49132 13073 16 0 210410 0
vsize: 841704
[startup+350.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 30493 61 0 0 25 0 11 0 419748395 861904896 49462 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 49462 13073 16 0 210410 0
vsize: 841704
[startup+360.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 31379 62 0 0 25 0 11 0 419748395 861904896 49765 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 49765 13073 16 0 210410 0
vsize: 841704
[startup+370.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 32271 62 0 0 25 0 11 0 419748395 861904896 50030 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 50030 13073 16 0 210410 0
vsize: 841704
[startup+380.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 33156 62 0 0 25 0 11 0 419748395 861904896 50332 4294967295 134512640 134569956 3221224416 3221214680 1131379345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 50332 13073 16 0 210410 0
vsize: 841704
[startup+390.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 34038 63 0 0 20 0 11 0 419748395 861904896 50580 4294967295 134512640 134569956 3221224416 3221214724 1131428708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 50580 13073 16 0 210410 0
vsize: 841704
[startup+400.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 34928 63 0 0 25 0 11 0 419748395 861904896 50870 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 50870 13073 16 0 210410 0
vsize: 841704
[startup+410.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 35808 63 0 0 25 0 11 0 419748395 861904896 51110 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 51110 13073 16 0 210410 0
vsize: 841704
[startup+420.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 36695 63 0 0 25 0 11 0 419748395 861904896 51371 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 51371 13073 16 0 210410 0
vsize: 841704
[startup+430.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 37567 64 0 0 25 0 11 0 419748395 861904896 51694 4294967295 134512640 134569956 3221224416 3221214672 1131192049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 51694 13073 16 0 210410 0
vsize: 841704
[startup+440.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 38453 64 0 0 25 0 11 0 419748395 861904896 52024 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 52024 13073 16 0 210410 0
vsize: 841704
[startup+450.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 39299 65 0 0 25 0 11 0 419748395 861904896 52273 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 52273 13073 16 0 210410 0
vsize: 841704
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 40173 65 0 0 25 0 11 0 419748395 861904896 52653 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 52653 13073 16 0 210410 0
vsize: 841704
[startup+470.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 41087 65 0 0 25 0 11 0 419748395 861904896 53041 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 53041 13073 16 0 210410 0
vsize: 841704
[startup+480.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 42015 66 0 0 25 0 11 0 419748395 861904896 53091 4294967295 134512640 134569956 3221224416 3221214768 1131353880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 53091 13073 16 0 210410 0
vsize: 841704
[startup+490.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 42916 67 0 0 25 0 11 0 419748395 861904896 53120 4294967295 134512640 134569956 3221224416 3221214592 1131651548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 53120 13073 16 0 210410 0
vsize: 841704
[startup+500.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 43810 67 0 0 25 0 11 0 419748395 861904896 53411 4294967295 134512640 134569956 3221224416 3221214672 1131192692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 53411 13073 16 0 210410 0
vsize: 841704
[startup+510.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 44693 67 0 0 25 0 11 0 419748395 861904896 53562 4294967295 134512640 134569956 3221224416 3221214672 1131191582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 53562 13073 16 0 210410 0
vsize: 841704
[startup+520.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 45584 67 0 0 25 0 11 0 419748395 861904896 53779 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 53779 13073 16 0 210410 0
vsize: 841704
[startup+530.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 46451 67 0 0 25 0 11 0 419748395 861904896 54121 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 54121 13073 16 0 210410 0
vsize: 841704
[startup+540.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 47337 67 0 0 25 0 11 0 419748395 861904896 54386 4294967295 134512640 134569956 3221224416 3221214672 1131191361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 54386 13073 16 0 210410 0
vsize: 841704
[startup+550.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 48221 67 0 0 25 0 11 0 419748395 861904896 54647 4294967295 134512640 134569956 3221224416 3221214592 1131652288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 54647 13073 16 0 210410 0
vsize: 841704
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 49119 67 0 0 25 0 11 0 419748395 861904896 54953 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 54953 13073 16 0 210410 0
vsize: 841704
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 50009 68 0 0 25 0 11 0 419748395 861904896 55174 4294967295 134512640 134569956 3221224416 3221214672 1131192030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 55174 13073 16 0 210410 0
vsize: 841704
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 50915 68 0 0 25 0 11 0 419748395 861904896 55359 4294967295 134512640 134569956 3221224416 3221214820 1080203737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 55359 13073 16 0 210410 0
vsize: 841704
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 51819 68 0 0 25 0 11 0 419748395 861904896 55646 4294967295 134512640 134569956 3221224416 3221214760 1131432031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 55646 13073 16 0 210410 0
vsize: 841704
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 52728 69 0 0 25 0 11 0 419748395 861904896 55842 4294967295 134512640 134569956 3221224416 3221214672 1131191917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 55842 13073 16 0 210410 0
vsize: 841704
[startup+610.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 53638 69 0 0 25 0 11 0 419748395 861904896 56130 4294967295 134512640 134569956 3221224416 3221214616 1131429476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56130 13073 16 0 210410 0
vsize: 841704
[startup+620.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 54561 69 0 0 25 0 11 0 419748395 861904896 56365 4294967295 134512640 134569956 3221224416 3221214768 1131353939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56365 13073 16 0 210410 0
vsize: 841704
[startup+630.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 55488 70 0 0 22 0 11 0 419748395 861904896 56512 4294967295 134512640 134569956 3221224416 3221214704 1131675663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56512 13073 16 0 210410 0
vsize: 841704
[startup+640.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 56405 70 0 0 25 0 11 0 419748395 861904896 56655 4294967295 134512640 134569956 3221224416 3221214672 1131192053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56655 13073 16 0 210410 0
vsize: 841704
[startup+650.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 57315 70 0 0 25 0 11 0 419748395 861904896 56730 4294967295 134512640 134569956 3221224416 3221214832 1131392432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56730 13073 16 0 210410 0
vsize: 841704
[startup+660.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 58222 71 0 0 25 0 11 0 419748395 861904896 56965 4294967295 134512640 134569956 3221224416 3221214672 1131191535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 56965 13073 16 0 210410 0
vsize: 841704
[startup+670.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 59134 71 0 0 25 0 11 0 419748395 861904896 57183 4294967295 134512640 134569956 3221224416 3221214672 1131191638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 57183 13073 16 0 210410 0
vsize: 841704
[startup+680.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 60043 71 0 0 24 0 11 0 419748395 861904896 57430 4294967295 134512640 134569956 3221224416 3221214672 1131191572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 57430 13073 16 0 210410 0
vsize: 841704
[startup+690.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 60962 71 0 0 25 0 11 0 419748395 861904896 57611 4294967295 134512640 134569956 3221224416 3221214768 1131354027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 57611 13073 16 0 210410 0
vsize: 841704
[startup+700.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 61883 71 0 0 25 0 11 0 419748395 861904896 57778 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 57778 13073 16 0 210410 0
vsize: 841704
[startup+710.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 62793 71 0 0 25 0 11 0 419748395 861904896 57931 4294967295 134512640 134569956 3221224416 3221214672 1131191921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 57931 13073 16 0 210410 0
vsize: 841704
[startup+720.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 63709 71 0 0 25 0 11 0 419748395 861904896 58153 4294967295 134512640 134569956 3221224416 3221214672 1131191677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 58153 13073 16 0 210410 0
vsize: 841704
[startup+730.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 64613 71 0 0 25 0 11 0 419748395 861904896 58326 4294967295 134512640 134569956 3221224416 3221214672 1131191806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 58326 13073 16 0 210410 0
vsize: 841704
[startup+740.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 65526 71 0 0 25 0 11 0 419748395 861904896 58593 4294967295 134512640 134569956 3221224416 3221214592 1131651450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 58593 13073 16 0 210410 0
vsize: 841704
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 66431 71 0 0 25 0 11 0 419748395 861904896 58786 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 58786 13073 16 0 210410 0
vsize: 841704
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 67329 71 0 0 25 0 11 0 419748395 861904896 58926 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 58926 13073 16 0 210410 0
vsize: 841704
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 68230 71 0 0 25 0 11 0 419748395 861904896 59171 4294967295 134512640 134569956 3221224416 3221214672 1131191378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 59171 13073 16 0 210410 0
vsize: 841704
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 69123 71 0 0 25 0 11 0 419748395 861904896 59458 4294967295 134512640 134569956 3221224416 3221214672 1131192130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 59458 13073 16 0 210410 0
vsize: 841704
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 70032 71 0 0 25 0 11 0 419748395 861904896 59632 4294967295 134512640 134569956 3221224416 3221214672 1131191953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 59632 13073 16 0 210410 0
vsize: 841704
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 70943 71 0 0 25 0 11 0 419748395 861904896 59882 4294967295 134512640 134569956 3221224416 3221214672 1131191365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 59882 13073 16 0 210410 0
vsize: 841704
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 71855 71 0 0 25 0 11 0 419748395 861904896 60078 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 60078 13073 16 0 210410 0
vsize: 841704
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 72759 71 0 0 25 0 11 0 419748395 861904896 60298 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 60298 13073 16 0 210410 0
vsize: 841704
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 73666 72 0 0 25 0 11 0 419748395 861904896 60550 4294967295 134512640 134569956 3221224416 3221214672 1131191815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 60550 13073 16 0 210410 0
vsize: 841704
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 74541 72 0 0 25 0 11 0 419748395 861904896 60729 4294967295 134512640 134569956 3221224416 3221214672 1131191357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 60729 13073 16 0 210410 0
vsize: 841704
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 75434 72 0 0 25 0 11 0 419748395 861904896 60944 4294967295 134512640 134569956 3221224416 3221214672 1131191373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 60944 13073 16 0 210410 0
vsize: 841704
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 76351 72 0 0 25 0 11 0 419748395 861904896 61198 4294967295 134512640 134569956 3221224416 3221214672 1131192403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61198 13073 16 0 210410 0
vsize: 841704
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 77304 72 0 0 25 0 11 0 419748395 861904896 61246 4294967295 134512640 134569956 3221224416 3221214768 1131353907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61246 13073 16 0 210410 0
vsize: 841704
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 78229 72 0 0 25 0 11 0 419748395 861904896 61276 4294967295 134512640 134569956 3221224416 3221214672 1131192163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61276 13073 16 0 210410 0
vsize: 841704
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 79137 72 0 0 25 0 11 0 419748395 861904896 61309 4294967295 134512640 134569956 3221224416 3221214640 1131332385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61309 13073 16 0 210410 0
vsize: 841704
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 80026 73 0 0 25 0 11 0 419748395 861904896 61483 4294967295 134512640 134569956 3221224416 3221214672 1131191801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61483 13073 16 0 210410 0
vsize: 841704
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 80911 73 0 0 25 0 11 0 419748395 861904896 61811 4294967295 134512640 134569956 3221224416 3221214672 1131192302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61811 13073 16 0 210410 0
vsize: 841704
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 81800 73 0 0 24 0 11 0 419748395 861904896 61985 4294967295 134512640 134569956 3221224416 3221214768 1131353978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 61985 13073 16 0 210410 0
vsize: 841704
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 82695 73 0 0 25 0 11 0 419748395 861904896 62260 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 62260 13073 16 0 210410 0
vsize: 841704
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 83587 73 0 0 25 0 11 0 419748395 861904896 62544 4294967295 134512640 134569956 3221224416 3221214672 1131191761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 62544 13073 16 0 210410 0
vsize: 841704
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 84496 73 0 0 25 0 11 0 419748395 861904896 62723 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 62723 13073 16 0 210410 0
vsize: 841704
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 85393 73 0 0 25 0 11 0 419748395 861904896 63004 4294967295 134512640 134569956 3221224416 3221214672 1131192650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 63004 13073 16 0 210410 0
vsize: 841704
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 86301 73 0 0 25 0 11 0 419748395 861904896 63158 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 63158 13073 16 0 210410 0
vsize: 841704
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 87195 73 0 0 25 0 11 0 419748395 861904896 63388 4294967295 134512640 134569956 3221224416 3221214672 1131191365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 63388 13073 16 0 210410 0
vsize: 841704
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 88100 73 0 0 25 0 11 0 419748395 861904896 63650 4294967295 134512640 134569956 3221224416 3221214680 1131487812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 63650 13073 16 0 210410 0
vsize: 841704
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 89005 74 0 0 25 0 11 0 419748395 861904896 63880 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 63880 13073 16 0 210410 0
vsize: 841704
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 89901 74 0 0 24 0 11 0 419748395 861904896 64112 4294967295 134512640 134569956 3221224416 3221214704 1131669667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 64112 13073 16 0 210410 0
vsize: 841704
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 90808 74 0 0 25 0 11 0 419748395 861904896 64259 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 64259 13073 16 0 210410 0
vsize: 841704
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 91711 74 0 0 25 0 11 0 419748395 861904896 64544 4294967295 134512640 134569956 3221224416 3221214720 1131192107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 64544 13073 16 0 210410 0
vsize: 841704
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 92625 74 0 0 25 0 11 0 419748395 861904896 64788 4294967295 134512640 134569956 3221224416 3221214768 1131353950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 64788 13073 16 0 210410 0
vsize: 841704
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 93536 74 0 0 25 0 11 0 419748395 861904896 65005 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 65005 13073 16 0 210410 0
vsize: 841704
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 94455 74 0 0 25 0 11 0 419748395 861904896 65173 4294967295 134512640 134569956 3221224416 3221214592 1131652267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 65173 13073 16 0 210410 0
vsize: 841704
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 95354 74 0 0 25 0 11 0 419748395 861904896 65318 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 65318 13073 16 0 210410 0
vsize: 841704
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 96259 74 0 0 25 0 11 0 419748395 861904896 65568 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 65568 13073 16 0 210410 0
vsize: 841704
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 97165 74 0 0 25 0 11 0 419748395 861904896 65815 4294967295 134512640 134569956 3221224416 3221214832 1131392280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 65815 13073 16 0 210410 0
vsize: 841704
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 98083 75 0 0 25 0 11 0 419748395 861904896 66074 4294967295 134512640 134569956 3221224416 3221214672 1131192017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66074 13073 16 0 210410 0
vsize: 841704
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 99001 75 0 0 25 0 11 0 419748395 861904896 66276 4294967295 134512640 134569956 3221224416 3221214672 1131192764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66276 13073 16 0 210410 0
vsize: 841704
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 99937 75 0 0 25 0 11 0 419748395 861904896 66402 4294967295 134512640 134569956 3221224416 3221214768 1131353907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66402 13073 16 0 210410 0
vsize: 841704
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 100857 75 0 0 25 0 11 0 419748395 861904896 66588 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66588 13073 16 0 210410 0
vsize: 841704
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 101768 75 0 0 25 0 11 0 419748395 861904896 66712 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66712 13073 16 0 210410 0
vsize: 841704
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 102669 75 0 0 25 0 11 0 419748395 861904896 66933 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 66933 13073 16 0 210410 0
vsize: 841704
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 103582 75 0 0 24 0 11 0 419748395 861904896 67213 4294967295 134512640 134569956 3221224416 3221214768 1131353873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 67213 13073 16 0 210410 0
vsize: 841704
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 104501 75 0 0 25 0 11 0 419748395 861904896 67376 4294967295 134512640 134569956 3221224416 3221214592 1131652232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 67376 13073 16 0 210410 0
vsize: 841704
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 105414 75 0 0 25 0 11 0 419748395 861904896 67577 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 67577 13073 16 0 210410 0
vsize: 841704
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 106330 75 0 0 25 0 11 0 419748395 861904896 67768 4294967295 134512640 134569956 3221224416 3221214568 1131523663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 67768 13073 16 0 210410 0
vsize: 841704
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 107250 75 0 0 25 0 11 0 419748395 861904896 67951 4294967295 134512640 134569956 3221224416 3221214592 1131651143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 67951 13073 16 0 210410 0
vsize: 841704
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 108170 75 0 0 25 0 11 0 419748395 861904896 68143 4294967295 134512640 134569956 3221224416 3221214672 1131191396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 68143 13073 16 0 210410 0
vsize: 841704
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 109096 75 0 0 25 0 11 0 419748395 861904896 68377 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210426 68377 13073 16 0 210410 0
vsize: 841704
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 110022 75 0 0 24 0 11 0 419748395 861904896 68517 4294967295 134512640 134569956 3221224416 3221214768 1131353910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 68517 13073 16 0 210410 0
vsize: 841704
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 110954 76 0 0 25 0 11 0 419748395 861904896 68607 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 68607 13073 16 0 210410 0
vsize: 841704
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 111883 76 0 0 25 0 11 0 419748395 861904896 68803 4294967295 134512640 134569956 3221224416 3221214672 1131191980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 68803 13073 16 0 210410 0
vsize: 841704
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 112816 77 0 0 25 0 11 0 419748395 861904896 68909 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 68909 13073 16 0 210410 0
vsize: 841704
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 113751 77 0 0 25 0 11 0 419748395 861904896 69116 4294967295 134512640 134569956 3221224416 3221214584 1131446785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69116 13073 16 0 210410 0
vsize: 841704
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 114684 77 0 0 25 0 11 0 419748395 861904896 69207 4294967295 134512640 134569956 3221224416 3221214672 1131191864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69207 13073 16 0 210410 0
vsize: 841704
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 115601 78 0 0 25 0 11 0 419748395 861904896 69293 4294967295 134512640 134569956 3221224416 3221214672 1131191953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69293 13073 16 0 210410 0
vsize: 841704
[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 116508 78 0 0 24 0 11 0 419748395 861904896 69471 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69471 13073 16 0 210410 0
vsize: 841704
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 117434 78 0 0 25 0 11 0 419748395 861904896 69673 4294967295 134512640 134569956 3221224416 3221214748 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69673 13073 16 0 210410 0
vsize: 841704
[startup+1320.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 118345 79 0 0 25 0 11 0 419748395 861904896 69872 4294967295 134512640 134569956 3221224416 3221214832 1131391252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 69872 13073 16 0 210410 0
vsize: 841704
[startup+1330.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 119255 79 0 0 25 0 11 0 419748395 861904896 70053 4294967295 134512640 134569956 3221224416 3221214672 1131192668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 70053 13073 16 0 210410 0
vsize: 841704
[startup+1340.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26929
Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 120166 80 0 0 25 0 11 0 419748395 861904896 70194 4294967295 134512640 134569956 3221224416 3221214672 1131191815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210426 70194 13073 16 0 210410 0
vsize: 841704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26931
Raw data (stat): 26911 (java) Z 26910 25347 25346 0 -1 1036 18083 55945 1 0 120168 93 14701 131 25 0 1 0 419748395 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.21
CPU time (s): 1350.95
CPU user time (s): 1348.7
CPU system time (s): 2.24866
CPU usage (%): 100.801
Max. virtual memory (Kb): 842252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####