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-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
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	70755
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 29790

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 11:35:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21183 boxname=wulflinc2 idbench=1171 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  575f632072d90cb1b2032661c3842261  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-siena1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-siena1.opb
IDLAUNCH: 21183
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        491896 kB
Buffers:         30164 kB
Cached:         491720 kB
SwapCached:        696 kB
Active:          65820 kB
Inactive:       458500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        491644 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            12804 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:57:26 (client local time) WITH STATUS 143 IN 1310.15 SECONDS
stats: 21183 7 1310.15 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/wulflinc2/normalized-mps-v2-20-10-siena1.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.223
#### 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.86 0.97 0.99 2/54 13018
Raw data (stat): 13018 (runsolver) R 13017 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780345048 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 878 37 0 0 25 0 10 0 780345048 853610496 19330 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 19330 13086 16 0 208385 0
vsize: 833604
[startup+20.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 1774 37 0 0 25 0 10 0 780345048 853569536 19844 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 19844 13086 16 0 208375 0
vsize: 833564
[startup+30.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 2663 37 0 0 25 0 10 0 780345048 853569536 20358 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 20358 13086 16 0 208375 0
vsize: 833564
[startup+40.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 3577 37 0 0 25 0 10 0 780345048 853970944 20758 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208489 20758 13086 16 0 208473 0
vsize: 833956
[startup+50.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 4495 38 0 0 25 0 10 0 780345048 853970944 20932 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208489 20932 13086 16 0 208473 0
vsize: 833956
[startup+60.0075 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 5413 38 0 0 25 0 10 0 780345048 853970944 21067 4294967295 134512640 134569956 3221224368 3221214768 1131237376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208489 21067 13086 16 0 208473 0
vsize: 833956
[startup+70.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 6341 38 0 0 25 0 10 0 780345048 853692416 21247 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21247 13086 16 0 208405 0
vsize: 833684
[startup+80.0145 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 7280 38 0 0 25 0 10 0 780345048 853692416 21346 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21346 13086 16 0 208405 0
vsize: 833684
[startup+90.0148 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 8224 38 0 0 25 0 10 0 780345048 853692416 21438 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21438 13086 16 0 208405 0
vsize: 833684
[startup+100.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 9165 38 0 0 25 0 10 0 780345048 853692416 21524 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21524 13086 16 0 208405 0
vsize: 833684
[startup+110.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 10106 38 0 0 24 0 10 0 780345048 853692416 21607 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21607 13086 16 0 208405 0
vsize: 833684
[startup+120.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 11051 38 0 0 25 0 10 0 780345048 853692416 21679 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21679 13086 16 0 208405 0
vsize: 833684
[startup+130.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 11993 38 0 0 25 0 10 0 780345048 853692416 21751 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21751 13086 16 0 208405 0
vsize: 833684
[startup+140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 12934 39 0 0 24 0 10 0 780345048 853692416 21820 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21820 13086 16 0 208405 0
vsize: 833684
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 13879 39 0 0 25 0 10 0 780345048 853692416 21882 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 21882 13086 16 0 208405 0
vsize: 833684
[startup+160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 14821 39 0 0 25 0 10 0 780345048 853692416 21946 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21946 13086 16 0 208405 0
vsize: 833684
[startup+170.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 15756 39 0 0 25 0 10 0 780345048 853692416 22007 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22007 13086 16 0 208405 0
vsize: 833684
[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 16673 39 0 0 25 0 10 0 780345048 853692416 22063 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22063 13086 16 0 208405 0
vsize: 833684
[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 17597 39 0 0 25 0 10 0 780345048 853692416 22373 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22373 13086 16 0 208405 0
vsize: 833684
[startup+200.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 18536 39 0 0 25 0 10 0 780345048 853692416 22429 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22429 13086 16 0 208405 0
vsize: 833684
[startup+210.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 19478 40 0 0 25 0 10 0 780345048 853692416 22480 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22480 13086 16 0 208405 0
vsize: 833684
[startup+220.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 20416 40 0 0 25 0 10 0 780345048 853692416 22533 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22533 13086 16 0 208405 0
vsize: 833684
[startup+230.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 21354 40 0 0 25 0 10 0 780345048 853692416 22584 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22584 13086 16 0 208405 0
vsize: 833684
[startup+240.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 22294 40 0 0 25 0 10 0 780345048 853692416 22632 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22632 13086 16 0 208405 0
vsize: 833684
[startup+250.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 23231 40 0 0 25 0 10 0 780345048 853692416 22681 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22681 13086 16 0 208405 0
vsize: 833684
[startup+260.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 24170 40 0 0 25 0 10 0 780345048 853692416 22726 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22726 13086 16 0 208405 0
vsize: 833684
[startup+270.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 25106 40 0 0 23 0 10 0 780345048 853692416 22773 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22773 13086 16 0 208405 0
vsize: 833684
[startup+280.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 26042 40 0 0 24 0 10 0 780345048 853692416 22819 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22819 13086 16 0 208405 0
vsize: 833684
[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 26981 40 0 0 25 0 10 0 780345048 853692416 22861 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22861 13086 16 0 208405 0
vsize: 833684
[startup+300.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 27915 40 0 0 24 0 10 0 780345048 853692416 22905 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22905 13086 16 0 208405 0
vsize: 833684
[startup+310.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 28853 40 0 0 25 0 10 0 780345048 853692416 22946 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22946 13086 16 0 208405 0
vsize: 833684
[startup+320.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 29787 41 0 0 24 0 10 0 780345048 853692416 22988 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22988 13086 16 0 208405 0
vsize: 833684
[startup+330.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 30724 41 0 0 25 0 10 0 780345048 853692416 23028 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23028 13086 16 0 208405 0
vsize: 833684
[startup+340.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 31657 41 0 0 24 0 10 0 780345048 853692416 23069 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23069 13086 16 0 208405 0
vsize: 833684
[startup+350.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 32593 41 0 0 25 0 10 0 780345048 853692416 23107 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23107 13086 16 0 208405 0
vsize: 833684
[startup+360.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 33529 41 0 0 25 0 10 0 780345048 853692416 23147 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23147 13086 16 0 208405 0
vsize: 833684
[startup+370.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 34460 41 0 0 25 0 10 0 780345048 853692416 23187 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23187 13086 16 0 208405 0
vsize: 833684
[startup+380.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 35394 42 0 0 25 0 10 0 780345048 853692416 23224 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23224 13086 16 0 208405 0
vsize: 833684
[startup+390.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 36325 42 0 0 24 0 10 0 780345048 853692416 23263 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23263 13086 16 0 208405 0
vsize: 833684
[startup+400.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 37259 42 0 0 25 0 10 0 780345048 853692416 23299 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23299 13086 16 0 208405 0
vsize: 833684
[startup+410.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 38192 42 0 0 25 0 10 0 780345048 853692416 23334 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23334 13086 16 0 208405 0
vsize: 833684
[startup+420.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 39121 42 0 0 25 0 10 0 780345048 853692416 23372 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23372 13086 16 0 208405 0
vsize: 833684
[startup+430.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 40054 42 0 0 25 0 10 0 780345048 853692416 23407 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23407 13086 16 0 208405 0
vsize: 833684
[startup+440.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 40984 42 0 0 25 0 10 0 780345048 853692416 23442 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23442 13086 16 0 208405 0
vsize: 833684
[startup+450.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 41915 42 0 0 25 0 10 0 780345048 853692416 23477 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23477 13086 16 0 208405 0
vsize: 833684
[startup+460.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 42847 42 0 0 25 0 10 0 780345048 853692416 23511 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23511 13086 16 0 208405 0
vsize: 833684
[startup+470.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 43777 43 0 0 25 0 10 0 780345048 853692416 23544 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23544 13086 16 0 208405 0
vsize: 833684
[startup+480.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 44705 43 0 0 25 0 10 0 780345048 853692416 23579 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23579 13086 16 0 208405 0
vsize: 833684
[startup+490.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 45635 44 0 0 25 0 10 0 780345048 853692416 23611 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23611 13086 16 0 208405 0
vsize: 833684
[startup+500.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 46565 44 0 0 25 0 10 0 780345048 853692416 23644 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23644 13086 16 0 208405 0
vsize: 833684
[startup+510.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 47489 44 0 0 24 0 10 0 780345048 853692416 23678 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23678 13086 16 0 208405 0
vsize: 833684
[startup+520.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 48419 44 0 0 25 0 10 0 780345048 853692416 23709 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23709 13086 16 0 208405 0
vsize: 833684
[startup+530.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 49348 44 0 0 25 0 10 0 780345048 853692416 23740 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23740 13086 16 0 208405 0
vsize: 833684
[startup+540.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 50277 44 0 0 25 0 10 0 780345048 853692416 23771 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23771 13086 16 0 208405 0
vsize: 833684
[startup+550.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 51199 45 0 0 24 0 10 0 780345048 853692416 23804 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23804 13086 16 0 208405 0
vsize: 833684
[startup+560.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 52127 45 0 0 25 0 10 0 780345048 853692416 23834 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23834 13086 16 0 208405 0
vsize: 833684
[startup+570.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 53054 45 0 0 25 0 10 0 780345048 853692416 23864 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23864 13086 16 0 208405 0
vsize: 833684
[startup+580.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 53982 45 0 0 25 0 10 0 780345048 853692416 23893 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23893 13086 16 0 208405 0
vsize: 833684
[startup+590.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 54908 45 0 0 25 0 10 0 780345048 853692416 23923 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23923 13086 16 0 208405 0
vsize: 833684
[startup+600.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 55830 45 0 0 25 0 10 0 780345048 853692416 23953 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23953 13086 16 0 208405 0
vsize: 833684
[startup+610.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 56756 45 0 0 25 0 10 0 780345048 853692416 23983 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23983 13086 16 0 208405 0
vsize: 833684
[startup+620.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 57681 46 0 0 25 0 10 0 780345048 853692416 24012 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24012 13086 16 0 208405 0
vsize: 833684
[startup+630.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 58606 46 0 0 25 0 10 0 780345048 853692416 24040 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24040 13086 16 0 208405 0
vsize: 833684
[startup+640.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 59531 46 0 0 25 0 10 0 780345048 853692416 24068 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24068 13086 16 0 208405 0
vsize: 833684
[startup+650.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 60456 46 0 0 25 0 10 0 780345048 853692416 24096 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24096 13086 16 0 208405 0
vsize: 833684
[startup+660.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 61380 46 0 0 25 0 10 0 780345048 853692416 24124 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24124 13086 16 0 208405 0
vsize: 833684
[startup+670.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 62298 47 0 0 25 0 10 0 780345048 853692416 25027 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25027 13086 16 0 208405 0
vsize: 833684
[startup+680.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 63220 47 0 0 25 0 10 0 780345048 853692416 25027 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25027 13086 16 0 208405 0
vsize: 833684
[startup+690.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 64134 47 0 0 25 0 10 0 780345048 853692416 25047 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25047 13086 16 0 208405 0
vsize: 833684
[startup+700.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 65047 47 0 0 25 0 10 0 780345048 853692416 25074 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25074 13086 16 0 208405 0
vsize: 833684
[startup+710.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 65960 47 0 0 25 0 10 0 780345048 853692416 25101 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25101 13086 16 0 208405 0
vsize: 833684
[startup+720.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 66872 47 0 0 25 0 10 0 780345048 853692416 25127 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25127 13086 16 0 208405 0
vsize: 833684
[startup+730.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 67786 47 0 0 25 0 10 0 780345048 853692416 25154 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25154 13086 16 0 208405 0
vsize: 833684
[startup+740.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 68698 47 0 0 25 0 10 0 780345048 853692416 25180 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25180 13086 16 0 208405 0
vsize: 833684
[startup+750.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 69610 47 0 0 25 0 10 0 780345048 853692416 25206 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25206 13086 16 0 208405 0
vsize: 833684
[startup+760.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 70522 47 0 0 24 0 10 0 780345048 853692416 25232 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25232 13086 16 0 208405 0
vsize: 833684
[startup+770.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 71437 48 0 0 25 0 10 0 780345048 853692416 25256 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25256 13086 16 0 208405 0
vsize: 833684
[startup+780.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 72349 48 0 0 25 0 10 0 780345048 853692416 25281 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25281 13086 16 0 208405 0
vsize: 833684
[startup+790.089 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 73260 48 0 0 25 0 10 0 780345048 853692416 25307 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25307 13086 16 0 208405 0
vsize: 833684
[startup+800.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 74171 48 0 0 25 0 10 0 780345048 853692416 25332 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25332 13086 16 0 208405 0
vsize: 833684
[startup+810.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 75080 48 0 0 25 0 10 0 780345048 853692416 25357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25357 13086 16 0 208405 0
vsize: 833684
[startup+820.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 75990 48 0 0 24 0 10 0 780345048 853692416 25382 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25382 13086 16 0 208405 0
vsize: 833684
[startup+830.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 76904 48 0 0 25 0 10 0 780345048 853692416 25405 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25405 13086 16 0 208405 0
vsize: 833684
[startup+840.096 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 77814 49 0 0 25 0 10 0 780345048 853692416 25430 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25430 13086 16 0 208405 0
vsize: 833684
[startup+850.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 78723 49 0 0 25 0 10 0 780345048 853692416 25454 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25454 13086 16 0 208405 0
vsize: 833684
[startup+860.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 79632 49 0 0 25 0 10 0 780345048 853692416 25478 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25478 13086 16 0 208405 0
vsize: 833684
[startup+870.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 80541 49 0 0 24 0 10 0 780345048 853692416 25504 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25504 13086 16 0 208405 0
vsize: 833684
[startup+880.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 81455 49 0 0 25 0 10 0 780345048 853692416 25526 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25526 13086 16 0 208405 0
vsize: 833684
[startup+890.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 82362 49 0 0 25 0 10 0 780345048 853692416 25550 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25550 13086 16 0 208405 0
vsize: 833684
[startup+900.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 83269 50 0 0 25 0 10 0 780345048 853692416 25574 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25574 13086 16 0 208405 0
vsize: 833684
[startup+910.102 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 84176 50 0 0 25 0 10 0 780345048 853692416 25597 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25597 13086 16 0 208405 0
vsize: 833684
[startup+920.102 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 85089 50 0 0 25 0 10 0 780345048 853692416 25619 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25619 13086 16 0 208405 0
vsize: 833684
[startup+930.103 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 85995 50 0 0 25 0 10 0 780345048 853692416 25643 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25643 13086 16 0 208405 0
vsize: 833684
[startup+940.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 86900 50 0 0 25 0 10 0 780345048 853692416 25666 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25666 13086 16 0 208405 0
vsize: 833684
[startup+950.104 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 87811 50 0 0 25 0 10 0 780345048 853692416 25688 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25688 13086 16 0 208405 0
vsize: 833684
[startup+960.105 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 88716 51 0 0 25 0 10 0 780345048 853692416 25711 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25711 13086 16 0 208405 0
vsize: 833684
[startup+970.106 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 89620 51 0 0 25 0 10 0 780345048 853692416 25734 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25734 13086 16 0 208405 0
vsize: 833684
[startup+980.112 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 90528 51 0 0 25 0 10 0 780345048 853692416 25755 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25755 13086 16 0 208405 0
vsize: 833684
[startup+990.112 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 91435 51 0 0 25 0 10 0 780345048 853692416 25778 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25778 13086 16 0 208405 0
vsize: 833684
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 92340 51 0 0 25 0 10 0 780345048 853692416 25808 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25808 13086 16 0 208405 0
vsize: 833684
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 93244 51 0 0 24 0 10 0 780345048 853692416 25833 4294967295 134512640 134569956 3221224368 3221214120 1076874544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25833 13086 16 0 208405 0
vsize: 833684
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 94154 51 0 0 25 0 10 0 780345048 853692416 25853 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25853 13086 16 0 208405 0
vsize: 833684
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 95058 51 0 0 25 0 10 0 780345048 853692416 25885 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25885 13086 16 0 208405 0
vsize: 833684
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 95963 52 0 0 25 0 10 0 780345048 853692416 25908 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25908 13086 16 0 208405 0
vsize: 833684
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 96869 52 0 0 25 0 10 0 780345048 853692416 25935 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25935 13086 16 0 208405 0
vsize: 833684
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 97773 52 0 0 25 0 10 0 780345048 853692416 25960 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25960 13086 16 0 208405 0
vsize: 833684
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 98679 52 0 0 25 0 10 0 780345048 853692416 25985 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25985 13086 16 0 208405 0
vsize: 833684
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 99578 53 0 0 25 0 10 0 780345048 853692416 26009 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26009 13086 16 0 208405 0
vsize: 833684
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 100480 53 0 0 24 0 10 0 780345048 853692416 26031 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26031 13086 16 0 208405 0
vsize: 833684
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 101388 53 0 0 25 0 10 0 780345048 853692416 26058 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26058 13086 16 0 208405 0
vsize: 833684
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 102289 53 0 0 24 0 10 0 780345048 853692416 26083 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26083 13086 16 0 208405 0
vsize: 833684
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 103195 53 0 0 25 0 10 0 780345048 853692416 26107 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26107 13086 16 0 208405 0
vsize: 833684
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 104095 54 0 0 25 0 10 0 780345048 853692416 26130 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26130 13086 16 0 208405 0
vsize: 833684
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) S 13017 31399 31398 0 -1 0 18009 0 1 0 104997 54 0 0 25 0 10 0 780345048 853692416 26156 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26156 13086 16 0 208405 0
vsize: 833684
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 105901 54 0 0 25 0 10 0 780345048 853692416 26176 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26176 13086 16 0 208405 0
vsize: 833684
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 106800 54 0 0 24 0 10 0 780345048 853692416 26204 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26204 13086 16 0 208405 0
vsize: 833684
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 107706 54 0 0 25 0 10 0 780345048 853692416 26227 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26227 13086 16 0 208405 0
vsize: 833684
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 108606 54 0 0 25 0 10 0 780345048 853692416 26250 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26250 13086 16 0 208405 0
vsize: 833684
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 109511 54 0 0 25 0 10 0 780345048 853692416 26274 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26274 13086 16 0 208405 0
vsize: 833684
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 110409 54 0 0 25 0 10 0 780345048 853692416 26298 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26298 13086 16 0 208405 0
vsize: 833684
[startup+1210.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 111312 55 0 0 25 0 10 0 780345048 853692416 26320 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26320 13086 16 0 208405 0
vsize: 833684
[startup+1220.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 112210 55 0 0 25 0 10 0 780345048 853692416 26342 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26342 13086 16 0 208405 0
vsize: 833684
[startup+1230.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 113114 55 0 0 25 0 10 0 780345048 853692416 26364 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26364 13086 16 0 208405 0
vsize: 833684
[startup+1240.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 114011 55 0 0 25 0 10 0 780345048 853692416 26385 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26385 13086 16 0 208405 0
vsize: 833684
[startup+1250.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 114914 55 0 0 21 0 10 0 780345048 853692416 26404 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26404 13086 16 0 208405 0
vsize: 833684
[startup+1260.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 115811 56 0 0 18 0 10 0 780345048 853692416 26437 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26437 13086 16 0 208405 0
vsize: 833684
[startup+1270.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 116715 56 0 0 22 0 10 0 780345048 853692416 26455 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26455 13086 16 0 208405 0
vsize: 833684
[startup+1280.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 117613 56 0 0 19 0 10 0 780345048 853692416 26492 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26492 13086 16 0 208405 0
vsize: 833684
[startup+1290.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 118519 56 0 0 22 0 10 0 780345048 853692416 26510 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26510 13086 16 0 208405 0
vsize: 833684
[startup+1300.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 119418 57 0 0 19 0 10 0 780345048 853692416 26538 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26538 13086 16 0 208405 0
vsize: 833684
[startup+1310.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13027
Raw data (stat): 13018 (java) R 13017 31399 31398 0 -1 0 18009 0 1 0 120326 57 0 0 23 0 10 0 780345048 853692416 26562 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26562 13086 16 0 208405 0
vsize: 833684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 13029
Raw data (stat): 13018 (java) Z 13017 31399 31398 0 -1 1036 18009 8228 1 0 120328 57 10587 41 23 0 1 0 780345048 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): 1310.15
CPU user time (s): 1309.15
CPU system time (s): 0.990849
CPU usage (%): 99.9937
Max. virtual memory (Kb): 833956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####