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/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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.119981
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 29899

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 12:34:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21293 boxname=wulflinc23 idbench=1281 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 21293
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        638824 kB
Buffers:         33960 kB
Cached:         339876 kB
SwapCached:        640 kB
Active:          87996 kB
Inactive:       288352 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        638572 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13772 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:55:47 (client local time) WITH STATUS 143 IN 1284.99 SECONDS
stats: 21293 7 1284.99 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/wulflinc23/normalized-mps-v2-13-7-air04.opb
c reading problem ... done. Time 34.052 ms.
c #vars     8904
c #constraints  1646
c starts	: 5
c conflicts	: 1087
c decisions	: 63815
c propagations	: 779514
c inspects	: 508344
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 1085
c root simplifications	: 91
s UNKNOWN
c Total CPU time (ms) : 1259.046
#### 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.93 0.98 0.99 2/54 16279
Raw data (stat): 16279 (runsolver) R 16278 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838920515 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 16288
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18024 0 1 0 878 39 0 0 25 0 10 0 838920515 854065152 19349 4294967295 134512640 134569956 3221224368 3221214648 1131182875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208512 19349 13086 16 0 208496 0
vsize: 834048
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 16288
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18025 0 1 0 1775 39 0 0 25 0 10 0 838920515 854372352 19939 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208587 19939 13086 16 0 208571 0
vsize: 834348
[startup+30.0021 s]
Raw data (loadavg): 1.11 1.02 1.01 4/63 16288
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18039 0 1 0 2623 39 0 0 20 0 10 0 838920515 857763840 21151 4294967295 134512640 134569956 3221224368 3221214424 1130921113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209415 21151 13086 16 0 209399 0
vsize: 837660
[startup+40.0019 s]
Raw data (loadavg): 1.32 1.06 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18120 0 1 0 3353 42 0 0 25 0 11 0 838920515 868974592 26663 4294967295 134512640 134569956 3221224368 3221214752 1131436998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212152 26663 13086 16 0 212136 0
vsize: 848608
[startup+50.0021 s]
Raw data (loadavg): 1.35 1.08 1.02 3/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18120 0 1 0 4212 42 0 0 25 0 11 0 838920515 871325696 29013 4294967295 134512640 134569956 3221224368 3221214708 1131208108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212726 29013 13086 16 0 212710 0
vsize: 850904
[startup+60.0017 s]
Raw data (loadavg): 1.37 1.09 1.03 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18122 0 1 0 5172 42 0 0 25 0 11 0 838920515 875347968 30043 4294967295 134512640 134569956 3221224368 3221214744 1131243737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 30043 13086 16 0 213692 0
vsize: 854832
[startup+70.0017 s]
Raw data (loadavg): 1.31 1.09 1.03 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18122 0 1 0 6120 42 0 0 25 0 11 0 838920515 875347968 30043 4294967295 134512640 134569956 3221224368 3221214768 1131208190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 30043 13086 16 0 213692 0
vsize: 854832
[startup+80.002 s]
Raw data (loadavg): 1.26 1.08 1.03 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18122 0 1 0 7058 42 0 0 25 0 11 0 838920515 875347968 30182 4294967295 134512640 134569956 3221224368 3221214792 1131424232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 30182 13086 16 0 213692 0
vsize: 854832
[startup+90.002 s]
Raw data (loadavg): 1.22 1.08 1.03 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 7995 42 0 0 25 0 11 0 838920515 875347968 30332 4294967295 134512640 134569956 3221224368 3221214544 1131416231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 30332 13086 16 0 213692 0
vsize: 854832
[startup+100.003 s]
Raw data (loadavg): 1.19 1.08 1.03 3/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 8920 42 0 0 25 0 11 0 838920515 875347968 30574 4294967295 134512640 134569956 3221224368 3221214464 1131352492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 30574 13086 16 0 213692 0
vsize: 854832
[startup+110.003 s]
Raw data (loadavg): 1.16 1.08 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 9859 43 0 0 25 0 11 0 838920515 875347968 30631 4294967295 134512640 134569956 3221224368 3221214648 1131574675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 30631 13086 16 0 213692 0
vsize: 854832
[startup+120.003 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 10790 43 0 0 25 0 11 0 838920515 875347968 30694 4294967295 134512640 134569956 3221224368 3221214648 1131574868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 30694 13086 16 0 213692 0
vsize: 854832
[startup+130.003 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 11730 43 0 0 25 0 11 0 838920515 875347968 30953 4294967295 134512640 134569956 3221224368 3221214656 1131552935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 30953 13086 16 0 213692 0
vsize: 854832
[startup+140.002 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 12682 44 0 0 25 0 11 0 838920515 875347968 31158 4294967295 134512640 134569956 3221224368 3221214648 1131442819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31158 13086 16 0 213692 0
vsize: 854832
[startup+150.003 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 13634 44 0 0 25 0 11 0 838920515 875347968 31351 4294967295 134512640 134569956 3221224368 3221214808 1131518793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31351 13086 16 0 213692 0
vsize: 854832
[startup+160.003 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 14577 45 0 0 25 0 11 0 838920515 875347968 31504 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31504 13086 16 0 213692 0
vsize: 854832
[startup+170.003 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 15515 45 0 0 25 0 11 0 838920515 875347968 31534 4294967295 134512640 134569956 3221224368 3221214648 1131442781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31534 13086 16 0 213692 0
vsize: 854832
[startup+180.002 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 16458 45 0 0 25 0 11 0 838920515 875347968 31534 4294967295 134512640 134569956 3221224368 3221214760 1131437568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31534 13086 16 0 213692 0
vsize: 854832
[startup+190.004 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 17397 46 0 0 25 0 11 0 838920515 875347968 31682 4294967295 134512640 134569956 3221224368 3221214648 1131575008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31682 13086 16 0 213692 0
vsize: 854832
[startup+200.004 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 18328 46 0 0 25 0 11 0 838920515 875347968 31855 4294967295 134512640 134569956 3221224368 3221214544 1131416948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 31855 13086 16 0 213692 0
vsize: 854832
[startup+210.004 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 19261 47 0 0 25 0 11 0 838920515 875347968 32062 4294967295 134512640 134569956 3221224368 3221214688 1131352059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 32062 13086 16 0 213692 0
vsize: 854832
[startup+220.004 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 20204 47 0 0 25 0 11 0 838920515 875347968 32183 4294967295 134512640 134569956 3221224368 3221214688 1131416021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 32183 13086 16 0 213692 0
vsize: 854832
[startup+230.004 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 21132 47 0 0 25 0 11 0 838920515 875347968 32331 4294967295 134512640 134569956 3221224368 3221214544 1131416049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 32331 13086 16 0 213692 0
vsize: 854832
[startup+240.003 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 22086 48 0 0 25 0 11 0 838920515 875347968 32460 4294967295 134512640 134569956 3221224368 3221214648 1131575245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 32460 13086 16 0 213692 0
vsize: 854832
[startup+250.004 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 23024 48 0 0 25 0 11 0 838920515 875347968 32489 4294967295 134512640 134569956 3221224368 3221214648 1131574868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 32489 13086 16 0 213692 0
vsize: 854832
[startup+260.005 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 23968 49 0 0 25 0 11 0 838920515 875347968 32688 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 32688 13086 16 0 213692 0
vsize: 854832
[startup+270.005 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 24907 49 0 0 24 0 11 0 838920515 875347968 32934 4294967295 134512640 134569956 3221224368 3221214768 1131208228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 32934 13086 16 0 213692 0
vsize: 854832
[startup+280.005 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 25866 49 0 0 25 0 11 0 838920515 875347968 33102 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 33102 13086 16 0 213692 0
vsize: 854832
[startup+290.006 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 26822 49 0 0 25 0 11 0 838920515 875347968 33189 4294967295 134512640 134569956 3221224368 3221214644 1131352744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 33189 13086 16 0 213692 0
vsize: 854832
[startup+300.006 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 27783 50 0 0 25 0 11 0 838920515 875347968 33189 4294967295 134512640 134569956 3221224368 3221214672 1131306611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 33189 13086 16 0 213692 0
vsize: 854832
[startup+310.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 28728 51 0 0 25 0 11 0 838920515 875347968 33255 4294967295 134512640 134569956 3221224368 3221214688 1131352059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33255 13086 16 0 213692 0
vsize: 854832
[startup+320.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 29682 51 0 0 25 0 11 0 838920515 875347968 33317 4294967295 134512640 134569956 3221224368 3221214644 1131440800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33317 13086 16 0 213692 0
vsize: 854832
[startup+330.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 30631 51 0 0 25 0 11 0 838920515 875347968 33420 4294967295 134512640 134569956 3221224368 3221214760 1131440813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33420 13086 16 0 213692 0
vsize: 854832
[startup+340.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 31574 51 0 0 25 0 11 0 838920515 875347968 33612 4294967295 134512640 134569956 3221224368 3221214648 1131574740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33612 13086 16 0 213692 0
vsize: 854832
[startup+350.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 32516 51 0 0 25 0 11 0 838920515 875347968 33661 4294967295 134512640 134569956 3221224368 3221214400 1078830586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33661 13086 16 0 213692 0
vsize: 854832
[startup+360.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 33467 51 0 0 25 0 11 0 838920515 875347968 33758 4294967295 134512640 134569956 3221224368 3221214768 1131208174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33758 13086 16 0 213692 0
vsize: 854832
[startup+370.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 34403 51 0 0 24 0 11 0 838920515 875347968 33916 4294967295 134512640 134569956 3221224368 3221214544 1131416049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 33916 13086 16 0 213692 0
vsize: 854832
[startup+380.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 35334 52 0 0 25 0 11 0 838920515 875347968 34167 4294967295 134512640 134569956 3221224368 3221214648 1131447653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34167 13086 16 0 213692 0
vsize: 854832
[startup+390.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 36284 52 0 0 25 0 11 0 838920515 875347968 34266 4294967295 134512640 134569956 3221224368 3221214840 1131485990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34266 13086 16 0 213692 0
vsize: 854832
[startup+400.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 37210 52 0 0 25 0 11 0 838920515 875347968 34416 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34416 13086 16 0 213692 0
vsize: 854832
[startup+410.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 38149 52 0 0 25 0 11 0 838920515 875347968 34521 4294967295 134512640 134569956 3221224368 3221214776 1131441285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34521 13086 16 0 213692 0
vsize: 854832
[startup+420.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 39080 53 0 0 23 0 11 0 838920515 875347968 34587 4294967295 134512640 134569956 3221224368 3221214544 1131416282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34587 13086 16 0 213692 0
vsize: 854832
[startup+430.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 39997 53 0 0 25 0 11 0 838920515 875347968 34665 4294967295 134512640 134569956 3221224368 3221214648 1131447728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34665 13086 16 0 213692 0
vsize: 854832
[startup+440.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 40909 53 0 0 25 0 11 0 838920515 875347968 34864 4294967295 134512640 134569956 3221224368 3221214544 1131415799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 34864 13086 16 0 213692 0
vsize: 854832
[startup+450.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 41827 53 0 0 24 0 11 0 838920515 875347968 35058 4294967295 134512640 134569956 3221224368 3221214648 1131442987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35058 13086 16 0 213692 0
vsize: 854832
[startup+460.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 42761 53 0 0 25 0 11 0 838920515 875347968 35266 4294967295 134512640 134569956 3221224368 3221214768 1131208360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35266 13086 16 0 213692 0
vsize: 854832
[startup+470.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 43713 53 0 0 25 0 11 0 838920515 875347968 35392 4294967295 134512640 134569956 3221224368 3221214792 1131424175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35392 13086 16 0 213692 0
vsize: 854832
[startup+480.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 44655 53 0 0 25 0 11 0 838920515 875347968 35506 4294967295 134512640 134569956 3221224368 3221214544 1131416960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35506 13086 16 0 213692 0
vsize: 854832
[startup+490.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 45594 53 0 0 25 0 11 0 838920515 875347968 35664 4294967295 134512640 134569956 3221224368 3221214648 1131443052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35664 13086 16 0 213692 0
vsize: 854832
[startup+500.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 46534 53 0 0 25 0 11 0 838920515 875347968 35745 4294967295 134512640 134569956 3221224368 3221214688 1131351773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35745 13086 16 0 213692 0
vsize: 854832
[startup+510.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 47471 54 0 0 25 0 11 0 838920515 875347968 35838 4294967295 134512640 134569956 3221224368 3221214560 1131403663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35838 13086 16 0 213692 0
vsize: 854832
[startup+520.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 48418 54 0 0 25 0 11 0 838920515 875347968 35930 4294967295 134512640 134569956 3221224368 3221214688 1131352023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 35930 13086 16 0 213692 0
vsize: 854832
[startup+530.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 49349 54 0 0 25 0 11 0 838920515 875347968 36131 4294967295 134512640 134569956 3221224368 3221214544 1131415670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 36131 13086 16 0 213692 0
vsize: 854832
[startup+540.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 50297 54 0 0 25 0 11 0 838920515 875347968 36273 4294967295 134512640 134569956 3221224368 3221214544 1131352023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 36273 13086 16 0 213692 0
vsize: 854832
[startup+550.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 51256 54 0 0 25 0 11 0 838920515 875347968 36333 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 36333 13086 16 0 213692 0
vsize: 854832
[startup+560.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 52211 54 0 0 25 0 11 0 838920515 875347968 36467 4294967295 134512640 134569956 3221224368 3221214544 1131351943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36467 13086 16 0 213692 0
vsize: 854832
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 53168 55 0 0 25 0 11 0 838920515 875347968 36613 4294967295 134512640 134569956 3221224368 3221214656 1131243737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 36613 13086 16 0 213692 0
vsize: 854832
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 54137 55 0 0 25 0 11 0 838920515 875347968 36656 4294967295 134512640 134569956 3221224368 3221214644 1131441700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36656 13086 16 0 213692 0
vsize: 854832
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 55102 55 0 0 25 0 11 0 838920515 875347968 36746 4294967295 134512640 134569956 3221224368 3221214768 1131208243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36746 13086 16 0 213692 0
vsize: 854832
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 56065 55 0 0 25 0 11 0 838920515 875347968 36813 4294967295 134512640 134569956 3221224368 3221214768 1131208225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 36813 13086 16 0 213692 0
vsize: 854832
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 57026 56 0 0 25 0 11 0 838920515 875347968 36859 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36859 13086 16 0 213692 0
vsize: 854832
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 57990 56 0 0 25 0 11 0 838920515 875347968 36919 4294967295 134512640 134569956 3221224368 3221214788 1131441664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36919 13086 16 0 213692 0
vsize: 854832
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 58942 56 0 0 25 0 11 0 838920515 875347968 36950 4294967295 134512640 134569956 3221224368 3221214688 1131351696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 36950 13086 16 0 213692 0
vsize: 854832
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 59883 57 0 0 25 0 11 0 838920515 875347968 37038 4294967295 134512640 134569956 3221224368 3221214656 1131553057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 37038 13086 16 0 213692 0
vsize: 854832
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 60826 57 0 0 25 0 11 0 838920515 875347968 37144 4294967295 134512640 134569956 3221224368 3221214560 1131402688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37144 13086 16 0 213692 0
vsize: 854832
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 61781 57 0 0 25 0 11 0 838920515 875347968 37194 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37194 13086 16 0 213692 0
vsize: 854832
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 62734 57 0 0 25 0 11 0 838920515 875347968 37266 4294967295 134512640 134569956 3221224368 3221214648 1131574868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 37266 13086 16 0 213692 0
vsize: 854832
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 63696 57 0 0 25 0 11 0 838920515 875347968 37444 4294967295 134512640 134569956 3221224368 3221214536 1131306003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37444 13086 16 0 213692 0
vsize: 854832
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 64671 57 0 0 25 0 11 0 838920515 875347968 37624 4294967295 134512640 134569956 3221224368 3221214560 1131405253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37624 13086 16 0 213692 0
vsize: 854832
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 65661 58 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214544 1131351809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 66658 58 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214552 1131352023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 67655 58 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214552 1131351943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 68652 59 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131574834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 69650 59 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131574740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 70648 59 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131574868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 71645 59 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214536 1131305985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 72643 59 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214544 1131352059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 73640 60 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214552 1131351909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 74637 60 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131575215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 75635 61 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131575116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 76632 61 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131575510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 77630 61 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214560 1131402782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 78625 62 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214544 1131351891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 79620 62 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214648 1131574740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 80607 63 0 0 25 0 11 0 838920515 875347968 37756 4294967295 134512640 134569956 3221224368 3221214560 1131402400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37756 13086 16 0 213692 0
vsize: 854832
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 81589 63 0 0 25 0 11 0 838920515 875347968 37761 4294967295 134512640 134569956 3221224368 3221214544 1131415589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37761 13086 16 0 213692 0
vsize: 854832
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 82565 64 0 0 25 0 11 0 838920515 875347968 37761 4294967295 134512640 134569956 3221224368 3221214544 1131351804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37761 13086 16 0 213692 0
vsize: 854832
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 83538 64 0 0 25 0 11 0 838920515 875347968 37784 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37784 13086 16 0 213692 0
vsize: 854832
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 84499 65 0 0 25 0 11 0 838920515 875347968 37788 4294967295 134512640 134569956 3221224368 3221214648 1131575496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37788 13086 16 0 213692 0
vsize: 854832
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 85467 65 0 0 25 0 11 0 838920515 875347968 37843 4294967295 134512640 134569956 3221224368 3221214648 1131575536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37843 13086 16 0 213692 0
vsize: 854832
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 86435 66 0 0 25 0 11 0 838920515 875347968 37899 4294967295 134512640 134569956 3221224368 3221214656 1131553093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37899 13086 16 0 213692 0
vsize: 854832
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 87403 66 0 0 25 0 11 0 838920515 875347968 37926 4294967295 134512640 134569956 3221224368 3221214744 1131243760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37926 13086 16 0 213692 0
vsize: 854832
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 88371 66 0 0 25 0 11 0 838920515 875347968 37999 4294967295 134512640 134569956 3221224368 3221214648 1131574868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 37999 13086 16 0 213692 0
vsize: 854832
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 89338 67 0 0 25 0 11 0 838920515 875347968 38102 4294967295 134512640 134569956 3221224368 3221214648 1131574740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38102 13086 16 0 213692 0
vsize: 854832
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 90309 67 0 0 25 0 11 0 838920515 875347968 38102 4294967295 134512640 134569956 3221224368 3221214648 1131575539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38102 13086 16 0 213692 0
vsize: 854832
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 91281 67 0 0 25 0 11 0 838920515 875347968 38102 4294967295 134512640 134569956 3221224368 3221214648 1131574964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38102 13086 16 0 213692 0
vsize: 854832
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 92254 68 0 0 25 0 11 0 838920515 875347968 38191 4294967295 134512640 134569956 3221224368 3221214648 1131575116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38191 13086 16 0 213692 0
vsize: 854832
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 93238 68 0 0 25 0 11 0 838920515 875347968 38245 4294967295 134512640 134569956 3221224368 3221214760 1131437507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38245 13086 16 0 213692 0
vsize: 854832
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 94210 68 0 0 25 0 11 0 838920515 875347968 38296 4294967295 134512640 134569956 3221224368 3221214560 1131403653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38296 13086 16 0 213692 0
vsize: 854832
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 95190 68 0 0 25 0 11 0 838920515 875347968 38296 4294967295 134512640 134569956 3221224368 3221214648 1131575640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38296 13086 16 0 213692 0
vsize: 854832
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 96160 69 0 0 25 0 11 0 838920515 875347968 38296 4294967295 134512640 134569956 3221224368 3221214776 1131436489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38296 13086 16 0 213692 0
vsize: 854832
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 97126 69 0 0 25 0 11 0 838920515 875347968 38296 4294967295 134512640 134569956 3221224368 3221214648 1131575496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38296 13086 16 0 213692 0
vsize: 854832
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 98091 70 0 0 25 0 11 0 838920515 875347968 38333 4294967295 134512640 134569956 3221224368 3221214788 1131437484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38333 13086 16 0 213692 0
vsize: 854832
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 99050 70 0 0 24 0 11 0 838920515 875347968 38445 4294967295 134512640 134569956 3221224368 3221214544 1131352059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38445 13086 16 0 213692 0
vsize: 854832
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) S 16278 5562 5561 0 -1 0 18123 0 1 0 100017 70 0 0 25 0 11 0 838920515 875347968 38447 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38447 13086 16 0 213692 0
vsize: 854832
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 100982 70 0 0 25 0 11 0 838920515 875347968 38447 4294967295 134512640 134569956 3221224368 3221214740 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38447 13086 16 0 213692 0
vsize: 854832
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 101935 71 0 0 25 0 11 0 838920515 875347968 38579 4294967295 134512640 134569956 3221224368 3221214544 1131416049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38579 13086 16 0 213692 0
vsize: 854832
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 102889 71 0 0 25 0 11 0 838920515 875347968 38765 4294967295 134512640 134569956 3221224368 3221214544 1131416138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38765 13086 16 0 213692 0
vsize: 854832
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 103833 71 0 0 25 0 11 0 838920515 875347968 38765 4294967295 134512640 134569956 3221224368 3221214792 1131424214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38765 13086 16 0 213692 0
vsize: 854832
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 104789 72 0 0 25 0 11 0 838920515 875347968 38765 4294967295 134512640 134569956 3221224368 3221214648 1131575116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38765 13086 16 0 213692 0
vsize: 854832
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 105740 72 0 0 25 0 11 0 838920515 875347968 38911 4294967295 134512640 134569956 3221224368 3221214740 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 38911 13086 16 0 213692 0
vsize: 854832
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 106696 72 0 0 25 0 11 0 838920515 875347968 39004 4294967295 134512640 134569956 3221224368 3221214792 1131424576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39004 13086 16 0 213692 0
vsize: 854832
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 107646 73 0 0 25 0 11 0 838920515 875347968 39089 4294967295 134512640 134569956 3221224368 3221214788 1131208105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39089 13086 16 0 213692 0
vsize: 854832
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 108599 73 0 0 25 0 11 0 838920515 875347968 39138 4294967295 134512640 134569956 3221224368 3221214544 1131416179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39138 13086 16 0 213692 0
vsize: 854832
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 109543 73 0 0 25 0 11 0 838920515 875347968 39227 4294967295 134512640 134569956 3221224368 3221214648 1131442987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39227 13086 16 0 213692 0
vsize: 854832
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 110470 73 0 0 25 0 11 0 838920515 875347968 39358 4294967295 134512640 134569956 3221224368 3221214544 1131416631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39358 13086 16 0 213692 0
vsize: 854832
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 111412 74 0 0 25 0 11 0 838920515 875347968 39465 4294967295 134512640 134569956 3221224368 3221214760 1131437558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39465 13086 16 0 213692 0
vsize: 854832
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 112378 74 0 0 25 0 11 0 838920515 875347968 39586 4294967295 134512640 134569956 3221224368 3221214688 1131352023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39586 13086 16 0 213692 0
vsize: 854832
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 113335 74 0 0 25 0 11 0 838920515 875347968 39621 4294967295 134512640 134569956 3221224368 3221214552 1131428146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39621 13086 16 0 213692 0
vsize: 854832
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 114278 75 0 0 25 0 11 0 838920515 875347968 39675 4294967295 134512640 134569956 3221224368 3221214688 1131352023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39675 13086 16 0 213692 0
vsize: 854832
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 115226 75 0 0 25 0 11 0 838920515 875347968 39677 4294967295 134512640 134569956 3221224368 3221214648 1131447728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39677 13086 16 0 213692 0
vsize: 854832
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 116158 75 0 0 25 0 11 0 838920515 875347968 39712 4294967295 134512640 134569956 3221224368 3221214768 1131208127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39712 13086 16 0 213692 0
vsize: 854832
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 117088 75 0 0 25 0 11 0 838920515 875347968 39826 4294967295 134512640 134569956 3221224368 3221214648 1131443839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 39826 13086 16 0 213692 0
vsize: 854832
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 118021 76 0 0 25 0 11 0 838920515 875347968 40024 4294967295 134512640 134569956 3221224368 3221214560 1131402688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 40024 13086 16 0 213692 0
vsize: 854832
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 118974 76 0 0 25 0 11 0 838920515 875347968 40175 4294967295 134512640 134569956 3221224368 3221214656 1131552935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213708 40175 13086 16 0 213692 0
vsize: 854832
[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16289
Raw data (stat): 16279 (java) R 16278 5562 5561 0 -1 0 18123 0 1 0 119926 76 0 0 25 0 11 0 838920515 875347968 40282 4294967295 134512640 134569956 3221224368 3221214544 1131351909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213708 40282 13086 16 0 213692 0
vsize: 854832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16291
Raw data (stat): 16279 (java) Z 16278 5562 5561 0 -1 1036 18123 38185 1 0 119929 83 8386 98 25 0 1 0 838920515 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.15
CPU time (s): 1284.99
CPU user time (s): 1283.16
CPU system time (s): 1.82872
CPU usage (%): 101.972
Max. virtual memory (Kb): 854832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####