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/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMb85a90571dde4fe12541342d5605d680
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
Optimality of the best value was proved NO
Number of terms in the objective function 1150
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 1150
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 1150
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.1
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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 4500 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-13 17:54:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3033 boxname=wulflinc24 idbench=337 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc24/normalized-frb50-23-4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-frb50-23-4.opb
IDLAUNCH: 3033
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        864944 kB
Buffers:         32848 kB
Cached:          94088 kB
SwapCached:       3828 kB
Active:          45772 kB
Inactive:        87896 kB
HighTotal:      131008 kB
HighFree:        34608 kB
LowTotal:       903652 kB
LowFree:        830336 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30572 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:17:00 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3033 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-frb50-23-4.opb
c reading problem 
c [nbvar=1150]
c [nbconstr=80258]
c time 12.794
c #vars     1150
c #clauses  80258
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) : 13.259
c starts	: 1
c conflicts	: 0
c decisions	: 1150
c propagations	: 1150
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) : 13.444
c starts	: 2
c conflicts	: 0
c decisions	: 2299
c propagations	: 2300
c inspects	: 183
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) : 18.252
c starts	: 3
c conflicts	: 22
c decisions	: 3448
c propagations	: 3725
c inspects	: 4314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-35
c Current CPU time (ms) : 18.645
c starts	: 4
c conflicts	: 22
c decisions	: 3483
c propagations	: 4875
c inspects	: 9206
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-36
c Current CPU time (ms) : 20.069
c starts	: 5
c conflicts	: 26
c decisions	: 3524
c propagations	: 6054
c inspects	: 16081
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-37
c Current CPU time (ms) : 26.382
c starts	: 6
c conflicts	: 64
c decisions	: 3606
c propagations	: 7405
c inspects	: 32733
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 64
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-38
c Current CPU time (ms) : 29.064
c starts	: 7
c conflicts	: 65
c decisions	: 3642
c propagations	: 8558
c inspects	: 43087
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 65
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-40
c Current CPU time (ms) : 31.34
c starts	: 8
c conflicts	: 65
c decisions	: 3682
c propagations	: 9708
c inspects	: 52278
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 65
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-41
c Current CPU time (ms) : 37.33
c starts	: 9
c conflicts	: 90
c decisions	: 3761
c propagations	: 11065
c inspects	: 67942
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 90
c root simplifications	: 9
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 2/54 30378
Raw data (stat): 30378 (runsolver) R 30377 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477907449 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.0008 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 30387
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18019 0 1 0 830 47 0 0 25 0 10 0 477907449 859361280 21590 4294967295 134512640 134569956 3221224416 3221214520 1131164065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209805 21590 13073 16 0 209789 0
vsize: 839220
[startup+20.0011 s]
Raw data (loadavg): 1.16 1.02 1.01 2/64 30392
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18088 4 1 0 1462 48 0 0 25 0 11 0 477907449 861995008 31764 4294967295 134512640 134569956 3221224416 3221213256 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210448 31764 13073 16 0 210432 0
vsize: 841792
[startup+30.0036 s]
Raw data (loadavg): 1.13 1.02 1.00 2/64 30395
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18089 4 1 0 2327 49 0 0 24 0 11 0 477907449 861863936 32601 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 32601 13073 16 0 210400 0
vsize: 841664
[startup+40.004 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 3191 49 0 0 25 0 11 0 477907449 861863936 33280 4294967295 134512640 134569956 3221224416 3221214784 1131384424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 33280 13073 16 0 210400 0
vsize: 841664
[startup+50.0042 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 4047 49 0 0 25 0 11 0 477907449 861863936 33706 4294967295 134512640 134569956 3221224416 3221214688 1131222203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 33706 13073 16 0 210400 0
vsize: 841664
[startup+60.0048 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 4929 49 0 0 25 0 11 0 477907449 861863936 34207 4294967295 134512640 134569956 3221224416 3221214832 1131422196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 34207 13073 16 0 210400 0
vsize: 841664
[startup+70.0056 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 5819 50 0 0 25 0 11 0 477907449 861863936 34561 4294967295 134512640 134569956 3221224416 3221214688 1131222953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 34561 13073 16 0 210400 0
vsize: 841664
[startup+80.0052 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 6706 50 0 0 25 0 11 0 477907449 861863936 35047 4294967295 134512640 134569956 3221224416 3221214248 1079668451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 35047 13073 16 0 210400 0
vsize: 841664
[startup+90.0099 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 7557 50 0 0 16 0 11 0 477907449 861863936 35191 4294967295 134512640 134569956 3221224416 3221214688 1131222641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 35191 13073 16 0 210400 0
vsize: 841664
[startup+100.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 8417 51 0 0 18 0 11 0 477907449 861863936 35750 4294967295 134512640 134569956 3221224416 3221214688 1131223198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 35750 13073 16 0 210400 0
vsize: 841664
[startup+110.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 9285 51 0 0 22 0 11 0 477907449 861863936 36187 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 36187 13073 16 0 210400 0
vsize: 841664
[startup+120.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 10161 51 0 0 17 0 11 0 477907449 861863936 36382 4294967295 134512640 134569956 3221224416 3221214688 1131222685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 36382 13073 16 0 210400 0
vsize: 841664
[startup+130.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 11049 52 0 0 22 0 11 0 477907449 861863936 36607 4294967295 134512640 134569956 3221224416 3221214688 1131222421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 36607 13073 16 0 210400 0
vsize: 841664
[startup+140.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 11931 52 0 0 20 0 11 0 477907449 861863936 36956 4294967295 134512640 134569956 3221224416 3221214780 1131223470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 36956 13073 16 0 210400 0
vsize: 841664
[startup+150.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 12823 52 0 0 16 0 11 0 477907449 861863936 37221 4294967295 134512640 134569956 3221224416 3221214784 1131384530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 37221 13073 16 0 210400 0
vsize: 841664
[startup+160.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 13726 52 0 0 20 0 11 0 477907449 861863936 37427 4294967295 134512640 134569956 3221224416 3221214864 1131409834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 37427 13073 16 0 210400 0
vsize: 841664
[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 14629 52 0 0 22 0 11 0 477907449 861863936 37618 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 37618 13073 16 0 210400 0
vsize: 841664
[startup+180.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 15503 52 0 0 18 0 11 0 477907449 861863936 37846 4294967295 134512640 134569956 3221224416 3221214688 1131222595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 37846 13073 16 0 210400 0
vsize: 841664
[startup+190.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 16370 53 0 0 15 0 11 0 477907449 861863936 38146 4294967295 134512640 134569956 3221224416 3221214680 1131507166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 38146 13073 16 0 210400 0
vsize: 841664
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 17252 53 0 0 16 0 11 0 477907449 861863936 38372 4294967295 134512640 134569956 3221224416 3221214600 1131544753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 38372 13073 16 0 210400 0
vsize: 841664
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18090 4 1 0 18141 54 0 0 19 0 11 0 477907449 861863936 38631 4294967295 134512640 134569956 3221224416 3221214596 1131534112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 38631 13073 16 0 210400 0
vsize: 841664
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 19038 54 0 0 16 0 11 0 477907449 861863936 38683 4294967295 134512640 134569956 3221224416 3221214712 1131682458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 38683 13073 16 0 210400 0
vsize: 841664
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 19928 54 0 0 16 0 11 0 477907449 861863936 39045 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 39045 13073 16 0 210400 0
vsize: 841664
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 20833 54 0 0 17 0 11 0 477907449 861863936 39185 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 39185 13073 16 0 210400 0
vsize: 841664
[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 21714 54 0 0 16 0 11 0 477907449 861863936 39452 4294967295 134512640 134569956 3221224416 3221214784 1131384568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 39452 13073 16 0 210400 0
vsize: 841664
[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 22607 55 0 0 16 0 11 0 477907449 861863936 39757 4294967295 134512640 134569956 3221224416 3221214688 1131222535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 39757 13073 16 0 210400 0
vsize: 841664
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 23513 55 0 0 16 0 11 0 477907449 861863936 40016 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 40016 13073 16 0 210400 0
vsize: 841664
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 24406 55 0 0 16 0 11 0 477907449 861863936 40277 4294967295 134512640 134569956 3221224416 3221214688 1131222915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 40277 13073 16 0 210400 0
vsize: 841664
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 25304 56 0 0 16 0 11 0 477907449 861863936 40505 4294967295 134512640 134569956 3221224416 3221214688 1131222903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 40505 13073 16 0 210400 0
vsize: 841664
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30397
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 26202 56 0 0 16 0 11 0 477907449 861863936 40798 4294967295 134512640 134569956 3221224416 3221214688 1131222210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 40798 13073 16 0 210400 0
vsize: 841664
[startup+310.034 s]
Raw data (loadavg): 1.08 1.02 1.01 3/67 30438
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 27092 66 0 0 16 0 11 0 477907449 861863936 41095 4294967295 134512640 134569956 3221224416 3221214408 1131336285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 41095 13073 16 0 210400 0
vsize: 841664
[startup+320.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 30450
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 27997 66 0 0 17 0 11 0 477907449 861863936 41319 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 41319 13073 16 0 210400 0
vsize: 841664
[startup+330.038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 28909 66 0 0 16 0 11 0 477907449 861863936 41546 4294967295 134512640 134569956 3221224416 3221214688 1131223453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 41546 13073 16 0 210400 0
vsize: 841664
[startup+340.038 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 29795 66 0 0 16 0 11 0 477907449 861863936 41736 4294967295 134512640 134569956 3221224416 3221214688 1131222795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 41736 13073 16 0 210400 0
vsize: 841664
[startup+350.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 30667 66 0 0 16 0 11 0 477907449 861863936 42073 4294967295 134512640 134569956 3221224416 3221214688 1131223002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 42073 13073 16 0 210400 0
vsize: 841664
[startup+360.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 31559 66 0 0 16 0 11 0 477907449 861863936 42304 4294967295 134512640 134569956 3221224416 3221214688 1131222848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 42304 13073 16 0 210400 0
vsize: 841664
[startup+370.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 32472 67 0 0 16 0 11 0 477907449 861863936 42580 4294967295 134512640 134569956 3221224416 3221214688 1131222421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 42580 13073 16 0 210400 0
vsize: 841664
[startup+380.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30450
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 33386 67 0 0 16 0 11 0 477907449 861863936 42628 4294967295 134512640 134569956 3221224416 3221214760 1131453419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 42628 13073 16 0 210400 0
vsize: 841664
[startup+390.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 34288 67 0 0 16 0 11 0 477907449 861863936 42752 4294967295 134512640 134569956 3221224416 3221214784 1131384568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 42752 13073 16 0 210400 0
vsize: 841664
[startup+400.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 35180 67 0 0 15 0 11 0 477907449 861863936 43023 4294967295 134512640 134569956 3221224416 3221214688 1131222778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 43023 13073 16 0 210400 0
vsize: 841664
[startup+410.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 36077 67 0 0 16 0 11 0 477907449 861863936 43241 4294967295 134512640 134569956 3221224416 3221214688 1131223300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 43241 13073 16 0 210400 0
vsize: 841664
[startup+420.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 36972 67 0 0 16 0 11 0 477907449 861863936 43446 4294967295 134512640 134569956 3221224416 3221214688 1131222685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 43446 13073 16 0 210400 0
vsize: 841664
[startup+430.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 37877 67 0 0 16 0 11 0 477907449 861863936 43743 4294967295 134512640 134569956 3221224416 3221214600 1131545068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 43743 13073 16 0 210400 0
vsize: 841664
[startup+440.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 38794 67 0 0 16 0 11 0 477907449 861863936 43950 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 43950 13073 16 0 210400 0
vsize: 841664
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 39703 67 0 0 16 0 11 0 477907449 861863936 44151 4294967295 134512640 134569956 3221224416 3221214688 1131222961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 44151 13073 16 0 210400 0
vsize: 841664
[startup+460.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 40613 67 0 0 17 0 11 0 477907449 861863936 44342 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 44342 13073 16 0 210400 0
vsize: 841664
[startup+470.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 41513 67 0 0 16 0 11 0 477907449 861863936 44570 4294967295 134512640 134569956 3221224416 3221214688 1131223236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 44570 13073 16 0 210400 0
vsize: 841664
[startup+480.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 42414 67 0 0 16 0 11 0 477907449 861863936 44754 4294967295 134512640 134569956 3221224416 3221214600 1131546683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 44754 13073 16 0 210400 0
vsize: 841664
[startup+490.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 43314 67 0 0 15 0 11 0 477907449 861863936 44971 4294967295 134512640 134569956 3221224416 3221214656 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 44971 13073 16 0 210400 0
vsize: 841664
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 44216 67 0 0 16 0 11 0 477907449 861863936 45238 4294967295 134512640 134569956 3221224416 3221214688 1131222535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 45238 13073 16 0 210400 0
vsize: 841664
[startup+510.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 45121 67 0 0 16 0 11 0 477907449 861863936 45467 4294967295 134512640 134569956 3221224416 3221214688 1131222927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 45467 13073 16 0 210400 0
vsize: 841664
[startup+520.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 46035 67 0 0 16 0 11 0 477907449 861863936 45689 4294967295 134512640 134569956 3221224416 3221214900 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 45689 13073 16 0 210400 0
vsize: 841664
[startup+530.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 46957 67 0 0 16 0 11 0 477907449 861863936 45870 4294967295 134512640 134569956 3221224416 3221214784 1131385392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 45870 13073 16 0 210400 0
vsize: 841664
[startup+540.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 47882 68 0 0 16 0 11 0 477907449 861863936 46044 4294967295 134512640 134569956 3221224416 3221214688 1131222406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46044 13073 16 0 210400 0
vsize: 841664
[startup+550.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 48806 68 0 0 16 0 11 0 477907449 861863936 46214 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46214 13073 16 0 210400 0
vsize: 841664
[startup+560.064 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 49731 68 0 0 16 0 11 0 477907449 861863936 46515 4294967295 134512640 134569956 3221224416 3221214688 1131222732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46515 13073 16 0 210400 0
vsize: 841664
[startup+570.068 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 30452
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 50658 68 0 0 17 0 11 0 477907449 861863936 46643 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46643 13073 16 0 210400 0
vsize: 841664
[startup+580.072 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 51586 68 0 0 16 0 11 0 477907449 861863936 46785 4294967295 134512640 134569956 3221224416 3221214688 1131222228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46785 13073 16 0 210400 0
vsize: 841664
[startup+590.076 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 52520 68 0 0 17 0 11 0 477907449 861863936 46939 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 46939 13073 16 0 210400 0
vsize: 841664
[startup+600.081 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 53468 68 0 0 16 0 11 0 477907449 861863936 47134 4294967295 134512640 134569956 3221224416 3221214784 1131384722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47134 13073 16 0 210400 0
vsize: 841664
[startup+610.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 54391 68 0 0 15 0 11 0 477907449 861863936 47265 4294967295 134512640 134569956 3221224416 3221214688 1131223342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47265 13073 16 0 210400 0
vsize: 841664
[startup+620.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 55325 68 0 0 15 0 11 0 477907449 861863936 47456 4294967295 134512640 134569956 3221224416 3221214688 1131222699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47456 13073 16 0 210400 0
vsize: 841664
[startup+630.085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 56258 68 0 0 16 0 11 0 477907449 861863936 47568 4294967295 134512640 134569956 3221224416 3221214688 1131222699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47568 13073 16 0 210400 0
vsize: 841664
[startup+640.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 57177 68 0 0 16 0 11 0 477907449 861863936 47684 4294967295 134512640 134569956 3221224416 3221214752 1131473446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47684 13073 16 0 210400 0
vsize: 841664
[startup+650.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 58100 68 0 0 16 0 11 0 477907449 861863936 47850 4294967295 134512640 134569956 3221224416 3221214472 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 47850 13073 16 0 210400 0
vsize: 841664
[startup+660.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 59031 68 0 0 16 0 11 0 477907449 861863936 48082 4294967295 134512640 134569956 3221224416 3221214784 1131385473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48082 13073 16 0 210400 0
vsize: 841664
[startup+670.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 59967 68 0 0 16 0 11 0 477907449 861863936 48320 4294967295 134512640 134569956 3221224416 3221214832 1131424650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48320 13073 16 0 210400 0
vsize: 841664
[startup+680.087 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30452
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 60907 69 0 0 16 0 11 0 477907449 861863936 48428 4294967295 134512640 134569956 3221224416 3221214680 1131507434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48428 13073 16 0 210400 0
vsize: 841664
[startup+690.088 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 61853 69 0 0 16 0 11 0 477907449 861863936 48619 4294967295 134512640 134569956 3221224416 3221214784 1131384530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48619 13073 16 0 210400 0
vsize: 841664
[startup+700.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 62801 69 0 0 17 0 11 0 477907449 861863936 48715 4294967295 134512640 134569956 3221224416 3221214688 1131222177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48715 13073 16 0 210400 0
vsize: 841664
[startup+710.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 63745 69 0 0 16 0 11 0 477907449 861863936 48802 4294967295 134512640 134569956 3221224416 3221214784 1131385392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 48802 13073 16 0 210400 0
vsize: 841664
[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 64659 69 0 0 16 0 11 0 477907449 861863936 49012 4294967295 134512640 134569956 3221224416 3221214688 1131222210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49012 13073 16 0 210400 0
vsize: 841664
[startup+730.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 65575 69 0 0 16 0 11 0 477907449 861863936 49126 4294967295 134512640 134569956 3221224416 3221214784 1131384520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49126 13073 16 0 210400 0
vsize: 841664
[startup+740.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 66507 69 0 0 16 0 11 0 477907449 861863936 49324 4294967295 134512640 134569956 3221224416 3221214824 1131413703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49324 13073 16 0 210400 0
vsize: 841664
[startup+750.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 67433 69 0 0 16 0 11 0 477907449 861863936 49366 4294967295 134512640 134569956 3221224416 3221214688 1131222732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49366 13073 16 0 210400 0
vsize: 841664
[startup+760.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 68344 69 0 0 16 0 11 0 477907449 861863936 49395 4294967295 134512640 134569956 3221224416 3221214832 1131421463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49395 13073 16 0 210400 0
vsize: 841664
[startup+770.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 69240 69 0 0 16 0 11 0 477907449 861863936 49584 4294967295 134512640 134569956 3221224416 3221214784 1131384722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49584 13073 16 0 210400 0
vsize: 841664
[startup+780.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 70132 69 0 0 16 0 11 0 477907449 861863936 49744 4294967295 134512640 134569956 3221224416 3221214832 1131424650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49744 13073 16 0 210400 0
vsize: 841664
[startup+790.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 71025 69 0 0 16 0 11 0 477907449 861863936 49994 4294967295 134512640 134569956 3221224416 3221214784 1131384575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 49994 13073 16 0 210400 0
vsize: 841664
[startup+800.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 71922 70 0 0 16 0 11 0 477907449 861863936 50211 4294967295 134512640 134569956 3221224416 3221214688 1131222637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 50211 13073 16 0 210400 0
vsize: 841664
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 72824 70 0 0 16 0 11 0 477907449 861863936 50578 4294967295 134512640 134569956 3221224416 3221214832 1131421411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 50578 13073 16 0 210400 0
vsize: 841664
[startup+820.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 73736 70 0 0 16 0 11 0 477907449 861863936 50748 4294967295 134512640 134569956 3221224416 3221214688 1131222699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 50748 13073 16 0 210400 0
vsize: 841664
[startup+830.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 74642 70 0 0 16 0 11 0 477907449 861863936 50952 4294967295 134512640 134569956 3221224416 3221214688 1131223369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 50952 13073 16 0 210400 0
vsize: 841664
[startup+840.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 75546 70 0 0 16 0 11 0 477907449 861863936 51107 4294967295 134512640 134569956 3221224416 3221214784 1131384530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 51107 13073 16 0 210400 0
vsize: 841664
[startup+850.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 76457 70 0 0 17 0 11 0 477907449 861863936 51346 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 51346 13073 16 0 210400 0
vsize: 841664
[startup+860.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 77383 70 0 0 16 0 11 0 477907449 861863936 51654 4294967295 134512640 134569956 3221224416 3221214752 1131473458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 51654 13073 16 0 210400 0
vsize: 841664
[startup+870.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 78322 70 0 0 16 0 11 0 477907449 861863936 51829 4294967295 134512640 134569956 3221224416 3221214756 1080204176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 51829 13073 16 0 210400 0
vsize: 841664
[startup+880.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 79254 70 0 0 16 0 11 0 477907449 861863936 51935 4294967295 134512640 134569956 3221224416 3221214688 1131222188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 51935 13073 16 0 210400 0
vsize: 841664
[startup+890.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 80189 70 0 0 17 0 11 0 477907449 861863936 52019 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52019 13073 16 0 210400 0
vsize: 841664
[startup+900.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 81122 70 0 0 16 0 11 0 477907449 861863936 52179 4294967295 134512640 134569956 3221224416 3221214688 1131222980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52179 13073 16 0 210400 0
vsize: 841664
[startup+910.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 82061 70 0 0 16 0 11 0 477907449 861863936 52316 4294967295 134512640 134569956 3221224416 3221214688 1131222992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52316 13073 16 0 210400 0
vsize: 841664
[startup+920.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 82986 70 0 0 16 0 11 0 477907449 861863936 52410 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52410 13073 16 0 210400 0
vsize: 841664
[startup+930.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 83904 70 0 0 17 0 11 0 477907449 861863936 52566 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52566 13073 16 0 210400 0
vsize: 841664
[startup+940.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 84805 71 0 0 16 0 11 0 477907449 861863936 52705 4294967295 134512640 134569956 3221224416 3221214832 1131422872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52705 13073 16 0 210400 0
vsize: 841664
[startup+950.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 85711 71 0 0 16 0 11 0 477907449 861863936 52946 4294967295 134512640 134569956 3221224416 3221214688 1131223420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 52946 13073 16 0 210400 0
vsize: 841664
[startup+960.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 86622 71 0 0 16 0 11 0 477907449 861863936 53192 4294967295 134512640 134569956 3221224416 3221214760 1131453262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 53192 13073 16 0 210400 0
vsize: 841664
[startup+970.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 87542 71 0 0 16 0 11 0 477907449 861863936 53304 4294967295 134512640 134569956 3221224416 3221214688 1131223248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 53304 13073 16 0 210400 0
vsize: 841664
[startup+980.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 88455 71 0 0 16 0 11 0 477907449 861863936 53586 4294967295 134512640 134569956 3221224416 3221214688 1131222819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 53586 13073 16 0 210400 0
vsize: 841664
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 89374 71 0 0 16 0 11 0 477907449 861863936 53793 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 53793 13073 16 0 210400 0
vsize: 841664
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 90296 71 0 0 16 0 11 0 477907449 861863936 53950 4294967295 134512640 134569956 3221224416 3221214784 1131384630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 53950 13073 16 0 210400 0
vsize: 841664
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 91220 71 0 0 16 0 11 0 477907449 861863936 54131 4294967295 134512640 134569956 3221224416 3221214784 1131384530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 54131 13073 16 0 210400 0
vsize: 841664
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 92156 71 0 0 16 0 11 0 477907449 861863936 54302 4294967295 134512640 134569956 3221224416 3221214784 1131384568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 54302 13073 16 0 210400 0
vsize: 841664
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 93088 71 0 0 16 0 11 0 477907449 861863936 54431 4294967295 134512640 134569956 3221224416 3221214784 1131384575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 54431 13073 16 0 210400 0
vsize: 841664
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 94025 71 0 0 17 0 11 0 477907449 861863936 54557 4294967295 134512640 134569956 3221224416 3221214688 1131222770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 54557 13073 16 0 210400 0
vsize: 841664
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 94957 71 0 0 17 0 11 0 477907449 861863936 54728 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 54728 13073 16 0 210400 0
vsize: 841664
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 95897 71 0 0 16 0 11 0 477907449 861863936 54873 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 54873 13073 16 0 210400 0
vsize: 841664
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 96826 71 0 0 16 0 11 0 477907449 861863936 54957 4294967295 134512640 134569956 3221224416 3221214584 1131685197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 54957 13073 16 0 210400 0
vsize: 841664
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 97754 72 0 0 16 0 11 0 477907449 861863936 55092 4294967295 134512640 134569956 3221224416 3221214688 1131222697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55092 13073 16 0 210400 0
vsize: 841664
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 98692 72 0 0 16 0 11 0 477907449 861863936 55261 4294967295 134512640 134569956 3221224416 3221214600 1131544839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55261 13073 16 0 210400 0
vsize: 841664
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 99640 72 0 0 16 0 11 0 477907449 861863936 55382 4294967295 134512640 134569956 3221224416 3221214688 1131222883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55382 13073 16 0 210400 0
vsize: 841664
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 100589 73 0 0 17 0 11 0 477907449 861863936 55458 4294967295 134512640 134569956 3221224416 3221214688 1131222688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55458 13073 16 0 210400 0
vsize: 841664
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 101541 73 0 0 17 0 11 0 477907449 861863936 55577 4294967295 134512640 134569956 3221224416 3221214688 1131222745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 55577 13073 16 0 210400 0
vsize: 841664
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 102478 73 0 0 16 0 11 0 477907449 861863936 55700 4294967295 134512640 134569956 3221224416 3221214784 1131384644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55700 13073 16 0 210400 0
vsize: 841664
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 103411 74 0 0 16 0 11 0 477907449 861863936 55792 4294967295 134512640 134569956 3221224416 3221214776 1131366928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55792 13073 16 0 210400 0
vsize: 841664
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 104339 74 0 0 16 0 11 0 477907449 861863936 55907 4294967295 134512640 134569956 3221224416 3221214688 1131222699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 55907 13073 16 0 210400 0
vsize: 841664
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 105277 74 0 0 16 0 11 0 477907449 861863936 56122 4294967295 134512640 134569956 3221224416 3221214784 1131385454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56122 13073 16 0 210400 0
vsize: 841664
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) S 30377 28546 28545 0 -1 0 18091 4 1 0 106212 74 0 0 17 0 11 0 477907449 861863936 56223 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56223 13073 16 0 210400 0
vsize: 841664
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 107141 75 0 0 16 0 11 0 477907449 861863936 56320 4294967295 134512640 134569956 3221224416 3221214784 1131384530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56320 13073 16 0 210400 0
vsize: 841664
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 108073 75 0 0 16 0 11 0 477907449 861863936 56479 4294967295 134512640 134569956 3221224416 3221214688 1131222210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56479 13073 16 0 210400 0
vsize: 841664
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 109008 75 0 0 17 0 11 0 477907449 861863936 56656 4294967295 134512640 134569956 3221224416 3221214784 1131383562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210416 56656 13073 16 0 210400 0
vsize: 841664
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 109952 75 0 0 17 0 11 0 477907449 861863936 56826 4294967295 134512640 134569956 3221224416 3221214688 1131223068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56826 13073 16 0 210400 0
vsize: 841664
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 110900 75 0 0 17 0 11 0 477907449 861863936 56940 4294967295 134512640 134569956 3221224416 3221214784 1131384555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 56940 13073 16 0 210400 0
vsize: 841664
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 111850 75 0 0 17 0 11 0 477907449 861863936 57070 4294967295 134512640 134569956 3221224416 3221214504 1131672069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57070 13073 16 0 210400 0
vsize: 841664
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 112806 76 0 0 17 0 11 0 477907449 861863936 57175 4294967295 134512640 134569956 3221224416 3221214688 1131222923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57175 13073 16 0 210400 0
vsize: 841664
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 113751 76 0 0 16 0 11 0 477907449 861863936 57256 4294967295 134512640 134569956 3221224416 3221214688 1131222805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57256 13073 16 0 210400 0
vsize: 841664
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 114699 77 0 0 16 0 11 0 477907449 861863936 57397 4294967295 134512640 134569956 3221224416 3221214688 1131222169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57397 13073 16 0 210400 0
vsize: 841664
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 115642 77 0 0 16 0 11 0 477907449 861863936 57479 4294967295 134512640 134569956 3221224416 3221214688 1131222939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57479 13073 16 0 210400 0
vsize: 841664
[startup+1280.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 116589 77 0 0 17 0 11 0 477907449 861863936 57636 4294967295 134512640 134569956 3221224416 3221214784 1131231115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57636 13073 16 0 210400 0
vsize: 841664
[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 117528 77 0 0 17 0 11 0 477907449 861863936 57707 4294967295 134512640 134569956 3221224416 3221214688 1131222761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57707 13073 16 0 210400 0
vsize: 841664
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 118464 78 0 0 16 0 11 0 477907449 861863936 57834 4294967295 134512640 134569956 3221224416 3221214784 1131384510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 57834 13073 16 0 210400 0
vsize: 841664
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 119387 78 0 0 16 0 11 0 477907449 861863936 58031 4294967295 134512640 134569956 3221224416 3221214784 1131383297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 58031 13073 16 0 210400 0
vsize: 841664
[startup+1320.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30454
Raw data (stat): 30378 (java) R 30377 28546 28545 0 -1 0 18091 4 1 0 120312 79 0 0 16 0 11 0 477907449 861863936 58103 4294967295 134512640 134569956 3221224416 3221214688 1131222726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210416 58103 13073 16 0 210400 0
vsize: 841664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30456
Raw data (stat): 30378 (java) Z 30377 28546 28545 0 -1 1036 18091 41542 1 0 120317 79 12056 103 16 0 1 0 477907449 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): 1320.31
CPU time (s): 1325.56
CPU user time (s): 1323.74
CPU system time (s): 1.82672
CPU usage (%): 100.398
Max. virtual memory (Kb): 841792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####