PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb
MD5SUM	bbe4af13307edeeeae2f9b61a7fffb41
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1541
Biggest coefficient in the objective function	450560000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	43694073499991809
Number of bits of the sum of numbers in the objective function	56
Biggest number in a constraint	1200000000000000000000
Number of bits of the biggest number in a constraint	71
Biggest sum of numbers in a constraint	4359687500000000475136
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.218966
Number of variables	3085
Total number of constraints	555
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	491
Minimum length of a constraint	1
Maximum length of a constraint	111
Trace number 29999

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 13:40:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21403 boxname=wulflinc12 idbench=1391 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bbe4af13307edeeeae2f9b61a7fffb41  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-timtab1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-timtab1.opb
IDLAUNCH: 21403
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        362224 kB
Buffers:         34520 kB
Cached:         616696 kB
SwapCached:        564 kB
Active:          50064 kB
Inactive:       603588 kB
HighTotal:      131008 kB
HighFree:         8596 kB
LowTotal:       903652 kB
LowFree:        353628 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13212 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:01:20 (client local time) WITH STATUS 143 IN 1247.38 SECONDS
stats: 21403 7 1247.38 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-timtab1.opb
c reading problem ... done. Time 5.918 ms.
c #vars     3085
c #constraints  624
c starts	: 9
c conflicts	: 6832
c decisions	: 8616
c propagations	: 77952
c inspects	: 6947293
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6832
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1249.019
#### 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.85 0.97 0.99 2/54 12137
Raw data (stat): 12137 (runsolver) R 12136 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781084628 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+10.0001 s]
Raw data (loadavg): 1.04 1.00 1.00 4/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18068 0 1 0 726 40 0 0 25 0 11 0 781084628 859947008 20536 4294967295 134512640 134569956 3221224368 3221214580 1130863901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 20536 13086 16 0 209932 0
vsize: 839792
[startup+20.0014 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18075 0 1 0 1600 41 0 0 25 0 11 0 781084628 860381184 21746 4294967295 134512640 134569956 3221224368 3221214688 1131318950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 21746 13086 16 0 210038 0
vsize: 840216
[startup+30.0024 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18075 0 1 0 2514 41 0 0 25 0 11 0 781084628 860381184 21898 4294967295 134512640 134569956 3221224368 3221214744 1131211136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 21898 13086 16 0 210038 0
vsize: 840216
[startup+40.0017 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18075 0 1 0 3428 41 0 0 25 0 11 0 781084628 860381184 21971 4294967295 134512640 134569956 3221224368 3221214600 1131265189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 21971 13086 16 0 210038 0
vsize: 840216
[startup+50.0026 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 12147
Raw data (stat): 12137 (java) S 12136 32284 32283 0 -1 0 18076 0 1 0 4348 42 0 0 25 0 11 0 781084628 860381184 22568 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 22568 13086 16 0 210038 0
vsize: 840216
[startup+60.0058 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 5310 42 0 0 17 0 11 0 781084628 860381184 22772 4294967295 134512640 134569956 3221224368 3221214684 1131265120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 22772 13086 16 0 210038 0
vsize: 840216
[startup+70.0072 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 6274 42 0 0 25 0 11 0 781084628 860381184 22852 4294967295 134512640 134569956 3221224368 3221214688 1131318786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 22852 13086 16 0 210038 0
vsize: 840216
[startup+80.0085 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 7240 43 0 0 25 0 11 0 781084628 860381184 22935 4294967295 134512640 134569956 3221224368 3221214208 1131274705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 22935 13086 16 0 210038 0
vsize: 840216
[startup+90.0106 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 8197 43 0 0 25 0 11 0 781084628 860381184 23023 4294967295 134512640 134569956 3221224368 3221214688 1131318786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23023 13086 16 0 210038 0
vsize: 840216
[startup+100.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 9151 44 0 0 25 0 11 0 781084628 860381184 23143 4294967295 134512640 134569956 3221224368 3221214688 1131319350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23143 13086 16 0 210038 0
vsize: 840216
[startup+110.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 10114 44 0 0 25 0 11 0 781084628 860381184 23300 4294967295 134512640 134569956 3221224368 3221214688 1131318930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23300 13086 16 0 210038 0
vsize: 840216
[startup+120.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 11088 44 0 0 25 0 11 0 781084628 860381184 23438 4294967295 134512640 134569956 3221224368 3221214744 1131211139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23438 13086 16 0 210038 0
vsize: 840216
[startup+130.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 12069 45 0 0 25 0 11 0 781084628 860381184 23509 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23509 13086 16 0 210038 0
vsize: 840216
[startup+140.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 13052 45 0 0 25 0 11 0 781084628 860381184 23545 4294967295 134512640 134569956 3221224368 3221214688 1131319708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23545 13086 16 0 210038 0
vsize: 840216
[startup+150.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 14036 46 0 0 25 0 11 0 781084628 860381184 23584 4294967295 134512640 134569956 3221224368 3221214744 1131211136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23584 13086 16 0 210038 0
vsize: 840216
[startup+160.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 15019 46 0 0 25 0 11 0 781084628 860381184 23620 4294967295 134512640 134569956 3221224368 3221214688 1131318753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23620 13086 16 0 210038 0
vsize: 840216
[startup+170.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 16001 47 0 0 24 0 11 0 781084628 860381184 23656 4294967295 134512640 134569956 3221224368 3221214852 1131247267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23656 13086 16 0 210038 0
vsize: 840216
[startup+180.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 16984 47 0 0 25 0 11 0 781084628 860381184 23686 4294967295 134512640 134569956 3221224368 3221214688 1131319288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23686 13086 16 0 210038 0
vsize: 840216
[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 17966 48 0 0 25 0 11 0 781084628 860381184 23727 4294967295 134512640 134569956 3221224368 3221214684 1131265120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23727 13086 16 0 210038 0
vsize: 840216
[startup+200.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 18948 48 0 0 25 0 11 0 781084628 860381184 23768 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23768 13086 16 0 210038 0
vsize: 840216
[startup+210.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 19926 49 0 0 25 0 11 0 781084628 860381184 23807 4294967295 134512640 134569956 3221224368 3221214832 1131247321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23807 13086 16 0 210038 0
vsize: 840216
[startup+220.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 20905 49 0 0 25 0 11 0 781084628 860381184 23842 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23842 13086 16 0 210038 0
vsize: 840216
[startup+230.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 21884 50 0 0 24 0 11 0 781084628 860381184 23877 4294967295 134512640 134569956 3221224368 3221214792 1131515187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23877 13086 16 0 210038 0
vsize: 840216
[startup+240.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 22868 50 0 0 25 0 11 0 781084628 860381184 23948 4294967295 134512640 134569956 3221224368 3221214744 1131211136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23948 13086 16 0 210038 0
vsize: 840216
[startup+250.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 23851 51 0 0 25 0 11 0 781084628 860381184 23979 4294967295 134512640 134569956 3221224368 3221214792 1131514629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 23979 13086 16 0 210038 0
vsize: 840216
[startup+260.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 24835 51 0 0 25 0 11 0 781084628 860381184 24007 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24007 13086 16 0 210038 0
vsize: 840216
[startup+270.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 25819 51 0 0 25 0 11 0 781084628 860381184 24038 4294967295 134512640 134569956 3221224368 3221214744 1131211179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24038 13086 16 0 210038 0
vsize: 840216
[startup+280.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 26801 52 0 0 25 0 11 0 781084628 860381184 24067 4294967295 134512640 134569956 3221224368 3221214688 1131319313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24067 13086 16 0 210038 0
vsize: 840216
[startup+290.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 27784 52 0 0 25 0 11 0 781084628 860381184 24100 4294967295 134512640 134569956 3221224368 3221214496 1131274652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24100 13086 16 0 210038 0
vsize: 840216
[startup+300.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 28767 52 0 0 25 0 11 0 781084628 860381184 24125 4294967295 134512640 134569956 3221224368 3221214600 1131265588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24125 13086 16 0 210038 0
vsize: 840216
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 29749 53 0 0 25 0 11 0 781084628 860381184 24163 4294967295 134512640 134569956 3221224368 3221214688 1131318764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24163 13086 16 0 210038 0
vsize: 840216
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 30731 53 0 0 25 0 11 0 781084628 860381184 24201 4294967295 134512640 134569956 3221224368 3221214768 1131326886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24201 13086 16 0 210038 0
vsize: 840216
[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 31714 54 0 0 25 0 11 0 781084628 860381184 24233 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24233 13086 16 0 210038 0
vsize: 840216
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 32699 54 0 0 25 0 11 0 781084628 860381184 24261 4294967295 134512640 134569956 3221224368 3221214688 1131318764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24261 13086 16 0 210038 0
vsize: 840216
[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 33684 54 0 0 25 0 11 0 781084628 860381184 24293 4294967295 134512640 134569956 3221224368 3221214688 1131319322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24293 13086 16 0 210038 0
vsize: 840216
[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 34669 54 0 0 25 0 11 0 781084628 860381184 24321 4294967295 134512640 134569956 3221224368 3221214792 1131514373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24321 13086 16 0 210038 0
vsize: 840216
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 35653 55 0 0 25 0 11 0 781084628 860381184 24347 4294967295 134512640 134569956 3221224368 3221214112 1131557368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24347 13086 16 0 210038 0
vsize: 840216
[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 36637 55 0 0 25 0 11 0 781084628 860381184 24368 4294967295 134512640 134569956 3221224368 3221214688 1131318975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24368 13086 16 0 210038 0
vsize: 840216
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 37619 56 0 0 25 0 11 0 781084628 860381184 24394 4294967295 134512640 134569956 3221224368 3221214688 1131318745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24394 13086 16 0 210038 0
vsize: 840216
[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18076 0 1 0 38597 56 0 0 25 0 11 0 781084628 860381184 24422 4294967295 134512640 134569956 3221224368 3221214688 1131319389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24422 13086 16 0 210038 0
vsize: 840216
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 39587 56 0 0 25 0 11 0 781084628 860381184 24434 4294967295 134512640 134569956 3221224368 3221214440 1131525525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24434 13086 16 0 210038 0
vsize: 840216
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 40577 56 0 0 25 0 11 0 781084628 860381184 24438 4294967295 134512640 134569956 3221224368 3221214396 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24438 13086 16 0 210038 0
vsize: 840216
[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 41559 56 0 0 25 0 11 0 781084628 860381184 24447 4294967295 134512640 134569956 3221224368 3221214544 1131574421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24447 13086 16 0 210038 0
vsize: 840216
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 42518 57 0 0 25 0 11 0 781084628 860381184 24462 4294967295 134512640 134569956 3221224368 3221214744 1131211133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24462 13086 16 0 210038 0
vsize: 840216
[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 43459 57 0 0 25 0 11 0 781084628 860381184 24548 4294967295 134512640 134569956 3221224368 3221214688 1131318838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24548 13086 16 0 210038 0
vsize: 840216
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 44399 57 0 0 25 0 11 0 781084628 860381184 24805 4294967295 134512640 134569956 3221224368 3221214440 1131571724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24805 13086 16 0 210038 0
vsize: 840216
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 45343 58 0 0 25 0 11 0 781084628 860381184 24894 4294967295 134512640 134569956 3221224368 3221214064 1131570659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 24894 13086 16 0 210038 0
vsize: 840216
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 46287 58 0 0 25 0 11 0 781084628 860381184 24984 4294967295 134512640 134569956 3221224368 3221214448 1131570094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 24984 13086 16 0 210038 0
vsize: 840216
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 47223 58 0 0 25 0 11 0 781084628 860381184 25266 4294967295 134512640 134569956 3221224368 3221214688 1131318967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 25266 13086 16 0 210038 0
vsize: 840216
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 48175 59 0 0 25 0 11 0 781084628 860381184 25456 4294967295 134512640 134569956 3221224368 3221214536 1131358339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 25456 13086 16 0 210038 0
vsize: 840216
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 49135 59 0 0 25 0 11 0 781084628 860381184 25591 4294967295 134512640 134569956 3221224368 3221214024 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 25591 13086 16 0 210038 0
vsize: 840216
[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 50101 59 0 0 25 0 11 0 781084628 860381184 25694 4294967295 134512640 134569956 3221224368 3221214760 1131354505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 25694 13086 16 0 210038 0
vsize: 840216
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 51058 60 0 0 25 0 11 0 781084628 860381184 25814 4294967295 134512640 134569956 3221224368 3221214400 1131274684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 25814 13086 16 0 210038 0
vsize: 840216
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 52013 60 0 0 25 0 11 0 781084628 860381184 25924 4294967295 134512640 134569956 3221224368 3221214208 1131274769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 25924 13086 16 0 210038 0
vsize: 840216
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 52962 60 0 0 25 0 11 0 781084628 860381184 26054 4294967295 134512640 134569956 3221224368 3221214688 1131318838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26054 13086 16 0 210038 0
vsize: 840216
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 53914 60 0 0 25 0 11 0 781084628 860381184 26170 4294967295 134512640 134569956 3221224368 3221213832 1131274684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26170 13086 16 0 210038 0
vsize: 840216
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 54860 61 0 0 25 0 11 0 781084628 860381184 26363 4294967295 134512640 134569956 3221224368 3221214400 1131274705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26363 13086 16 0 210038 0
vsize: 840216
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 55821 61 0 0 25 0 11 0 781084628 860381184 26522 4294967295 134512640 134569956 3221224368 3221214744 1131211136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26522 13086 16 0 210038 0
vsize: 840216
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 56785 61 0 0 25 0 11 0 781084628 860381184 26635 4294967295 134512640 134569956 3221224368 3221214112 1131274705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26635 13086 16 0 210038 0
vsize: 840216
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 57745 62 0 0 25 0 11 0 781084628 860381184 26735 4294967295 134512640 134569956 3221224368 3221214352 1131569954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26735 13086 16 0 210038 0
vsize: 840216
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 58708 62 0 0 25 0 11 0 781084628 860381184 26831 4294967295 134512640 134569956 3221224368 3221214688 1131319233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26831 13086 16 0 210038 0
vsize: 840216
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 59677 62 0 0 25 0 11 0 781084628 860381184 26914 4294967295 134512640 134569956 3221224368 3221214112 1131274680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 26914 13086 16 0 210038 0
vsize: 840216
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 60640 63 0 0 25 0 11 0 781084628 860381184 27008 4294967295 134512640 134569956 3221224368 3221214468 1131615660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27008 13086 16 0 210038 0
vsize: 840216
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 61611 63 0 0 25 0 11 0 781084628 860381184 27095 4294967295 134512640 134569956 3221224368 3221214688 1131319717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27095 13086 16 0 210038 0
vsize: 840216
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 62575 64 0 0 25 0 11 0 781084628 860381184 27162 4294967295 134512640 134569956 3221224368 3221214688 1131318942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27162 13086 16 0 210038 0
vsize: 840216
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 63541 64 0 0 25 0 11 0 781084628 860381184 27241 4294967295 134512640 134569956 3221224368 3221214616 1131287720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27241 13086 16 0 210038 0
vsize: 840216
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 64506 64 0 0 24 0 11 0 781084628 860381184 27328 4294967295 134512640 134569956 3221224368 3221214688 1131319229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27328 13086 16 0 210038 0
vsize: 840216
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 65478 64 0 0 25 0 11 0 781084628 860381184 27396 4294967295 134512640 134569956 3221224368 3221214688 1131318757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27396 13086 16 0 210038 0
vsize: 840216
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 66445 65 0 0 25 0 11 0 781084628 860381184 27480 4294967295 134512640 134569956 3221224368 3221214112 1131274644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27480 13086 16 0 210038 0
vsize: 840216
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 67417 65 0 0 25 0 11 0 781084628 860381184 27533 4294967295 134512640 134569956 3221224368 3221214400 1131274779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27533 13086 16 0 210038 0
vsize: 840216
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 68384 65 0 0 25 0 11 0 781084628 860381184 27600 4294967295 134512640 134569956 3221224368 3221214496 1131274652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27600 13086 16 0 210038 0
vsize: 840216
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 69352 65 0 0 25 0 11 0 781084628 860381184 27667 4294967295 134512640 134569956 3221224368 3221214744 1131211289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27667 13086 16 0 210038 0
vsize: 840216
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 70320 65 0 0 25 0 11 0 781084628 860381184 27741 4294967295 134512640 134569956 3221224368 3221214688 1131318757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27741 13086 16 0 210038 0
vsize: 840216
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 71288 66 0 0 25 0 11 0 781084628 860381184 27817 4294967295 134512640 134569956 3221224368 3221214256 1131577877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27817 13086 16 0 210038 0
vsize: 840216
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 72261 67 0 0 25 0 11 0 781084628 860381184 27872 4294967295 134512640 134569956 3221224368 3221214688 1131319350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27872 13086 16 0 210038 0
vsize: 840216
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 73228 67 0 0 25 0 11 0 781084628 860381184 27937 4294967295 134512640 134569956 3221224368 3221214496 1131274705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27937 13086 16 0 210038 0
vsize: 840216
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 74200 67 0 0 25 0 11 0 781084628 860381184 27993 4294967295 134512640 134569956 3221224368 3221214520 1131447717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 27993 13086 16 0 210038 0
vsize: 840216
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 75167 68 0 0 25 0 11 0 781084628 860381184 28052 4294967295 134512640 134569956 3221224368 3221214688 1131318969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 28052 13086 16 0 210038 0
vsize: 840216
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 76133 68 0 0 25 0 11 0 781084628 860381184 28122 4294967295 134512640 134569956 3221224368 3221214688 1131319405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 28122 13086 16 0 210038 0
vsize: 840216
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 77105 69 0 0 25 0 11 0 781084628 860381184 28193 4294967295 134512640 134569956 3221224368 3221213900 1131274704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 28193 13086 16 0 210038 0
vsize: 840216
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) S 12136 32284 32283 0 -1 0 18077 0 1 0 78084 69 0 0 25 0 11 0 781084628 860381184 28238 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 28238 13086 16 0 210038 0
vsize: 840216
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 79046 69 0 0 25 0 11 0 781084628 860381184 28315 4294967295 134512640 134569956 3221224368 3221214656 1131319150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28315 13086 16 0 210038 0
vsize: 840216
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 80009 69 0 0 25 0 11 0 781084628 860381184 28389 4294967295 134512640 134569956 3221224368 3221214528 1131575876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28389 13086 16 0 210038 0
vsize: 840216
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 80981 69 0 0 25 0 11 0 781084628 860381184 28441 4294967295 134512640 134569956 3221224368 3221214656 1131319293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28441 13086 16 0 210038 0
vsize: 840216
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 81948 69 0 0 25 0 11 0 781084628 860381184 28541 4294967295 134512640 134569956 3221224368 3221214312 1076461259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28541 13086 16 0 210038 0
vsize: 840216
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 82927 69 0 0 25 0 11 0 781084628 860381184 28601 4294967295 134512640 134569956 3221224368 3221213624 1131274705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28601 13086 16 0 210038 0
vsize: 840216
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 83902 69 0 0 25 0 11 0 781084628 860381184 28642 4294967295 134512640 134569956 3221224368 3221214240 1131575792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28642 13086 16 0 210038 0
vsize: 840216
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 84881 70 0 0 25 0 11 0 781084628 860381184 28666 4294967295 134512640 134569956 3221224368 3221214656 1131319354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28666 13086 16 0 210038 0
vsize: 840216
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 85856 70 0 0 25 0 11 0 781084628 860381184 28691 4294967295 134512640 134569956 3221224368 3221214776 1131560381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28691 13086 16 0 210038 0
vsize: 840216
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 86824 70 0 0 25 0 11 0 781084628 860381184 28744 4294967295 134512640 134569956 3221224368 3221214008 1131274583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28744 13086 16 0 210038 0
vsize: 840216
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 87788 70 0 0 25 0 11 0 781084628 860381184 28788 4294967295 134512640 134569956 3221224368 3221214480 1131274705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28788 13086 16 0 210038 0
vsize: 840216
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 88765 70 0 0 25 0 11 0 781084628 860381184 28813 4294967295 134512640 134569956 3221224368 3221214296 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28813 13086 16 0 210038 0
vsize: 840216
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 89732 70 0 0 25 0 11 0 781084628 860381184 28849 4294967295 134512640 134569956 3221224368 3221214656 1131319459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 28849 13086 16 0 210038 0
vsize: 840216
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 90681 70 0 0 25 0 11 0 781084628 860381184 29026 4294967295 134512640 134569956 3221224368 3221214712 1131211303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29026 13086 16 0 210038 0
vsize: 840216
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 91642 70 0 0 25 0 11 0 781084628 860381184 29186 4294967295 134512640 134569956 3221224368 3221214712 1131211161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29186 13086 16 0 210038 0
vsize: 840216
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 92613 70 0 0 25 0 11 0 781084628 860381184 29302 4294967295 134512640 134569956 3221224368 3221214656 1131318753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29302 13086 16 0 210038 0
vsize: 840216
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 93565 70 0 0 25 0 11 0 781084628 860381184 29497 4294967295 134512640 134569956 3221224368 3221214712 1131211136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29497 13086 16 0 210038 0
vsize: 840216
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 94526 71 0 0 25 0 11 0 781084628 860381184 29645 4294967295 134512640 134569956 3221224368 3221214656 1131318917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29645 13086 16 0 210038 0
vsize: 840216
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 95498 71 0 0 25 0 11 0 781084628 860381184 29787 4294967295 134512640 134569956 3221224368 3221214192 1131274562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29787 13086 16 0 210038 0
vsize: 840216
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 96471 71 0 0 25 0 11 0 781084628 860381184 29887 4294967295 134512640 134569956 3221224368 3221214656 1131319189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29887 13086 16 0 210038 0
vsize: 840216
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 97444 71 0 0 25 0 11 0 781084628 860381184 29972 4294967295 134512640 134569956 3221224368 3221214656 1131319486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 29972 13086 16 0 210038 0
vsize: 840216
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 98413 71 0 0 25 0 11 0 781084628 860381184 30060 4294967295 134512640 134569956 3221224368 3221214656 1131319469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30060 13086 16 0 210038 0
vsize: 840216
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 99387 71 0 0 25 0 11 0 781084628 860381184 30117 4294967295 134512640 134569956 3221224368 3221214008 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30117 13086 16 0 210038 0
vsize: 840216
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 100360 71 0 0 25 0 11 0 781084628 860381184 30158 4294967295 134512640 134569956 3221224368 3221214656 1131318798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30158 13086 16 0 210038 0
vsize: 840216
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 101327 71 0 0 25 0 11 0 781084628 860381184 30271 4294967295 134512640 134569956 3221224368 3221214656 1131319999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30271 13086 16 0 210038 0
vsize: 840216
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 102296 71 0 0 25 0 11 0 781084628 860381184 30386 4294967295 134512640 134569956 3221224368 3221214736 1131326889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30386 13086 16 0 210038 0
vsize: 840216
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 103266 71 0 0 25 0 11 0 781084628 860381184 30462 4294967295 134512640 134569956 3221224368 3221214656 1131319229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30462 13086 16 0 210038 0
vsize: 840216
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 104236 71 0 0 25 0 11 0 781084628 860381184 30550 4294967295 134512640 134569956 3221224368 3221214656 1131319367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30550 13086 16 0 210038 0
vsize: 840216
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 105207 71 0 0 25 0 11 0 781084628 860381184 30666 4294967295 134512640 134569956 3221224368 3221214656 1131319469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30666 13086 16 0 210038 0
vsize: 840216
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 106183 71 0 0 25 0 11 0 781084628 860381184 30740 4294967295 134512640 134569956 3221224368 3221214328 1131570172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30740 13086 16 0 210038 0
vsize: 840216
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 107156 71 0 0 25 0 11 0 781084628 860381184 30826 4294967295 134512640 134569956 3221224368 3221214508 1131447564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30826 13086 16 0 210038 0
vsize: 840216
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 108130 71 0 0 25 0 11 0 781084628 860381184 30913 4294967295 134512640 134569956 3221224368 3221214656 1131319397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 30913 13086 16 0 210038 0
vsize: 840216
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 109096 71 0 0 25 0 11 0 781084628 860381184 31007 4294967295 134512640 134569956 3221224368 3221214656 1131319711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31007 13086 16 0 210038 0
vsize: 840216
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 110066 71 0 0 25 0 11 0 781084628 860381184 31088 4294967295 134512640 134569956 3221224368 3221214656 1131319585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31088 13086 16 0 210038 0
vsize: 840216
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 111029 71 0 0 25 0 11 0 781084628 860381184 31186 4294967295 134512640 134569956 3221224368 3221214056 1131555367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31186 13086 16 0 210038 0
vsize: 840216
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 112006 72 0 0 25 0 11 0 781084628 860381184 31249 4294967295 134512640 134569956 3221224368 3221214656 1131319778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31249 13086 16 0 210038 0
vsize: 840216
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12147
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 112985 72 0 0 25 0 11 0 781084628 860381184 31312 4294967295 134512640 134569956 3221224368 3221214760 1131514373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31312 13086 16 0 210038 0
vsize: 840216
[startup+1180.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 12199
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 113951 73 0 0 25 0 11 0 781084628 860381184 31353 4294967295 134512640 134569956 3221224368 3221214160 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210054 31353 13086 16 0 210038 0
vsize: 840216
[startup+1190.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12200
Raw data (stat): 12137 (java) S 12136 32284 32283 0 -1 0 18077 0 1 0 114918 73 0 0 25 0 11 0 781084628 860381184 31396 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31396 13086 16 0 210038 0
vsize: 840216
[startup+1200.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12200
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 115892 73 0 0 25 0 11 0 781084628 860381184 31431 4294967295 134512640 134569956 3221224368 3221214800 1131247321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31431 13086 16 0 210038 0
vsize: 840216
[startup+1210.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12200
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 116853 73 0 0 25 0 11 0 781084628 860381184 31470 4294967295 134512640 134569956 3221224368 3221214136 1131569044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31470 13086 16 0 210038 0
vsize: 840216
[startup+1220.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12200
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 117826 73 0 0 25 0 11 0 781084628 860381184 31532 4294967295 134512640 134569956 3221224368 3221214448 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31532 13086 16 0 210038 0
vsize: 840216
[startup+1230.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12200
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 118792 73 0 0 25 0 11 0 781084628 860381184 31714 4294967295 134512640 134569956 3221224368 3221214000 1131274572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31714 13086 16 0 210038 0
vsize: 840216
[startup+1240.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12200
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 119759 73 0 0 25 0 11 0 781084628 860381184 31818 4294967295 134512640 134569956 3221224368 3221214256 1085632287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31818 13086 16 0 210038 0
vsize: 840216
[startup+1250.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12202
Raw data (stat): 12137 (java) R 12136 32284 32283 0 -1 0 18077 0 1 0 120725 73 0 0 25 0 11 0 781084628 860381184 31918 4294967295 134512640 134569956 3221224368 3221214000 1131274680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210054 31918 13086 16 0 210038 0
vsize: 840216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 12204
Raw data (stat): 12137 (java) Z 12136 32284 32283 0 -1 1036 18077 12030 1 0 120728 73 3900 35 25 0 1 0 781084628 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): 1250.16
CPU time (s): 1247.38
CPU user time (s): 1246.29
CPU system time (s): 1.09183
CPU usage (%): 99.7778
Max. virtual memory (Kb): 840216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####