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/submitted/manquinho/logic-synthesis/normalized-clip.b.opb
MD5SUMcddae768b283c2db142f16fe9d163db1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved NO
Number of terms in the objective function 350
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 350
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 350
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.05084
Number of variables349
Total number of constraints715
Number of constraints which are clauses707
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint111

Trace number 4274 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        876340 kB
Buffers:         35300 kB
Cached:          85456 kB
SwapCached:         12 kB
Active:          50484 kB
Inactive:        73100 kB
HighTotal:      131008 kB
HighFree:        41608 kB
LowTotal:       903652 kB
LowFree:        834732 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29128 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:15:23 (client local time) WITH STATUS 143 IN  SECONDS
stats: 576 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-clip.b.opb
c reading problem 
c [nbvar=350]
c [nbconstr=715]
c time 3.014
c #vars     350
c #clauses  707
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=21
c Current CPU time (ms) : 4.432
c starts	: 1
c conflicts	: 1
c decisions	: 304
c propagations	: 352
c inspects	: 3940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 1
c 
c CURRENT OPTIMUM=20
c Current CPU time (ms) : 7.863
c starts	: 2
c conflicts	: 8
c decisions	: 623
c propagations	: 896
c inspects	: 5286
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 2
c 
c CURRENT OPTIMUM=19
c Current CPU time (ms) : 8.942
c starts	: 3
c conflicts	: 17
c decisions	: 857
c propagations	: 1537
c inspects	: 7655
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 3
c 
c CURRENT OPTIMUM=18
c Current CPU time (ms) : 9.076
c starts	: 4
c conflicts	: 18
c decisions	: 1207
c propagations	: 1926
c inspects	: 8791
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 4
c 
c CURRENT OPTIMUM=17
c Current CPU time (ms) : 42.401
c starts	: 7
c conflicts	: 281
c decisions	: 6028
c propagations	: 12915
c inspects	: 56122
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 281
c root simplifications	: 7
c 
c CURRENT OPTIMUM=16
c Current CPU time (ms) : 145.13
c starts	: 10
c conflicts	: 648
c decisions	: 11480
c propagations	: 25818
c inspects	: 204918
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 648
c root simplifications	: 10
c 
c CURRENT OPTIMUM=15
c Current CPU time (ms) : 894.053
c starts	: 15
c conflicts	: 1517
c decisions	: 26713
c propagations	: 59021
c inspects	: 879114
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1517
c root simplifications	: 15
#### 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): 1.27 0.51 0.18 2/54 27371
Raw data (stat): 27371 (runsolver) R 27370 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477185495 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 s]
Raw data (loadavg): 1.61 0.61 0.22 2/64 27385
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18070 4 1 0 647 43 0 0 25 0 11 0 477185495 865177600 21442 4294967295 134512640 134569956 3221224416 3221214664 1131306014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211225 21442 13073 16 0 211209 0
vsize: 844900
[startup+20.0007 s]
Raw data (loadavg): 1.67 0.65 0.24 2/64 27385
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18073 4 1 0 1582 44 0 0 25 0 11 0 477185495 865046528 22222 4294967295 134512640 134569956 3221224416 3221214708 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211193 22222 13073 16 0 211177 0
vsize: 844772
[startup+30.0011 s]
Raw data (loadavg): 1.64 0.68 0.25 2/64 27385
Raw data (stat): 27371 (java) S 27370 27222 27221 0 -1 0 18075 4 1 0 2492 44 0 0 25 0 11 0 477185495 864358400 23053 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 23053 13073 16 0 211009 0
vsize: 844100
[startup+40.0022 s]
Raw data (loadavg): 1.54 0.69 0.26 2/64 27385
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 3403 45 0 0 23 0 11 0 477185495 864358400 23475 4294967295 134512640 134569956 3221224416 3221214880 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 23475 13073 16 0 211009 0
vsize: 844100
[startup+50.0029 s]
Raw data (loadavg): 1.45 0.70 0.27 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 4312 45 0 0 25 0 11 0 477185495 864358400 23723 4294967295 134512640 134569956 3221224416 3221214800 1131288942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 23723 13073 16 0 211009 0
vsize: 844100
[startup+60.0027 s]
Raw data (loadavg): 1.38 0.71 0.27 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 5216 45 0 0 25 0 11 0 477185495 864358400 23907 4294967295 134512640 134569956 3221224416 3221214760 1131370305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 23907 13073 16 0 211009 0
vsize: 844100
[startup+70.0034 s]
Raw data (loadavg): 1.32 0.72 0.28 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 6147 45 0 0 25 0 11 0 477185495 864358400 24178 4294967295 134512640 134569956 3221224416 3221214568 1131401528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 24178 13073 16 0 211009 0
vsize: 844100
[startup+80.004 s]
Raw data (loadavg): 1.27 0.73 0.29 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 7079 45 0 0 25 0 11 0 477185495 864358400 24348 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 24348 13073 16 0 211009 0
vsize: 844100
[startup+90.0045 s]
Raw data (loadavg): 1.23 0.74 0.30 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 8001 46 0 0 25 0 11 0 477185495 864358400 24644 4294967295 134512640 134569956 3221224416 3221214800 1131289883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 24644 13073 16 0 211009 0
vsize: 844100
[startup+100.005 s]
Raw data (loadavg): 1.20 0.74 0.30 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 8930 46 0 0 25 0 11 0 477185495 864358400 24781 4294967295 134512640 134569956 3221224416 3221214576 1131270813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 24781 13073 16 0 211009 0
vsize: 844100
[startup+110.005 s]
Raw data (loadavg): 1.16 0.75 0.31 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 9865 46 0 0 25 0 11 0 477185495 864358400 25001 4294967295 134512640 134569956 3221224416 3221214800 1131289833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25001 13073 16 0 211009 0
vsize: 844100
[startup+120.006 s]
Raw data (loadavg): 1.14 0.76 0.32 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 10821 46 0 0 25 0 11 0 477185495 864358400 25176 4294967295 134512640 134569956 3221224416 3221214328 1131710200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25176 13073 16 0 211009 0
vsize: 844100
[startup+130.006 s]
Raw data (loadavg): 1.12 0.77 0.32 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 11762 46 0 0 25 0 11 0 477185495 864358400 25420 4294967295 134512640 134569956 3221224416 3221214864 1131138630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25420 13073 16 0 211009 0
vsize: 844100
[startup+140.007 s]
Raw data (loadavg): 1.10 0.77 0.33 2/64 27386
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 12703 46 0 0 25 0 11 0 477185495 864358400 25524 4294967295 134512640 134569956 3221224416 3221214560 1131645618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25524 13073 16 0 211009 0
vsize: 844100
[startup+150.007 s]
Raw data (loadavg): 1.08 0.78 0.34 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 13647 46 0 0 25 0 11 0 477185495 864358400 25580 4294967295 134512640 134569956 3221224416 3221214864 1131138584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25580 13073 16 0 211009 0
vsize: 844100
[startup+160.007 s]
Raw data (loadavg): 1.07 0.79 0.34 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 14583 46 0 0 25 0 11 0 477185495 864358400 25763 4294967295 134512640 134569956 3221224416 3221214568 1131270804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 25763 13073 16 0 211009 0
vsize: 844100
[startup+170.008 s]
Raw data (loadavg): 1.06 0.79 0.35 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 15528 46 0 0 24 0 11 0 477185495 864358400 26005 4294967295 134512640 134569956 3221224416 3221214760 1131372610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26005 13073 16 0 211009 0
vsize: 844100
[startup+180.009 s]
Raw data (loadavg): 1.05 0.80 0.36 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 16483 46 0 0 25 0 11 0 477185495 864358400 26144 4294967295 134512640 134569956 3221224416 3221214800 1131288868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26144 13073 16 0 211009 0
vsize: 844100
[startup+190.009 s]
Raw data (loadavg): 1.04 0.81 0.36 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 17445 46 0 0 25 0 11 0 477185495 864358400 26237 4294967295 134512640 134569956 3221224416 3221214760 1131370317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26237 13073 16 0 211009 0
vsize: 844100
[startup+200.01 s]
Raw data (loadavg): 1.03 0.81 0.37 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 18396 46 0 0 25 0 11 0 477185495 864358400 26352 4294967295 134512640 134569956 3221224416 3221214296 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26352 13073 16 0 211009 0
vsize: 844100
[startup+210.009 s]
Raw data (loadavg): 1.03 0.82 0.38 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 19356 46 0 0 25 0 11 0 477185495 864358400 26447 4294967295 134512640 134569956 3221224416 3221214800 1131289166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26447 13073 16 0 211009 0
vsize: 844100
[startup+220.011 s]
Raw data (loadavg): 1.02 0.82 0.38 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 20314 46 0 0 25 0 11 0 477185495 864358400 26618 4294967295 134512640 134569956 3221224416 3221214568 1131270920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26618 13073 16 0 211009 0
vsize: 844100
[startup+230.01 s]
Raw data (loadavg): 1.02 0.83 0.39 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 21278 46 0 0 25 0 11 0 477185495 864358400 26705 4294967295 134512640 134569956 3221224416 3221214864 1131138563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26705 13073 16 0 211009 0
vsize: 844100
[startup+240.011 s]
Raw data (loadavg): 1.02 0.83 0.39 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 22240 46 0 0 25 0 11 0 477185495 864358400 26774 4294967295 134512640 134569956 3221224416 3221214904 1131309061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26774 13073 16 0 211009 0
vsize: 844100
[startup+250.012 s]
Raw data (loadavg): 1.01 0.84 0.40 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 23204 46 0 0 25 0 11 0 477185495 864358400 26888 4294967295 134512640 134569956 3221224416 3221214800 1131288634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26888 13073 16 0 211009 0
vsize: 844100
[startup+260.012 s]
Raw data (loadavg): 1.01 0.84 0.40 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 24164 47 0 0 25 0 11 0 477185495 864358400 26961 4294967295 134512640 134569956 3221224416 3221214552 1131710225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 26961 13073 16 0 211009 0
vsize: 844100
[startup+270.012 s]
Raw data (loadavg): 1.01 0.85 0.41 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 25129 47 0 0 25 0 11 0 477185495 864358400 27119 4294967295 134512640 134569956 3221224416 3221214568 1131271118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27119 13073 16 0 211009 0
vsize: 844100
[startup+280.012 s]
Raw data (loadavg): 1.01 0.85 0.42 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 26107 47 0 0 25 0 11 0 477185495 864358400 27232 4294967295 134512640 134569956 3221224416 3221214560 1131645486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27232 13073 16 0 211009 0
vsize: 844100
[startup+290.013 s]
Raw data (loadavg): 1.01 0.86 0.42 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 27090 47 0 0 25 0 11 0 477185495 864358400 27275 4294967295 134512640 134569956 3221224416 3221214232 1131712592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27275 13073 16 0 211009 0
vsize: 844100
[startup+300.014 s]
Raw data (loadavg): 1.00 0.86 0.43 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 28070 47 0 0 25 0 11 0 477185495 864358400 27337 4294967295 134512640 134569956 3221224416 3221214188 1131710224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27337 13073 16 0 211009 0
vsize: 844100
[startup+310.013 s]
Raw data (loadavg): 1.00 0.87 0.43 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 29054 47 0 0 25 0 11 0 477185495 864358400 27369 4294967295 134512640 134569956 3221224416 3221214672 1131682000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27369 13073 16 0 211009 0
vsize: 844100
[startup+320.014 s]
Raw data (loadavg): 1.00 0.87 0.44 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 30040 47 0 0 24 0 11 0 477185495 864358400 27387 4294967295 134512640 134569956 3221224416 3221214576 1131270899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27387 13073 16 0 211009 0
vsize: 844100
[startup+330.014 s]
Raw data (loadavg): 1.00 0.87 0.45 2/64 27387
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 31022 47 0 0 25 0 11 0 477185495 864358400 27404 4294967295 134512640 134569956 3221224416 3221214584 1131705148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27404 13073 16 0 211009 0
vsize: 844100
[startup+340.014 s]
Raw data (loadavg): 1.15 0.91 0.46 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 31999 49 0 0 25 0 11 0 477185495 864358400 27460 4294967295 134512640 134569956 3221224416 3221214560 1131645937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 27460 13073 16 0 211009 0
vsize: 844100
[startup+350.063 s]
Raw data (loadavg): 1.13 0.91 0.47 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 32983 49 0 0 25 0 11 0 477185495 864358400 27501 4294967295 134512640 134569956 3221224416 3221214672 1131682143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27501 13073 16 0 211009 0
vsize: 844100
[startup+360.063 s]
Raw data (loadavg): 1.11 0.91 0.47 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 33964 49 0 0 25 0 11 0 477185495 864358400 27548 4294967295 134512640 134569956 3221224416 3221214568 1131270946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27548 13073 16 0 211009 0
vsize: 844100
[startup+370.064 s]
Raw data (loadavg): 1.09 0.92 0.48 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 34951 49 0 0 25 0 11 0 477185495 864358400 27620 4294967295 134512640 134569956 3221224416 3221214568 1131270865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27620 13073 16 0 211009 0
vsize: 844100
[startup+380.064 s]
Raw data (loadavg): 1.08 0.92 0.48 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 35943 49 0 0 25 0 11 0 477185495 864358400 27632 4294967295 134512640 134569956 3221224416 3221214408 1085679756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27632 13073 16 0 211009 0
vsize: 844100
[startup+390.065 s]
Raw data (loadavg): 1.07 0.92 0.49 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 36934 49 0 0 25 0 11 0 477185495 864358400 27638 4294967295 134512640 134569956 3221224416 3221214744 1131289015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27638 13073 16 0 211009 0
vsize: 844100
[startup+400.066 s]
Raw data (loadavg): 1.06 0.92 0.49 2/64 27440
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 37919 49 0 0 25 0 11 0 477185495 864358400 27646 4294967295 134512640 134569956 3221224416 3221214560 1131646812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27646 13073 16 0 211009 0
vsize: 844100
[startup+410.066 s]
Raw data (loadavg): 1.05 0.92 0.50 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 38902 49 0 0 25 0 11 0 477185495 864358400 27656 4294967295 134512640 134569956 3221224416 3221214576 1131270738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27656 13073 16 0 211009 0
vsize: 844100
[startup+420.067 s]
Raw data (loadavg): 1.04 0.93 0.50 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 39886 50 0 0 25 0 11 0 477185495 864358400 27688 4294967295 134512640 134569956 3221224416 3221214576 1131270946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27688 13073 16 0 211009 0
vsize: 844100
[startup+430.067 s]
Raw data (loadavg): 1.03 0.93 0.51 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 40867 50 0 0 25 0 11 0 477185495 864358400 27729 4294967295 134512640 134569956 3221224416 3221214576 1131271619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27729 13073 16 0 211009 0
vsize: 844100
[startup+440.068 s]
Raw data (loadavg): 1.03 0.93 0.51 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 41848 50 0 0 25 0 11 0 477185495 864358400 27750 4294967295 134512640 134569956 3221224416 3221214688 1131340479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27750 13073 16 0 211009 0
vsize: 844100
[startup+450.069 s]
Raw data (loadavg): 1.02 0.93 0.52 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 42830 50 0 0 25 0 11 0 477185495 864358400 27787 4294967295 134512640 134569956 3221224416 3221214880 1131336299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27787 13073 16 0 211009 0
vsize: 844100
[startup+460.069 s]
Raw data (loadavg): 1.02 0.93 0.52 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 43808 50 0 0 25 0 11 0 477185495 864358400 27820 4294967295 134512640 134569956 3221224416 3221214576 1131270804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27820 13073 16 0 211009 0
vsize: 844100
[startup+470.069 s]
Raw data (loadavg): 1.02 0.94 0.53 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 44781 50 0 0 25 0 11 0 477185495 864358400 27851 4294967295 134512640 134569956 3221224416 3221214568 1131271612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27851 13073 16 0 211009 0
vsize: 844100
[startup+480.069 s]
Raw data (loadavg): 1.01 0.94 0.53 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 45751 50 0 0 25 0 11 0 477185495 864358400 27884 4294967295 134512640 134569956 3221224416 3221214568 1131270920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27884 13073 16 0 211009 0
vsize: 844100
[startup+490.07 s]
Raw data (loadavg): 1.01 0.94 0.54 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 46722 50 0 0 25 0 11 0 477185495 864358400 27973 4294967295 134512640 134569956 3221224416 3221214712 1131213059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 27973 13073 16 0 211009 0
vsize: 844100
[startup+500.07 s]
Raw data (loadavg): 1.01 0.94 0.54 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 47698 50 0 0 25 0 11 0 477185495 864358400 28038 4294967295 134512640 134569956 3221224416 3221214376 1131708271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 28038 13073 16 0 211009 0
vsize: 844100
[startup+510.07 s]
Raw data (loadavg): 1.01 0.94 0.55 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 48675 50 0 0 25 0 11 0 477185495 864358400 28094 4294967295 134512640 134569956 3221224416 3221214672 1131682017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 28094 13073 16 0 211009 0
vsize: 844100
[startup+520.071 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 49653 50 0 0 25 0 11 0 477185495 864358400 28153 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28153 13073 16 0 211009 0
vsize: 844100
[startup+530.072 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 50632 50 0 0 25 0 11 0 477185495 864358400 28175 4294967295 134512640 134569956 3221224416 3221214560 1131645937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28175 13073 16 0 211009 0
vsize: 844100
[startup+540.073 s]
Raw data (loadavg): 1.00 0.95 0.56 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 51615 51 0 0 25 0 11 0 477185495 864358400 28253 4294967295 134512640 134569956 3221224416 3221214900 1131288556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28253 13073 16 0 211009 0
vsize: 844100
[startup+550.073 s]
Raw data (loadavg): 1.00 0.95 0.56 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 52594 51 0 0 24 0 11 0 477185495 864358400 28268 4294967295 134512640 134569956 3221224416 3221214584 1131333882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28268 13073 16 0 211009 0
vsize: 844100
[startup+560.074 s]
Raw data (loadavg): 1.00 0.95 0.57 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 53576 52 0 0 25 0 11 0 477185495 864358400 28274 4294967295 134512640 134569956 3221224416 3221214576 1131270768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28274 13073 16 0 211009 0
vsize: 844100
[startup+570.075 s]
Raw data (loadavg): 1.00 0.95 0.57 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 54543 52 0 0 25 0 11 0 477185495 864358400 28300 4294967295 134512640 134569956 3221224416 3221214560 1131334433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28300 13073 16 0 211009 0
vsize: 844100
[startup+580.075 s]
Raw data (loadavg): 1.00 0.95 0.57 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18075 4 1 0 55515 52 0 0 25 0 11 0 477185495 864358400 28354 4294967295 134512640 134569956 3221224416 3221214568 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 28354 13073 16 0 211009 0
vsize: 844100
[startup+590.076 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 56482 52 0 0 25 0 11 0 477185495 864358400 28420 4294967295 134512640 134569956 3221224416 3221214568 1131270842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28420 13073 16 0 211009 0
vsize: 844100
[startup+600.077 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 57456 52 0 0 25 0 11 0 477185495 864358400 28498 4294967295 134512640 134569956 3221224416 3221214568 1131270920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28498 13073 16 0 211009 0
vsize: 844100
[startup+610.078 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 58438 53 0 0 25 0 11 0 477185495 864358400 28524 4294967295 134512640 134569956 3221224416 3221214800 1131288606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 28524 13073 16 0 211009 0
vsize: 844100
[startup+620.079 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 59422 53 0 0 24 0 11 0 477185495 864358400 28554 4294967295 134512640 134569956 3221224416 3221214576 1131270961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28554 13073 16 0 211009 0
vsize: 844100
[startup+630.079 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 60398 53 0 0 25 0 11 0 477185495 864358400 28588 4294967295 134512640 134569956 3221224416 3221214288 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28588 13073 16 0 211009 0
vsize: 844100
[startup+640.08 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 61373 53 0 0 25 0 11 0 477185495 864358400 28637 4294967295 134512640 134569956 3221224416 3221214676 1080203744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28637 13073 16 0 211009 0
vsize: 844100
[startup+650.081 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 62337 54 0 0 25 0 11 0 477185495 864358400 28674 4294967295 134512640 134569956 3221224416 3221214800 1131289271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28674 13073 16 0 211009 0
vsize: 844100
[startup+660.082 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 63299 54 0 0 25 0 11 0 477185495 864358400 28753 4294967295 134512640 134569956 3221224416 3221214600 1131708271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211025 28753 13073 16 0 211009 0
vsize: 844100
[startup+670.082 s]
Raw data (loadavg): 1.00 0.96 0.61 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 64262 55 0 0 25 0 11 0 477185495 864358400 28783 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211025 28783 13073 16 0 211009 0
vsize: 844100
[startup+680.082 s]
Raw data (loadavg): 1.00 0.96 0.61 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 65221 55 0 0 25 0 11 0 477185495 863309824 28562 4294967295 134512640 134569956 3221224416 3221214528 1131270961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210769 28562 13073 16 0 210753 0
vsize: 843076
[startup+690.083 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 27442
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 66177 55 0 0 25 0 11 0 477185495 863309824 28632 4294967295 134512640 134569956 3221224416 3221214528 1131270961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210769 28632 13073 16 0 210753 0
vsize: 843076
[startup+700.083 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 67136 56 0 0 25 0 11 0 477185495 866455552 29593 4294967295 134512640 134569956 3221224416 3221214352 1131712572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211537 29593 13073 16 0 211521 0
vsize: 846148
[startup+710.083 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 68101 56 0 0 25 0 11 0 477185495 865406976 29481 4294967295 134512640 134569956 3221224416 3221214128 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29481 13073 16 0 211265 0
vsize: 845124
[startup+720.084 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 69072 56 0 0 25 0 11 0 477185495 865406976 29586 4294967295 134512640 134569956 3221224416 3221214576 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29586 13073 16 0 211265 0
vsize: 845124
[startup+730.085 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 70040 56 0 0 25 0 11 0 477185495 865406976 29645 4294967295 134512640 134569956 3221224416 3221214576 1131270804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29645 13073 16 0 211265 0
vsize: 845124
[startup+740.085 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 71020 56 0 0 25 0 11 0 477185495 865406976 29692 4294967295 134512640 134569956 3221224416 3221214640 1131705170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29692 13073 16 0 211265 0
vsize: 845124
[startup+750.085 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 71985 56 0 0 25 0 11 0 477185495 865406976 29669 4294967295 134512640 134569956 3221224416 3221214568 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29669 13073 16 0 211265 0
vsize: 845124
[startup+760.085 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 72962 56 0 0 25 0 11 0 477185495 865406976 29712 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29712 13073 16 0 211265 0
vsize: 845124
[startup+770.086 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 73929 56 0 0 25 0 11 0 477185495 865406976 29793 4294967295 134512640 134569956 3221224416 3221214800 1131289780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29793 13073 16 0 211265 0
vsize: 845124
[startup+780.086 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 74893 57 0 0 25 0 11 0 477185495 865406976 29839 4294967295 134512640 134569956 3221224416 3221214864 1131138740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29839 13073 16 0 211265 0
vsize: 845124
[startup+790.089 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 27444
Raw data (stat): 27371 (java) S 27370 27222 27221 0 -1 0 18076 4 1 0 75853 57 0 0 25 0 11 0 477185495 865406976 29913 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29913 13073 16 0 211265 0
vsize: 845124
[startup+800.09 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 76827 57 0 0 25 0 11 0 477185495 865406976 29964 4294967295 134512640 134569956 3221224416 3221213960 1131712387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 29964 13073 16 0 211265 0
vsize: 845124
[startup+810.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 77804 57 0 0 25 0 11 0 477185495 865406976 30030 4294967295 134512640 134569956 3221224416 3221214800 1131289812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30030 13073 16 0 211265 0
vsize: 845124
[startup+820.091 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 78792 57 0 0 25 0 11 0 477185495 865406976 30068 4294967295 134512640 134569956 3221224416 3221214800 1131289765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30068 13073 16 0 211265 0
vsize: 845124
[startup+830.091 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 79779 57 0 0 25 0 11 0 477185495 865406976 30112 4294967295 134512640 134569956 3221224416 3221214160 1131710299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30112 13073 16 0 211265 0
vsize: 845124
[startup+840.092 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 80767 57 0 0 25 0 11 0 477185495 865406976 30139 4294967295 134512640 134569956 3221224416 3221214104 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30139 13073 16 0 211265 0
vsize: 845124
[startup+850.093 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 81755 57 0 0 25 0 11 0 477185495 865406976 30171 4294967295 134512640 134569956 3221224416 3221214408 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30171 13073 16 0 211265 0
vsize: 845124
[startup+860.093 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 82743 57 0 0 25 0 11 0 477185495 865406976 30215 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30215 13073 16 0 211265 0
vsize: 845124
[startup+870.093 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 83728 57 0 0 25 0 11 0 477185495 865406976 30250 4294967295 134512640 134569956 3221224416 3221214800 1131288758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30250 13073 16 0 211265 0
vsize: 845124
[startup+880.093 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 84704 57 0 0 24 0 11 0 477185495 865406976 30276 4294967295 134512640 134569956 3221224416 3221214560 1131646056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30276 13073 16 0 211265 0
vsize: 845124
[startup+890.094 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27444
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 85671 57 0 0 25 0 11 0 477185495 865406976 30329 4294967295 134512640 134569956 3221224416 3221214800 1131288803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30329 13073 16 0 211265 0
vsize: 845124
[startup+900.095 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 86649 57 0 0 25 0 11 0 477185495 865406976 30364 4294967295 134512640 134569956 3221224416 3221214576 1131270920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30364 13073 16 0 211265 0
vsize: 845124
[startup+910.094 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 87618 57 0 0 25 0 11 0 477185495 865406976 30421 4294967295 134512640 134569956 3221224416 3221214904 1131309318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30421 13073 16 0 211265 0
vsize: 845124
[startup+920.095 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 88578 57 0 0 25 0 11 0 477185495 865406976 30478 4294967295 134512640 134569956 3221224416 3221214672 1131682123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30478 13073 16 0 211265 0
vsize: 845124
[startup+930.096 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 89545 57 0 0 25 0 11 0 477185495 865406976 30573 4294967295 134512640 134569956 3221224416 3221214576 1131270715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30573 13073 16 0 211265 0
vsize: 845124
[startup+940.096 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 90520 57 0 0 25 0 11 0 477185495 865406976 30672 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30672 13073 16 0 211265 0
vsize: 845124
[startup+950.096 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 91507 57 0 0 25 0 11 0 477185495 865406976 30717 4294967295 134512640 134569956 3221224416 3221214352 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30717 13073 16 0 211265 0
vsize: 845124
[startup+960.096 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 92489 57 0 0 25 0 11 0 477185495 865406976 30744 4294967295 134512640 134569956 3221224416 3221214436 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30744 13073 16 0 211265 0
vsize: 845124
[startup+970.097 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 93456 57 0 0 25 0 11 0 477185495 865406976 30788 4294967295 134512640 134569956 3221224416 3221213796 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30788 13073 16 0 211265 0
vsize: 845124
[startup+980.097 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 94421 57 0 0 25 0 11 0 477185495 865406976 30823 4294967295 134512640 134569956 3221224416 3221214800 1131288969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30823 13073 16 0 211265 0
vsize: 845124
[startup+990.097 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 95380 57 0 0 25 0 11 0 477185495 865406976 30894 4294967295 134512640 134569956 3221224416 3221214568 1131270822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211281 30894 13073 16 0 211265 0
vsize: 845124
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 96347 57 0 0 24 0 11 0 477185495 863309824 30511 4294967295 134512640 134569956 3221224416 3221214880 1131336249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30511 13073 16 0 210753 0
vsize: 843076
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 97327 57 0 0 25 0 11 0 477185495 863309824 30555 4294967295 134512640 134569956 3221224416 3221214488 1131708074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30555 13073 16 0 210753 0
vsize: 843076
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 98307 57 0 0 24 0 11 0 477185495 863309824 30632 4294967295 134512640 134569956 3221224416 3221214800 1131288795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30632 13073 16 0 210753 0
vsize: 843076
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 99276 57 0 0 25 0 11 0 477185495 863309824 30684 4294967295 134512640 134569956 3221224416 3221214576 1131270920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30684 13073 16 0 210753 0
vsize: 843076
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 100250 57 0 0 25 0 11 0 477185495 863309824 30761 4294967295 134512640 134569956 3221224416 3221214760 1131372263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30761 13073 16 0 210753 0
vsize: 843076
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 101241 58 0 0 25 0 11 0 477185495 863309824 30789 4294967295 134512640 134569956 3221224416 3221214800 1131289737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30789 13073 16 0 210753 0
vsize: 843076
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 102213 58 0 0 25 0 11 0 477185495 863309824 30849 4294967295 134512640 134569956 3221224416 3221214800 1131288801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30849 13073 16 0 210753 0
vsize: 843076
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27445
Raw data (stat): 27371 (java) S 27370 27222 27221 0 -1 0 18076 4 1 0 103183 58 0 0 25 0 11 0 477185495 863309824 30887 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30887 13073 16 0 210753 0
vsize: 843076
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 104155 58 0 0 25 0 11 0 477185495 863309824 30911 4294967295 134512640 134569956 3221224416 3221214552 1131710193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30911 13073 16 0 210753 0
vsize: 843076
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 105121 58 0 0 25 0 11 0 477185495 863309824 30986 4294967295 134512640 134569956 3221224416 3221214568 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 30986 13073 16 0 210753 0
vsize: 843076
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 106080 58 0 0 25 0 11 0 477185495 863309824 31093 4294967295 134512640 134569956 3221224416 3221214576 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31093 13073 16 0 210753 0
vsize: 843076
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 107043 58 0 0 25 0 11 0 477185495 863309824 31117 4294967295 134512640 134569956 3221224416 3221214904 1131309256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31117 13073 16 0 210753 0
vsize: 843076
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 108007 58 0 0 25 0 11 0 477185495 863309824 31234 4294967295 134512640 134569956 3221224416 3221214672 1131682123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31234 13073 16 0 210753 0
vsize: 843076
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27445
Raw data (stat): 27371 (java) S 27370 27222 27221 0 -1 0 18076 4 1 0 108978 58 0 0 25 0 11 0 477185495 863309824 31334 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31337 13073 16 0 210753 0
vsize: 843076
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 109953 58 0 0 25 0 11 0 477185495 863309824 31388 4294967295 134512640 134569956 3221224416 3221214664 1131573460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31388 13073 16 0 210753 0
vsize: 843076
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 110935 58 0 0 25 0 11 0 477185495 863309824 31410 4294967295 134512640 134569956 3221224416 3221214608 1131352166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31410 13073 16 0 210753 0
vsize: 843076
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 111904 58 0 0 25 0 11 0 477185495 863309824 31477 4294967295 134512640 134569956 3221224416 3221214576 1131270961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31477 13073 16 0 210753 0
vsize: 843076
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 112888 58 0 0 25 0 11 0 477185495 863309824 31484 4294967295 134512640 134569956 3221224416 3221214688 1131338669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31484 13073 16 0 210753 0
vsize: 843076
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 113873 58 0 0 25 0 11 0 477185495 863309824 31497 4294967295 134512640 134569956 3221224416 3221214480 1131700306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31497 13073 16 0 210753 0
vsize: 843076
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 114847 58 0 0 25 0 11 0 477185495 863309824 31541 4294967295 134512640 134569956 3221224416 3221214032 1131708296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31541 13073 16 0 210753 0
vsize: 843076
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 115810 58 0 0 25 0 11 0 477185495 863309824 31583 4294967295 134512640 134569956 3221224416 3221214760 1131372055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31583 13073 16 0 210753 0
vsize: 843076
[startup+1210.11 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 116769 58 0 0 25 0 11 0 477185495 863309824 31654 4294967295 134512640 134569956 3221224416 3221214344 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31654 13073 16 0 210753 0
vsize: 843076
[startup+1220.11 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 117747 58 0 0 25 0 11 0 477185495 863309824 31684 4294967295 134512640 134569956 3221224416 3221214864 1131138560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31684 13073 16 0 210753 0
vsize: 843076
[startup+1230.11 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 118717 58 0 0 25 0 11 0 477185495 863309824 31706 4294967295 134512640 134569956 3221224416 3221214544 1131708137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31706 13073 16 0 210753 0
vsize: 843076
[startup+1240.11 s]
Raw data (loadavg): 1.00 0.97 0.76 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 119693 59 0 0 25 0 11 0 477185495 863309824 31738 4294967295 134512640 134569956 3221224416 3221214212 1131710224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31738 13073 16 0 210753 0
vsize: 843076
[startup+1250.11 s]
Raw data (loadavg): 1.00 0.97 0.77 2/64 27445
Raw data (stat): 27371 (java) R 27370 27222 27221 0 -1 0 18076 4 1 0 120670 59 0 0 25 0 11 0 477185495 863309824 31809 4294967295 134512640 134569956 3221224416 3221214328 1131710164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210769 31809 13073 16 0 210753 0
vsize: 843076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.34 s]
Raw data (loadavg): 1.00 0.97 0.77 1/54 27447
Raw data (stat): 27371 (java) Z 27370 27222 27221 0 -1 1036 18076 20247 1 1 120675 64 5627 58 23 0 1 0 477185495 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): 1250.34
CPU time (s): 1264.27
CPU user time (s): 1263.03
CPU system time (s): 1.23781
CPU usage (%): 101.114
Max. virtual memory (Kb): 846148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####