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-4.opb
MD5SUMb7f280d80b52f97899362fbc10d59421
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
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.12
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 4507 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 17:59:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3078 boxname=wulflinc23 idbench=342 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc23/normalized-frb53-24-4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-frb53-24-4.opb
IDLAUNCH: 3078
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        911428 kB
Buffers:         33176 kB
Cached:          46736 kB
SwapCached:        192 kB
Active:          44116 kB
Inactive:        38872 kB
HighTotal:      131008 kB
HighFree:        80416 kB
LowTotal:       903652 kB
LowFree:        831012 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34592 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:21:55 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3078 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-frb53-24-4.opb
c reading problem 
c [nbvar=1272]
c [nbconstr=94308]
c time 13.882
c #vars     1272
c #clauses  94308
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.351
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.554
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 2544
c inspects	: 124
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.404
c starts	: 3
c conflicts	: 23
c decisions	: 3814
c propagations	: 4115
c inspects	: 2870
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=-38
c Current CPU time (ms) : 20.64
c starts	: 4
c conflicts	: 23
c decisions	: 3852
c propagations	: 5387
c inspects	: 8150
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=-39
c Current CPU time (ms) : 27.501
c starts	: 5
c conflicts	: 60
c decisions	: 3931
c propagations	: 6921
c inspects	: 28239
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-41
c Current CPU time (ms) : 1066.319
c starts	: 11
c conflicts	: 1405
c decisions	: 5690
c propagations	: 23952
c inspects	: 1123427
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1405
c root simplifications	: 11
#### 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.93 0.98 0.98 2/54 4140
Raw data (stat): 4140 (runsolver) R 4139 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477937391 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.0004 s]
Raw data (loadavg): 1.08 1.02 0.99 2/63 4149
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 17997 0 1 0 838 46 0 0 25 0 10 0 477937391 859234304 20824 4294967295 134512640 134569956 3221224416 3221214496 1131159905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 20824 13073 16 0 209758 0
vsize: 839096
[startup+20.0011 s]
Raw data (loadavg): 1.23 1.05 1.00 3/64 4152
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18069 3 1 0 1472 48 0 0 25 0 11 0 477937391 862203904 31953 4294967295 134512640 134569956 3221224416 3221214696 1131210129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210499 31953 13073 16 0 210483 0
vsize: 841996
[startup+30.0016 s]
Raw data (loadavg): 1.28 1.06 1.01 4/64 4155
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18070 3 1 0 2354 48 0 0 25 0 11 0 477937391 869572608 35682 4294967295 134512640 134569956 3221224416 3221213560 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212298 35682 13073 16 0 212282 0
vsize: 849192
[startup+40.0018 s]
Raw data (loadavg): 1.39 1.09 1.02 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18070 3 1 0 3209 55 0 0 25 0 11 0 477937391 863023104 35042 4294967295 134512640 134569956 3221224416 3221214688 1131210287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 35042 13073 16 0 210683 0
vsize: 842796
[startup+50.0489 s]
Raw data (loadavg): 1.33 1.09 1.01 3/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18070 3 1 0 4103 55 0 0 25 0 11 0 477937391 863023104 35739 4294967295 134512640 134569956 3221224416 3221214576 1131397422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 35739 13073 16 0 210683 0
vsize: 842796
[startup+60.0501 s]
Raw data (loadavg): 1.28 1.09 1.01 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18070 3 1 0 4987 55 0 0 25 0 11 0 477937391 863023104 36177 4294967295 134512640 134569956 3221224416 3221214384 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 36177 13073 16 0 210683 0
vsize: 842796
[startup+70.0508 s]
Raw data (loadavg): 1.23 1.08 1.01 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18070 3 1 0 5842 55 0 0 24 0 11 0 477937391 863023104 36605 4294967295 134512640 134569956 3221224416 3221214784 1131367793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 36605 13073 16 0 210683 0
vsize: 842796
[startup+80.0507 s]
Raw data (loadavg): 1.20 1.08 1.01 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 6731 55 0 0 25 0 11 0 477937391 863023104 37120 4294967295 134512640 134569956 3221224416 3221214784 1131366375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 37120 13073 16 0 210683 0
vsize: 842796
[startup+90.051 s]
Raw data (loadavg): 1.17 1.08 1.01 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 7628 56 0 0 25 0 11 0 477937391 863023104 37624 4294967295 134512640 134569956 3221224416 3221214656 1131263380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 37624 13073 16 0 210683 0
vsize: 842796
[startup+100.052 s]
Raw data (loadavg): 1.14 1.07 1.01 2/64 4208
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 8525 56 0 0 24 0 11 0 477937391 863023104 38125 4294967295 134512640 134569956 3221224416 3221214656 1131263380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 38125 13073 16 0 210683 0
vsize: 842796
[startup+110.053 s]
Raw data (loadavg): 1.12 1.07 1.01 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 9438 56 0 0 25 0 11 0 477937391 863023104 38569 4294967295 134512640 134569956 3221224416 3221214428 1131151468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 38569 13073 16 0 210683 0
vsize: 842796
[startup+120.054 s]
Raw data (loadavg): 1.10 1.07 1.01 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 10330 56 0 0 25 0 11 0 477937391 863023104 38994 4294967295 134512640 134569956 3221224416 3221214688 1131210039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 38994 13073 16 0 210683 0
vsize: 842796
[startup+130.054 s]
Raw data (loadavg): 1.08 1.07 1.01 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 11230 56 0 0 25 0 11 0 477937391 863023104 39486 4294967295 134512640 134569956 3221224416 3221214688 1131210401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 39486 13073 16 0 210683 0
vsize: 842796
[startup+140.054 s]
Raw data (loadavg): 1.07 1.06 1.01 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 12095 56 0 0 25 0 11 0 477937391 863023104 39675 4294967295 134512640 134569956 3221224416 3221214632 1131442137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 39675 13073 16 0 210683 0
vsize: 842796
[startup+150.056 s]
Raw data (loadavg): 1.06 1.06 1.00 2/64 4210
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 12948 56 0 0 25 0 11 0 477937391 863023104 40334 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 40334 13073 16 0 210683 0
vsize: 842796
[startup+160.058 s]
Raw data (loadavg): 1.05 1.06 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 13820 57 0 0 25 0 11 0 477937391 863023104 40810 4294967295 134512640 134569956 3221224416 3221214704 1131411234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 40810 13073 16 0 210683 0
vsize: 842796
[startup+170.058 s]
Raw data (loadavg): 1.04 1.06 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 14701 57 0 0 25 0 11 0 477937391 863023104 41108 4294967295 134512640 134569956 3221224416 3221214784 1131364390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 41108 13073 16 0 210683 0
vsize: 842796
[startup+180.058 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 15590 57 0 0 25 0 11 0 477937391 863023104 41377 4294967295 134512640 134569956 3221224416 3221214784 1131365349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 41377 13073 16 0 210683 0
vsize: 842796
[startup+190.058 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 16467 57 0 0 25 0 11 0 477937391 863023104 41727 4294967295 134512640 134569956 3221224416 3221214648 1131247009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 41727 13073 16 0 210683 0
vsize: 842796
[startup+200.059 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 17355 57 0 0 25 0 11 0 477937391 863023104 42083 4294967295 134512640 134569956 3221224416 3221214688 1131210837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 42083 13073 16 0 210683 0
vsize: 842796
[startup+210.06 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 4210
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 18245 58 0 0 25 0 11 0 477937391 863023104 42294 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 42294 13073 16 0 210683 0
vsize: 842796
[startup+220.06 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 19125 58 0 0 25 0 11 0 477937391 863023104 42641 4294967295 134512640 134569956 3221224416 3221214784 1131365460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 42641 13073 16 0 210683 0
vsize: 842796
[startup+230.06 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 20016 58 0 0 25 0 11 0 477937391 863023104 42853 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 42853 13073 16 0 210683 0
vsize: 842796
[startup+240.06 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 20902 59 0 0 25 0 11 0 477937391 863023104 43156 4294967295 134512640 134569956 3221224416 3221214576 1131397422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 43156 13073 16 0 210683 0
vsize: 842796
[startup+250.06 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 21786 59 0 0 24 0 11 0 477937391 863023104 43445 4294967295 134512640 134569956 3221224416 3221214832 1131383585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 43445 13073 16 0 210683 0
vsize: 842796
[startup+260.061 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 22680 59 0 0 25 0 11 0 477937391 863023104 43709 4294967295 134512640 134569956 3221224416 3221214784 1131366396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 43709 13073 16 0 210683 0
vsize: 842796
[startup+270.061 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 23561 59 0 0 25 0 11 0 477937391 863023104 44009 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 44009 13073 16 0 210683 0
vsize: 842796
[startup+280.061 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 24434 59 0 0 25 0 11 0 477937391 863023104 44224 4294967295 134512640 134569956 3221224416 3221214784 1131365480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 44224 13073 16 0 210683 0
vsize: 842796
[startup+290.062 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 25315 59 0 0 25 0 11 0 477937391 863023104 44554 4294967295 134512640 134569956 3221224416 3221214688 1131210941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 44554 13073 16 0 210683 0
vsize: 842796
[startup+300.061 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 26186 59 0 0 25 0 11 0 477937391 863023104 44838 4294967295 134512640 134569956 3221224416 3221214688 1131210565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 44838 13073 16 0 210683 0
vsize: 842796
[startup+310.062 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 27073 59 0 0 25 0 11 0 477937391 863023104 45081 4294967295 134512640 134569956 3221224416 3221214688 1131210330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 45081 13073 16 0 210683 0
vsize: 842796
[startup+320.062 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 27950 60 0 0 25 0 11 0 477937391 863023104 45477 4294967295 134512640 134569956 3221224416 3221214704 1131411651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 45477 13073 16 0 210683 0
vsize: 842796
[startup+330.062 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 28825 60 0 0 24 0 11 0 477937391 863023104 45750 4294967295 134512640 134569956 3221224416 3221214784 1131365518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 45750 13073 16 0 210683 0
vsize: 842796
[startup+340.063 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 29712 60 0 0 25 0 11 0 477937391 863023104 46093 4294967295 134512640 134569956 3221224416 3221214608 1131247006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 46093 13073 16 0 210683 0
vsize: 842796
[startup+350.062 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4210
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 30603 60 0 0 25 0 11 0 477937391 863023104 46288 4294967295 134512640 134569956 3221224416 3221214688 1131210926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 46288 13073 16 0 210683 0
vsize: 842796
[startup+360.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 31480 60 0 0 20 0 11 0 477937391 863023104 46530 4294967295 134512640 134569956 3221224416 3221214704 1131411338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 46530 13073 16 0 210683 0
vsize: 842796
[startup+370.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 32368 60 0 0 19 0 11 0 477937391 863023104 46896 4294967295 134512640 134569956 3221224416 3221214608 1131583933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 46896 13073 16 0 210683 0
vsize: 842796
[startup+380.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 33264 60 0 0 18 0 11 0 477937391 863023104 47134 4294967295 134512640 134569956 3221224416 3221214784 1131365492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 47134 13073 16 0 210683 0
vsize: 842796
[startup+390.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 34170 60 0 0 17 0 11 0 477937391 863023104 47370 4294967295 134512640 134569956 3221224416 3221214620 1080203752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 47370 13073 16 0 210683 0
vsize: 842796
[startup+400.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 35079 60 0 0 21 0 11 0 477937391 863023104 47576 4294967295 134512640 134569956 3221224416 3221214656 1131263380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 47576 13073 16 0 210683 0
vsize: 842796
[startup+410.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 35955 60 0 0 16 0 11 0 477937391 863023104 47806 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 47806 13073 16 0 210683 0
vsize: 842796
[startup+420.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 36840 61 0 0 21 0 11 0 477937391 863023104 48050 4294967295 134512640 134569956 3221224416 3221214784 1131364455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 48050 13073 16 0 210683 0
vsize: 842796
[startup+430.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 37716 61 0 0 17 0 11 0 477937391 863023104 48254 4294967295 134512640 134569956 3221224416 3221214784 1131365518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 48254 13073 16 0 210683 0
vsize: 842796
[startup+440.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 38606 61 0 0 15 0 11 0 477937391 863023104 48639 4294967295 134512640 134569956 3221224416 3221214872 1131400551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 48639 13073 16 0 210683 0
vsize: 842796
[startup+450.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 39510 61 0 0 21 0 11 0 477937391 863023104 48870 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 48870 13073 16 0 210683 0
vsize: 842796
[startup+460.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 40415 61 0 0 21 0 11 0 477937391 863023104 49070 4294967295 134512640 134569956 3221224416 3221214784 1131365518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 49070 13073 16 0 210683 0
vsize: 842796
[startup+470.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 41310 61 0 0 18 0 11 0 477937391 863023104 49304 4294967295 134512640 134569956 3221224416 3221214688 1131210619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 49304 13073 16 0 210683 0
vsize: 842796
[startup+480.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 42220 62 0 0 23 0 11 0 477937391 863023104 49519 4294967295 134512640 134569956 3221224416 3221214688 1131209821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 49519 13073 16 0 210683 0
vsize: 842796
[startup+490.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 43108 62 0 0 18 0 11 0 477937391 863023104 49710 4294967295 134512640 134569956 3221224416 3221214608 1131584206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 49710 13073 16 0 210683 0
vsize: 842796
[startup+500.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 43994 62 0 0 16 0 11 0 477937391 863023104 50001 4294967295 134512640 134569956 3221224416 3221214688 1131210601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 50001 13073 16 0 210683 0
vsize: 842796
[startup+510.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 44901 62 0 0 17 0 11 0 477937391 863023104 50195 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 50195 13073 16 0 210683 0
vsize: 842796
[startup+520.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 45803 62 0 0 16 0 11 0 477937391 863023104 50517 4294967295 134512640 134569956 3221224416 3221214632 1131440591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 50517 13073 16 0 210683 0
vsize: 842796
[startup+530.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 46706 62 0 0 16 0 11 0 477937391 863023104 50797 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 50797 13073 16 0 210683 0
vsize: 842796
[startup+540.085 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 47601 63 0 0 16 0 11 0 477937391 863023104 50950 4294967295 134512640 134569956 3221224416 3221214784 1131365470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 50950 13073 16 0 210683 0
vsize: 842796
[startup+550.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 48486 63 0 0 16 0 11 0 477937391 863023104 51253 4294967295 134512640 134569956 3221224416 3221214784 1131365470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 51253 13073 16 0 210683 0
vsize: 842796
[startup+560.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 49395 63 0 0 16 0 11 0 477937391 863023104 51466 4294967295 134512640 134569956 3221224416 3221214688 1131210449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 51466 13073 16 0 210683 0
vsize: 842796
[startup+570.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 50315 63 0 0 16 0 11 0 477937391 863023104 51682 4294967295 134512640 134569956 3221224416 3221214656 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 51682 13073 16 0 210683 0
vsize: 842796
[startup+580.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 51233 64 0 0 16 0 11 0 477937391 863023104 51718 4294967295 134512640 134569956 3221224416 3221214784 1131365492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 51718 13073 16 0 210683 0
vsize: 842796
[startup+590.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 52118 64 0 0 16 0 11 0 477937391 863023104 51754 4294967295 134512640 134569956 3221224416 3221214688 1131210279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 51754 13073 16 0 210683 0
vsize: 842796
[startup+600.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 53004 64 0 0 16 0 11 0 477937391 863023104 52004 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 52004 13073 16 0 210683 0
vsize: 842796
[startup+610.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 53884 64 0 0 16 0 11 0 477937391 863023104 52318 4294967295 134512640 134569956 3221224416 3221214688 1131210330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 52318 13073 16 0 210683 0
vsize: 842796
[startup+620.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 54763 64 0 0 16 0 11 0 477937391 863023104 52577 4294967295 134512640 134569956 3221224416 3221214688 1131210039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 52577 13073 16 0 210683 0
vsize: 842796
[startup+630.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 55638 64 0 0 16 0 11 0 477937391 863023104 52882 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 52882 13073 16 0 210683 0
vsize: 842796
[startup+640.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 56542 65 0 0 16 0 11 0 477937391 863023104 53157 4294967295 134512640 134569956 3221224416 3221214688 1131210531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 53157 13073 16 0 210683 0
vsize: 842796
[startup+650.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 57429 65 0 0 15 0 11 0 477937391 863023104 53402 4294967295 134512640 134569956 3221224416 3221214784 1131366407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 53402 13073 16 0 210683 0
vsize: 842796
[startup+660.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 58326 65 0 0 16 0 11 0 477937391 863023104 53552 4294967295 134512640 134569956 3221224416 3221214608 1131584159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 53552 13073 16 0 210683 0
vsize: 842796
[startup+670.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 59199 65 0 0 16 0 11 0 477937391 863023104 53804 4294967295 134512640 134569956 3221224416 3221214616 1131357872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 53804 13073 16 0 210683 0
vsize: 842796
[startup+680.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 60071 65 0 0 16 0 11 0 477937391 863023104 54082 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 54082 13073 16 0 210683 0
vsize: 842796
[startup+690.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 60952 65 0 0 16 0 11 0 477937391 863023104 54327 4294967295 134512640 134569956 3221224416 3221214576 1131397415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 54327 13073 16 0 210683 0
vsize: 842796
[startup+700.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 61842 65 0 0 16 0 11 0 477937391 863023104 54641 4294967295 134512640 134569956 3221224416 3221214780 1131211122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 54641 13073 16 0 210683 0
vsize: 842796
[startup+710.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 62749 66 0 0 16 0 11 0 477937391 863023104 54918 4294967295 134512640 134569956 3221224416 3221214688 1131210113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 54918 13073 16 0 210683 0
vsize: 842796
[startup+720.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 63655 66 0 0 16 0 11 0 477937391 863023104 55109 4294967295 134512640 134569956 3221224416 3221214688 1131210865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 55109 13073 16 0 210683 0
vsize: 842796
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 64567 66 0 0 16 0 11 0 477937391 863023104 55296 4294967295 134512640 134569956 3221224416 3221214688 1131210416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 55296 13073 16 0 210683 0
vsize: 842796
[startup+740.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 65471 66 0 0 16 0 11 0 477937391 863023104 55539 4294967295 134512640 134569956 3221224416 3221214688 1131210877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 55539 13073 16 0 210683 0
vsize: 842796
[startup+750.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 66376 66 0 0 16 0 11 0 477937391 863023104 55765 4294967295 134512640 134569956 3221224416 3221214688 1131210613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 55765 13073 16 0 210683 0
vsize: 842796
[startup+760.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 67276 67 0 0 16 0 11 0 477937391 863023104 55911 4294967295 134512640 134569956 3221224416 3221214688 1131210634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 55911 13073 16 0 210683 0
vsize: 842796
[startup+770.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 68171 67 0 0 16 0 11 0 477937391 863023104 56131 4294967295 134512640 134569956 3221224416 3221214608 1131583794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 56131 13073 16 0 210683 0
vsize: 842796
[startup+780.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 69072 67 0 0 16 0 11 0 477937391 863023104 56372 4294967295 134512640 134569956 3221224416 3221214704 1131409642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 56372 13073 16 0 210683 0
vsize: 842796
[startup+790.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 69978 68 0 0 16 0 11 0 477937391 863023104 56643 4294967295 134512640 134569956 3221224416 3221214688 1131210455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 56643 13073 16 0 210683 0
vsize: 842796
[startup+800.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 70884 68 0 0 16 0 11 0 477937391 863023104 56898 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 56898 13073 16 0 210683 0
vsize: 842796
[startup+810.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 71798 68 0 0 16 0 11 0 477937391 863023104 57063 4294967295 134512640 134569956 3221224416 3221214784 1131365470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57063 13073 16 0 210683 0
vsize: 842796
[startup+820.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 72708 69 0 0 16 0 11 0 477937391 863023104 57240 4294967295 134512640 134569956 3221224416 3221214712 1131661920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57240 13073 16 0 210683 0
vsize: 842796
[startup+830.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 73630 69 0 0 16 0 11 0 477937391 863023104 57470 4294967295 134512640 134569956 3221224416 3221214680 1131387222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57470 13073 16 0 210683 0
vsize: 842796
[startup+840.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 74552 70 0 0 16 0 11 0 477937391 863023104 57619 4294967295 134512640 134569956 3221224416 3221214784 1131365511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57619 13073 16 0 210683 0
vsize: 842796
[startup+850.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 75473 70 0 0 16 0 11 0 477937391 863023104 57755 4294967295 134512640 134569956 3221224416 3221214688 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57755 13073 16 0 210683 0
vsize: 842796
[startup+860.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 76378 70 0 0 16 0 11 0 477937391 863023104 57926 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 57926 13073 16 0 210683 0
vsize: 842796
[startup+870.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 77287 70 0 0 16 0 11 0 477937391 863023104 58139 4294967295 134512640 134569956 3221224416 3221214688 1131209829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 58139 13073 16 0 210683 0
vsize: 842796
[startup+880.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 78200 71 0 0 16 0 11 0 477937391 863023104 58341 4294967295 134512640 134569956 3221224416 3221214584 1131531061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 58341 13073 16 0 210683 0
vsize: 842796
[startup+890.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) S 4139 3260 3259 0 -1 0 18071 3 1 0 79116 71 0 0 16 0 11 0 477937391 863023104 58530 4294967295 134512640 134569956 3221224416 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 58531 13073 16 0 210683 0
vsize: 842796
[startup+900.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 80030 71 0 0 16 0 11 0 477937391 863023104 58746 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 58746 13073 16 0 210683 0
vsize: 842796
[startup+910.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 80945 72 0 0 16 0 11 0 477937391 863023104 58916 4294967295 134512640 134569956 3221224416 3221214692 1080203717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 58916 13073 16 0 210683 0
vsize: 842796
[startup+920.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 81849 72 0 0 16 0 11 0 477937391 863023104 59031 4294967295 134512640 134569956 3221224416 3221214700 1131457632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 59031 13073 16 0 210683 0
vsize: 842796
[startup+930.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 82752 72 0 0 16 0 11 0 477937391 863023104 59248 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 59248 13073 16 0 210683 0
vsize: 842796
[startup+940.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 83649 72 0 0 16 0 11 0 477937391 863023104 59526 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 59526 13073 16 0 210683 0
vsize: 842796
[startup+950.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 84574 72 0 0 16 0 11 0 477937391 863023104 59731 4294967295 134512640 134569956 3221224416 3221214688 1131209829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 59731 13073 16 0 210683 0
vsize: 842796
[startup+960.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 85497 74 0 0 16 0 11 0 477937391 863023104 59943 4294967295 134512640 134569956 3221224416 3221214712 1131667847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 59943 13073 16 0 210683 0
vsize: 842796
[startup+970.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 86421 74 0 0 16 0 11 0 477937391 863023104 60078 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60078 13073 16 0 210683 0
vsize: 842796
[startup+980.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 87331 74 0 0 16 0 11 0 477937391 863023104 60213 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60213 13073 16 0 210683 0
vsize: 842796
[startup+990.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 88254 74 0 0 16 0 11 0 477937391 863023104 60480 4294967295 134512640 134569956 3221224416 3221214784 1131365489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60480 13073 16 0 210683 0
vsize: 842796
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 89176 74 0 0 16 0 11 0 477937391 863023104 60634 4294967295 134512640 134569956 3221224416 3221214784 1131365518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60634 13073 16 0 210683 0
vsize: 842796
[startup+1010.13 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 90109 75 0 0 17 0 11 0 477937391 863023104 60780 4294967295 134512640 134569956 3221224416 3221214784 1131364243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60780 13073 16 0 210683 0
vsize: 842796
[startup+1020.13 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 91013 75 0 0 16 0 11 0 477937391 863023104 60906 4294967295 134512640 134569956 3221224416 3221214784 1131365460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 60906 13073 16 0 210683 0
vsize: 842796
[startup+1030.13 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 91923 76 0 0 16 0 11 0 477937391 863023104 61118 4294967295 134512640 134569956 3221224416 3221214784 1131364390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61118 13073 16 0 210683 0
vsize: 842796
[startup+1040.13 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 92844 76 0 0 16 0 11 0 477937391 863023104 61364 4294967295 134512640 134569956 3221224416 3221214688 1131210076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61364 13073 16 0 210683 0
vsize: 842796
[startup+1050.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 93809 76 0 0 18 0 11 0 477937391 863023104 61417 4294967295 134512640 134569956 3221224416 3221214688 1131210549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61417 13073 16 0 210683 0
vsize: 842796
[startup+1060.14 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4212
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 94757 76 0 0 16 0 11 0 477937391 863023104 61454 4294967295 134512640 134569956 3221224416 3221214832 1131383499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61454 13073 16 0 210683 0
vsize: 842796
[startup+1070.14 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 95666 77 0 0 16 0 11 0 477937391 863023104 61481 4294967295 134512640 134569956 3221224416 3221214784 1131366333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61481 13073 16 0 210683 0
vsize: 842796
[startup+1080.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 96538 77 0 0 16 0 11 0 477937391 863023104 61489 4294967295 134512640 134569956 3221224416 3221214688 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61489 13073 16 0 210683 0
vsize: 842796
[startup+1090.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 97418 77 0 0 16 0 11 0 477937391 863023104 61868 4294967295 134512640 134569956 3221224416 3221214784 1131365454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 61868 13073 16 0 210683 0
vsize: 842796
[startup+1100.14 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 98350 78 0 0 17 0 11 0 477937391 863023104 62123 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62123 13073 16 0 210683 0
vsize: 842796
[startup+1110.14 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 99305 78 0 0 16 0 11 0 477937391 863023104 62163 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62163 13073 16 0 210683 0
vsize: 842796
[startup+1120.14 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 100224 79 0 0 16 0 11 0 477937391 863023104 62193 4294967295 134512640 134569956 3221224416 3221214704 1131411054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62193 13073 16 0 210683 0
vsize: 842796
[startup+1130.14 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 101129 79 0 0 16 0 11 0 477937391 863023104 62222 4294967295 134512640 134569956 3221224416 3221214784 1131365564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62222 13073 16 0 210683 0
vsize: 842796
[startup+1140.14 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 102024 79 0 0 16 0 11 0 477937391 863023104 62394 4294967295 134512640 134569956 3221224416 3221214728 1131246996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 62394 13073 16 0 210683 0
vsize: 842796
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 102923 79 0 0 16 0 11 0 477937391 863023104 62644 4294967295 134512640 134569956 3221224416 3221214688 1131210339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62644 13073 16 0 210683 0
vsize: 842796
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 103824 79 0 0 16 0 11 0 477937391 863023104 62875 4294967295 134512640 134569956 3221224416 3221214688 1131210374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 62875 13073 16 0 210683 0
vsize: 842796
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 104727 80 0 0 16 0 11 0 477937391 863023104 63079 4294967295 134512640 134569956 3221224416 3221214784 1131366396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 63079 13073 16 0 210683 0
vsize: 842796
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 105628 80 0 0 16 0 11 0 477937391 863023104 63243 4294967295 134512640 134569956 3221224416 3221214688 1131210401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 63243 13073 16 0 210683 0
vsize: 842796
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 106520 80 0 0 16 0 11 0 477937391 863023104 63497 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 63497 13073 16 0 210683 0
vsize: 842796
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 107403 81 0 0 16 0 11 0 477937391 863023104 63651 4294967295 134512640 134569956 3221224416 3221214688 1131210039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 63651 13073 16 0 210683 0
vsize: 842796
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 108272 81 0 0 16 0 11 0 477937391 863023104 63814 4294967295 134512640 134569956 3221224416 3221214688 1131210117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 63814 13073 16 0 210683 0
vsize: 842796
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 109169 82 0 0 16 0 11 0 477937391 863023104 64182 4294967295 134512640 134569956 3221224416 3221214784 1131365367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 64182 13073 16 0 210683 0
vsize: 842796
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 110110 82 0 0 18 0 11 0 477937391 863023104 64448 4294967295 134512640 134569956 3221224416 3221214688 1131209829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64448 13073 16 0 210683 0
vsize: 842796
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 111080 82 0 0 21 0 11 0 477937391 863023104 64486 4294967295 134512640 134569956 3221224416 3221214688 1131210987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64486 13073 16 0 210683 0
vsize: 842796
[startup+1250.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 112041 83 0 0 18 0 11 0 477937391 863023104 64517 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64517 13073 16 0 210683 0
vsize: 842796
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 112985 83 0 0 16 0 11 0 477937391 863023104 64535 4294967295 134512640 134569956 3221224416 3221214688 1131211109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64535 13073 16 0 210683 0
vsize: 842796
[startup+1270.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 113920 83 0 0 17 0 11 0 477937391 863023104 64556 4294967295 134512640 134569956 3221224416 3221214688 1131210144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64556 13073 16 0 210683 0
vsize: 842796
[startup+1280.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 114843 83 0 0 16 0 11 0 477937391 863023104 64717 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64717 13073 16 0 210683 0
vsize: 842796
[startup+1290.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 115770 83 0 0 16 0 11 0 477937391 863023104 64871 4294967295 134512640 134569956 3221224416 3221214688 1131210117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 64871 13073 16 0 210683 0
vsize: 842796
[startup+1300.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 116691 83 0 0 16 0 11 0 477937391 863023104 65036 4294967295 134512640 134569956 3221224416 3221214688 1131210325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210699 65036 13073 16 0 210683 0
vsize: 842796
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 117616 84 0 0 16 0 11 0 477937391 863023104 65153 4294967295 134512640 134569956 3221224416 3221214688 1131210339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 65153 13073 16 0 210683 0
vsize: 842796
[startup+1320.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 118528 84 0 0 16 0 11 0 477937391 863023104 65253 4294967295 134512640 134569956 3221224416 3221214688 1131210385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 65253 13073 16 0 210683 0
vsize: 842796
[startup+1330.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 119452 84 0 0 16 0 11 0 477937391 863023104 65486 4294967295 134512640 134569956 3221224416 3221214688 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 65486 13073 16 0 210683 0
vsize: 842796
[startup+1340.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4213
Raw data (stat): 4140 (java) R 4139 3260 3259 0 -1 0 18071 3 1 0 120378 85 0 0 16 0 11 0 477937391 863023104 65632 4294967295 134512640 134569956 3221224416 3221214688 1131211113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210699 65632 13073 16 0 210683 0
vsize: 842796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4215
Raw data (stat): 4140 (java) Z 4139 3260 3259 0 -1 1036 18071 45015 1 0 120381 85 13163 105 16 0 1 0 477937391 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): 1340.31
CPU time (s): 1337.35
CPU user time (s): 1335.45
CPU system time (s): 1.90371
CPU usage (%): 99.7797
Max. virtual memory (Kb): 849192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####