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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
MD5SUM	21cca5e58499fc8c195476eedca15203
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2760
Biggest coefficient in the objective function	114621939712000000000
Number of bits for the biggest coefficient in the objective function	67
Sum of the numbers in the objective function	6133849937192095318016
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	114621939712000000000
Number of bits of the biggest number in a constraint	67
Biggest sum of numbers in a constraint	6133849937192095318016
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.707892
Number of variables	77678
Total number of constraints	1016
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1016
Minimum length of a constraint	10
Maximum length of a constraint	2430
Trace number 29467

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        690688 kB
Buffers:         30948 kB
Cached:         286992 kB
SwapCached:        572 kB
Active:          46640 kB
Inactive:       276856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        690436 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14784 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:22:20 (client local time) WITH STATUS 143 IN 1322.8 SECONDS
stats: 20867 7 1322.8 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/wulflinc29/normalized-mps-v2-20-10-pilot.we.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1319.127
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.04 1.01 1.00 2/54 31476
Raw data (stat): 31476 (runsolver) R 31475 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837266944 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18013 0 1 0 879 40 0 0 25 0 10 0 837266944 854102016 19476 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 19476 13086 16 0 208505 0
vsize: 834084
[startup+20.0003 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 1770 41 0 0 24 0 10 0 837266944 854102016 20008 4294967295 134512640 134569956 3221224368 3221214452 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 20008 13086 16 0 208505 0
vsize: 834084
[startup+30.0013 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 2662 41 0 0 25 0 10 0 837266944 855810048 20929 4294967295 134512640 134569956 3221224368 3221214476 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208938 20929 13086 16 0 208922 0
vsize: 835752
[startup+40.0015 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 3571 42 0 0 24 0 10 0 837266944 854265856 20877 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208561 20877 13086 16 0 208545 0
vsize: 834244
[startup+50.0026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 4485 42 0 0 25 0 10 0 837266944 854102016 21008 4294967295 134512640 134569956 3221224368 3221214804 1131132458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 21008 13086 16 0 208505 0
vsize: 834084
[startup+60.0035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 31485
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 5392 42 0 0 25 0 10 0 837266944 854102016 21173 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 21173 13086 16 0 208505 0
vsize: 834084
[startup+70.0028 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 6302 42 0 0 25 0 10 0 837266944 854204416 21430 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 21430 13086 16 0 208530 0
vsize: 834184
[startup+80.0041 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 7227 43 0 0 24 0 10 0 837266944 854204416 21573 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 21573 13086 16 0 208530 0
vsize: 834184
[startup+90.0049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 8156 43 0 0 25 0 10 0 837266944 854204416 21705 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 21705 13086 16 0 208530 0
vsize: 834184
[startup+100.005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 9085 43 0 0 25 0 10 0 837266944 854204416 21822 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 21822 13086 16 0 208530 0
vsize: 834184
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 10015 43 0 0 25 0 10 0 837266944 854204416 21950 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 21950 13086 16 0 208530 0
vsize: 834184
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 10941 43 0 0 25 0 10 0 837266944 854204416 22065 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22065 13086 16 0 208530 0
vsize: 834184
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 11862 43 0 0 25 0 10 0 837266944 854204416 22187 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22187 13086 16 0 208530 0
vsize: 834184
[startup+140.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 12787 44 0 0 24 0 10 0 837266944 854204416 22354 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22354 13086 16 0 208530 0
vsize: 834184
[startup+150.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 13724 44 0 0 25 0 10 0 837266944 854204416 22441 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22441 13086 16 0 208530 0
vsize: 834184
[startup+160.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 14653 44 0 0 25 0 10 0 837266944 854204416 22525 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22525 13086 16 0 208530 0
vsize: 834184
[startup+170.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 15563 44 0 0 25 0 10 0 837266944 854204416 22626 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 22626 13086 16 0 208530 0
vsize: 834184
[startup+180.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 16440 45 0 0 25 0 10 0 837266944 854102016 22980 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 22980 13086 16 0 208505 0
vsize: 834084
[startup+190.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 17320 45 0 0 25 0 10 0 837266944 854102016 23132 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23132 13086 16 0 208505 0
vsize: 834084
[startup+200.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 18227 45 0 0 25 0 10 0 837266944 854102016 23571 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23571 13086 16 0 208505 0
vsize: 834084
[startup+210.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 19150 45 0 0 25 0 10 0 837266944 854102016 23681 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23681 13086 16 0 208505 0
vsize: 834084
[startup+220.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 20082 46 0 0 25 0 10 0 837266944 854102016 23790 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23790 13086 16 0 208505 0
vsize: 834084
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 21018 46 0 0 24 0 10 0 837266944 854102016 23878 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23878 13086 16 0 208505 0
vsize: 834084
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 21954 46 0 0 25 0 10 0 837266944 854102016 23923 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23923 13086 16 0 208505 0
vsize: 834084
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 22881 46 0 0 25 0 10 0 837266944 854102016 23962 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 23962 13086 16 0 208505 0
vsize: 834084
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 23812 46 0 0 25 0 10 0 837266944 854102016 24101 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24101 13086 16 0 208505 0
vsize: 834084
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 24746 46 0 0 25 0 10 0 837266944 854102016 24151 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24151 13086 16 0 208505 0
vsize: 834084
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 25672 46 0 0 25 0 10 0 837266944 854102016 24187 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24187 13086 16 0 208505 0
vsize: 834084
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 26598 46 0 0 25 0 10 0 837266944 854102016 24319 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24319 13086 16 0 208505 0
vsize: 834084
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 27536 46 0 0 25 0 10 0 837266944 854102016 24363 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24363 13086 16 0 208505 0
vsize: 834084
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31487
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 28466 46 0 0 24 0 10 0 837266944 854102016 24405 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24405 13086 16 0 208505 0
vsize: 834084
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 29390 46 0 0 24 0 10 0 837266944 854102016 24439 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24439 13086 16 0 208505 0
vsize: 834084
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 30318 46 0 0 25 0 10 0 837266944 854102016 24572 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24572 13086 16 0 208505 0
vsize: 834084
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 31254 47 0 0 25 0 10 0 837266944 854102016 24613 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24613 13086 16 0 208505 0
vsize: 834084
[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 32186 47 0 0 25 0 10 0 837266944 854102016 24650 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24650 13086 16 0 208505 0
vsize: 834084
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 33108 47 0 0 25 0 10 0 837266944 854102016 24681 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24681 13086 16 0 208505 0
vsize: 834084
[startup+370.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18014 0 1 0 34033 47 0 0 25 0 10 0 837266944 854102016 24813 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24813 13086 16 0 208505 0
vsize: 834084
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 34965 47 0 0 25 0 10 0 837266944 854102016 24852 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24852 13086 16 0 208505 0
vsize: 834084
[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 35897 47 0 0 25 0 10 0 837266944 854102016 24889 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24889 13086 16 0 208505 0
vsize: 834084
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 36818 47 0 0 25 0 10 0 837266944 854102016 24918 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 24918 13086 16 0 208505 0
vsize: 834084
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 37740 48 0 0 25 0 10 0 837266944 854102016 25047 4294967295 134512640 134569956 3221224368 3221214176 1076460986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25047 13086 16 0 208505 0
vsize: 834084
[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 38673 48 0 0 25 0 10 0 837266944 854102016 25083 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25083 13086 16 0 208505 0
vsize: 834084
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 39606 48 0 0 25 0 10 0 837266944 854102016 25119 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25119 13086 16 0 208505 0
vsize: 834084
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 40529 48 0 0 25 0 10 0 837266944 854102016 25149 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25149 13086 16 0 208505 0
vsize: 834084
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 41447 48 0 0 25 0 10 0 837266944 854102016 25177 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25177 13086 16 0 208505 0
vsize: 834084
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 42375 48 0 0 25 0 10 0 837266944 854102016 25306 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25306 13086 16 0 208505 0
vsize: 834084
[startup+470.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18014 0 1 0 43302 49 0 0 25 0 10 0 837266944 854102016 25341 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25341 13086 16 0 208505 0
vsize: 834084
[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 44232 49 0 0 24 0 10 0 837266944 854102016 25376 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25376 13086 16 0 208505 0
vsize: 834084
[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 45147 49 0 0 25 0 10 0 837266944 854102016 25401 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25401 13086 16 0 208505 0
vsize: 834084
[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 46036 49 0 0 25 0 10 0 837266944 854102016 25518 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25518 13086 16 0 208505 0
vsize: 834084
[startup+510.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 46916 50 0 0 25 0 10 0 837266944 854102016 25875 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 25875 13086 16 0 208505 0
vsize: 834084
[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 47800 50 0 0 25 0 10 0 837266944 854102016 25906 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 25906 13086 16 0 208505 0
vsize: 834084
[startup+530.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 48706 50 0 0 25 0 10 0 837266944 854102016 26231 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26231 13086 16 0 208505 0
vsize: 834084
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 49631 51 0 0 25 0 10 0 837266944 854102016 26294 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26294 13086 16 0 208505 0
vsize: 834084
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 50556 51 0 0 25 0 10 0 837266944 854102016 26331 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26331 13086 16 0 208505 0
vsize: 834084
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 51480 51 0 0 25 0 10 0 837266944 854102016 26368 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26368 13086 16 0 208505 0
vsize: 834084
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 52403 52 0 0 25 0 10 0 837266944 854102016 26415 4294967295 134512640 134569956 3221224368 3221214160 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26415 13086 16 0 208505 0
vsize: 834084
[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 53315 52 0 0 24 0 10 0 837266944 854102016 26451 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26451 13086 16 0 208505 0
vsize: 834084
[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 54229 53 0 0 25 0 10 0 837266944 854102016 26486 4294967295 134512640 134569956 3221224368 3221214728 1131157551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26486 13086 16 0 208505 0
vsize: 834084
[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 55149 54 0 0 25 0 10 0 837266944 854102016 26618 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26618 13086 16 0 208505 0
vsize: 834084
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 56072 54 0 0 25 0 10 0 837266944 854102016 26653 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26653 13086 16 0 208505 0
vsize: 834084
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 56993 55 0 0 25 0 10 0 837266944 854102016 26687 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26687 13086 16 0 208505 0
vsize: 834084
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 57916 55 0 0 25 0 10 0 837266944 854102016 26731 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 26731 13086 16 0 208505 0
vsize: 834084
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 58818 55 0 0 25 0 10 0 837266944 854102016 26764 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 26764 13086 16 0 208505 0
vsize: 834084
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 59711 56 0 0 25 0 10 0 837266944 854102016 27126 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27126 13086 16 0 208505 0
vsize: 834084
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 60608 56 0 0 25 0 10 0 837266944 854102016 27136 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27136 13086 16 0 208505 0
vsize: 834084
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18014 0 1 0 61525 56 0 0 25 0 10 0 837266944 854102016 27319 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27319 13086 16 0 208505 0
vsize: 834084
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 62448 56 0 0 25 0 10 0 837266944 854102016 27352 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27352 13086 16 0 208505 0
vsize: 834084
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 63366 56 0 0 25 0 10 0 837266944 854102016 27829 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27829 13086 16 0 208505 0
vsize: 834084
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 64286 57 0 0 25 0 10 0 837266944 854102016 27829 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 27829 13086 16 0 208505 0
vsize: 834084
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 65196 57 0 0 25 0 10 0 837266944 854102016 27845 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27845 13086 16 0 208505 0
vsize: 834084
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 66111 57 0 0 25 0 10 0 837266944 854102016 27885 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27885 13086 16 0 208505 0
vsize: 834084
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 67020 57 0 0 25 0 10 0 837266944 854102016 27924 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27924 13086 16 0 208505 0
vsize: 834084
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 67929 57 0 0 24 0 10 0 837266944 854102016 27946 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27946 13086 16 0 208505 0
vsize: 834084
[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 68843 57 0 0 25 0 10 0 837266944 854102016 27984 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 27984 13086 16 0 208505 0
vsize: 834084
[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 69752 57 0 0 25 0 10 0 837266944 854102016 28023 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28023 13086 16 0 208505 0
vsize: 834084
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 70662 58 0 0 25 0 10 0 837266944 854102016 28043 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28043 13086 16 0 208505 0
vsize: 834084
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 71543 58 0 0 25 0 10 0 837266944 854102016 28089 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28089 13086 16 0 208505 0
vsize: 834084
[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18014 0 1 0 72428 58 0 0 25 0 10 0 837266944 854102016 28288 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28288 13086 16 0 208505 0
vsize: 834084
[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18014 0 1 0 73304 58 0 0 25 0 10 0 837266944 854102016 28324 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28324 13086 16 0 208505 0
vsize: 834084
[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 74196 59 0 0 25 0 10 0 837266944 854102016 28515 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28515 13086 16 0 208505 0
vsize: 834084
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18014 0 1 0 75096 59 0 0 25 0 10 0 837266944 854102016 28579 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28579 13086 16 0 208505 0
vsize: 834084
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 75991 59 0 0 25 0 10 0 837266944 854102016 28651 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 28651 13086 16 0 208505 0
vsize: 834084
[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 76881 59 0 0 25 0 10 0 837266944 854102016 28737 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 28737 13086 16 0 208505 0
vsize: 834084
[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 77783 60 0 0 25 0 10 0 837266944 854102016 28811 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 28811 13086 16 0 208505 0
vsize: 834084
[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18015 0 1 0 78684 60 0 0 22 0 10 0 837266944 854102016 28867 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 28867 13086 16 0 208505 0
vsize: 834084
[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 79579 60 0 0 20 0 10 0 837266944 854102016 28922 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 28922 13086 16 0 208505 0
vsize: 834084
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 80480 60 0 0 21 0 10 0 837266944 854102016 28993 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 28993 13086 16 0 208505 0
vsize: 834084
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 81378 61 0 0 19 0 10 0 837266944 854102016 29044 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29044 13086 16 0 208505 0
vsize: 834084
[startup+900.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 82287 61 0 0 22 0 10 0 837266944 854102016 29095 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29095 13086 16 0 208505 0
vsize: 834084
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 83194 61 0 0 25 0 10 0 837266944 854102016 29120 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29120 13086 16 0 208505 0
vsize: 834084
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 84107 61 0 0 25 0 10 0 837266944 854102016 29142 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29142 13086 16 0 208505 0
vsize: 834084
[startup+930.076 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 85013 61 0 0 25 0 10 0 837266944 854102016 29166 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29166 13086 16 0 208505 0
vsize: 834084
[startup+940.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18015 0 1 0 85922 62 0 0 25 0 10 0 837266944 854102016 29189 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29189 13086 16 0 208505 0
vsize: 834084
[startup+950.077 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 86825 62 0 0 25 0 10 0 837266944 854102016 29210 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29210 13086 16 0 208505 0
vsize: 834084
[startup+960.078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 87723 62 0 0 25 0 10 0 837266944 854102016 29228 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29228 13086 16 0 208505 0
vsize: 834084
[startup+970.078 s]
Raw data (loadavg): 1.04 1.01 1.00 3/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 88620 63 0 0 24 0 10 0 837266944 854102016 29327 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 29327 13086 16 0 208505 0
vsize: 834084
[startup+980.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 89531 63 0 0 25 0 10 0 837266944 854102016 29349 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29349 13086 16 0 208505 0
vsize: 834084
[startup+990.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 90436 63 0 0 25 0 10 0 837266944 854102016 29372 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29372 13086 16 0 208505 0
vsize: 834084
[startup+1000.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 91346 64 0 0 25 0 10 0 837266944 854102016 29394 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29394 13086 16 0 208505 0
vsize: 834084
[startup+1010.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 92251 64 0 0 25 0 10 0 837266944 854102016 29417 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29417 13086 16 0 208505 0
vsize: 834084
[startup+1020.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 93156 65 0 0 25 0 10 0 837266944 854102016 29437 4294967295 134512640 134569956 3221224368 3221214208 1077558258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29437 13086 16 0 208505 0
vsize: 834084
[startup+1030.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 94052 65 0 0 25 0 10 0 837266944 854102016 29454 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29454 13086 16 0 208505 0
vsize: 834084
[startup+1040.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 94945 65 0 0 24 0 10 0 837266944 854102016 29552 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29552 13086 16 0 208505 0
vsize: 834084
[startup+1050.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 95854 66 0 0 21 0 10 0 837266944 854102016 29573 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29573 13086 16 0 208505 0
vsize: 834084
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 96755 67 0 0 19 0 10 0 837266944 854102016 29595 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29595 13086 16 0 208505 0
vsize: 834084
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 97663 67 0 0 22 0 10 0 837266944 854102016 29616 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29616 13086 16 0 208505 0
vsize: 834084
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 98570 67 0 0 24 0 10 0 837266944 854102016 29637 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29637 13086 16 0 208505 0
vsize: 834084
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 99471 67 0 0 20 0 10 0 837266944 854102016 29659 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29659 13086 16 0 208505 0
vsize: 834084
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 100368 68 0 0 21 0 10 0 837266944 854102016 29690 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29690 13086 16 0 208505 0
vsize: 834084
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 101267 69 0 0 19 0 10 0 837266944 854102016 29775 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29775 13086 16 0 208505 0
vsize: 834084
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 102175 69 0 0 21 0 10 0 837266944 854102016 29793 4294967295 134512640 134569956 3221224368 3221214224 1080019619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29793 13086 16 0 208505 0
vsize: 834084
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 103083 69 0 0 24 0 10 0 837266944 854102016 29814 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29814 13086 16 0 208505 0
vsize: 834084
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 103983 69 0 0 20 0 10 0 837266944 854102016 29836 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29836 13086 16 0 208505 0
vsize: 834084
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 104890 70 0 0 23 0 10 0 837266944 854102016 29856 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29856 13086 16 0 208505 0
vsize: 834084
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 105790 71 0 0 19 0 10 0 837266944 854102016 29877 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29877 13086 16 0 208505 0
vsize: 834084
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 106693 71 0 0 21 0 10 0 837266944 854102016 29896 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 29896 13086 16 0 208505 0
vsize: 834084
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18015 0 1 0 107599 72 0 0 25 0 10 0 837266944 854102016 30005 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30005 13086 16 0 208505 0
vsize: 834084
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 108500 72 0 0 20 0 10 0 837266944 854102016 30009 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30009 13086 16 0 208505 0
vsize: 834084
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 109405 73 0 0 24 0 10 0 837266944 854102016 30029 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30029 13086 16 0 208505 0
vsize: 834084
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 110304 73 0 0 19 0 10 0 837266944 854102016 30049 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30049 13086 16 0 208505 0
vsize: 834084
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 111209 73 0 0 22 0 10 0 837266944 854102016 30069 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30069 13086 16 0 208505 0
vsize: 834084
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 112107 74 0 0 19 0 10 0 837266944 854102016 30090 4294967295 134512640 134569956 3221224368 3221214112 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30090 13086 16 0 208505 0
vsize: 834084
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 113012 74 0 0 20 0 10 0 837266944 854102016 30109 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30109 13086 16 0 208505 0
vsize: 834084
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 113912 75 0 0 21 0 10 0 837266944 854102016 30127 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30127 13086 16 0 208505 0
vsize: 834084
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 114812 75 0 0 24 0 10 0 837266944 854102016 30234 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30234 13086 16 0 208505 0
vsize: 834084
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 115718 76 0 0 25 0 10 0 837266944 854102016 30239 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30239 13086 16 0 208505 0
vsize: 834084
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 116622 76 0 0 25 0 10 0 837266944 854102016 30258 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208521 30258 13086 16 0 208505 0
vsize: 834084
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 117519 76 0 0 25 0 10 0 837266944 854102016 30280 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30280 13086 16 0 208505 0
vsize: 834084
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 118423 76 0 0 25 0 10 0 837266944 854102016 30297 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30297 13086 16 0 208505 0
vsize: 834084
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) S 31475 20001 20000 0 -1 0 18015 0 1 0 119322 76 0 0 25 0 10 0 837266944 854102016 30318 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30318 13086 16 0 208505 0
vsize: 834084
[startup+1320.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31489
Raw data (stat): 31476 (java) R 31475 20001 20000 0 -1 0 18015 0 1 0 120222 77 0 0 25 0 10 0 837266944 854102016 30337 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208521 30337 13086 16 0 208505 0
vsize: 834084
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31491
Raw data (stat): 31476 (java) Z 31475 20001 20000 0 -1 1036 18015 13412 1 0 120223 77 11920 58 25 0 1 0 837266944 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1320.16
CPU time (s): 1322.8
CPU user time (s): 1321.44
CPU system time (s): 1.35679
CPU usage (%): 100.2
Max. virtual memory (Kb): 835752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####