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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
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	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 29836

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 11:57:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21228 boxname=wulflinc21 idbench=1216 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 21228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        205780 kB
Buffers:         34200 kB
Cached:         762896 kB
SwapCached:       1020 kB
Active:          71908 kB
Inactive:       727392 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        205528 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            23736 kB
Committed_AS:    63880 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:19:51 (client local time) WITH STATUS 143 IN 1309.75 SECONDS
stats: 21228 7 1309.75 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/wulflinc21/normalized-mps-v2-13-7-fit2d.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) : 1309.153
#### 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/55 12851
Raw data (stat): 12851 (runsolver) R 12850 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 715963002 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18011 0 1 0 870 36 0 0 25 0 10 0 715963002 853745664 19344 4294967295 134512640 134569956 3221224368 3221214652 1130917574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208434 19344 13086 16 0 208418 0
vsize: 833736
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 1766 36 0 0 21 0 10 0 715963002 854982656 20116 4294967295 134512640 134569956 3221224368 3221214464 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20116 13086 16 0 208720 0
vsize: 834944
[startup+30.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 2657 36 0 0 22 0 10 0 715963002 854982656 20623 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20623 13086 16 0 208720 0
vsize: 834944
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 3573 36 0 0 25 0 10 0 715963002 854061056 20722 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 20722 13086 16 0 208495 0
vsize: 834044
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 4492 37 0 0 25 0 10 0 715963002 854061056 20888 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 20888 13086 16 0 208495 0
vsize: 834044
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 3/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 5411 37 0 0 25 0 10 0 715963002 854061056 21017 4294967295 134512640 134569956 3221224368 3221213600 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21017 13086 16 0 208495 0
vsize: 834044
[startup+70.0023 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 6337 37 0 0 25 0 10 0 715963002 854061056 21266 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21266 13086 16 0 208495 0
vsize: 834044
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 7276 38 0 0 25 0 10 0 715963002 854061056 21367 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21367 13086 16 0 208495 0
vsize: 834044
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 8218 38 0 0 25 0 10 0 715963002 854061056 21460 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21460 13086 16 0 208495 0
vsize: 834044
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 9157 38 0 0 25 0 10 0 715963002 854061056 21548 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21548 13086 16 0 208495 0
vsize: 834044
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 10098 39 0 0 25 0 10 0 715963002 854061056 21632 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21632 13086 16 0 208495 0
vsize: 834044
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12860
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 11042 39 0 0 25 0 10 0 715963002 854061056 21705 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 21705 13086 16 0 208495 0
vsize: 834044
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 11982 40 0 0 25 0 10 0 715963002 854061056 21778 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21778 13086 16 0 208495 0
vsize: 834044
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 12923 40 0 0 25 0 10 0 715963002 854061056 21848 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21848 13086 16 0 208495 0
vsize: 834044
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 13867 40 0 0 25 0 10 0 715963002 854061056 21911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 21911 13086 16 0 208495 0
vsize: 834044
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 14809 41 0 0 25 0 10 0 715963002 854061056 21976 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 21976 13086 16 0 208495 0
vsize: 834044
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 15745 41 0 0 25 0 10 0 715963002 854061056 22038 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22038 13086 16 0 208495 0
vsize: 834044
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12913
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 16660 41 0 0 25 0 10 0 715963002 854061056 22094 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22094 13086 16 0 208495 0
vsize: 834044
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12915
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 17582 41 0 0 25 0 10 0 715963002 854061056 22406 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22406 13086 16 0 208495 0
vsize: 834044
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 18518 42 0 0 25 0 10 0 715963002 854061056 22462 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22462 13086 16 0 208495 0
vsize: 834044
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 19455 42 0 0 25 0 10 0 715963002 854061056 22517 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22517 13086 16 0 208495 0
vsize: 834044
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 20396 42 0 0 25 0 10 0 715963002 854061056 22567 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22567 13086 16 0 208495 0
vsize: 834044
[startup+230.006 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 21332 43 0 0 25 0 10 0 715963002 854061056 22619 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22619 13086 16 0 208495 0
vsize: 834044
[startup+240.006 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 22272 43 0 0 25 0 10 0 715963002 854061056 22668 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22668 13086 16 0 208495 0
vsize: 834044
[startup+250.007 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 23208 44 0 0 25 0 10 0 715963002 854061056 22717 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22717 13086 16 0 208495 0
vsize: 834044
[startup+260.013 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 24145 44 0 0 24 0 10 0 715963002 854061056 22766 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22766 13086 16 0 208495 0
vsize: 834044
[startup+270.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 25084 44 0 0 25 0 10 0 715963002 854061056 22810 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22810 13086 16 0 208495 0
vsize: 834044
[startup+280.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 26019 44 0 0 25 0 10 0 715963002 854061056 22857 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22857 13086 16 0 208495 0
vsize: 834044
[startup+290.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 26957 44 0 0 25 0 10 0 715963002 854061056 22900 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22900 13086 16 0 208495 0
vsize: 834044
[startup+300.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 27891 45 0 0 25 0 10 0 715963002 854061056 22944 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22944 13086 16 0 208495 0
vsize: 834044
[startup+310.014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 28827 45 0 0 25 0 10 0 715963002 854061056 22986 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 22986 13086 16 0 208495 0
vsize: 834044
[startup+320.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 29761 46 0 0 25 0 10 0 715963002 854061056 23029 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23029 13086 16 0 208495 0
vsize: 834044
[startup+330.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 30697 46 0 0 25 0 10 0 715963002 854061056 23069 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 23069 13086 16 0 208495 0
vsize: 834044
[startup+340.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 31629 46 0 0 25 0 10 0 715963002 854061056 23110 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23110 13086 16 0 208495 0
vsize: 834044
[startup+350.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 32565 46 0 0 25 0 10 0 715963002 854061056 23149 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23149 13086 16 0 208495 0
vsize: 834044
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 33496 47 0 0 25 0 10 0 715963002 854061056 23190 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23190 13086 16 0 208495 0
vsize: 834044
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 34430 47 0 0 25 0 10 0 715963002 854061056 23228 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23228 13086 16 0 208495 0
vsize: 834044
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 35360 47 0 0 24 0 10 0 715963002 854061056 23267 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23267 13086 16 0 208495 0
vsize: 834044
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 36294 47 0 0 25 0 10 0 715963002 854061056 23304 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23304 13086 16 0 208495 0
vsize: 834044
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 37227 48 0 0 25 0 10 0 715963002 854061056 23339 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23339 13086 16 0 208495 0
vsize: 834044
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 38155 48 0 0 25 0 10 0 715963002 854061056 23377 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23377 13086 16 0 208495 0
vsize: 834044
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 39088 48 0 0 25 0 10 0 715963002 854061056 23412 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23412 13086 16 0 208495 0
vsize: 834044
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 40018 49 0 0 25 0 10 0 715963002 854061056 23447 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23447 13086 16 0 208495 0
vsize: 834044
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 40946 49 0 0 25 0 10 0 715963002 854061056 23483 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23483 13086 16 0 208495 0
vsize: 834044
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 41878 49 0 0 25 0 10 0 715963002 854061056 23517 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23517 13086 16 0 208495 0
vsize: 834044
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12917
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 42806 49 0 0 25 0 10 0 715963002 854061056 23551 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23551 13086 16 0 208495 0
vsize: 834044
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 43734 50 0 0 25 0 10 0 715963002 854061056 23585 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23585 13086 16 0 208495 0
vsize: 834044
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 44666 50 0 0 25 0 10 0 715963002 854061056 23618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23618 13086 16 0 208495 0
vsize: 834044
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 45596 50 0 0 25 0 10 0 715963002 854061056 23650 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23650 13086 16 0 208495 0
vsize: 834044
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 46522 50 0 0 24 0 10 0 715963002 854061056 23685 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23685 13086 16 0 208495 0
vsize: 834044
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 47451 51 0 0 25 0 10 0 715963002 854061056 23717 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23717 13086 16 0 208495 0
vsize: 834044
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 48379 51 0 0 25 0 10 0 715963002 854061056 23748 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23748 13086 16 0 208495 0
vsize: 834044
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 49305 51 0 0 25 0 10 0 715963002 854061056 23779 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23779 13086 16 0 208495 0
vsize: 834044
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 50232 51 0 0 25 0 10 0 715963002 854061056 23811 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23811 13086 16 0 208495 0
vsize: 834044
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 51159 52 0 0 25 0 10 0 715963002 854061056 23842 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23842 13086 16 0 208495 0
vsize: 834044
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 52086 52 0 0 25 0 10 0 715963002 854061056 23872 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23872 13086 16 0 208495 0
vsize: 834044
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 53013 52 0 0 25 0 10 0 715963002 854061056 23902 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23902 13086 16 0 208495 0
vsize: 834044
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 53935 53 0 0 25 0 10 0 715963002 854061056 23933 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23933 13086 16 0 208495 0
vsize: 834044
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 54861 54 0 0 25 0 10 0 715963002 854061056 23962 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23962 13086 16 0 208495 0
vsize: 834044
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 55786 54 0 0 25 0 10 0 715963002 854061056 23991 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 23991 13086 16 0 208495 0
vsize: 834044
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 56711 54 0 0 25 0 10 0 715963002 854061056 24020 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 24020 13086 16 0 208495 0
vsize: 834044
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 57637 54 0 0 25 0 10 0 715963002 854061056 24049 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 24049 13086 16 0 208495 0
vsize: 834044
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 58560 55 0 0 25 0 10 0 715963002 854061056 24078 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 24078 13086 16 0 208495 0
vsize: 834044
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 59481 55 0 0 25 0 10 0 715963002 854061056 24107 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 24107 13086 16 0 208495 0
vsize: 834044
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 60405 56 0 0 25 0 10 0 715963002 854061056 24135 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208511 24135 13086 16 0 208495 0
vsize: 834044
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 61330 56 0 0 25 0 10 0 715963002 854061056 24162 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 24162 13086 16 0 208495 0
vsize: 834044
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 62249 56 0 0 20 0 10 0 715963002 854061056 25076 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25076 13086 16 0 208495 0
vsize: 834044
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 63170 56 0 0 22 0 10 0 715963002 854061056 25076 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25076 13086 16 0 208495 0
vsize: 834044
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 64086 56 0 0 25 0 10 0 715963002 854061056 25096 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25096 13086 16 0 208495 0
vsize: 834044
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 65000 56 0 0 25 0 10 0 715963002 854061056 25123 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25123 13086 16 0 208495 0
vsize: 834044
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 65914 56 0 0 25 0 10 0 715963002 854061056 25149 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25149 13086 16 0 208495 0
vsize: 834044
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 66827 57 0 0 25 0 10 0 715963002 854061056 25176 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25176 13086 16 0 208495 0
vsize: 834044
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 67741 57 0 0 24 0 10 0 715963002 854061056 25202 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25202 13086 16 0 208495 0
vsize: 834044
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 68654 57 0 0 24 0 10 0 715963002 854061056 25228 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25228 13086 16 0 208495 0
vsize: 834044
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 69571 57 0 0 25 0 10 0 715963002 854061056 25253 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25253 13086 16 0 208495 0
vsize: 834044
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 70485 57 0 0 25 0 10 0 715963002 854061056 25278 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25278 13086 16 0 208495 0
vsize: 834044
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 71398 57 0 0 25 0 10 0 715963002 854061056 25303 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25303 13086 16 0 208495 0
vsize: 834044
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 72309 58 0 0 23 0 10 0 715963002 854061056 25329 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25329 13086 16 0 208495 0
vsize: 834044
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 73221 58 0 0 25 0 10 0 715963002 854061056 25354 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25354 13086 16 0 208495 0
vsize: 834044
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 74132 58 0 0 25 0 10 0 715963002 854061056 25379 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25379 13086 16 0 208495 0
vsize: 834044
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 75043 58 0 0 25 0 10 0 715963002 854061056 25404 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25404 13086 16 0 208495 0
vsize: 834044
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 75954 58 0 0 25 0 10 0 715963002 854061056 25429 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25429 13086 16 0 208495 0
vsize: 834044
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 76865 58 0 0 25 0 10 0 715963002 854061056 25452 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25452 13086 16 0 208495 0
vsize: 834044
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 77780 58 0 0 25 0 10 0 715963002 854061056 25476 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25476 13086 16 0 208495 0
vsize: 834044
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 78690 58 0 0 25 0 10 0 715963002 854061056 25501 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25501 13086 16 0 208495 0
vsize: 834044
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 79600 58 0 0 25 0 10 0 715963002 854061056 25525 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25525 13086 16 0 208495 0
vsize: 834044
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 80509 58 0 0 25 0 10 0 715963002 854061056 25550 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25550 13086 16 0 208495 0
vsize: 834044
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 81418 59 0 0 19 0 10 0 715963002 854061056 25574 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25574 13086 16 0 208495 0
vsize: 834044
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 82332 59 0 0 24 0 10 0 715963002 854061056 25596 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25596 13086 16 0 208495 0
vsize: 834044
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 83240 59 0 0 25 0 10 0 715963002 854061056 25619 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25619 13086 16 0 208495 0
vsize: 834044
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 84148 59 0 0 25 0 10 0 715963002 854061056 25643 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25643 13086 16 0 208495 0
vsize: 834044
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 85055 59 0 0 25 0 10 0 715963002 854061056 25666 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25666 13086 16 0 208495 0
vsize: 834044
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 85968 59 0 0 24 0 10 0 715963002 854061056 25688 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25688 13086 16 0 208495 0
vsize: 834044
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 86874 59 0 0 21 0 10 0 715963002 854061056 25711 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25711 13086 16 0 208495 0
vsize: 834044
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 87781 59 0 0 20 0 10 0 715963002 854061056 25735 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25735 13086 16 0 208495 0
vsize: 834044
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 88685 59 0 0 19 0 10 0 715963002 854061056 25763 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25763 13086 16 0 208495 0
vsize: 834044
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 89596 60 0 0 23 0 10 0 715963002 854061056 25786 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25786 13086 16 0 208495 0
vsize: 834044
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 90502 60 0 0 21 0 10 0 715963002 854061056 25813 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25813 13086 16 0 208495 0
vsize: 834044
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 91407 60 0 0 20 0 10 0 715963002 854061056 25837 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25837 13086 16 0 208495 0
vsize: 834044
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 92317 60 0 0 24 0 10 0 715963002 854061056 25864 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25864 13086 16 0 208495 0
vsize: 834044
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 93223 60 0 0 22 0 10 0 715963002 854061056 25889 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25889 13086 16 0 208495 0
vsize: 834044
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 94128 60 0 0 20 0 10 0 715963002 854061056 25911 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25911 13086 16 0 208495 0
vsize: 834044
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 95032 60 0 0 19 0 10 0 715963002 854061056 25942 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25942 13086 16 0 208495 0
vsize: 834044
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 95942 61 0 0 23 0 10 0 715963002 854061056 25964 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25964 13086 16 0 208495 0
vsize: 834044
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 96846 61 0 0 21 0 10 0 715963002 854061056 25992 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 25992 13086 16 0 208495 0
vsize: 834044
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 97750 61 0 0 19 0 10 0 715963002 854061056 26016 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26016 13086 16 0 208495 0
vsize: 834044
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 98658 61 0 0 24 0 10 0 715963002 854061056 26041 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26041 13086 16 0 208495 0
vsize: 834044
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 99559 61 0 0 21 0 10 0 715963002 854061056 26066 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26066 13086 16 0 208495 0
vsize: 834044
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 100462 61 0 0 20 0 10 0 715963002 854061056 26087 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26087 13086 16 0 208495 0
vsize: 834044
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 101369 61 0 0 24 0 10 0 715963002 854061056 26115 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26115 13086 16 0 208495 0
vsize: 834044
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 102273 62 0 0 22 0 10 0 715963002 854061056 26140 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26140 13086 16 0 208495 0
vsize: 834044
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 103175 62 0 0 20 0 10 0 715963002 854061056 26164 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26164 13086 16 0 208495 0
vsize: 834044
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 104080 62 0 0 23 0 10 0 715963002 854061056 26189 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26189 13086 16 0 208495 0
vsize: 834044
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 104984 62 0 0 22 0 10 0 715963002 854061056 26212 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26212 13086 16 0 208495 0
vsize: 834044
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 105886 62 0 0 20 0 10 0 715963002 854061056 26233 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26233 13086 16 0 208495 0
vsize: 834044
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) S 12850 32363 32362 0 -1 0 18012 0 1 0 106791 62 0 0 23 0 10 0 715963002 854061056 26259 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26259 13086 16 0 208495 0
vsize: 834044
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 107694 62 0 0 22 0 10 0 715963002 854061056 26279 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26279 13086 16 0 208495 0
vsize: 834044
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 108594 62 0 0 19 0 10 0 715963002 854061056 26305 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26305 13086 16 0 208495 0
vsize: 834044
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 109500 62 0 0 23 0 10 0 715963002 854061056 26329 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26329 13086 16 0 208495 0
vsize: 834044
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 110397 62 0 0 20 0 10 0 715963002 854061056 26355 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26355 13086 16 0 208495 0
vsize: 834044
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 111293 62 0 0 18 0 10 0 715963002 854061056 26378 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26378 13086 16 0 208495 0
vsize: 834044
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 112198 62 0 0 22 0 10 0 715963002 854061056 26398 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26398 13086 16 0 208495 0
vsize: 834044
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 113097 62 0 0 20 0 10 0 715963002 854061056 26421 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26421 13086 16 0 208495 0
vsize: 834044
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 114002 62 0 0 22 0 10 0 715963002 854061056 26440 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26440 13086 16 0 208495 0
vsize: 834044
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 114900 62 0 0 19 0 10 0 715963002 854061056 26460 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26460 13086 16 0 208495 0
vsize: 834044
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 115805 62 0 0 23 0 10 0 715963002 854061056 26492 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26492 13086 16 0 208495 0
vsize: 834044
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 116704 63 0 0 20 0 10 0 715963002 854061056 26510 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26510 13086 16 0 208495 0
vsize: 834044
[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 117602 63 0 0 19 0 10 0 715963002 854061056 26547 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26547 13086 16 0 208495 0
vsize: 834044
[startup+1290.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 118509 63 0 0 22 0 10 0 715963002 854061056 26558 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26558 13086 16 0 208495 0
vsize: 834044
[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 119409 63 0 0 20 0 10 0 715963002 854061056 26586 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26586 13086 16 0 208495 0
vsize: 834044
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12919
Raw data (stat): 12851 (java) R 12850 32363 32362 0 -1 0 18012 0 1 0 120318 63 0 0 24 0 10 0 715963002 854061056 26615 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208511 26615 13086 16 0 208495 0
vsize: 834044
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12921
Raw data (stat): 12851 (java) Z 12850 32363 32362 0 -1 1036 18012 8212 1 0 120320 63 10546 44 19 0 1 0 715963002 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): 1310.2
CPU time (s): 1309.75
CPU user time (s): 1308.67
CPU system time (s): 1.07983
CPU usage (%): 99.9658
Max. virtual memory (Kb): 834944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####