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/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUMeedeccaceaf05a0e4d919e4f9df619c0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
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 1272
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 variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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 4508 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-13 18:00:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3087 boxname=wulflinc6 idbench=343 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  eedeccaceaf05a0e4d919e4f9df619c0  /oldhome/oroussel/tmp/wulflinc6/normalized-frb53-24-5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-frb53-24-5.opb
IDLAUNCH: 3087
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        921148 kB
Buffers:         33904 kB
Cached:          57292 kB
SwapCached:       2644 kB
Active:          48808 kB
Inactive:        47832 kB
HighTotal:      131008 kB
HighFree:        69916 kB
LowTotal:       903652 kB
LowFree:        851232 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11268 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:22:40 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3087 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-frb53-24-5.opb
c reading problem 
c [nbvar=1272]
c [nbconstr=94226]
c time 14.049
c #vars     1272
c #clauses  94226
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) : 14.538
c starts	: 1
c conflicts	: 0
c decisions	: 1272
c propagations	: 1272
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) : 14.74
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 2544
c inspects	: 173
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) : 20.564
c starts	: 3
c conflicts	: 23
c decisions	: 3814
c propagations	: 4115
c inspects	: 4347
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-37
c Current CPU time (ms) : 20.802
c starts	: 4
c conflicts	: 23
c decisions	: 3851
c propagations	: 5387
c inspects	: 9689
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-38
c Current CPU time (ms) : 23.523
c starts	: 5
c conflicts	: 36
c decisions	: 3913
c propagations	: 6775
c inspects	: 22317
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 36
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-39
c Current CPU time (ms) : 101.83
c starts	: 7
c conflicts	: 259
c decisions	: 4244
c propagations	: 10915
c inspects	: 144457
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 259
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-40
c Current CPU time (ms) : 864.483
c starts	: 12
c conflicts	: 1135
c decisions	: 5450
c propagations	: 23412
c inspects	: 987085
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1135
c root simplifications	: 12
#### 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.98 0.97 0.95 2/54 30995
Raw data (stat): 30995 (runsolver) R 30994 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419722273 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0008 s]
Raw data (loadavg): 1.05 0.99 0.96 2/63 31004
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 17998 0 1 0 826 48 0 0 25 0 10 0 419722273 858411008 20772 4294967295 134512640 134569956 3221224416 3221214648 1131259224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209573 20772 13073 16 0 209557 0
vsize: 838292
[startup+20.0018 s]
Raw data (loadavg): 1.21 1.02 0.97 2/64 31007
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18071 4 1 0 1468 50 0 0 22 0 11 0 419722273 860831744 31895 4294967295 134512640 134569956 3221224416 3221214640 1131266181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210164 31895 13073 16 0 210148 0
vsize: 840656
[startup+30.0027 s]
Raw data (loadavg): 1.39 1.07 0.99 2/64 31010
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18074 4 1 0 2354 50 0 0 25 0 11 0 419722273 861618176 33810 4294967295 134512640 134569956 3221224416 3221214608 1131390439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 33810 13073 16 0 210340 0
vsize: 841424
[startup+40.0034 s]
Raw data (loadavg): 1.33 1.07 0.99 2/64 31010
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18074 4 1 0 3232 51 0 0 25 0 11 0 419722273 861618176 34512 4294967295 134512640 134569956 3221224416 3221214680 1131402731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 34512 13073 16 0 210340 0
vsize: 841424
[startup+50.0075 s]
Raw data (loadavg): 1.28 1.06 0.99 2/64 31012
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18074 4 1 0 4125 51 0 0 25 0 11 0 419722273 861618176 35191 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 35191 13073 16 0 210340 0
vsize: 841424
[startup+60.0084 s]
Raw data (loadavg): 1.24 1.06 0.99 2/64 31012
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 4992 51 0 0 25 0 11 0 419722273 861618176 35659 4294967295 134512640 134569956 3221224416 3221214608 1131361702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 35659 13073 16 0 210340 0
vsize: 841424
[startup+70.0093 s]
Raw data (loadavg): 1.20 1.06 0.99 2/64 31012
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 5859 51 0 0 25 0 11 0 419722273 861618176 36438 4294967295 134512640 134569956 3221224416 3221214608 1131390436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 36438 13073 16 0 210340 0
vsize: 841424
[startup+80.0106 s]
Raw data (loadavg): 1.17 1.06 0.99 2/64 31012
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 6738 51 0 0 25 0 11 0 419722273 861618176 36954 4294967295 134512640 134569956 3221224416 3221214720 1131266246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 36954 13073 16 0 210340 0
vsize: 841424
[startup+90.0108 s]
Raw data (loadavg): 1.14 1.05 0.99 2/64 31012
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 7624 51 0 0 24 0 11 0 419722273 861618176 37417 4294967295 134512640 134569956 3221224416 3221214592 1131587219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 37417 13073 16 0 210340 0
vsize: 841424
[startup+100.011 s]
Raw data (loadavg): 1.12 1.05 0.99 2/64 31012
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 8508 52 0 0 25 0 11 0 419722273 861618176 37892 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 37892 13073 16 0 210340 0
vsize: 841424
[startup+110.012 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 9369 52 0 0 25 0 11 0 419722273 861618176 38275 4294967295 134512640 134569956 3221224416 3221214784 1131372844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 38275 13073 16 0 210340 0
vsize: 841424
[startup+120.013 s]
Raw data (loadavg): 1.09 1.05 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 10228 52 0 0 25 0 11 0 419722273 861618176 38729 4294967295 134512640 134569956 3221224416 3221214688 1131204289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 38729 13073 16 0 210340 0
vsize: 841424
[startup+130.013 s]
Raw data (loadavg): 1.07 1.05 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 11109 52 0 0 25 0 11 0 419722273 861618176 39148 4294967295 134512640 134569956 3221224416 3221214648 1131244326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 39148 13073 16 0 210340 0
vsize: 841424
[startup+140.013 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 12000 52 0 0 25 0 11 0 419722273 861618176 39530 4294967295 134512640 134569956 3221224416 3221214688 1131203246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 39530 13073 16 0 210340 0
vsize: 841424
[startup+150.015 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 12891 52 0 0 25 0 11 0 419722273 861618176 39875 4294967295 134512640 134569956 3221224416 3221214696 1131410373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 39875 13073 16 0 210340 0
vsize: 841424
[startup+160.015 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 13776 53 0 0 25 0 11 0 419722273 861618176 40275 4294967295 134512640 134569956 3221224416 3221214688 1131204029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 40275 13073 16 0 210340 0
vsize: 841424
[startup+170.016 s]
Raw data (loadavg): 1.04 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 14622 53 0 0 20 0 11 0 419722273 861618176 40347 4294967295 134512640 134569956 3221224416 3221214728 1131204322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 40347 13073 16 0 210340 0
vsize: 841424
[startup+180.017 s]
Raw data (loadavg): 1.03 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 15483 53 0 0 25 0 11 0 419722273 861618176 40783 4294967295 134512640 134569956 3221224416 3221214688 1131204029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 40783 13073 16 0 210340 0
vsize: 841424
[startup+190.018 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 16352 53 0 0 22 0 11 0 419722273 861618176 41149 4294967295 134512640 134569956 3221224416 3221214636 1130890615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 41149 13073 16 0 210340 0
vsize: 841424
[startup+200.019 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 17241 53 0 0 25 0 11 0 419722273 861618176 41545 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 41545 13073 16 0 210340 0
vsize: 841424
[startup+210.02 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 18116 53 0 0 25 0 11 0 419722273 861618176 42070 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 42070 13073 16 0 210340 0
vsize: 841424
[startup+220.021 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 19006 54 0 0 21 0 11 0 419722273 861618176 42366 4294967295 134512640 134569956 3221224416 3221214544 1131444142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 42366 13073 16 0 210340 0
vsize: 841424
[startup+230.022 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 19889 54 0 0 19 0 11 0 419722273 861618176 42701 4294967295 134512640 134569956 3221224416 3221214688 1131203262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 42701 13073 16 0 210340 0
vsize: 841424
[startup+240.022 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 20770 54 0 0 17 0 11 0 419722273 861618176 42879 4294967295 134512640 134569956 3221224416 3221214688 1131204431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 42879 13073 16 0 210340 0
vsize: 841424
[startup+250.022 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 21661 54 0 0 22 0 11 0 419722273 861618176 43120 4294967295 134512640 134569956 3221224416 3221214600 1131449461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 43120 13073 16 0 210340 0
vsize: 841424
[startup+260.023 s]
Raw data (loadavg): 1.07 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 22516 54 0 0 16 0 11 0 419722273 861618176 43404 4294967295 134512640 134569956 3221224416 3221214784 1131372866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 43404 13073 16 0 210340 0
vsize: 841424
[startup+270.024 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 23396 54 0 0 17 0 11 0 419722273 861618176 43763 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 43763 13073 16 0 210340 0
vsize: 841424
[startup+280.026 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 24289 54 0 0 19 0 11 0 419722273 861618176 44066 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 44066 13073 16 0 210340 0
vsize: 841424
[startup+290.027 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 31013
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 25180 55 0 0 23 0 11 0 419722273 861618176 44186 4294967295 134512640 134569956 3221224416 3221214696 1131409745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 44186 13073 16 0 210340 0
vsize: 841424
[startup+300.027 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 26054 55 0 0 21 0 11 0 419722273 861618176 44434 4294967295 134512640 134569956 3221224416 3221214784 1131372866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 44434 13073 16 0 210340 0
vsize: 841424
[startup+310.027 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 26934 55 0 0 21 0 11 0 419722273 861618176 44701 4294967295 134512640 134569956 3221224416 3221214680 1131402738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 44701 13073 16 0 210340 0
vsize: 841424
[startup+320.028 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 27801 55 0 0 17 0 11 0 419722273 861618176 45007 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 45007 13073 16 0 210340 0
vsize: 841424
[startup+330.029 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 28683 55 0 0 17 0 11 0 419722273 861618176 45310 4294967295 134512640 134569956 3221224416 3221214784 1131373816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 45310 13073 16 0 210340 0
vsize: 841424
[startup+340.03 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 29559 55 0 0 16 0 11 0 419722273 861618176 45557 4294967295 134512640 134569956 3221224416 3221214784 1131371800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 45557 13073 16 0 210340 0
vsize: 841424
[startup+350.03 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 30442 55 0 0 17 0 11 0 419722273 861618176 45822 4294967295 134512640 134569956 3221224416 3221214688 1131203735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 45822 13073 16 0 210340 0
vsize: 841424
[startup+360.032 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 31324 55 0 0 16 0 11 0 419722273 861618176 46153 4294967295 134512640 134569956 3221224416 3221214600 1131519319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 46153 13073 16 0 210340 0
vsize: 841424
[startup+370.033 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 32230 56 0 0 16 0 11 0 419722273 861618176 46386 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 46386 13073 16 0 210340 0
vsize: 841424
[startup+380.033 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 33131 56 0 0 17 0 11 0 419722273 861618176 46614 4294967295 134512640 134569956 3221224416 3221214688 1131204384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 46614 13073 16 0 210340 0
vsize: 841424
[startup+390.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 34036 56 0 0 16 0 11 0 419722273 861618176 46852 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 46852 13073 16 0 210340 0
vsize: 841424
[startup+400.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 34951 56 0 0 16 0 11 0 419722273 861618176 47002 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 47002 13073 16 0 210340 0
vsize: 841424
[startup+410.036 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 35854 56 0 0 16 0 11 0 419722273 861618176 47193 4294967295 134512640 134569956 3221224416 3221214688 1131203981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 47193 13073 16 0 210340 0
vsize: 841424
[startup+420.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 36763 56 0 0 16 0 11 0 419722273 861618176 47384 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 47384 13073 16 0 210340 0
vsize: 841424
[startup+430.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18075 4 1 0 37670 56 0 0 16 0 11 0 419722273 861618176 47600 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 47600 13073 16 0 210340 0
vsize: 841424
[startup+440.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 38581 56 0 0 16 0 11 0 419722273 861618176 47843 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 47843 13073 16 0 210340 0
vsize: 841424
[startup+450.046 s]
Raw data (loadavg): 1.10 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 39485 56 0 0 17 0 11 0 419722273 861618176 48040 4294967295 134512640 134569956 3221224416 3221214688 1131204404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48040 13073 16 0 210340 0
vsize: 841424
[startup+460.047 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 40375 56 0 0 16 0 11 0 419722273 861618176 48183 4294967295 134512640 134569956 3221224416 3221214688 1131203262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48183 13073 16 0 210340 0
vsize: 841424
[startup+470.048 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 41275 57 0 0 16 0 11 0 419722273 861618176 48434 4294967295 134512640 134569956 3221224416 3221214784 1131372708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48434 13073 16 0 210340 0
vsize: 841424
[startup+480.055 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18075 4 1 0 42187 57 0 0 16 0 11 0 419722273 861618176 48664 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48664 13073 16 0 210340 0
vsize: 841424
[startup+490.059 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 43091 57 0 0 16 0 11 0 419722273 861618176 48698 4294967295 134512640 134569956 3221224416 3221214780 1131203212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48698 13073 16 0 210340 0
vsize: 841424
[startup+500.061 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 43982 57 0 0 16 0 11 0 419722273 861618176 48724 4294967295 134512640 134569956 3221224416 3221214780 1131204534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 48724 13073 16 0 210340 0
vsize: 841424
[startup+510.061 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 44870 57 0 0 16 0 11 0 419722273 861618176 49147 4294967295 134512640 134569956 3221224416 3221214688 1131203813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 49147 13073 16 0 210340 0
vsize: 841424
[startup+520.062 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 45766 58 0 0 16 0 11 0 419722273 861618176 49288 4294967295 134512640 134569956 3221224416 3221214688 1131203873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 49288 13073 16 0 210340 0
vsize: 841424
[startup+530.068 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18075 4 1 0 46673 58 0 0 16 0 11 0 419722273 861618176 49636 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 49636 13073 16 0 210340 0
vsize: 841424
[startup+540.072 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 47582 58 0 0 16 0 11 0 419722273 861618176 49759 4294967295 134512640 134569956 3221224416 3221214688 1131203707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 49759 13073 16 0 210340 0
vsize: 841424
[startup+550.073 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 48490 58 0 0 16 0 11 0 419722273 861618176 50024 4294967295 134512640 134569956 3221224416 3221214688 1131204404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 50024 13073 16 0 210340 0
vsize: 841424
[startup+560.075 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 49399 58 0 0 16 0 11 0 419722273 861618176 50170 4294967295 134512640 134569956 3221224416 3221214688 1131204029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 50170 13073 16 0 210340 0
vsize: 841424
[startup+570.076 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 50313 58 0 0 16 0 11 0 419722273 861618176 50406 4294967295 134512640 134569956 3221224416 3221214688 1131204289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 50406 13073 16 0 210340 0
vsize: 841424
[startup+580.077 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 51225 59 0 0 16 0 11 0 419722273 861618176 50577 4294967295 134512640 134569956 3221224416 3221214688 1131204517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 50577 13073 16 0 210340 0
vsize: 841424
[startup+590.082 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18075 4 1 0 52140 59 0 0 16 0 11 0 419722273 861618176 50737 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 50737 13073 16 0 210340 0
vsize: 841424
[startup+600.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 53046 59 0 0 17 0 11 0 419722273 861618176 50924 4294967295 134512640 134569956 3221224416 3221214688 1131203922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 50924 13073 16 0 210340 0
vsize: 841424
[startup+610.084 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 53937 59 0 0 16 0 11 0 419722273 861618176 51067 4294967295 134512640 134569956 3221224416 3221214636 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 51067 13073 16 0 210340 0
vsize: 841424
[startup+620.085 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 54836 60 0 0 17 0 11 0 419722273 861618176 51242 4294967295 134512640 134569956 3221224416 3221214720 1131265986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 51242 13073 16 0 210340 0
vsize: 841424
[startup+630.087 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 55736 60 0 0 17 0 11 0 419722273 861618176 51477 4294967295 134512640 134569956 3221224416 3221214688 1131204025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 51477 13073 16 0 210340 0
vsize: 841424
[startup+640.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 56640 60 0 0 17 0 11 0 419722273 861618176 51751 4294967295 134512640 134569956 3221224416 3221214600 1131447087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 51751 13073 16 0 210340 0
vsize: 841424
[startup+650.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 57557 60 0 0 17 0 11 0 419722273 861618176 51968 4294967295 134512640 134569956 3221224416 3221214688 1131204025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 51968 13073 16 0 210340 0
vsize: 841424
[startup+660.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 58469 61 0 0 17 0 11 0 419722273 861618176 52167 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 52167 13073 16 0 210340 0
vsize: 841424
[startup+670.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 59383 61 0 0 17 0 11 0 419722273 861618176 52331 4294967295 134512640 134569956 3221224416 3221214132 1077378400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 52331 13073 16 0 210340 0
vsize: 841424
[startup+680.092 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 60296 61 0 0 17 0 11 0 419722273 861618176 52528 4294967295 134512640 134569956 3221224416 3221214688 1131204439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 52528 13073 16 0 210340 0
vsize: 841424
[startup+690.093 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 61204 62 0 0 17 0 11 0 419722273 861618176 52682 4294967295 134512640 134569956 3221224416 3221214600 1131448922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 52682 13073 16 0 210340 0
vsize: 841424
[startup+700.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 62110 63 0 0 16 0 11 0 419722273 861618176 52937 4294967295 134512640 134569956 3221224416 3221214784 1131372844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 52937 13073 16 0 210340 0
vsize: 841424
[startup+710.097 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 63009 63 0 0 17 0 11 0 419722273 861618176 53147 4294967295 134512640 134569956 3221224416 3221214688 1131203737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 53147 13073 16 0 210340 0
vsize: 841424
[startup+720.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 63901 63 0 0 17 0 11 0 419722273 861618176 53349 4294967295 134512640 134569956 3221224416 3221214784 1131371605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 53349 13073 16 0 210340 0
vsize: 841424
[startup+730.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) S 30994 29653 29652 0 -1 0 18075 4 1 0 64786 64 0 0 17 0 11 0 419722273 861618176 53550 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 53550 13073 16 0 210340 0
vsize: 841424
[startup+740.108 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 65680 65 0 0 17 0 11 0 419722273 861618176 53876 4294967295 134512640 134569956 3221224416 3221214688 1131204389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 53876 13073 16 0 210340 0
vsize: 841424
[startup+750.111 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 66578 65 0 0 16 0 11 0 419722273 861618176 54110 4294967295 134512640 134569956 3221224416 3221214688 1131203914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 54110 13073 16 0 210340 0
vsize: 841424
[startup+760.113 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 67482 65 0 0 16 0 11 0 419722273 861618176 54356 4294967295 134512640 134569956 3221224416 3221214688 1131203585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 54356 13073 16 0 210340 0
vsize: 841424
[startup+770.114 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 68386 65 0 0 16 0 11 0 419722273 861618176 54671 4294967295 134512640 134569956 3221224416 3221214688 1131203857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 54671 13073 16 0 210340 0
vsize: 841424
[startup+780.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 69304 65 0 0 16 0 11 0 419722273 861618176 54875 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 54875 13073 16 0 210340 0
vsize: 841424
[startup+790.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 70217 66 0 0 16 0 11 0 419722273 861618176 55015 4294967295 134512640 134569956 3221224416 3221214688 1131203585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55015 13073 16 0 210340 0
vsize: 841424
[startup+800.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 71134 66 0 0 16 0 11 0 419722273 861618176 55226 4294967295 134512640 134569956 3221224416 3221214688 1131203262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55226 13073 16 0 210340 0
vsize: 841424
[startup+810.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 72064 66 0 0 17 0 11 0 419722273 861618176 55310 4294967295 134512640 134569956 3221224416 3221214688 1131203229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55310 13073 16 0 210340 0
vsize: 841424
[startup+820.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 73018 66 0 0 17 0 11 0 419722273 861618176 55471 4294967295 134512640 134569956 3221224416 3221214696 1131410174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55471 13073 16 0 210340 0
vsize: 841424
[startup+830.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 73951 67 0 0 16 0 11 0 419722273 861618176 55501 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55501 13073 16 0 210340 0
vsize: 841424
[startup+840.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 74856 67 0 0 16 0 11 0 419722273 861618176 55529 4294967295 134512640 134569956 3221224416 3221214592 1131587309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55529 13073 16 0 210340 0
vsize: 841424
[startup+850.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 75740 67 0 0 16 0 11 0 419722273 861618176 55636 4294967295 134512640 134569956 3221224416 3221214688 1131203593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55636 13073 16 0 210340 0
vsize: 841424
[startup+860.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31015
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 76624 67 0 0 16 0 11 0 419722273 861618176 55920 4294967295 134512640 134569956 3221224416 3221214688 1131204379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 55920 13073 16 0 210340 0
vsize: 841424
[startup+870.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 77511 67 0 0 15 0 11 0 419722273 861618176 56197 4294967295 134512640 134569956 3221224416 3221214688 1131204431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 56197 13073 16 0 210340 0
vsize: 841424
[startup+880.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 78402 67 0 0 16 0 11 0 419722273 861618176 56500 4294967295 134512640 134569956 3221224416 3221214688 1131203233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 56500 13073 16 0 210340 0
vsize: 841424
[startup+890.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 79306 67 0 0 16 0 11 0 419722273 861618176 56769 4294967295 134512640 134569956 3221224416 3221214688 1131203778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 56769 13073 16 0 210340 0
vsize: 841424
[startup+900.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 80256 67 0 0 18 0 11 0 419722273 861618176 56945 4294967295 134512640 134569956 3221224416 3221214688 1131204446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 56945 13073 16 0 210340 0
vsize: 841424
[startup+910.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 81211 67 0 0 16 0 11 0 419722273 861618176 56972 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 56972 13073 16 0 210340 0
vsize: 841424
[startup+920.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 82145 68 0 0 16 0 11 0 419722273 861618176 56995 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 56995 13073 16 0 210340 0
vsize: 841424
[startup+930.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 83052 68 0 0 16 0 11 0 419722273 861618176 57030 4294967295 134512640 134569956 3221224416 3221214520 1131484042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 57030 13073 16 0 210340 0
vsize: 841424
[startup+940.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 83958 68 0 0 17 0 11 0 419722273 861618176 57159 4294967295 134512640 134569956 3221224416 3221214784 1131372859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 57159 13073 16 0 210340 0
vsize: 841424
[startup+950.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 84852 69 0 0 17 0 11 0 419722273 861618176 57397 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 57397 13073 16 0 210340 0
vsize: 841424
[startup+960.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 85740 69 0 0 17 0 11 0 419722273 861618176 57621 4294967295 134512640 134569956 3221224416 3221214688 1131203233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 57621 13073 16 0 210340 0
vsize: 841424
[startup+970.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 86634 70 0 0 17 0 11 0 419722273 861618176 57913 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 57913 13073 16 0 210340 0
vsize: 841424
[startup+980.145 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 87539 70 0 0 17 0 11 0 419722273 861618176 58149 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 58149 13073 16 0 210340 0
vsize: 841424
[startup+990.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 88432 70 0 0 17 0 11 0 419722273 861618176 58459 4294967295 134512640 134569956 3221224416 3221214688 1131204353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 58459 13073 16 0 210340 0
vsize: 841424
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 89329 70 0 0 17 0 11 0 419722273 861618176 58645 4294967295 134512640 134569956 3221224416 3221214688 1131204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 58645 13073 16 0 210340 0
vsize: 841424
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 90241 71 0 0 17 0 11 0 419722273 861618176 58914 4294967295 134512640 134569956 3221224416 3221214784 1131372859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 58914 13073 16 0 210340 0
vsize: 841424
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 91209 72 0 0 17 0 11 0 419722273 861618176 59016 4294967295 134512640 134569956 3221224416 3221214688 1131204404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59016 13073 16 0 210340 0
vsize: 841424
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 92181 72 0 0 17 0 11 0 419722273 861618176 59041 4294967295 134512640 134569956 3221224416 3221214784 1131373672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 59041 13073 16 0 210340 0
vsize: 841424
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 93142 73 0 0 17 0 11 0 419722273 861618176 59057 4294967295 134512640 134569956 3221224416 3221214688 1131204394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59057 13073 16 0 210340 0
vsize: 841424
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 94092 74 0 0 17 0 11 0 419722273 861618176 59075 4294967295 134512640 134569956 3221224416 3221214696 1131412058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59075 13073 16 0 210340 0
vsize: 841424
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 95018 74 0 0 17 0 11 0 419722273 861618176 59111 4294967295 134512640 134569956 3221224416 3221214688 1131204289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59111 13073 16 0 210340 0
vsize: 841424
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 95940 74 0 0 17 0 11 0 419722273 861618176 59254 4294967295 134512640 134569956 3221224416 3221214824 1131364152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59254 13073 16 0 210340 0
vsize: 841424
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 96854 75 0 0 17 0 11 0 419722273 861618176 59454 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59454 13073 16 0 210340 0
vsize: 841424
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 97776 75 0 0 17 0 11 0 419722273 861618176 59609 4294967295 134512640 134569956 3221224416 3221214592 1131588138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59609 13073 16 0 210340 0
vsize: 841424
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 98702 76 0 0 17 0 11 0 419722273 861618176 59797 4294967295 134512640 134569956 3221224416 3221214784 1131372922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59797 13073 16 0 210340 0
vsize: 841424
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 99622 76 0 0 17 0 11 0 419722273 861618176 59910 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 59910 13073 16 0 210340 0
vsize: 841424
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 100540 76 0 0 17 0 11 0 419722273 861618176 60075 4294967295 134512640 134569956 3221224416 3221214688 1131203262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60075 13073 16 0 210340 0
vsize: 841424
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 101455 76 0 0 17 0 11 0 419722273 861618176 60289 4294967295 134512640 134569956 3221224416 3221214592 1131587391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60289 13073 16 0 210340 0
vsize: 841424
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 102377 77 0 0 17 0 11 0 419722273 861618176 60405 4294967295 134512640 134569956 3221224416 3221214784 1131372818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60405 13073 16 0 210340 0
vsize: 841424
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 103296 78 0 0 17 0 11 0 419722273 861618176 60564 4294967295 134512640 134569956 3221224416 3221214688 1131204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60564 13073 16 0 210340 0
vsize: 841424
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 104225 78 0 0 17 0 11 0 419722273 861618176 60771 4294967295 134512640 134569956 3221224416 3221214592 1131587216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60771 13073 16 0 210340 0
vsize: 841424
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 105164 78 0 0 17 0 11 0 419722273 861618176 60941 4294967295 134512640 134569956 3221224416 3221214784 1131372866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 60941 13073 16 0 210340 0
vsize: 841424
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 106101 79 0 0 17 0 11 0 419722273 861618176 61035 4294967295 134512640 134569956 3221224416 3221214688 1131203237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61035 13073 16 0 210340 0
vsize: 841424
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 107032 79 0 0 17 0 11 0 419722273 861618176 61162 4294967295 134512640 134569956 3221224416 3221214520 1131486231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61162 13073 16 0 210340 0
vsize: 841424
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 107965 80 0 0 17 0 11 0 419722273 861618176 61317 4294967295 134512640 134569956 3221224416 3221214784 1131372818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61317 13073 16 0 210340 0
vsize: 841424
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 108898 80 0 0 16 0 11 0 419722273 861618176 61447 4294967295 134512640 134569956 3221224416 3221214688 1131204404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61447 13073 16 0 210340 0
vsize: 841424
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 109834 80 0 0 17 0 11 0 419722273 861618176 61626 4294967295 134512640 134569956 3221224416 3221214688 1131203840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61626 13073 16 0 210340 0
vsize: 841424
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 110776 81 0 0 17 0 11 0 419722273 861618176 61754 4294967295 134512640 134569956 3221224416 3221214688 1131203246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61754 13073 16 0 210340 0
vsize: 841424
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 111703 81 0 0 17 0 11 0 419722273 861618176 61866 4294967295 134512640 134569956 3221224416 3221214688 1131203953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61866 13073 16 0 210340 0
vsize: 841424
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 112623 82 0 0 16 0 11 0 419722273 861618176 61946 4294967295 134512640 134569956 3221224416 3221214688 1131203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 61946 13073 16 0 210340 0
vsize: 841424
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 113559 82 0 0 17 0 11 0 419722273 861618176 62142 4294967295 134512640 134569956 3221224416 3221214688 1131203797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62142 13073 16 0 210340 0
vsize: 841424
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 114524 83 0 0 16 0 11 0 419722273 861618176 62179 4294967295 134512640 134569956 3221224416 3221214784 1131373702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62179 13073 16 0 210340 0
vsize: 841424
[startup+1280.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 115476 83 0 0 17 0 11 0 419722273 861618176 62201 4294967295 134512640 134569956 3221224416 3221214600 1131446762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62201 13073 16 0 210340 0
vsize: 841424
[startup+1290.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 116391 83 0 0 17 0 11 0 419722273 861618176 62218 4294967295 134512640 134569956 3221224416 3221214688 1131203707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62218 13073 16 0 210340 0
vsize: 841424
[startup+1300.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 117278 84 0 0 17 0 11 0 419722273 861618176 62245 4294967295 134512640 134569956 3221224416 3221214688 1131203712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62245 13073 16 0 210340 0
vsize: 841424
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 118174 84 0 0 17 0 11 0 419722273 861618176 62468 4294967295 134512640 134569956 3221224416 3221214592 1131588912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210356 62468 13073 16 0 210340 0
vsize: 841424
[startup+1320.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 119081 84 0 0 16 0 11 0 419722273 861618176 62810 4294967295 134512640 134569956 3221224416 3221214688 1131203740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 62810 13073 16 0 210340 0
vsize: 841424
[startup+1330.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31016
Raw data (stat): 30995 (java) R 30994 29653 29652 0 -1 0 18075 4 1 0 119988 84 0 0 16 0 11 0 419722273 861618176 62990 4294967295 134512640 134569956 3221224416 3221214688 1131204289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210356 62990 13073 16 0 210340 0
vsize: 841424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.4 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31018
Raw data (stat): 30995 (java) Z 30994 29653 29652 0 -1 1036 18075 42671 1 0 119990 84 12598 99 16 0 1 0 419722273 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1330.4
CPU time (s): 1327.74
CPU user time (s): 1325.89
CPU system time (s): 1.84272
CPU usage (%): 99.7996
Max. virtual memory (Kb): 841424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####