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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUM	b0cb3e99053428809f85a5c10e91266f
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	38688
Biggest coefficient in the objective function	348966092800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	299074813804544
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	348966092800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	299074813804544
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.959853
Number of variables	107808
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	1440
Trace number 29760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 11:15:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21159 boxname=wulflinc25 idbench=1147 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b0cb3e99053428809f85a5c10e91266f  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-B2C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-B2C1S1.opb
IDLAUNCH: 21159
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        372832 kB
Buffers:         31904 kB
Cached:         605552 kB
SwapCached:        588 kB
Active:         105360 kB
Inactive:       534336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        372580 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16496 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:37:30 (client local time) WITH STATUS 143 IN 1314.51 SECONDS
stats: 21159 7 1314.51 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/wulflinc25/normalized-mps-v2-20-10-B2C1S1.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.16
#### 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.99 1.00 1.00 2/54 13130
Raw data (stat): 13130 (runsolver) R 13129 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838458026 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.0008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18011 0 1 0 886 39 0 0 25 0 10 0 838458026 853721088 19333 4294967295 134512640 134569956 3221224368 3221214688 1131192385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208428 19333 13086 16 0 208412 0
vsize: 833712
[startup+20.0012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 1783 39 0 0 25 0 10 0 838458026 855773184 20319 4294967295 134512640 134569956 3221224368 3221214460 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208929 20319 13086 16 0 208913 0
vsize: 835716
[startup+30.0019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 2673 39 0 0 25 0 10 0 838458026 855642112 20790 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208897 20790 13086 16 0 208881 0
vsize: 835588
[startup+40.0024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 3588 39 0 0 25 0 10 0 838458026 854228992 20788 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 20788 13086 16 0 208536 0
vsize: 834208
[startup+50.003 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 4510 40 0 0 25 0 10 0 838458026 854228992 20955 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 20955 13086 16 0 208536 0
vsize: 834208
[startup+60.0038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 5426 40 0 0 24 0 10 0 838458026 854228992 21090 4294967295 134512640 134569956 3221224368 3221214768 1131249666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21090 13086 16 0 208536 0
vsize: 834208
[startup+70.0035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 6358 40 0 0 25 0 10 0 838458026 854228992 21332 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21332 13086 16 0 208536 0
vsize: 834208
[startup+80.0049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 7297 40 0 0 25 0 10 0 838458026 854228992 21437 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21437 13086 16 0 208536 0
vsize: 834208
[startup+90.0045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 8240 40 0 0 25 0 10 0 838458026 854228992 21527 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21527 13086 16 0 208536 0
vsize: 834208
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 9181 40 0 0 25 0 10 0 838458026 854228992 21615 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21615 13086 16 0 208536 0
vsize: 834208
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 10123 40 0 0 24 0 10 0 838458026 854228992 21699 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 21699 13086 16 0 208536 0
vsize: 834208
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 11068 41 0 0 25 0 10 0 838458026 854228992 21772 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 21772 13086 16 0 208536 0
vsize: 834208
[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 12008 41 0 0 25 0 10 0 838458026 854228992 21846 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 21846 13086 16 0 208536 0
vsize: 834208
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 12950 41 0 0 25 0 10 0 838458026 854228992 21917 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 21917 13086 16 0 208536 0
vsize: 834208
[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 13894 42 0 0 25 0 10 0 838458026 854228992 21980 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 21980 13086 16 0 208536 0
vsize: 834208
[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 14834 42 0 0 25 0 10 0 838458026 854228992 22045 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22045 13086 16 0 208536 0
vsize: 834208
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 15770 42 0 0 21 0 10 0 838458026 854228992 22107 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22107 13086 16 0 208536 0
vsize: 834208
[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 16686 43 0 0 25 0 10 0 838458026 854228992 22164 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22164 13086 16 0 208536 0
vsize: 834208
[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 17608 43 0 0 25 0 10 0 838458026 854228992 22475 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22475 13086 16 0 208536 0
vsize: 834208
[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 18546 43 0 0 25 0 10 0 838458026 854228992 22532 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22532 13086 16 0 208536 0
vsize: 834208
[startup+210.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 19484 43 0 0 25 0 10 0 838458026 854228992 22587 4294967295 134512640 134569956 3221224368 3221214312 1079668466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22587 13086 16 0 208536 0
vsize: 834208
[startup+220.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 20424 44 0 0 25 0 10 0 838458026 854228992 22637 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22637 13086 16 0 208536 0
vsize: 834208
[startup+230.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 21362 44 0 0 25 0 10 0 838458026 854228992 22690 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22690 13086 16 0 208536 0
vsize: 834208
[startup+240.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18012 0 1 0 22300 44 0 0 25 0 10 0 838458026 854228992 22739 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22739 13086 16 0 208536 0
vsize: 834208
[startup+250.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 23238 45 0 0 25 0 10 0 838458026 854228992 22788 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22788 13086 16 0 208536 0
vsize: 834208
[startup+260.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 24174 45 0 0 25 0 10 0 838458026 854228992 22837 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22837 13086 16 0 208536 0
vsize: 834208
[startup+270.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 25112 45 0 0 25 0 10 0 838458026 854228992 22882 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22882 13086 16 0 208536 0
vsize: 834208
[startup+280.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 26046 47 0 0 25 0 10 0 838458026 854228992 22928 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22928 13086 16 0 208536 0
vsize: 834208
[startup+290.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 26984 47 0 0 25 0 10 0 838458026 854228992 22971 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 22971 13086 16 0 208536 0
vsize: 834208
[startup+300.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 27918 48 0 0 25 0 10 0 838458026 854228992 23016 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23016 13086 16 0 208536 0
vsize: 834208
[startup+310.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 28855 48 0 0 25 0 10 0 838458026 854228992 23058 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23058 13086 16 0 208536 0
vsize: 834208
[startup+320.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 29788 49 0 0 25 0 10 0 838458026 854228992 23101 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23101 13086 16 0 208536 0
vsize: 834208
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 30724 49 0 0 25 0 10 0 838458026 854228992 23141 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23141 13086 16 0 208536 0
vsize: 834208
[startup+340.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 31656 50 0 0 25 0 10 0 838458026 854228992 23183 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23183 13086 16 0 208536 0
vsize: 834208
[startup+350.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 32592 50 0 0 25 0 10 0 838458026 854228992 23223 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23223 13086 16 0 208536 0
vsize: 834208
[startup+360.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 33523 50 0 0 25 0 10 0 838458026 854228992 23263 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23263 13086 16 0 208536 0
vsize: 834208
[startup+370.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 34458 51 0 0 25 0 10 0 838458026 854228992 23301 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23301 13086 16 0 208536 0
vsize: 834208
[startup+380.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 35388 51 0 0 24 0 10 0 838458026 854228992 23340 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23340 13086 16 0 208536 0
vsize: 834208
[startup+390.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 36323 52 0 0 25 0 10 0 838458026 854228992 23377 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23377 13086 16 0 208536 0
vsize: 834208
[startup+400.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 37257 52 0 0 25 0 10 0 838458026 854228992 23413 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 23413 13086 16 0 208536 0
vsize: 834208
[startup+410.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18012 0 1 0 38187 52 0 0 25 0 10 0 838458026 854228992 23451 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23451 13086 16 0 208536 0
vsize: 834208
[startup+420.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18020 0 1 0 39108 52 0 0 25 0 10 0 838458026 854228992 23494 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23494 13086 16 0 208536 0
vsize: 834208
[startup+430.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18020 0 1 0 40030 52 0 0 24 0 10 0 838458026 854228992 23628 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23628 13086 16 0 208536 0
vsize: 834208
[startup+440.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18020 0 1 0 40963 52 0 0 25 0 10 0 838458026 854228992 23662 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23662 13086 16 0 208536 0
vsize: 834208
[startup+450.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18021 0 1 0 41892 52 0 0 25 0 10 0 838458026 854228992 23696 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23696 13086 16 0 208536 0
vsize: 834208
[startup+460.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18021 0 1 0 42820 53 0 0 25 0 10 0 838458026 854228992 23723 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23723 13086 16 0 208536 0
vsize: 834208
[startup+470.029 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18021 0 1 0 43750 53 0 0 25 0 10 0 838458026 854228992 23783 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23783 13086 16 0 208536 0
vsize: 834208
[startup+480.029 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18021 0 1 0 44672 53 0 0 25 0 10 0 838458026 854228992 23815 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23815 13086 16 0 208536 0
vsize: 834208
[startup+490.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18021 0 1 0 45594 53 0 0 24 0 10 0 838458026 854228992 23843 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23843 13086 16 0 208536 0
vsize: 834208
[startup+500.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18021 0 1 0 46522 53 0 0 25 0 10 0 838458026 854228992 23899 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23899 13086 16 0 208536 0
vsize: 834208
[startup+510.032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 47452 53 0 0 25 0 10 0 838458026 854228992 23935 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23935 13086 16 0 208536 0
vsize: 834208
[startup+520.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 48378 53 0 0 25 0 10 0 838458026 854228992 23960 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 23960 13086 16 0 208536 0
vsize: 834208
[startup+530.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 49304 54 0 0 25 0 10 0 838458026 854228992 24013 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 24013 13086 16 0 208536 0
vsize: 834208
[startup+540.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 50228 54 0 0 24 0 10 0 838458026 854228992 24046 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 24046 13086 16 0 208536 0
vsize: 834208
[startup+550.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 51154 54 0 0 25 0 10 0 838458026 854228992 24072 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 24072 13086 16 0 208536 0
vsize: 834208
[startup+560.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 52077 54 0 0 25 0 10 0 838458026 854228992 24096 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 24096 13086 16 0 208536 0
vsize: 834208
[startup+570.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 53003 54 0 0 25 0 10 0 838458026 854228992 24151 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 24151 13086 16 0 208536 0
vsize: 834208
[startup+580.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 53905 54 0 0 24 0 10 0 838458026 855412736 24452 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 24452 13086 16 0 208825 0
vsize: 835364
[startup+590.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 54828 54 0 0 24 0 10 0 838458026 855003136 24381 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24381 13086 16 0 208725 0
vsize: 834964
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 55751 54 0 0 25 0 10 0 838458026 855003136 24432 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24432 13086 16 0 208725 0
vsize: 834964
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 56678 54 0 0 25 0 10 0 838458026 855003136 24462 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24462 13086 16 0 208725 0
vsize: 834964
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 57602 55 0 0 25 0 10 0 838458026 855003136 24488 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24488 13086 16 0 208725 0
vsize: 834964
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 58524 55 0 0 25 0 10 0 838458026 855003136 24512 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24512 13086 16 0 208725 0
vsize: 834964
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 59446 55 0 0 25 0 10 0 838458026 855003136 24563 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24563 13086 16 0 208725 0
vsize: 834964
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 60371 55 0 0 25 0 10 0 838458026 855003136 24591 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208741 24591 13086 16 0 208725 0
vsize: 834964
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 61293 55 0 0 25 0 10 0 838458026 854228992 24451 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 24451 13086 16 0 208536 0
vsize: 834208
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 62204 55 0 0 25 0 10 0 838458026 854228992 25009 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 25009 13086 16 0 208536 0
vsize: 834208
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18022 0 1 0 63118 55 0 0 25 0 10 0 838458026 854228992 25009 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 25009 13086 16 0 208536 0
vsize: 834208
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 64028 55 0 0 25 0 10 0 838458026 854228992 25118 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208552 25118 13086 16 0 208536 0
vsize: 834208
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 64914 55 0 0 24 0 10 0 838458026 855355392 25366 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208827 25366 13086 16 0 208811 0
vsize: 835308
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 65829 55 0 0 25 0 10 0 838458026 854831104 25293 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 25293 13086 16 0 208683 0
vsize: 834796
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 66738 55 0 0 25 0 10 0 838458026 854831104 25343 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 25343 13086 16 0 208683 0
vsize: 834796
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18022 0 1 0 67652 55 0 0 25 0 10 0 838458026 854831104 25369 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 25369 13086 16 0 208683 0
vsize: 834796
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 68564 55 0 0 25 0 10 0 838458026 854831104 25395 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 25395 13086 16 0 208683 0
vsize: 834796
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 69472 56 0 0 25 0 10 0 838458026 854831104 25416 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 25416 13086 16 0 208683 0
vsize: 834796
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 70381 56 0 0 25 0 10 0 838458026 854831104 25464 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25464 13086 16 0 208683 0
vsize: 834796
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 71294 56 0 0 25 0 10 0 838458026 854831104 25489 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25489 13086 16 0 208683 0
vsize: 834796
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 72203 56 0 0 25 0 10 0 838458026 854831104 25514 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25514 13086 16 0 208683 0
vsize: 834796
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 73111 57 0 0 25 0 10 0 838458026 854831104 25534 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25534 13086 16 0 208683 0
vsize: 834796
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 74016 57 0 0 25 0 10 0 838458026 854831104 25580 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25580 13086 16 0 208683 0
vsize: 834796
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 74924 57 0 0 25 0 10 0 838458026 854831104 25605 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25605 13086 16 0 208683 0
vsize: 834796
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 75838 58 0 0 25 0 10 0 838458026 854831104 25629 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25629 13086 16 0 208683 0
vsize: 834796
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 76745 58 0 0 25 0 10 0 838458026 854831104 25650 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25650 13086 16 0 208683 0
vsize: 834796
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 77648 59 0 0 25 0 10 0 838458026 854831104 25671 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25671 13086 16 0 208683 0
vsize: 834796
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 78559 59 0 0 25 0 10 0 838458026 854831104 25719 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25719 13086 16 0 208683 0
vsize: 834796
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 79468 59 0 0 25 0 10 0 838458026 854831104 25743 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25743 13086 16 0 208683 0
vsize: 834796
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 80380 60 0 0 25 0 10 0 838458026 854831104 25765 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25765 13086 16 0 208683 0
vsize: 834796
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 81283 61 0 0 25 0 10 0 838458026 854831104 25785 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25785 13086 16 0 208683 0
vsize: 834796
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 82185 61 0 0 25 0 10 0 838458026 854831104 25830 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25830 13086 16 0 208683 0
vsize: 834796
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 83095 61 0 0 25 0 10 0 838458026 854831104 25853 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25853 13086 16 0 208683 0
vsize: 834796
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 84001 61 0 0 25 0 10 0 838458026 854831104 25877 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25877 13086 16 0 208683 0
vsize: 834796
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 84910 62 0 0 25 0 10 0 838458026 854831104 25897 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25897 13086 16 0 208683 0
vsize: 834796
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 85811 62 0 0 25 0 10 0 838458026 854831104 25916 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25916 13086 16 0 208683 0
vsize: 834796
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 86719 62 0 0 25 0 10 0 838458026 854831104 25961 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25961 13086 16 0 208683 0
vsize: 834796
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 87624 63 0 0 25 0 10 0 838458026 854831104 25984 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 25984 13086 16 0 208683 0
vsize: 834796
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 88534 63 0 0 25 0 10 0 838458026 854831104 26006 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26006 13086 16 0 208683 0
vsize: 834796
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 89436 64 0 0 25 0 10 0 838458026 854831104 26027 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26027 13086 16 0 208683 0
vsize: 834796
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 90341 64 0 0 25 0 10 0 838458026 854831104 26044 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26044 13086 16 0 208683 0
vsize: 834796
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 91242 64 0 0 25 0 10 0 838458026 854831104 26091 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26091 13086 16 0 208683 0
vsize: 834796
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 92150 65 0 0 25 0 10 0 838458026 854831104 26112 4294967295 134512640 134569956 3221224368 3221214192 1076874289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26112 13086 16 0 208683 0
vsize: 834796
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 93054 65 0 0 25 0 10 0 838458026 854831104 26134 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26134 13086 16 0 208683 0
vsize: 834796
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 93959 65 0 0 25 0 10 0 838458026 854831104 26153 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26153 13086 16 0 208683 0
vsize: 834796
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 94856 65 0 0 24 0 10 0 838458026 854831104 26171 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26171 13086 16 0 208683 0
vsize: 834796
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 95762 66 0 0 25 0 10 0 838458026 854831104 26217 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26217 13086 16 0 208683 0
vsize: 834796
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 96669 66 0 0 25 0 10 0 838458026 854831104 26238 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26238 13086 16 0 208683 0
vsize: 834796
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 97571 66 0 0 25 0 10 0 838458026 854831104 26260 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26260 13086 16 0 208683 0
vsize: 834796
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 98477 66 0 0 25 0 10 0 838458026 854831104 26278 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26278 13086 16 0 208683 0
vsize: 834796
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 99373 67 0 0 25 0 10 0 838458026 854831104 26296 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26296 13086 16 0 208683 0
vsize: 834796
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 100277 67 0 0 25 0 10 0 838458026 854831104 26338 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26338 13086 16 0 208683 0
vsize: 834796
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 101181 67 0 0 25 0 10 0 838458026 854831104 26355 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26355 13086 16 0 208683 0
vsize: 834796
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 102082 68 0 0 20 0 10 0 838458026 854831104 26380 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26380 13086 16 0 208683 0
vsize: 834796
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 102986 68 0 0 22 0 10 0 838458026 854831104 26397 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208699 26397 13086 16 0 208683 0
vsize: 834796
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 103884 68 0 0 19 0 10 0 838458026 854831104 26422 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26422 13086 16 0 208683 0
vsize: 834796
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 104788 68 0 0 22 0 10 0 838458026 854831104 26447 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26447 13086 16 0 208683 0
vsize: 834796
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 105687 68 0 0 19 0 10 0 838458026 854831104 26464 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26464 13086 16 0 208683 0
vsize: 834796
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 106593 68 0 0 22 0 10 0 838458026 854831104 26488 4294967295 134512640 134569956 3221224368 3221214360 1079668994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26488 13086 16 0 208683 0
vsize: 834796
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 107492 68 0 0 19 0 10 0 838458026 854831104 26505 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26505 13086 16 0 208683 0
vsize: 834796
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 108398 69 0 0 21 0 10 0 838458026 854831104 26529 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26529 13086 16 0 208683 0
vsize: 834796
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) S 13129 1586 1585 0 -1 0 18023 0 1 0 109300 69 0 0 24 0 10 0 838458026 854831104 26551 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26551 13086 16 0 208683 0
vsize: 834796
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 110201 69 0 0 21 0 10 0 838458026 854831104 26577 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26577 13086 16 0 208683 0
vsize: 834796
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 111103 69 0 0 22 0 10 0 838458026 854831104 26610 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26610 13086 16 0 208683 0
vsize: 834796
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 112000 69 0 0 19 0 10 0 838458026 854831104 26627 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26627 13086 16 0 208683 0
vsize: 834796
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 112904 69 0 0 22 0 10 0 838458026 854831104 26654 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26654 13086 16 0 208683 0
vsize: 834796
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 113801 69 0 0 18 0 10 0 838458026 854831104 26672 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26672 13086 16 0 208683 0
vsize: 834796
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 114705 69 0 0 20 0 10 0 838458026 854831104 26699 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26699 13086 16 0 208683 0
vsize: 834796
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 115609 69 0 0 23 0 10 0 838458026 854831104 26721 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26721 13086 16 0 208683 0
vsize: 834796
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 116506 69 0 0 20 0 10 0 838458026 854831104 26750 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26750 13086 16 0 208683 0
vsize: 834796
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 117411 69 0 0 22 0 10 0 838458026 854831104 26760 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26760 13086 16 0 208683 0
vsize: 834796
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 118308 70 0 0 19 0 10 0 838458026 854831104 26784 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26784 13086 16 0 208683 0
vsize: 834796
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 119209 70 0 0 20 0 10 0 838458026 854831104 26799 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26799 13086 16 0 208683 0
vsize: 834796
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13139
Raw data (stat): 13130 (java) R 13129 1586 1585 0 -1 0 18023 0 1 0 120111 70 0 0 19 0 10 0 838458026 854831104 26865 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208699 26865 13086 16 0 208683 0
vsize: 834796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13141
Raw data (stat): 13130 (java) Z 13129 1586 1585 0 -1 1036 18023 10619 1 0 120117 75 11202 55 19 0 1 0 838458026 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.23
CPU time (s): 1314.51
CPU user time (s): 1313.2
CPU system time (s): 1.3088
CPU usage (%): 100.327
Max. virtual memory (Kb): 835716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####