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.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM77c89bda49ebcdc0428e1292512864a9
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3080
Optimality of the best value was proved NO
Number of terms in the objective function 2792
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1385986
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1385986
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07184
Number of variables3300
Total number of constraints5284
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)3920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220

Trace number 4522 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        918504 kB
Buffers:         34836 kB
Cached:          58652 kB
SwapCached:       3276 kB
Active:          66824 kB
Inactive:        32756 kB
HighTotal:      131008 kB
HighFree:        68488 kB
LowTotal:       903652 kB
LowFree:        850016 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11028 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:29:54 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3213 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-ws97-3.opb
c reading problem 
c [nbvar=3300]
c [nbconstr=5284]
c time 9.447
c #vars     3300
c #clauses  2573
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=360517
c Current CPU time (ms) : 62.492
c starts	: 1
c conflicts	: 32
c decisions	: 1736
c propagations	: 6749
c inspects	: 5653
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 32
c root simplifications	: 1
c 
c CURRENT OPTIMUM=268357
c Current CPU time (ms) : 82.18
c starts	: 2
c conflicts	: 80
c decisions	: 4333
c propagations	: 15264
c inspects	: 17569
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 80
c root simplifications	: 2
c 
c CURRENT OPTIMUM=267367
c Current CPU time (ms) : 119.391
c starts	: 3
c conflicts	: 155
c decisions	: 5693
c propagations	: 23178
c inspects	: 39591
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 155
c root simplifications	: 3
c 
c CURRENT OPTIMUM=64133
c Current CPU time (ms) : 139.612
c starts	: 4
c conflicts	: 156
c decisions	: 6580
c propagations	: 26562
c inspects	: 69069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 156
c root simplifications	: 4
c 
c CURRENT OPTIMUM=64110
c Current CPU time (ms) : 688.794
c starts	: 6
c conflicts	: 310
c decisions	: 8960
c propagations	: 51420
c inspects	: 141254
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 310
c root simplifications	: 6
c 
c CURRENT OPTIMUM=63124
c Current CPU time (ms) : 839.77
c starts	: 7
c conflicts	: 369
c decisions	: 10279
c propagations	: 58552
c inspects	: 202894
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 369
c root simplifications	: 7
c 
c CURRENT OPTIMUM=63108
c Current CPU time (ms) : 950.727
c starts	: 8
c conflicts	: 445
c decisions	: 11325
c propagations	: 63150
c inspects	: 253473
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 445
c root simplifications	: 8
c 
c CURRENT OPTIMUM=62111
c Current CPU time (ms) : 1009.691
c starts	: 9
c conflicts	: 486
c decisions	: 12308
c propagations	: 67354
c inspects	: 279523
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 486
c root simplifications	: 9
c 
c CURRENT OPTIMUM=62105
c Current CPU time (ms) : 1068.127
c starts	: 10
c conflicts	: 486
c decisions	: 13225
c propagations	: 70653
c inspects	: 341614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 486
c root simplifications	: 10
c 
c CURRENT OPTIMUM=62104
c Current CPU time (ms) : 1101.672
c starts	: 11
c conflicts	: 522
c decisions	: 14202
c propagations	: 74342
c inspects	: 348040
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 522
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.92 0.98 0.99 2/54 12493
Raw data (stat): 12493 (runsolver) R 12492 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419767381 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.17 1.03 1.01 4/63 12502
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18011 0 1 0 788 44 0 0 25 0 10 0 419767381 872173568 23513 4294967295 134512640 134569956 3221224416 3221214600 1130915299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 23513 13073 16 0 212917 0
vsize: 851732
[startup+20.0009 s]
Raw data (loadavg): 1.45 1.10 1.03 4/64 12503
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 0 1 0 1277 45 0 0 25 0 11 0 419767381 874577920 24256 4294967295 134512640 134569956 3221224416 3221214712 1130893595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213520 24256 13073 16 0 213504 0
vsize: 854080
[startup+30.0018 s]
Raw data (loadavg): 1.53 1.13 1.04 3/64 12503
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 0 1 0 2001 45 0 0 25 0 11 0 419767381 879788032 26256 4294967295 134512640 134569956 3221224416 3221214712 1131582030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214792 26256 13073 16 0 214776 0
vsize: 859168
[startup+40.0032 s]
Raw data (loadavg): 1.52 1.14 1.05 2/64 12503
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 0 1 0 2902 46 0 0 25 0 11 0 419767381 879202304 26332 4294967295 134512640 134569956 3221224416 3221214712 1131582009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214649 26332 13073 16 0 214633 0
vsize: 858596
[startup+50.0036 s]
Raw data (loadavg): 1.44 1.13 1.04 2/64 12503
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 0 1 0 3802 46 0 0 25 0 11 0 419767381 877858816 26256 4294967295 134512640 134569956 3221224416 3221214664 1131554126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 26256 13073 16 0 214305 0
vsize: 857284
[startup+60.0034 s]
Raw data (loadavg): 1.37 1.13 1.04 2/64 12503
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 0 1 0 4751 46 0 0 25 0 11 0 419767381 877858816 26791 4294967295 134512640 134569956 3221224416 3221214848 1131515501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 26791 13073 16 0 214305 0
vsize: 857284
[startup+70.0045 s]
Raw data (loadavg): 1.31 1.12 1.04 2/64 12504
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 3 1 0 5683 46 0 0 25 0 11 0 419767381 877858816 26870 4294967295 134512640 134569956 3221224416 3221214712 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 26870 13073 16 0 214305 0
vsize: 857284
[startup+80.0048 s]
Raw data (loadavg): 1.27 1.12 1.04 2/64 12504
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18115 3 1 0 6602 46 0 0 25 0 11 0 419767381 877858816 27062 4294967295 134512640 134569956 3221224416 3221214672 1131531795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 27062 13073 16 0 214305 0
vsize: 857284
[startup+90.0059 s]
Raw data (loadavg): 1.22 1.11 1.04 2/64 12505
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18116 3 1 0 7511 47 0 0 25 0 11 0 419767381 877858816 27479 4294967295 134512640 134569956 3221224416 3221214672 1131581730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 27479 13073 16 0 214305 0
vsize: 857284
[startup+100.006 s]
Raw data (loadavg): 1.19 1.11 1.04 2/64 12505
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18116 3 1 0 8399 47 0 0 25 0 11 0 419767381 877858816 27839 4294967295 134512640 134569956 3221224416 3221214672 1131554126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 27839 13073 16 0 214305 0
vsize: 857284
[startup+110.006 s]
Raw data (loadavg): 1.16 1.11 1.04 2/64 12505
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18116 3 1 0 9299 47 0 0 25 0 11 0 419767381 877858816 28125 4294967295 134512640 134569956 3221224416 3221214720 1131584398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 28125 13073 16 0 214305 0
vsize: 857284
[startup+120.052 s]
Raw data (loadavg): 1.13 1.10 1.04 3/63 12505
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 10209 47 0 0 25 0 10 0 419767381 877858816 28725 4294967295 134512640 134569956 3221224416 3221214848 1130917329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 28725 13073 16 0 214305 0
vsize: 857284
[startup+130.053 s]
Raw data (loadavg): 1.11 1.10 1.04 2/64 12506
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 11130 48 0 0 25 0 11 0 419767381 877858816 29095 4294967295 134512640 134569956 3221224416 3221214688 1131231053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 29095 13073 16 0 214305 0
vsize: 857284
[startup+140.054 s]
Raw data (loadavg): 1.10 1.09 1.04 2/64 12506
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 12035 48 0 0 25 0 11 0 419767381 877858816 29125 4294967295 134512640 134569956 3221224416 3221214784 1131444473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 29125 13073 16 0 214305 0
vsize: 857284
[startup+150.054 s]
Raw data (loadavg): 1.08 1.09 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 12940 48 0 0 25 0 11 0 419767381 877858816 29334 4294967295 134512640 134569956 3221224416 3221214720 1131589212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 29334 13073 16 0 214305 0
vsize: 857284
[startup+160.054 s]
Raw data (loadavg): 1.07 1.09 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 13864 49 0 0 25 0 11 0 419767381 877858816 29975 4294967295 134512640 134569956 3221224416 3221214720 1131584521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 29975 13073 16 0 214305 0
vsize: 857284
[startup+170.054 s]
Raw data (loadavg): 1.06 1.08 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 14816 49 0 0 25 0 11 0 419767381 877858816 30087 4294967295 134512640 134569956 3221224416 3221214720 1131588040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30087 13073 16 0 214305 0
vsize: 857284
[startup+180.055 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 15782 49 0 0 25 0 11 0 419767381 877858816 30149 4294967295 134512640 134569956 3221224416 3221214720 1131591509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30149 13073 16 0 214305 0
vsize: 857284
[startup+190.056 s]
Raw data (loadavg): 1.04 1.08 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 16742 49 0 0 25 0 11 0 419767381 877858816 30198 4294967295 134512640 134569956 3221224416 3221214720 1131581158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30198 13073 16 0 214305 0
vsize: 857284
[startup+200.056 s]
Raw data (loadavg): 1.03 1.07 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 17706 50 0 0 25 0 11 0 419767381 877858816 30268 4294967295 134512640 134569956 3221224416 3221214672 1131554126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 30268 13073 16 0 214305 0
vsize: 857284
[startup+210.056 s]
Raw data (loadavg): 1.03 1.07 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 18670 50 0 0 25 0 11 0 419767381 877858816 30411 4294967295 134512640 134569956 3221224416 3221214720 1131588709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30411 13073 16 0 214305 0
vsize: 857284
[startup+220.057 s]
Raw data (loadavg): 1.02 1.07 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 19637 51 0 0 25 0 11 0 419767381 877858816 30469 4294967295 134512640 134569956 3221224416 3221214720 1131580977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30469 13073 16 0 214305 0
vsize: 857284
[startup+230.057 s]
Raw data (loadavg): 1.02 1.07 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 20605 51 0 0 24 0 11 0 419767381 877858816 30526 4294967295 134512640 134569956 3221224416 3221213896 1131891233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30526 13073 16 0 214305 0
vsize: 857284
[startup+240.059 s]
Raw data (loadavg): 1.02 1.06 1.03 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 21576 51 0 0 25 0 11 0 419767381 877858816 30579 4294967295 134512640 134569956 3221224416 3221214660 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30579 13073 16 0 214305 0
vsize: 857284
[startup+250.06 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 22543 52 0 0 25 0 11 0 419767381 877858816 30676 4294967295 134512640 134569956 3221224416 3221214720 1131584968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30676 13073 16 0 214305 0
vsize: 857284
[startup+260.06 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 23511 53 0 0 25 0 11 0 419767381 877858816 30724 4294967295 134512640 134569956 3221224416 3221214632 1131238453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30724 13073 16 0 214305 0
vsize: 857284
[startup+270.061 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 24477 53 0 0 25 0 11 0 419767381 877858816 30775 4294967295 134512640 134569956 3221224416 3221214720 1131588011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30775 13073 16 0 214305 0
vsize: 857284
[startup+280.061 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 25437 53 0 0 25 0 11 0 419767381 877858816 30827 4294967295 134512640 134569956 3221224416 3221214720 1131585680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30827 13073 16 0 214305 0
vsize: 857284
[startup+290.061 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 26397 54 0 0 25 0 11 0 419767381 877858816 30888 4294967295 134512640 134569956 3221224416 3221214720 1131586055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 30888 13073 16 0 214305 0
vsize: 857284
[startup+300.063 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 27349 54 0 0 25 0 11 0 419767381 877858816 31024 4294967295 134512640 134569956 3221224416 3221214720 1131591240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31024 13073 16 0 214305 0
vsize: 857284
[startup+310.063 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 28304 54 0 0 25 0 11 0 419767381 877858816 31094 4294967295 134512640 134569956 3221224416 3221214672 1131239280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31094 13073 16 0 214305 0
vsize: 857284
[startup+320.063 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 29259 55 0 0 25 0 11 0 419767381 877858816 31224 4294967295 134512640 134569956 3221224416 3221214680 1131197761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31224 13073 16 0 214305 0
vsize: 857284
[startup+330.063 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 12507
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 30220 55 0 0 25 0 11 0 419767381 877858816 31301 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31301 13073 16 0 214305 0
vsize: 857284
[startup+340.065 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 31181 55 0 0 25 0 11 0 419767381 877858816 31433 4294967295 134512640 134569956 3221224416 3221214696 1131527488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31433 13073 16 0 214305 0
vsize: 857284
[startup+350.065 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 32132 55 0 0 25 0 11 0 419767381 877858816 31493 4294967295 134512640 134569956 3221224416 3221214784 1131445599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31493 13073 16 0 214305 0
vsize: 857284
[startup+360.066 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 33082 56 0 0 25 0 11 0 419767381 877858816 31555 4294967295 134512640 134569956 3221224416 3221214720 1131584398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31555 13073 16 0 214305 0
vsize: 857284
[startup+370.068 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 34034 56 0 0 25 0 11 0 419767381 877858816 31684 4294967295 134512640 134569956 3221224416 3221214720 1131581772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31684 13073 16 0 214305 0
vsize: 857284
[startup+380.068 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 34979 57 0 0 25 0 11 0 419767381 877858816 31758 4294967295 134512640 134569956 3221224416 3221214720 1131581772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31758 13073 16 0 214305 0
vsize: 857284
[startup+390.069 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 35935 57 0 0 25 0 11 0 419767381 877858816 31920 4294967295 134512640 134569956 3221224416 3221214576 1131385864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 31920 13073 16 0 214305 0
vsize: 857284
[startup+400.07 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 36879 57 0 0 25 0 11 0 419767381 877858816 32027 4294967295 134512640 134569956 3221224416 3221214696 1131527395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32027 13073 16 0 214305 0
vsize: 857284
[startup+410.07 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 37818 57 0 0 25 0 11 0 419767381 877858816 32158 4294967295 134512640 134569956 3221224416 3221214720 1131581867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32158 13073 16 0 214305 0
vsize: 857284
[startup+420.072 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 38760 58 0 0 25 0 11 0 419767381 877858816 32294 4294967295 134512640 134569956 3221224416 3221214784 1131444696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32294 13073 16 0 214305 0
vsize: 857284
[startup+430.072 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 39722 58 0 0 25 0 11 0 419767381 877858816 32353 4294967295 134512640 134569956 3221224416 3221214696 1131527341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32353 13073 16 0 214305 0
vsize: 857284
[startup+440.073 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 40654 58 0 0 25 0 11 0 419767381 877858816 32575 4294967295 134512640 134569956 3221224416 3221214692 1131368236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32575 13073 16 0 214305 0
vsize: 857284
[startup+450.074 s]
Raw data (loadavg): 1.00 1.02 1.01 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 41581 59 0 0 25 0 11 0 419767381 877858816 32643 4294967295 134512640 134569956 3221224416 3221214680 1131197767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32643 13073 16 0 214305 0
vsize: 857284
[startup+460.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 42513 59 0 0 25 0 11 0 419767381 877858816 32702 4294967295 134512640 134569956 3221224416 3221214680 1131197761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 32702 13073 16 0 214305 0
vsize: 857284
[startup+470.074 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 43457 60 0 0 25 0 11 0 419767381 877858816 33052 4294967295 134512640 134569956 3221224416 3221214720 1131584633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33052 13073 16 0 214305 0
vsize: 857284
[startup+480.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 44392 60 0 0 25 0 11 0 419767381 877858816 33159 4294967295 134512640 134569956 3221224416 3221214720 1131589246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33159 13073 16 0 214305 0
vsize: 857284
[startup+490.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 45310 60 0 0 25 0 11 0 419767381 877858816 33265 4294967295 134512640 134569956 3221224416 3221214600 1131499751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33265 13073 16 0 214305 0
vsize: 857284
[startup+500.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 46223 60 0 0 25 0 11 0 419767381 877858816 33466 4294967295 134512640 134569956 3221224416 3221214720 1131582205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33466 13073 16 0 214305 0
vsize: 857284
[startup+510.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 47134 61 0 0 24 0 11 0 419767381 877858816 33783 4294967295 134512640 134569956 3221224416 3221214720 1131581332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33783 13073 16 0 214305 0
vsize: 857284
[startup+520.077 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 48072 61 0 0 25 0 11 0 419767381 877858816 33979 4294967295 134512640 134569956 3221224416 3221214720 1131589531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 33979 13073 16 0 214305 0
vsize: 857284
[startup+530.077 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 49020 61 0 0 25 0 11 0 419767381 877858816 34179 4294967295 134512640 134569956 3221224416 3221214720 1131588400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34179 13073 16 0 214305 0
vsize: 857284
[startup+540.078 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 49964 62 0 0 24 0 11 0 419767381 877858816 34226 4294967295 134512640 134569956 3221224416 3221214660 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34226 13073 16 0 214305 0
vsize: 857284
[startup+550.078 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 50909 62 0 0 25 0 11 0 419767381 877858816 34321 4294967295 134512640 134569956 3221224416 3221214720 1131589544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34321 13073 16 0 214305 0
vsize: 857284
[startup+560.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 51852 63 0 0 25 0 11 0 419767381 877858816 34462 4294967295 134512640 134569956 3221224416 3221214696 1131527368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34462 13073 16 0 214305 0
vsize: 857284
[startup+570.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 52780 63 0 0 25 0 11 0 419767381 877858816 34608 4294967295 134512640 134569956 3221224416 3221214720 1131582205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34608 13073 16 0 214305 0
vsize: 857284
[startup+580.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 53715 63 0 0 25 0 11 0 419767381 877858816 34753 4294967295 134512640 134569956 3221224416 3221214660 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34753 13073 16 0 214305 0
vsize: 857284
[startup+590.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 54656 64 0 0 25 0 11 0 419767381 877858816 34943 4294967295 134512640 134569956 3221224416 3221214692 1131197737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 34943 13073 16 0 214305 0
vsize: 857284
[startup+600.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 55601 64 0 0 25 0 11 0 419767381 877858816 35087 4294967295 134512640 134569956 3221224416 3221214320 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 35087 13073 16 0 214305 0
vsize: 857284
[startup+610.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 56542 64 0 0 24 0 11 0 419767381 877858816 35182 4294967295 134512640 134569956 3221224416 3221214600 1131499049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35182 13073 16 0 214305 0
vsize: 857284
[startup+620.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 57536 65 0 0 25 0 11 0 419767381 877858816 35182 4294967295 134512640 134569956 3221224416 3221214784 1131444696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35182 13073 16 0 214305 0
vsize: 857284
[startup+630.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 58513 65 0 0 25 0 11 0 419767381 877858816 35230 4294967295 134512640 134569956 3221224416 3221214712 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35230 13073 16 0 214305 0
vsize: 857284
[startup+640.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 59469 65 0 0 25 0 11 0 419767381 877858816 35373 4294967295 134512640 134569956 3221224416 3221214696 1131527488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35373 13073 16 0 214305 0
vsize: 857284
[startup+650.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 60392 66 0 0 25 0 11 0 419767381 877858816 35419 4294967295 134512640 134569956 3221224416 3221214600 1131499922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35419 13073 16 0 214305 0
vsize: 857284
[startup+660.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 61312 66 0 0 25 0 11 0 419767381 877858816 35465 4294967295 134512640 134569956 3221224416 3221214696 1131527476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35465 13073 16 0 214305 0
vsize: 857284
[startup+670.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 62240 66 0 0 25 0 11 0 419767381 877858816 35674 4294967295 134512640 134569956 3221224416 3221214600 1131499955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35674 13073 16 0 214305 0
vsize: 857284
[startup+680.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12507
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 63176 67 0 0 25 0 11 0 419767381 877858816 35910 4294967295 134512640 134569956 3221224416 3221214784 1131444736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35910 13073 16 0 214305 0
vsize: 857284
[startup+690.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 64155 67 0 0 25 0 11 0 419767381 877858816 35966 4294967295 134512640 134569956 3221224416 3221214784 1131444696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 35966 13073 16 0 214305 0
vsize: 857284
[startup+700.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 65140 68 0 0 25 0 11 0 419767381 877858816 36015 4294967295 134512640 134569956 3221224416 3221214784 1131445801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36015 13073 16 0 214305 0
vsize: 857284
[startup+710.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 66113 68 0 0 25 0 11 0 419767381 877858816 36074 4294967295 134512640 134569956 3221224416 3221214688 1131231097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36074 13073 16 0 214305 0
vsize: 857284
[startup+720.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 67083 68 0 0 25 0 11 0 419767381 877858816 36151 4294967295 134512640 134569956 3221224416 3221214608 1131482017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36151 13073 16 0 214305 0
vsize: 857284
[startup+730.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 68025 69 0 0 25 0 11 0 419767381 877858816 36287 4294967295 134512640 134569956 3221224416 3221214720 1131588358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36287 13073 16 0 214305 0
vsize: 857284
[startup+740.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 68966 69 0 0 25 0 11 0 419767381 877858816 36407 4294967295 134512640 134569956 3221224416 3221214696 1131527488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36407 13073 16 0 214305 0
vsize: 857284
[startup+750.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 69914 70 0 0 24 0 11 0 419767381 877858816 36501 4294967295 134512640 134569956 3221224416 3221214692 1131197740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36501 13073 16 0 214305 0
vsize: 857284
[startup+760.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 70863 70 0 0 25 0 11 0 419767381 877858816 36514 4294967295 134512640 134569956 3221224416 3221214936 1131744521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36514 13073 16 0 214305 0
vsize: 857284
[startup+770.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 71795 70 0 0 25 0 11 0 419767381 877858816 36822 4294967295 134512640 134569956 3221224416 3221214744 1131526171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36822 13073 16 0 214305 0
vsize: 857284
[startup+780.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 72734 70 0 0 25 0 11 0 419767381 877858816 36999 4294967295 134512640 134569956 3221224416 3221214688 1131231761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 36999 13073 16 0 214305 0
vsize: 857284
[startup+790.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 73667 71 0 0 24 0 11 0 419767381 877858816 37862 4294967295 134512640 134569956 3221224416 3221214720 1131583662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 37862 13073 16 0 214305 0
vsize: 857284
[startup+800.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 74610 71 0 0 25 0 11 0 419767381 877858816 38062 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 38062 13073 16 0 214305 0
vsize: 857284
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 75528 71 0 0 25 0 11 0 419767381 877858816 38640 4294967295 134512640 134569956 3221224416 3221214720 1131587607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 38640 13073 16 0 214305 0
vsize: 857284
[startup+820.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 76454 72 0 0 25 0 11 0 419767381 877858816 38640 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 38640 13073 16 0 214305 0
vsize: 857284
[startup+830.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 77367 72 0 0 25 0 11 0 419767381 877858816 38640 4294967295 134512640 134569956 3221224416 3221214692 1131197728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 38640 13073 16 0 214305 0
vsize: 857284
[startup+840.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12508
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 78295 73 0 0 25 0 11 0 419767381 877858816 39026 4294967295 134512640 134569956 3221224416 3221214784 1131445757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 39026 13073 16 0 214305 0
vsize: 857284
[startup+850.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 79276 73 0 0 25 0 11 0 419767381 877858816 39030 4294967295 134512640 134569956 3221224416 3221214784 1131444696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 39030 13073 16 0 214305 0
vsize: 857284
[startup+860.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 80250 73 0 0 25 0 11 0 419767381 877858816 39076 4294967295 134512640 134569956 3221224416 3221214688 1131231223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 39076 13073 16 0 214305 0
vsize: 857284
[startup+870.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 81203 74 0 0 24 0 11 0 419767381 877858816 39262 4294967295 134512640 134569956 3221224416 3221214784 1131444736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 39262 13073 16 0 214305 0
vsize: 857284
[startup+880.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 82173 74 0 0 25 0 11 0 419767381 877858816 39349 4294967295 134512640 134569956 3221224416 3221214784 1131444689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 39349 13073 16 0 214305 0
vsize: 857284
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 83087 74 0 0 24 0 11 0 419767381 877858816 39489 4294967295 134512640 134569956 3221224416 3221214692 1131368236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 39489 13073 16 0 214305 0
vsize: 857284
[startup+900.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 84053 74 0 0 25 0 11 0 419767381 877858816 40011 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 40012 13073 16 0 214305 0
vsize: 857284
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 84999 75 0 0 25 0 11 0 419767381 877858816 40780 4294967295 134512640 134569956 3221224416 3221214720 1131584924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 40780 13073 16 0 214305 0
vsize: 857284
[startup+920.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 85948 75 0 0 25 0 11 0 419767381 877858816 40780 4294967295 134512640 134569956 3221224416 3221214472 1131239453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 40780 13073 16 0 214305 0
vsize: 857284
[startup+930.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 86915 75 0 0 25 0 11 0 419767381 877858816 41106 4294967295 134512640 134569956 3221224416 3221214696 1131527368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 41106 13073 16 0 214305 0
vsize: 857284
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 87872 76 0 0 25 0 11 0 419767381 877858816 42467 4294967295 134512640 134569956 3221224416 3221214720 1131581433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 42467 13073 16 0 214305 0
vsize: 857284
[startup+950.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12509
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 88817 76 0 0 25 0 11 0 419767381 877858816 42948 4294967295 134512640 134569956 3221224416 3221214688 1131231097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 42948 13073 16 0 214305 0
vsize: 857284
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 89791 76 0 0 25 0 11 0 419767381 877858816 42948 4294967295 134512640 134569956 3221224416 3221214824 1131445812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 42948 13073 16 0 214305 0
vsize: 857284
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 90743 76 0 0 25 0 11 0 419767381 877858816 42948 4294967295 134512640 134569956 3221224416 3221214824 1131445718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 42948 13073 16 0 214305 0
vsize: 857284
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 91680 76 0 0 25 0 11 0 419767381 877858816 42948 4294967295 134512640 134569956 3221224416 3221214736 1131527347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 42948 13073 16 0 214305 0
vsize: 857284
[startup+990.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 92623 76 0 0 25 0 11 0 419767381 877858816 44309 4294967295 134512640 134569956 3221224416 3221213600 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44309 13073 16 0 214305 0
vsize: 857284
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 93564 76 0 0 25 0 11 0 419767381 877858816 44309 4294967295 134512640 134569956 3221224416 3221214920 1131152925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44309 13073 16 0 214305 0
vsize: 857284
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12510
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 94499 76 0 0 25 0 11 0 419767381 877858816 44763 4294967295 134512640 134569956 3221224416 3221214824 1131444736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44763 13073 16 0 214305 0
vsize: 857284
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12511
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 95499 76 0 0 25 0 11 0 419767381 877858816 44763 4294967295 134512640 134569956 3221224416 3221214824 1131444696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44763 13073 16 0 214305 0
vsize: 857284
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12511
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 96477 76 0 0 25 0 11 0 419767381 877858816 44763 4294967295 134512640 134569956 3221224416 3221214824 1131444696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44763 13073 16 0 214305 0
vsize: 857284
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12511
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 97424 76 0 0 25 0 11 0 419767381 877858816 44763 4294967295 134512640 134569956 3221224416 3221214824 1131444696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44763 13073 16 0 214305 0
vsize: 857284
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12511
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 98370 76 0 0 25 0 11 0 419767381 877858816 44763 4294967295 134512640 134569956 3221224416 3221214728 1131231097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44763 13073 16 0 214305 0
vsize: 857284
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12511
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 99297 76 0 0 25 0 11 0 419767381 877858816 44975 4294967295 134512640 134569956 3221224416 3221214824 1131444736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 44975 13073 16 0 214305 0
vsize: 857284
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12512
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 100240 77 0 0 25 0 11 0 419767381 877858816 45375 4294967295 134512640 134569956 3221224416 3221214732 1131197740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 45375 13073 16 0 214305 0
vsize: 857284
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12512
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 101230 77 0 0 25 0 11 0 419767381 877858816 45477 4294967295 134512640 134569956 3221224416 3221214640 1131499093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 45477 13073 16 0 214305 0
vsize: 857284
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12512
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 102196 77 0 0 25 0 11 0 419767381 877858816 46095 4294967295 134512640 134569956 3221224416 3221214736 1131527436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 46095 13073 16 0 214305 0
vsize: 857284
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12512
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 103124 77 0 0 25 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214820 1131231990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 104109 77 0 0 25 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214824 1131444495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 105081 77 0 0 25 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214760 1131586766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 106063 77 0 0 25 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214824 1131444673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 107035 77 0 0 24 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214728 1131231097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 107980 78 0 0 25 0 11 0 419767381 877858816 47128 4294967295 134512640 134569956 3221224416 3221214824 1131445547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47128 13073 16 0 214305 0
vsize: 857284
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 108917 78 0 0 25 0 11 0 419767381 877858816 47502 4294967295 134512640 134569956 3221224416 3221214824 1131446614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47502 13073 16 0 214305 0
vsize: 857284
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 109851 78 0 0 25 0 11 0 419767381 877858816 47524 4294967295 134512640 134569956 3221224416 3221214720 1131197753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 47524 13073 16 0 214305 0
vsize: 857284
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 110750 78 0 0 25 0 11 0 419767381 877858816 48308 4294967295 134512640 134569956 3221224416 3221214760 1131584398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 48308 13073 16 0 214305 0
vsize: 857284
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 111684 78 0 0 25 0 11 0 419767381 877858816 48308 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 48308 13073 16 0 214305 0
vsize: 857284
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 112601 78 0 0 25 0 11 0 419767381 877858816 48365 4294967295 134512640 134569956 3221224416 3221214760 1131589143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 48365 13073 16 0 214305 0
vsize: 857284
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 113512 78 0 0 25 0 11 0 419767381 877858816 48858 4294967295 134512640 134569956 3221224416 3221214760 1131582205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 48858 13073 16 0 214305 0
vsize: 857284
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 114438 78 0 0 25 0 11 0 419767381 877858816 48944 4294967295 134512640 134569956 3221224416 3221214712 1131554126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 48944 13073 16 0 214305 0
vsize: 857284
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) S 12492 10720 10719 0 -1 0 18117 3 1 0 115350 78 0 0 25 0 11 0 419767381 877858816 49146 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214321 49146 13073 16 0 214305 0
vsize: 857284
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 116242 78 0 0 25 0 11 0 419767381 877858816 49239 4294967295 134512640 134569956 3221224416 3221214760 1131589074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 49239 13073 16 0 214305 0
vsize: 857284
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 117140 78 0 0 25 0 11 0 419767381 877858816 49647 4294967295 134512640 134569956 3221224416 3221214760 1131582231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 49647 13073 16 0 214305 0
vsize: 857284
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18117 3 1 0 118083 79 0 0 25 0 11 0 419767381 877858816 50016 4294967295 134512640 134569956 3221224416 3221214824 1131444696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 50016 13073 16 0 214305 0
vsize: 857284
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18120 3 1 0 119052 79 0 0 25 0 11 0 419767381 877858816 50064 4294967295 134512640 134569956 3221224416 3221214732 1131197728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 50064 13073 16 0 214305 0
vsize: 857284
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12513
Raw data (stat): 12493 (java) R 12492 10720 10719 0 -1 0 18120 3 1 0 119993 79 0 0 25 0 11 0 419767381 877858816 50121 4294967295 134512640 134569956 3221224416 3221214700 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214321 50121 13073 16 0 214305 0
vsize: 857284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12515
Raw data (stat): 12493 (java) Z 12492 10720 10719 0 -1 1036 18120 25746 1 0 119995 79 6971 60 25 0 1 0 419767381 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): 1280.24
CPU time (s): 1271.07
CPU user time (s): 1269.67
CPU system time (s): 1.40279
CPU usage (%): 99.2837
Max. virtual memory (Kb): 859168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####