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/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.120981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 30011

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 13:47:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21410 boxname=wulflinc7 idbench=1398 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 21410
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        628576 kB
Buffers:         31580 kB
Cached:         354380 kB
SwapCached:        756 kB
Active:          65592 kB
Inactive:       322512 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        628324 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12372 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:08:04 (client local time) WITH STATUS 143 IN 1256.27 SECONDS
stats: 21410 7 1256.27 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/wulflinc7/normalized-mps-v2-13-7-air04.opb
c reading problem ... done. Time 32.552 ms.
c #vars     8904
c #constraints  1646
c starts	: 5
c conflicts	: 1091
c decisions	: 63980
c propagations	: 780478
c inspects	: 511337
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 1089
c root simplifications	: 91
s UNKNOWN
c Total CPU time (ms) : 1259.114
#### 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.97 1.00 1.00 2/54 10320
Raw data (stat): 10320 (runsolver) R 10319 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781138934 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+9.99987 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 10329
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18016 0 1 0 877 40 0 0 25 0 10 0 781138934 853725184 19343 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208429 19343 13086 16 0 208413 0
vsize: 833716
[startup+20.0025 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 10329
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18017 0 1 0 1776 40 0 0 25 0 10 0 781138934 854708224 20072 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208669 20072 13086 16 0 208653 0
vsize: 834676
[startup+30.0031 s]
Raw data (loadavg): 0.98 1.00 1.00 4/63 10329
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18031 0 1 0 2640 41 0 0 25 0 10 0 781138934 859508736 21647 4294967295 134512640 134569956 3221224368 3221214576 1130883290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209841 21647 13086 16 0 209825 0
vsize: 839364
[startup+40.0027 s]
Raw data (loadavg): 1.22 1.05 1.01 3/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18086 0 1 0 3282 42 0 0 25 0 11 0 781138934 872873984 27634 4294967295 134512640 134569956 3221224368 3221214764 1130902053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213104 27634 13086 16 0 213088 0
vsize: 852416
[startup+50.0033 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18087 0 1 0 4232 43 0 0 19 0 11 0 781138934 868519936 28401 4294967295 134512640 134569956 3221224368 3221214568 1131383111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212041 28401 13086 16 0 212025 0
vsize: 848164
[startup+60.0029 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18087 0 1 0 5192 43 0 0 25 0 11 0 781138934 865243136 27614 4294967295 134512640 134569956 3221224368 3221214656 1131273957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 27614 13086 16 0 211225 0
vsize: 844964
[startup+70.0025 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18087 0 1 0 6137 43 0 0 25 0 11 0 781138934 865243136 27615 4294967295 134512640 134569956 3221224368 3221214720 1131383175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 27615 13086 16 0 211225 0
vsize: 844964
[startup+80.0073 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18087 0 1 0 7072 43 0 0 25 0 11 0 781138934 865243136 27754 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 27754 13086 16 0 211225 0
vsize: 844964
[startup+90.0068 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18087 0 1 0 7988 43 0 0 25 0 11 0 781138934 865243136 28032 4294967295 134512640 134569956 3221224368 3221214752 1131438633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 28032 13086 16 0 211225 0
vsize: 844964
[startup+100.007 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 8925 43 0 0 25 0 11 0 781138934 865243136 28228 4294967295 134512640 134569956 3221224368 3221214616 1131383141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 28228 13086 16 0 211225 0
vsize: 844964
[startup+110.008 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 9858 44 0 0 25 0 11 0 781138934 865243136 28228 4294967295 134512640 134569956 3221224368 3221214568 1131274141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 28228 13086 16 0 211225 0
vsize: 844964
[startup+120.008 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 10791 44 0 0 25 0 11 0 781138934 865243136 28434 4294967295 134512640 134569956 3221224368 3221214648 1131476184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 28434 13086 16 0 211225 0
vsize: 844964
[startup+130.008 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 11740 44 0 0 25 0 11 0 781138934 865243136 28581 4294967295 134512640 134569956 3221224368 3221214568 1131273698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 28581 13086 16 0 211225 0
vsize: 844964
[startup+140.008 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 12693 45 0 0 25 0 11 0 781138934 865243136 28896 4294967295 134512640 134569956 3221224368 3221214752 1131438617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 28896 13086 16 0 211225 0
vsize: 844964
[startup+150.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 13645 45 0 0 25 0 11 0 781138934 865243136 29102 4294967295 134512640 134569956 3221224368 3221214648 1131377738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29102 13086 16 0 211225 0
vsize: 844964
[startup+160.008 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 14584 45 0 0 25 0 11 0 781138934 865243136 29102 4294967295 134512640 134569956 3221224368 3221214772 1131305644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29102 13086 16 0 211225 0
vsize: 844964
[startup+170.008 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 15520 46 0 0 25 0 11 0 781138934 865243136 29132 4294967295 134512640 134569956 3221224368 3221214720 1131383146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29132 13086 16 0 211225 0
vsize: 844964
[startup+180.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 16461 46 0 0 25 0 11 0 781138934 865243136 29214 4294967295 134512640 134569956 3221224368 3221214648 1131476205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29214 13086 16 0 211225 0
vsize: 844964
[startup+190.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 17392 46 0 0 25 0 11 0 781138934 865243136 29328 4294967295 134512640 134569956 3221224368 3221214656 1131273453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29328 13086 16 0 211225 0
vsize: 844964
[startup+200.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 18326 47 0 0 25 0 11 0 781138934 865243136 29611 4294967295 134512640 134569956 3221224368 3221214672 1131378055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29611 13086 16 0 211225 0
vsize: 844964
[startup+210.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 19271 47 0 0 25 0 11 0 781138934 865243136 29733 4294967295 134512640 134569956 3221224368 3221214536 1131385249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29733 13086 16 0 211225 0
vsize: 844964
[startup+220.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 20200 48 0 0 25 0 11 0 781138934 865243136 29896 4294967295 134512640 134569956 3221224368 3221214648 1131476188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 29896 13086 16 0 211225 0
vsize: 844964
[startup+230.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 21143 48 0 0 25 0 11 0 781138934 865243136 30040 4294967295 134512640 134569956 3221224368 3221214552 1131274676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30040 13086 16 0 211225 0
vsize: 844964
[startup+240.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 22091 48 0 0 25 0 11 0 781138934 865243136 30087 4294967295 134512640 134569956 3221224368 3221214552 1131273788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30087 13086 16 0 211225 0
vsize: 844964
[startup+250.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 23041 48 0 0 25 0 11 0 781138934 865243136 30207 4294967295 134512640 134569956 3221224368 3221214536 1131385172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30207 13086 16 0 211225 0
vsize: 844964
[startup+260.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 23980 48 0 0 25 0 11 0 781138934 865243136 30389 4294967295 134512640 134569956 3221224368 3221214672 1131378664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30389 13086 16 0 211225 0
vsize: 844964
[startup+270.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18088 0 1 0 24931 49 0 0 25 0 11 0 781138934 865243136 30648 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30648 13086 16 0 211225 0
vsize: 844964
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 25887 50 0 0 25 0 11 0 781138934 865243136 30787 4294967295 134512640 134569956 3221224368 3221214560 1131329784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30787 13086 16 0 211225 0
vsize: 844964
[startup+290.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 26842 50 0 0 24 0 11 0 781138934 865243136 30787 4294967295 134512640 134569956 3221224368 3221214280 1131305664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30787 13086 16 0 211225 0
vsize: 844964
[startup+300.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 27798 50 0 0 25 0 11 0 781138934 865243136 30787 4294967295 134512640 134569956 3221224368 3221214724 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30787 13086 16 0 211225 0
vsize: 844964
[startup+310.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 28752 50 0 0 25 0 11 0 781138934 865243136 30904 4294967295 134512640 134569956 3221224368 3221214648 1131475962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 30904 13086 16 0 211225 0
vsize: 844964
[startup+320.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 29694 51 0 0 25 0 11 0 781138934 865243136 31001 4294967295 134512640 134569956 3221224368 3221214552 1131273788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31001 13086 16 0 211225 0
vsize: 844964
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 30638 51 0 0 25 0 11 0 781138934 865243136 31167 4294967295 134512640 134569956 3221224368 3221214552 1131274617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31167 13086 16 0 211225 0
vsize: 844964
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 31582 51 0 0 25 0 11 0 781138934 865243136 31259 4294967295 134512640 134569956 3221224368 3221214776 1131558053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31259 13086 16 0 211225 0
vsize: 844964
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 32532 52 0 0 25 0 11 0 781138934 865243136 31356 4294967295 134512640 134569956 3221224368 3221214648 1131476320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31356 13086 16 0 211225 0
vsize: 844964
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 33477 52 0 0 25 0 11 0 781138934 865243136 31514 4294967295 134512640 134569956 3221224368 3221214728 1131305664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31514 13086 16 0 211225 0
vsize: 844964
[startup+370.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 34408 53 0 0 25 0 11 0 781138934 865243136 31702 4294967295 134512640 134569956 3221224368 3221214672 1131378006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31702 13086 16 0 211225 0
vsize: 844964
[startup+380.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 35352 53 0 0 25 0 11 0 781138934 865243136 31864 4294967295 134512640 134569956 3221224368 3221214752 1131402903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 31864 13086 16 0 211225 0
vsize: 844964
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 36287 54 0 0 25 0 11 0 781138934 865243136 32014 4294967295 134512640 134569956 3221224368 3221213992 1131305785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32014 13086 16 0 211225 0
vsize: 844964
[startup+400.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 37219 54 0 0 25 0 11 0 781138934 865243136 32100 4294967295 134512640 134569956 3221224368 3221214776 1131559068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32100 13086 16 0 211225 0
vsize: 844964
[startup+410.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 38155 54 0 0 25 0 11 0 781138934 865243136 32179 4294967295 134512640 134569956 3221224368 3221214656 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32179 13086 16 0 211225 0
vsize: 844964
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 39073 55 0 0 25 0 11 0 781138934 865243136 32261 4294967295 134512640 134569956 3221224368 3221214752 1131402773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32261 13086 16 0 211225 0
vsize: 844964
[startup+430.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 39998 55 0 0 25 0 11 0 781138934 865243136 32418 4294967295 134512640 134569956 3221224368 3221214672 1131377697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32418 13086 16 0 211225 0
vsize: 844964
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 40915 56 0 0 25 0 11 0 781138934 865243136 32595 4294967295 134512640 134569956 3221224368 3221214584 1131260294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32595 13086 16 0 211225 0
vsize: 844964
[startup+450.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 41839 56 0 0 25 0 11 0 781138934 865243136 32843 4294967295 134512640 134569956 3221224368 3221214672 1131378233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32843 13086 16 0 211225 0
vsize: 844964
[startup+460.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 42791 56 0 0 25 0 11 0 781138934 865243136 32968 4294967295 134512640 134569956 3221224368 3221214672 1131378163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 32968 13086 16 0 211225 0
vsize: 844964
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18088 0 1 0 43729 57 0 0 25 0 11 0 781138934 865243136 33081 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33081 13086 16 0 211225 0
vsize: 844964
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18088 0 1 0 44674 57 0 0 25 0 11 0 781138934 865243136 33235 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33235 13086 16 0 211225 0
vsize: 844964
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 45606 57 0 0 25 0 11 0 781138934 865243136 33343 4294967295 134512640 134569956 3221224368 3221214656 1131274127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33343 13086 16 0 211225 0
vsize: 844964
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 46554 58 0 0 25 0 11 0 781138934 865243136 33428 4294967295 134512640 134569956 3221224368 3221214552 1131273788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33428 13086 16 0 211225 0
vsize: 844964
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 47492 58 0 0 25 0 11 0 781138934 865243136 33528 4294967295 134512640 134569956 3221224368 3221214672 1131378364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33528 13086 16 0 211225 0
vsize: 844964
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 48424 58 0 0 25 0 11 0 781138934 865243136 33729 4294967295 134512640 134569956 3221224368 3221214668 1131260256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33729 13086 16 0 211225 0
vsize: 844964
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 49380 59 0 0 25 0 11 0 781138934 865243136 33864 4294967295 134512640 134569956 3221224368 3221214552 1131273790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33864 13086 16 0 211225 0
vsize: 844964
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 50332 59 0 0 25 0 11 0 781138934 865243136 33930 4294967295 134512640 134569956 3221224368 3221214656 1131273781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 33930 13086 16 0 211225 0
vsize: 844964
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 51288 60 0 0 25 0 11 0 781138934 865243136 34065 4294967295 134512640 134569956 3221224368 3221214552 1131273799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34065 13086 16 0 211225 0
vsize: 844964
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 52245 60 0 0 25 0 11 0 781138934 865243136 34211 4294967295 134512640 134569956 3221224368 3221214616 1131383232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34211 13086 16 0 211225 0
vsize: 844964
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 53216 61 0 0 25 0 11 0 781138934 865243136 34254 4294967295 134512640 134569956 3221224368 3221214648 1131476659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34254 13086 16 0 211225 0
vsize: 844964
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 54181 61 0 0 25 0 11 0 781138934 865243136 34344 4294967295 134512640 134569956 3221224368 3221214656 1131274195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34344 13086 16 0 211225 0
vsize: 844964
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 55145 62 0 0 25 0 11 0 781138934 865243136 34411 4294967295 134512640 134569956 3221224368 3221214720 1131383229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 34411 13086 16 0 211225 0
vsize: 844964
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 56103 62 0 0 25 0 11 0 781138934 865243136 34457 4294967295 134512640 134569956 3221224368 3221214752 1131402242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34457 13086 16 0 211225 0
vsize: 844964
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 57063 62 0 0 25 0 11 0 781138934 865243136 34517 4294967295 134512640 134569956 3221224368 3221214776 1131558039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34517 13086 16 0 211225 0
vsize: 844964
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 58014 63 0 0 25 0 11 0 781138934 865243136 34548 4294967295 134512640 134569956 3221224368 3221214552 1131274646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34548 13086 16 0 211225 0
vsize: 844964
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 58957 63 0 0 25 0 11 0 781138934 865243136 34664 4294967295 134512640 134569956 3221224368 3221214752 1131402903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34664 13086 16 0 211225 0
vsize: 844964
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 59900 64 0 0 25 0 11 0 781138934 865243136 34743 4294967295 134512640 134569956 3221224368 3221213964 1076874388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34743 13086 16 0 211225 0
vsize: 844964
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 60851 64 0 0 25 0 11 0 781138934 865243136 34826 4294967295 134512640 134569956 3221224368 3221214368 1080216945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34826 13086 16 0 211225 0
vsize: 844964
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18088 0 1 0 61808 64 0 0 25 0 11 0 781138934 865243136 34873 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 34873 13086 16 0 211225 0
vsize: 844964
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 62777 64 0 0 25 0 11 0 781138934 865243136 35069 4294967295 134512640 134569956 3221224368 3221214660 1131438572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35069 13086 16 0 211225 0
vsize: 844964
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 63756 65 0 0 25 0 11 0 781138934 865243136 35225 4294967295 134512640 134569956 3221224368 3221214552 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35225 13086 16 0 211225 0
vsize: 844964
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 64748 65 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214648 1131475923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 65746 65 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214648 1131476476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 66743 66 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214648 1131476242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 67740 66 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214644 1131342180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 68738 66 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214568 1131274617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 69735 67 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214556 1131411756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 70732 67 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214552 1131274195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 71729 68 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214560 1131329534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 72726 68 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214624 1131246315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10330
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 73724 69 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214560 1131331563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+790.024 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 74713 75 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214648 1131476110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+800.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 75710 76 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214648 1131476314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+810.025 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 76706 76 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214624 1131246297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+820.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 77701 76 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214560 1131329784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+830.026 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 78695 77 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214656 1131273920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+840.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 79678 77 0 0 25 0 11 0 781138934 865243136 35354 4294967295 134512640 134569956 3221224368 3221214644 1131246267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35354 13086 16 0 211225 0
vsize: 844964
[startup+850.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10383
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 80653 77 0 0 25 0 11 0 781138934 865243136 35359 4294967295 134512640 134569956 3221224368 3221214616 1131383141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35359 13086 16 0 211225 0
vsize: 844964
[startup+860.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 81629 77 0 0 25 0 11 0 781138934 865243136 35377 4294967295 134512640 134569956 3221224368 3221214728 1131305664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35377 13086 16 0 211225 0
vsize: 844964
[startup+870.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 82597 78 0 0 25 0 11 0 781138934 865243136 35386 4294967295 134512640 134569956 3221224368 3221214752 1131403125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35386 13086 16 0 211225 0
vsize: 844964
[startup+880.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 83557 78 0 0 25 0 11 0 781138934 865243136 35421 4294967295 134512640 134569956 3221224368 3221214560 1131329784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35421 13086 16 0 211225 0
vsize: 844964
[startup+890.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 84526 78 0 0 25 0 11 0 781138934 865243136 35441 4294967295 134512640 134569956 3221224368 3221214648 1131476292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35441 13086 16 0 211225 0
vsize: 844964
[startup+900.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 85497 79 0 0 25 0 11 0 781138934 865243136 35524 4294967295 134512640 134569956 3221224368 3221214672 1131378103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35524 13086 16 0 211225 0
vsize: 844964
[startup+910.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 86465 79 0 0 25 0 11 0 781138934 865243136 35524 4294967295 134512640 134569956 3221224368 3221214664 1131596067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35524 13086 16 0 211225 0
vsize: 844964
[startup+920.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 87426 80 0 0 24 0 11 0 781138934 865243136 35678 4294967295 134512640 134569956 3221224368 3221214552 1131274002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35678 13086 16 0 211225 0
vsize: 844964
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 88402 80 0 0 25 0 11 0 781138934 865243136 35700 4294967295 134512640 134569956 3221224368 3221214648 1131476188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35700 13086 16 0 211225 0
vsize: 844964
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 89374 81 0 0 25 0 11 0 781138934 865243136 35700 4294967295 134512640 134569956 3221224368 3221214664 1131596153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35700 13086 16 0 211225 0
vsize: 844964
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 90346 81 0 0 25 0 11 0 781138934 865243136 35700 4294967295 134512640 134569956 3221224368 3221214616 1131383141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35700 13086 16 0 211225 0
vsize: 844964
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 91327 81 0 0 25 0 11 0 781138934 865243136 35843 4294967295 134512640 134569956 3221224368 3221214648 1131476476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35843 13086 16 0 211225 0
vsize: 844964
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 92301 82 0 0 25 0 11 0 781138934 865243136 35893 4294967295 134512640 134569956 3221224368 3221214672 1131378141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 35893 13086 16 0 211225 0
vsize: 844964
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 93277 82 0 0 25 0 11 0 781138934 865243136 35894 4294967295 134512640 134569956 3221224368 3221214648 1131475962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35894 13086 16 0 211225 0
vsize: 844964
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 94253 82 0 0 25 0 11 0 781138934 865243136 35894 4294967295 134512640 134569956 3221224368 3221214672 1131378288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35894 13086 16 0 211225 0
vsize: 844964
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 95221 82 0 0 25 0 11 0 781138934 865243136 35894 4294967295 134512640 134569956 3221224368 3221214560 1131329564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35894 13086 16 0 211225 0
vsize: 844964
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 96183 82 0 0 25 0 11 0 781138934 865243136 35931 4294967295 134512640 134569956 3221224368 3221214648 1131476490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 35931 13086 16 0 211225 0
vsize: 844964
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 97141 82 0 0 25 0 11 0 781138934 865243136 36022 4294967295 134512640 134569956 3221224368 3221214752 1131402282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36022 13086 16 0 211225 0
vsize: 844964
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 98104 82 0 0 25 0 11 0 781138934 865243136 36045 4294967295 134512640 134569956 3221224368 3221214648 1131476117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36045 13086 16 0 211225 0
vsize: 844964
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 99074 82 0 0 25 0 11 0 781138934 865243136 36045 4294967295 134512640 134569956 3221224368 3221214728 1131305701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36045 13086 16 0 211225 0
vsize: 844964
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 100027 82 0 0 25 0 11 0 781138934 865243136 36177 4294967295 134512640 134569956 3221224368 3221214728 1131305664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36177 13086 16 0 211225 0
vsize: 844964
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 100975 82 0 0 25 0 11 0 781138934 865243136 36363 4294967295 134512640 134569956 3221224368 3221214776 1131558213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36363 13086 16 0 211225 0
vsize: 844964
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 101919 82 0 0 25 0 11 0 781138934 865243136 36363 4294967295 134512640 134569956 3221224368 3221214656 1131273788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36363 13086 16 0 211225 0
vsize: 844964
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 102876 82 0 0 25 0 11 0 781138934 865243136 36363 4294967295 134512640 134569956 3221224368 3221214648 1131475948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36363 13086 16 0 211225 0
vsize: 844964
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 103819 82 0 0 24 0 11 0 781138934 865243136 36525 4294967295 134512640 134569956 3221224368 3221214656 1131273788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36525 13086 16 0 211225 0
vsize: 844964
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 104776 82 0 0 25 0 11 0 781138934 865243136 36602 4294967295 134512640 134569956 3221224368 3221214672 1131377701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36602 13086 16 0 211225 0
vsize: 844964
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 105726 83 0 0 25 0 11 0 781138934 865243136 36688 4294967295 134512640 134569956 3221224368 3221214672 1131377905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36688 13086 16 0 211225 0
vsize: 844964
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 106671 83 0 0 25 0 11 0 781138934 865243136 36777 4294967295 134512640 134569956 3221224368 3221214776 1131558494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36777 13086 16 0 211225 0
vsize: 844964
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 107615 83 0 0 25 0 11 0 781138934 865243136 36853 4294967295 134512640 134569956 3221224368 3221214728 1131305681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36853 13086 16 0 211225 0
vsize: 844964
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10385
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 108545 83 0 0 25 0 11 0 781138934 865243136 36974 4294967295 134512640 134569956 3221224368 3221214672 1131377880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 36974 13086 16 0 211225 0
vsize: 844964
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 109493 83 0 0 25 0 11 0 781138934 865243136 37108 4294967295 134512640 134569956 3221224368 3221214624 1131387910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37108 13086 16 0 211225 0
vsize: 844964
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 110450 83 0 0 25 0 11 0 781138934 865243136 37185 4294967295 134512640 134569956 3221224368 3221214748 1131383084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37185 13086 16 0 211225 0
vsize: 844964
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 111404 83 0 0 24 0 11 0 781138934 865243136 37269 4294967295 134512640 134569956 3221224368 3221214672 1131378141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37269 13086 16 0 211225 0
vsize: 844964
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 112357 83 0 0 25 0 11 0 781138934 865243136 37273 4294967295 134512640 134569956 3221224368 3221214720 1131383174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37273 13086 16 0 211225 0
vsize: 844964
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 113293 83 0 0 25 0 11 0 781138934 865243136 37277 4294967295 134512640 134569956 3221224368 3221214728 1131305664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37277 13086 16 0 211225 0
vsize: 844964
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 114212 83 0 0 24 0 11 0 781138934 865243136 37357 4294967295 134512640 134569956 3221224368 3221214724 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37357 13086 16 0 211225 0
vsize: 844964
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) S 10319 24300 24299 0 -1 0 18088 0 1 0 115149 83 0 0 25 0 11 0 781138934 865243136 37480 4294967295 134512640 134569956 3221224368 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37480 13086 16 0 211225 0
vsize: 844964
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 116092 83 0 0 25 0 11 0 781138934 865243136 37681 4294967295 134512640 134569956 3221224368 3221214552 1131273788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37681 13086 16 0 211225 0
vsize: 844964
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 117041 83 0 0 25 0 11 0 781138934 865243136 37819 4294967295 134512640 134569956 3221224368 3221214672 1131378141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37819 13086 16 0 211225 0
vsize: 844964
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 117996 83 0 0 25 0 11 0 781138934 865243136 37959 4294967295 134512640 134569956 3221224368 3221214776 1131558460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 37959 13086 16 0 211225 0
vsize: 844964
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 118958 83 0 0 25 0 11 0 781138934 865243136 38051 4294967295 134512640 134569956 3221224368 3221214648 1131476487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 38051 13086 16 0 211225 0
vsize: 844964
[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10387
Raw data (stat): 10320 (java) R 10319 24300 24299 0 -1 0 18088 0 1 0 119926 83 0 0 25 0 11 0 781138934 865243136 38150 4294967295 134512640 134569956 3221224368 3221214560 1131332526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211241 38150 13086 16 0 211225 0
vsize: 844964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10389
Raw data (stat): 10320 (java) Z 10319 24300 24299 0 -1 1036 18088 16943 1 0 119927 83 5573 41 25 0 1 0 781138934 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): 1260.12
CPU time (s): 1256.27
CPU user time (s): 1255.01
CPU system time (s): 1.25681
CPU usage (%): 99.6939
Max. virtual memory (Kb): 852416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####