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/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM70070c820bc7d178cc8f33b42e0deead
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -28
Optimality of the best value was proved NO
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.05
Number of variables595
Total number of constraints28143
Number of constraints which are clauses28143
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 4485 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913760 kB
Buffers:         33276 kB
Cached:          68220 kB
SwapCached:        164 kB
Active:          46948 kB
Inactive:        57560 kB
HighTotal:      131008 kB
HighFree:        59080 kB
LowTotal:       903652 kB
LowFree:        854680 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10928 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:03:26 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2907 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-5.opb
c reading problem 
c [nbvar=595]
c [nbconstr=28143]
c time 6.199
c #vars     595
c #clauses  28143
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) : 6.579
c starts	: 1
c conflicts	: 0
c decisions	: 595
c propagations	: 595
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) : 6.678
c starts	: 2
c conflicts	: 0
c decisions	: 1189
c propagations	: 1190
c inspects	: 186
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) : 10.115
c starts	: 3
c conflicts	: 16
c decisions	: 1783
c propagations	: 1937
c inspects	: 2289
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 16
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-24
c Current CPU time (ms) : 10.211
c starts	: 4
c conflicts	: 16
c decisions	: 1807
c propagations	: 2532
c inspects	: 4464
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 16
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-25
c Current CPU time (ms) : 13.408
c starts	: 5
c conflicts	: 47
c decisions	: 1868
c propagations	: 3322
c inspects	: 13002
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 47
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-26
c Current CPU time (ms) : 34.362
c starts	: 7
c conflicts	: 154
c decisions	: 2042
c propagations	: 5342
c inspects	: 51814
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 154
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-27
c Current CPU time (ms) : 76.9
c starts	: 9
c conflicts	: 335
c decisions	: 2338
c propagations	: 7954
c inspects	: 124213
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 335
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.94 0.99 0.97 2/54 26747
Raw data (stat): 26747 (runsolver) R 26746 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419618317 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99978 s]
Raw data (loadavg): 1.26 1.06 0.99 4/64 26759
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18070 3 1 0 715 43 0 0 25 0 11 0 419618317 861351936 23296 4294967295 134512640 134569956 3221224416 3221214648 1131364493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210291 23296 13073 16 0 210275 0
vsize: 841164
[startup+19.9999 s]
Raw data (loadavg): 1.29 1.07 1.00 2/64 26762
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18074 3 1 0 1599 43 0 0 25 0 11 0 419618317 861773824 25942 4294967295 134512640 134569956 3221224416 3221214608 1131241427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210394 25942 13073 16 0 210378 0
vsize: 841576
[startup+30.0005 s]
Raw data (loadavg): 1.33 1.09 1.00 2/64 26762
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 2507 43 0 0 25 0 11 0 419618317 863121408 26581 4294967295 134512640 134569956 3221224416 3221214716 1131397796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210723 26581 13073 16 0 210707 0
vsize: 842892
[startup+40.0006 s]
Raw data (loadavg): 1.28 1.08 1.00 2/64 26763
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 3388 44 0 0 25 0 11 0 419618317 862072832 26622 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 26622 13073 16 0 210451 0
vsize: 841868
[startup+50.0016 s]
Raw data (loadavg): 1.23 1.08 1.00 2/64 26763
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 4286 44 0 0 25 0 11 0 419618317 862072832 26841 4294967295 134512640 134569956 3221224416 3221214904 1131343701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 26841 13073 16 0 210451 0
vsize: 841868
[startup+60.0021 s]
Raw data (loadavg): 1.20 1.08 1.00 2/64 26763
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 5163 44 0 0 25 0 11 0 419618317 862072832 27118 4294967295 134512640 134569956 3221224416 3221214808 1131205629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 27118 13073 16 0 210451 0
vsize: 841868
[startup+70.0022 s]
Raw data (loadavg): 1.17 1.07 1.00 2/64 26763
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 6065 45 0 0 25 0 11 0 419618317 862072832 27410 4294967295 134512640 134569956 3221224416 3221214560 1131529733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 27410 13073 16 0 210451 0
vsize: 841868
[startup+80.0036 s]
Raw data (loadavg): 1.14 1.07 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 6964 45 0 0 25 0 11 0 419618317 862072832 27614 4294967295 134512640 134569956 3221224416 3221214808 1131205842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 27614 13073 16 0 210451 0
vsize: 841868
[startup+90.0038 s]
Raw data (loadavg): 1.12 1.07 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 7857 45 0 0 25 0 11 0 419618317 862072832 27908 4294967295 134512640 134569956 3221224416 3221214808 1131206035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 27908 13073 16 0 210451 0
vsize: 841868
[startup+100.004 s]
Raw data (loadavg): 1.10 1.07 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 8766 46 0 0 25 0 11 0 419618317 862072832 28167 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 28167 13073 16 0 210451 0
vsize: 841868
[startup+110.005 s]
Raw data (loadavg): 1.08 1.06 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 9673 46 0 0 25 0 11 0 419618317 862072832 28375 4294967295 134512640 134569956 3221224416 3221214560 1131529403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 28375 13073 16 0 210451 0
vsize: 841868
[startup+120.005 s]
Raw data (loadavg): 1.07 1.06 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 10581 47 0 0 25 0 11 0 419618317 862072832 28598 4294967295 134512640 134569956 3221224416 3221214824 1131408065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 28598 13073 16 0 210451 0
vsize: 841868
[startup+130.006 s]
Raw data (loadavg): 1.06 1.06 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 11497 47 0 0 25 0 11 0 419618317 862072832 28754 4294967295 134512640 134569956 3221224416 3221214628 1131642739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 28754 13073 16 0 210451 0
vsize: 841868
[startup+140.007 s]
Raw data (loadavg): 1.05 1.06 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 12419 48 0 0 25 0 11 0 419618317 862072832 28980 4294967295 134512640 134569956 3221224416 3221214808 1131205637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 28980 13073 16 0 210451 0
vsize: 841868
[startup+150.007 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 13347 48 0 0 25 0 11 0 419618317 862072832 29232 4294967295 134512640 134569956 3221224416 3221214672 1131479209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29232 13073 16 0 210451 0
vsize: 841868
[startup+160.007 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 14288 48 0 0 24 0 11 0 419618317 862072832 29356 4294967295 134512640 134569956 3221224416 3221214808 1131206772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29356 13073 16 0 210451 0
vsize: 841868
[startup+170.008 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 15232 49 0 0 25 0 11 0 419618317 862072832 29463 4294967295 134512640 134569956 3221224416 3221214904 1131344149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29463 13073 16 0 210451 0
vsize: 841868
[startup+180.009 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 16174 49 0 0 25 0 11 0 419618317 862072832 29602 4294967295 134512640 134569956 3221224416 3221214560 1131529762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29602 13073 16 0 210451 0
vsize: 841868
[startup+190.009 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 17092 50 0 0 25 0 11 0 419618317 862072832 29755 4294967295 134512640 134569956 3221224416 3221214808 1131205644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29755 13073 16 0 210451 0
vsize: 841868
[startup+200.009 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 18000 50 0 0 25 0 11 0 419618317 862072832 29909 4294967295 134512640 134569956 3221224416 3221214904 1131344068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 29909 13073 16 0 210451 0
vsize: 841868
[startup+210.01 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 18903 50 0 0 25 0 11 0 419618317 862072832 30096 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 30096 13073 16 0 210451 0
vsize: 841868
[startup+220.01 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 19809 51 0 0 25 0 11 0 419618317 862072832 30312 4294967295 134512640 134569956 3221224416 3221214632 1131462818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 30312 13073 16 0 210451 0
vsize: 841868
[startup+230.011 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 20720 51 0 0 25 0 11 0 419618317 862072832 30577 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 30577 13073 16 0 210451 0
vsize: 841868
[startup+240.011 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 21630 52 0 0 25 0 11 0 419618317 862072832 30765 4294967295 134512640 134569956 3221224416 3221214824 1131408427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 30765 13073 16 0 210451 0
vsize: 841868
[startup+250.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 22539 52 0 0 25 0 11 0 419618317 862072832 31000 4294967295 134512640 134569956 3221224416 3221214808 1131205629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 31000 13073 16 0 210451 0
vsize: 841868
[startup+260.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 23448 52 0 0 25 0 11 0 419618317 862072832 31242 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 31242 13073 16 0 210451 0
vsize: 841868
[startup+270.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 24351 53 0 0 25 0 11 0 419618317 862072832 31480 4294967295 134512640 134569956 3221224416 3221214904 1131343877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 31480 13073 16 0 210451 0
vsize: 841868
[startup+280.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 25250 53 0 0 25 0 11 0 419618317 862072832 31704 4294967295 134512640 134569956 3221224416 3221214560 1131529081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 31704 13073 16 0 210451 0
vsize: 841868
[startup+290.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 26161 53 0 0 25 0 11 0 419618317 862072832 31898 4294967295 134512640 134569956 3221224416 3221214560 1131529940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 31898 13073 16 0 210451 0
vsize: 841868
[startup+300.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 27069 54 0 0 25 0 11 0 419618317 862072832 32148 4294967295 134512640 134569956 3221224416 3221214752 1131378785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 32148 13073 16 0 210451 0
vsize: 841868
[startup+310.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 27987 54 0 0 25 0 11 0 419618317 862072832 32384 4294967295 134512640 134569956 3221224416 3221214808 1131206757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 32384 13073 16 0 210451 0
vsize: 841868
[startup+320.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 28903 54 0 0 25 0 11 0 419618317 862072832 32546 4294967295 134512640 134569956 3221224416 3221214900 1131140012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 32546 13073 16 0 210451 0
vsize: 841868
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 29822 55 0 0 24 0 11 0 419618317 862072832 32760 4294967295 134512640 134569956 3221224416 3221214640 1131389456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 32760 13073 16 0 210451 0
vsize: 841868
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 30747 56 0 0 25 0 11 0 419618317 862072832 32971 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 32971 13073 16 0 210451 0
vsize: 841868
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 31677 56 0 0 25 0 11 0 419618317 862072832 33197 4294967295 134512640 134569956 3221224416 3221214808 1131206285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 33197 13073 16 0 210451 0
vsize: 841868
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 32602 56 0 0 25 0 11 0 419618317 862072832 33334 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 33334 13073 16 0 210451 0
vsize: 841868
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 33534 56 0 0 25 0 11 0 419618317 862072832 33534 4294967295 134512640 134569956 3221224416 3221214664 1131228079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 33534 13073 16 0 210451 0
vsize: 841868
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 34470 57 0 0 25 0 11 0 419618317 862072832 33689 4294967295 134512640 134569956 3221224416 3221214904 1131593733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 33689 13073 16 0 210451 0
vsize: 841868
[startup+390.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 35408 57 0 0 25 0 11 0 419618317 862072832 33876 4294967295 134512640 134569956 3221224416 3221214808 1131206373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 33876 13073 16 0 210451 0
vsize: 841868
[startup+400.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 36356 58 0 0 25 0 11 0 419618317 862072832 34034 4294967295 134512640 134569956 3221224416 3221214808 1131206699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34034 13073 16 0 210451 0
vsize: 841868
[startup+410.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 37294 58 0 0 25 0 11 0 419618317 862072832 34158 4294967295 134512640 134569956 3221224416 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34158 13073 16 0 210451 0
vsize: 841868
[startup+420.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 38228 59 0 0 25 0 11 0 419618317 862072832 34268 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34268 13073 16 0 210451 0
vsize: 841868
[startup+430.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 39154 59 0 0 25 0 11 0 419618317 862072832 34369 4294967295 134512640 134569956 3221224416 3221214808 1131205662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34369 13073 16 0 210451 0
vsize: 841868
[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 40082 60 0 0 25 0 11 0 419618317 862072832 34478 4294967295 134512640 134569956 3221224416 3221214824 1131408326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34478 13073 16 0 210451 0
vsize: 841868
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 41008 60 0 0 25 0 11 0 419618317 862072832 34654 4294967295 134512640 134569956 3221224416 3221214808 1131205629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34654 13073 16 0 210451 0
vsize: 841868
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 41937 60 0 0 25 0 11 0 419618317 862072832 34846 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 34846 13073 16 0 210451 0
vsize: 841868
[startup+470.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 42860 61 0 0 25 0 11 0 419618317 862072832 35029 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35029 13073 16 0 210451 0
vsize: 841868
[startup+480.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 43792 61 0 0 25 0 11 0 419618317 862072832 35169 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35169 13073 16 0 210451 0
vsize: 841868
[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 44720 61 0 0 25 0 11 0 419618317 862072832 35351 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35351 13073 16 0 210451 0
vsize: 841868
[startup+500.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 45655 62 0 0 25 0 11 0 419618317 862072832 35545 4294967295 134512640 134569956 3221224416 3221214632 1131579073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35545 13073 16 0 210451 0
vsize: 841868
[startup+510.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 46602 62 0 0 25 0 11 0 419618317 862072832 35693 4294967295 134512640 134569956 3221224416 3221214808 1131205795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35693 13073 16 0 210451 0
vsize: 841868
[startup+520.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 47544 62 0 0 21 0 11 0 419618317 862072832 35833 4294967295 134512640 134569956 3221224416 3221214808 1131205633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35833 13073 16 0 210451 0
vsize: 841868
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 48484 62 0 0 25 0 11 0 419618317 862072832 35953 4294967295 134512640 134569956 3221224416 3221214904 1131344105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 35953 13073 16 0 210451 0
vsize: 841868
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 49424 63 0 0 25 0 11 0 419618317 862072832 36077 4294967295 134512640 134569956 3221224416 3221214720 1131289768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36077 13073 16 0 210451 0
vsize: 841868
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 50357 63 0 0 25 0 11 0 419618317 862072832 36173 4294967295 134512640 134569956 3221224416 3221214808 1131206095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36173 13073 16 0 210451 0
vsize: 841868
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 51294 63 0 0 25 0 11 0 419618317 862072832 36355 4294967295 134512640 134569956 3221224416 3221214864 1131174902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36355 13073 16 0 210451 0
vsize: 841868
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 52242 64 0 0 25 0 11 0 419618317 862072832 36514 4294967295 134512640 134569956 3221224416 3221214808 1131205894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36514 13073 16 0 210451 0
vsize: 841868
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 53182 64 0 0 25 0 11 0 419618317 862072832 36659 4294967295 134512640 134569956 3221224416 3221214744 1080203669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36659 13073 16 0 210451 0
vsize: 841868
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 54114 65 0 0 25 0 11 0 419618317 862072832 36771 4294967295 134512640 134569956 3221224416 3221214808 1131205646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36771 13073 16 0 210451 0
vsize: 841868
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 55051 65 0 0 25 0 11 0 419618317 862072832 36873 4294967295 134512640 134569956 3221224416 3221214784 1131174945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 36873 13073 16 0 210451 0
vsize: 841868
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 55989 65 0 0 25 0 11 0 419618317 862072832 37063 4294967295 134512640 134569956 3221224416 3221214808 1131205826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37063 13073 16 0 210451 0
vsize: 841868
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 56938 65 0 0 25 0 11 0 419618317 862072832 37217 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37217 13073 16 0 210451 0
vsize: 841868
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 57884 66 0 0 25 0 11 0 419618317 862072832 37332 4294967295 134512640 134569956 3221224416 3221214808 1131206074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37332 13073 16 0 210451 0
vsize: 841868
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 58829 66 0 0 25 0 11 0 419618317 862072832 37434 4294967295 134512640 134569956 3221224416 3221214808 1131206095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37434 13073 16 0 210451 0
vsize: 841868
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 59778 67 0 0 25 0 11 0 419618317 862072832 37567 4294967295 134512640 134569956 3221224416 3221214856 1131140053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37567 13073 16 0 210451 0
vsize: 841868
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 60721 67 0 0 25 0 11 0 419618317 862072832 37696 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37696 13073 16 0 210451 0
vsize: 841868
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 61657 67 0 0 25 0 11 0 419618317 862072832 37763 4294967295 134512640 134569956 3221224416 3221214808 1131206095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37763 13073 16 0 210451 0
vsize: 841868
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 62598 68 0 0 25 0 11 0 419618317 862072832 37918 4294967295 134512640 134569956 3221224416 3221214880 1131341304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 37918 13073 16 0 210451 0
vsize: 841868
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 63529 68 0 0 25 0 11 0 419618317 862072832 38092 4294967295 134512640 134569956 3221224416 3221214808 1131206095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38092 13073 16 0 210451 0
vsize: 841868
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 64459 69 0 0 25 0 11 0 419618317 862072832 38213 4294967295 134512640 134569956 3221224416 3221214784 1131359782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38213 13073 16 0 210451 0
vsize: 841868
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 65382 69 0 0 25 0 11 0 419618317 862072832 38344 4294967295 134512640 134569956 3221224416 3221214808 1131205662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38344 13073 16 0 210451 0
vsize: 841868
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 66311 70 0 0 25 0 11 0 419618317 862072832 38469 4294967295 134512640 134569956 3221224416 3221214808 1131206737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38469 13073 16 0 210451 0
vsize: 841868
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 67248 70 0 0 25 0 11 0 419618317 862072832 38637 4294967295 134512640 134569956 3221224416 3221214892 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38637 13073 16 0 210451 0
vsize: 841868
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 68191 70 0 0 25 0 11 0 419618317 862072832 38840 4294967295 134512640 134569956 3221224416 3221214632 1131462821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38840 13073 16 0 210451 0
vsize: 841868
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 69144 71 0 0 25 0 11 0 419618317 862072832 38914 4294967295 134512640 134569956 3221224416 3221214880 1131341293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 38914 13073 16 0 210451 0
vsize: 841868
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 70094 71 0 0 25 0 11 0 419618317 862072832 39059 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39059 13073 16 0 210451 0
vsize: 841868
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 71048 71 0 0 25 0 11 0 419618317 862072832 39134 4294967295 134512640 134569956 3221224416 3221214808 1131205629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39134 13073 16 0 210451 0
vsize: 841868
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 71999 72 0 0 25 0 11 0 419618317 862072832 39241 4294967295 134512640 134569956 3221224416 3221214808 1131205832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39241 13073 16 0 210451 0
vsize: 841868
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 72948 72 0 0 25 0 11 0 419618317 862072832 39322 4294967295 134512640 134569956 3221224416 3221214672 1131576794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39322 13073 16 0 210451 0
vsize: 841868
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 73896 72 0 0 25 0 11 0 419618317 862072832 39440 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39440 13073 16 0 210451 0
vsize: 841868
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 74842 72 0 0 25 0 11 0 419618317 862072832 39568 4294967295 134512640 134569956 3221224416 3221214608 1131241357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39568 13073 16 0 210451 0
vsize: 841868
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 75796 73 0 0 25 0 11 0 419618317 862072832 39699 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39699 13073 16 0 210451 0
vsize: 841868
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 76750 73 0 0 25 0 11 0 419618317 862072832 39808 4294967295 134512640 134569956 3221224416 3221214536 1131241427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39808 13073 16 0 210451 0
vsize: 841868
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 77702 74 0 0 25 0 11 0 419618317 862072832 39891 4294967295 134512640 134569956 3221224416 3221214672 1131576787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39891 13073 16 0 210451 0
vsize: 841868
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 78649 74 0 0 25 0 11 0 419618317 862072832 39978 4294967295 134512640 134569956 3221224416 3221214808 1131206095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 39978 13073 16 0 210451 0
vsize: 841868
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 79597 74 0 0 25 0 11 0 419618317 862072832 40074 4294967295 134512640 134569956 3221224416 3221214808 1131206091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40074 13073 16 0 210451 0
vsize: 841868
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 80535 75 0 0 25 0 11 0 419618317 862072832 40199 4294967295 134512640 134569956 3221224416 3221214856 1131140032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40199 13073 16 0 210451 0
vsize: 841868
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 81469 75 0 0 24 0 11 0 419618317 862072832 40312 4294967295 134512640 134569956 3221224416 3221214824 1131409915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40312 13073 16 0 210451 0
vsize: 841868
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 82411 75 0 0 25 0 11 0 419618317 862072832 40451 4294967295 134512640 134569956 3221224416 3221214712 1131441100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40451 13073 16 0 210451 0
vsize: 841868
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 83357 76 0 0 25 0 11 0 419618317 862072832 40611 4294967295 134512640 134569956 3221224416 3221214808 1131206289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40611 13073 16 0 210451 0
vsize: 841868
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 84303 76 0 0 25 0 11 0 419618317 862072832 40733 4294967295 134512640 134569956 3221224416 3221214808 1131206174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 40733 13073 16 0 210451 0
vsize: 841868
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 85245 76 0 0 25 0 11 0 419618317 862072832 40830 4294967295 134512640 134569956 3221224416 3221214824 1131408820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40830 13073 16 0 210451 0
vsize: 841868
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 86194 77 0 0 25 0 11 0 419618317 862072832 40972 4294967295 134512640 134569956 3221224416 3221214672 1131479274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 40972 13073 16 0 210451 0
vsize: 841868
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 87144 77 0 0 25 0 11 0 419618317 862072832 41118 4294967295 134512640 134569956 3221224416 3221214856 1131140056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 41118 13073 16 0 210451 0
vsize: 841868
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 88096 77 0 0 24 0 11 0 419618317 862072832 41228 4294967295 134512640 134569956 3221224416 3221214808 1131206157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 41228 13073 16 0 210451 0
vsize: 841868
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 89054 77 0 0 25 0 11 0 419618317 862072832 41326 4294967295 134512640 134569956 3221224416 3221214808 1131206361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 41326 13073 16 0 210451 0
vsize: 841868
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 90005 78 0 0 25 0 11 0 419618317 862072832 41414 4294967295 134512640 134569956 3221224416 3221214900 1131140216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41414 13073 16 0 210451 0
vsize: 841868
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 90953 78 0 0 25 0 11 0 419618317 862072832 41518 4294967295 134512640 134569956 3221224416 3221214808 1131206351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41518 13073 16 0 210451 0
vsize: 841868
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 91904 78 0 0 25 0 11 0 419618317 862072832 41581 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41581 13073 16 0 210451 0
vsize: 841868
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 92854 78 0 0 25 0 11 0 419618317 862072832 41739 4294967295 134512640 134569956 3221224416 3221214808 1131205821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41739 13073 16 0 210451 0
vsize: 841868
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 93808 78 0 0 24 0 11 0 419618317 862072832 41832 4294967295 134512640 134569956 3221224416 3221214856 1131140056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41832 13073 16 0 210451 0
vsize: 841868
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 94765 78 0 0 25 0 11 0 419618317 862072832 41930 4294967295 134512640 134569956 3221224416 3221214608 1131241357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 41930 13073 16 0 210451 0
vsize: 841868
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 95718 78 0 0 25 0 11 0 419618317 862072832 42023 4294967295 134512640 134569956 3221224416 3221214808 1131205641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42023 13073 16 0 210451 0
vsize: 841868
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 96665 78 0 0 25 0 11 0 419618317 862072832 42132 4294967295 134512640 134569956 3221224416 3221214856 1131140025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42132 13073 16 0 210451 0
vsize: 841868
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 97615 78 0 0 25 0 11 0 419618317 862072832 42212 4294967295 134512640 134569956 3221224416 3221214808 1131206325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42212 13073 16 0 210451 0
vsize: 841868
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 98557 78 0 0 25 0 11 0 419618317 862072832 42336 4294967295 134512640 134569956 3221224416 3221214808 1131205855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42336 13073 16 0 210451 0
vsize: 841868
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) S 26746 25347 25346 0 -1 0 18075 3 1 0 99505 78 0 0 25 0 11 0 419618317 862072832 42426 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42426 13073 16 0 210451 0
vsize: 841868
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26764
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 100451 79 0 0 24 0 11 0 419618317 862072832 42573 4294967295 134512640 134569956 3221224416 3221214552 1131490211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42573 13073 16 0 210451 0
vsize: 841868
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 26767
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 101413 79 0 0 25 0 11 0 419618317 862072832 42678 4294967295 134512640 134569956 3221224416 3221214880 1131341293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210467 42678 13073 16 0 210451 0
vsize: 841868
[startup+1100.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 102364 89 0 0 25 0 11 0 419618317 862072832 42781 4294967295 134512640 134569956 3221224416 3221214808 1131205662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 42781 13073 16 0 210451 0
vsize: 841868
[startup+1110.04 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 103326 89 0 0 25 0 11 0 419618317 862072832 42829 4294967295 134512640 134569956 3221224416 3221214752 1131377903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 42829 13073 16 0 210451 0
vsize: 841868
[startup+1120.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 104287 89 0 0 25 0 11 0 419618317 862072832 42891 4294967295 134512640 134569956 3221224416 3221214808 1131205991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 42891 13073 16 0 210451 0
vsize: 841868
[startup+1130.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 105248 89 0 0 25 0 11 0 419618317 862072832 42948 4294967295 134512640 134569956 3221224416 3221214808 1131205968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 42948 13073 16 0 210451 0
vsize: 841868
[startup+1140.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 106210 89 0 0 25 0 11 0 419618317 862072832 43014 4294967295 134512640 134569956 3221224416 3221214808 1131206141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43014 13073 16 0 210451 0
vsize: 841868
[startup+1150.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 107173 90 0 0 25 0 11 0 419618317 862072832 43079 4294967295 134512640 134569956 3221224416 3221214824 1131356682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43079 13073 16 0 210451 0
vsize: 841868
[startup+1160.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26817
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 108133 90 0 0 25 0 11 0 419618317 862072832 43147 4294967295 134512640 134569956 3221224416 3221214808 1131205637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43147 13073 16 0 210451 0
vsize: 841868
[startup+1170.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 109089 90 0 0 25 0 11 0 419618317 862072832 43202 4294967295 134512640 134569956 3221224416 3221214808 1131206266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43202 13073 16 0 210451 0
vsize: 841868
[startup+1180.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 110032 90 0 0 25 0 11 0 419618317 862072832 43279 4294967295 134512640 134569956 3221224416 3221214808 1131206794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43279 13073 16 0 210451 0
vsize: 841868
[startup+1190.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 110962 90 0 0 25 0 11 0 419618317 862072832 43385 4294967295 134512640 134569956 3221224416 3221214904 1131344149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43385 13073 16 0 210451 0
vsize: 841868
[startup+1200.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 111891 90 0 0 25 0 11 0 419618317 862072832 43469 4294967295 134512640 134569956 3221224416 3221214820 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43469 13073 16 0 210451 0
vsize: 841868
[startup+1210.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 112821 90 0 0 25 0 11 0 419618317 862072832 43647 4294967295 134512640 134569956 3221224416 3221214640 1131389488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43647 13073 16 0 210451 0
vsize: 841868
[startup+1220.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 113768 90 0 0 25 0 11 0 419618317 862072832 43736 4294967295 134512640 134569956 3221224416 3221214764 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43736 13073 16 0 210451 0
vsize: 841868
[startup+1230.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 114716 90 0 0 25 0 11 0 419618317 862072832 43875 4294967295 134512640 134569956 3221224416 3221214712 1131442649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43875 13073 16 0 210451 0
vsize: 841868
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 115665 90 0 0 25 0 11 0 419618317 862072832 43984 4294967295 134512640 134569956 3221224416 3221214900 1131341228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 43984 13073 16 0 210451 0
vsize: 841868
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 116614 90 0 0 25 0 11 0 419618317 862072832 44111 4294967295 134512640 134569956 3221224416 3221214808 1131206091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 44111 13073 16 0 210451 0
vsize: 841868
[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 117568 91 0 0 25 0 11 0 419618317 862072832 44224 4294967295 134512640 134569956 3221224416 3221214808 1131205662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 44224 13073 16 0 210451 0
vsize: 841868
[startup+1270.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 118520 91 0 0 24 0 11 0 419618317 862072832 44297 4294967295 134512640 134569956 3221224416 3221214964 1131203360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 44297 13073 16 0 210451 0
vsize: 841868
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 119475 91 0 0 25 0 11 0 419618317 862072832 44386 4294967295 134512640 134569956 3221224416 3221214808 1131205859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 44386 13073 16 0 210451 0
vsize: 841868
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26819
Raw data (stat): 26747 (java) R 26746 25347 25346 0 -1 0 18075 3 1 0 120434 91 0 0 25 0 11 0 419618317 862072832 44472 4294967295 134512640 134569956 3221224416 3221214752 1131377059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210467 44472 13073 16 0 210451 0
vsize: 841868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26821
Raw data (stat): 26747 (java) Z 26746 25347 25346 0 -1 1036 18075 30785 1 0 120437 99 9606 81 25 0 1 0 419618317 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1290.16
CPU time (s): 1302.25
CPU user time (s): 1300.44
CPU system time (s): 1.81272
CPU usage (%): 100.937
Max. virtual memory (Kb): 842892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####