PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
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	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	20
Maximum length of a constraint	1700
Trace number 29881

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 12:21:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21276 boxname=wulflinc25 idbench=1264 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 21276
/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:        347768 kB
Buffers:         32924 kB
Cached:         629692 kB
SwapCached:        588 kB
Active:         108084 kB
Inactive:       556724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        347516 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16452 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:42:58 (client local time) WITH STATUS 143 IN 1312.85 SECONDS
stats: 21276 7 1312.85 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-13-7-ship08l.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.211
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 13497
Raw data (stat): 13497 (runsolver) R 13496 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838850977 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.94 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18013 0 1 0 876 39 0 0 25 0 10 0 838850977 853909504 19360 4294967295 134512640 134569956 3221224368 3221214648 1131188443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208474 19360 13086 16 0 208458 0
vsize: 833896
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 1774 39 0 0 25 0 10 0 838850977 855371776 20199 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208831 20199 13086 16 0 208815 0
vsize: 835324
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 2663 40 0 0 25 0 10 0 838850977 854634496 20556 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 20556 13086 16 0 208635 0
vsize: 834604
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 3577 41 0 0 25 0 10 0 838850977 854634496 20862 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 20862 13086 16 0 208635 0
vsize: 834604
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 4497 41 0 0 25 0 10 0 838850977 854634496 21029 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21029 13086 16 0 208635 0
vsize: 834604
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 5412 41 0 0 25 0 10 0 838850977 854634496 21164 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21164 13086 16 0 208635 0
vsize: 834604
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 6339 41 0 0 24 0 10 0 838850977 854634496 21413 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21413 13086 16 0 208635 0
vsize: 834604
[startup+80.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 7280 41 0 0 25 0 10 0 838850977 854634496 21511 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21511 13086 16 0 208635 0
vsize: 834604
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 8218 42 0 0 25 0 10 0 838850977 854634496 21606 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21606 13086 16 0 208635 0
vsize: 834604
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 9158 42 0 0 25 0 10 0 838850977 854634496 21694 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21694 13086 16 0 208635 0
vsize: 834604
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 10098 43 0 0 24 0 10 0 838850977 854634496 21777 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21777 13086 16 0 208635 0
vsize: 834604
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 11042 43 0 0 25 0 10 0 838850977 854634496 21850 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21850 13086 16 0 208635 0
vsize: 834604
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 11983 43 0 0 25 0 10 0 838850977 854634496 21924 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21924 13086 16 0 208635 0
vsize: 834604
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 12925 43 0 0 25 0 10 0 838850977 854634496 21994 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 21994 13086 16 0 208635 0
vsize: 834604
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 13866 44 0 0 24 0 10 0 838850977 854634496 22061 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 22061 13086 16 0 208635 0
vsize: 834604
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 14811 44 0 0 25 0 10 0 838850977 854634496 22122 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 22122 13086 16 0 208635 0
vsize: 834604
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 15746 45 0 0 25 0 10 0 838850977 854634496 22184 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 22184 13086 16 0 208635 0
vsize: 834604
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 16663 46 0 0 25 0 10 0 838850977 854634496 22241 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 22241 13086 16 0 208635 0
vsize: 834604
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 17583 46 0 0 22 0 10 0 838850977 854634496 22556 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22556 13086 16 0 208635 0
vsize: 834604
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 18526 46 0 0 25 0 10 0 838850977 854634496 22609 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22609 13086 16 0 208635 0
vsize: 834604
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 19465 46 0 0 25 0 10 0 838850977 854634496 22664 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22664 13086 16 0 208635 0
vsize: 834604
[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 20403 46 0 0 25 0 10 0 838850977 854634496 22715 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22715 13086 16 0 208635 0
vsize: 834604
[startup+230.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 21345 46 0 0 25 0 10 0 838850977 854634496 22766 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22766 13086 16 0 208635 0
vsize: 834604
[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 22283 47 0 0 25 0 10 0 838850977 854634496 22818 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22818 13086 16 0 208635 0
vsize: 834604
[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 23224 47 0 0 25 0 10 0 838850977 854634496 22864 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22864 13086 16 0 208635 0
vsize: 834604
[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 24161 47 0 0 25 0 10 0 838850977 854634496 22913 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22913 13086 16 0 208635 0
vsize: 834604
[startup+270.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 25097 47 0 0 24 0 10 0 838850977 854634496 22960 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 22960 13086 16 0 208635 0
vsize: 834604
[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 26036 47 0 0 25 0 10 0 838850977 854634496 23004 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23004 13086 16 0 208635 0
vsize: 834604
[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 26972 47 0 0 25 0 10 0 838850977 854634496 23050 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23050 13086 16 0 208635 0
vsize: 834604
[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 27910 47 0 0 25 0 10 0 838850977 854634496 23092 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23092 13086 16 0 208635 0
vsize: 834604
[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 28845 47 0 0 25 0 10 0 838850977 854634496 23136 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23136 13086 16 0 208635 0
vsize: 834604
[startup+320.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 29783 47 0 0 25 0 10 0 838850977 854634496 23176 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23176 13086 16 0 208635 0
vsize: 834604
[startup+330.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 30717 47 0 0 25 0 10 0 838850977 854634496 23219 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23219 13086 16 0 208635 0
vsize: 834604
[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 31654 47 0 0 25 0 10 0 838850977 854634496 23258 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23258 13086 16 0 208635 0
vsize: 834604
[startup+350.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 32587 47 0 0 25 0 10 0 838850977 854634496 23300 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23300 13086 16 0 208635 0
vsize: 834604
[startup+360.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 33522 47 0 0 25 0 10 0 838850977 854634496 23339 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23339 13086 16 0 208635 0
vsize: 834604
[startup+370.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 34455 47 0 0 25 0 10 0 838850977 854634496 23378 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23378 13086 16 0 208635 0
vsize: 834604
[startup+380.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 35389 47 0 0 25 0 10 0 838850977 854634496 23416 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23416 13086 16 0 208635 0
vsize: 834604
[startup+390.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 36322 48 0 0 25 0 10 0 838850977 854634496 23454 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23454 13086 16 0 208635 0
vsize: 834604
[startup+400.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 37257 48 0 0 25 0 10 0 838850977 854634496 23490 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23490 13086 16 0 208635 0
vsize: 834604
[startup+410.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 38186 48 0 0 25 0 10 0 838850977 854634496 23528 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23528 13086 16 0 208635 0
vsize: 834604
[startup+420.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 39120 48 0 0 25 0 10 0 838850977 854634496 23563 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23563 13086 16 0 208635 0
vsize: 834604
[startup+430.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 40050 48 0 0 25 0 10 0 838850977 854634496 23600 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23600 13086 16 0 208635 0
vsize: 834604
[startup+440.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 40983 48 0 0 25 0 10 0 838850977 854634496 23634 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23634 13086 16 0 208635 0
vsize: 834604
[startup+450.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 41912 48 0 0 24 0 10 0 838850977 854634496 23670 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23670 13086 16 0 208635 0
vsize: 834604
[startup+460.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 42845 48 0 0 25 0 10 0 838850977 854634496 23703 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23703 13086 16 0 208635 0
vsize: 834604
[startup+470.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 43777 48 0 0 25 0 10 0 838850977 854634496 23736 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23736 13086 16 0 208635 0
vsize: 834604
[startup+480.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 44704 48 0 0 25 0 10 0 838850977 854634496 23771 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23771 13086 16 0 208635 0
vsize: 834604
[startup+490.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 45634 48 0 0 25 0 10 0 838850977 854634496 23804 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23804 13086 16 0 208635 0
vsize: 834604
[startup+500.138 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 46570 49 0 0 24 0 10 0 838850977 854634496 23838 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23838 13086 16 0 208635 0
vsize: 834604
[startup+510.138 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 47500 49 0 0 25 0 10 0 838850977 854634496 23870 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23870 13086 16 0 208635 0
vsize: 834604
[startup+520.138 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 48430 49 0 0 25 0 10 0 838850977 854634496 23901 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23901 13086 16 0 208635 0
vsize: 834604
[startup+530.146 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 49357 49 0 0 24 0 10 0 838850977 854634496 23934 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23934 13086 16 0 208635 0
vsize: 834604
[startup+540.146 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 50284 49 0 0 25 0 10 0 838850977 854634496 23965 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23965 13086 16 0 208635 0
vsize: 834604
[startup+550.147 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 51212 49 0 0 25 0 10 0 838850977 854634496 23995 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 23995 13086 16 0 208635 0
vsize: 834604
[startup+560.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 52139 49 0 0 25 0 10 0 838850977 854634496 24026 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24026 13086 16 0 208635 0
vsize: 834604
[startup+570.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 53064 49 0 0 25 0 10 0 838850977 854634496 24057 4294967295 134512640 134569956 3221224368 3221214152 1076460984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24057 13086 16 0 208635 0
vsize: 834604
[startup+580.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 53992 49 0 0 25 0 10 0 838850977 854634496 24087 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24087 13086 16 0 208635 0
vsize: 834604
[startup+590.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 54919 50 0 0 25 0 10 0 838850977 854634496 24116 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24116 13086 16 0 208635 0
vsize: 834604
[startup+600.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 55841 50 0 0 24 0 10 0 838850977 854634496 24147 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24147 13086 16 0 208635 0
vsize: 834604
[startup+610.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 56767 50 0 0 25 0 10 0 838850977 854634496 24176 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24176 13086 16 0 208635 0
vsize: 834604
[startup+620.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 57693 50 0 0 25 0 10 0 838850977 854634496 24204 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24204 13086 16 0 208635 0
vsize: 834604
[startup+630.154 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 58617 50 0 0 25 0 10 0 838850977 854634496 24233 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24233 13086 16 0 208635 0
vsize: 834604
[startup+640.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 59541 50 0 0 25 0 10 0 838850977 854634496 24262 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24262 13086 16 0 208635 0
vsize: 834604
[startup+650.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 60467 50 0 0 23 0 10 0 838850977 854634496 24290 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24290 13086 16 0 208635 0
vsize: 834604
[startup+660.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 61392 50 0 0 25 0 10 0 838850977 854634496 24319 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 24319 13086 16 0 208635 0
vsize: 834604
[startup+670.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 62311 50 0 0 25 0 10 0 838850977 854634496 25224 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25224 13086 16 0 208635 0
vsize: 834604
[startup+680.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 63230 50 0 0 25 0 10 0 838850977 854634496 25224 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25224 13086 16 0 208635 0
vsize: 834604
[startup+690.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 64141 51 0 0 25 0 10 0 838850977 854634496 25251 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25251 13086 16 0 208635 0
vsize: 834604
[startup+700.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 65055 51 0 0 24 0 10 0 838850977 854634496 25279 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25279 13086 16 0 208635 0
vsize: 834604
[startup+710.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 65967 51 0 0 24 0 10 0 838850977 854634496 25306 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25306 13086 16 0 208635 0
vsize: 834604
[startup+720.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 66881 51 0 0 25 0 10 0 838850977 854634496 25332 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25332 13086 16 0 208635 0
vsize: 834604
[startup+730.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 67794 51 0 0 24 0 10 0 838850977 854634496 25359 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25359 13086 16 0 208635 0
vsize: 834604
[startup+740.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 68706 51 0 0 25 0 10 0 838850977 854634496 25385 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25385 13086 16 0 208635 0
vsize: 834604
[startup+750.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 69617 51 0 0 24 0 10 0 838850977 854634496 25411 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25411 13086 16 0 208635 0
vsize: 834604
[startup+760.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 70529 51 0 0 25 0 10 0 838850977 854634496 25435 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25435 13086 16 0 208635 0
vsize: 834604
[startup+770.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 71445 52 0 0 25 0 10 0 838850977 854634496 25460 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25460 13086 16 0 208635 0
vsize: 834604
[startup+780.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 72355 52 0 0 25 0 10 0 838850977 854634496 25486 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25486 13086 16 0 208635 0
vsize: 834604
[startup+790.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 73265 52 0 0 25 0 10 0 838850977 854634496 25511 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25511 13086 16 0 208635 0
vsize: 834604
[startup+800.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 74174 52 0 0 25 0 10 0 838850977 854634496 25536 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25536 13086 16 0 208635 0
vsize: 834604
[startup+810.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 75083 53 0 0 25 0 10 0 838850977 854634496 25561 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25561 13086 16 0 208635 0
vsize: 834604
[startup+820.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 75992 53 0 0 25 0 10 0 838850977 854634496 25586 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25586 13086 16 0 208635 0
vsize: 834604
[startup+830.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 76901 54 0 0 25 0 10 0 838850977 854634496 25611 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25611 13086 16 0 208635 0
vsize: 834604
[startup+840.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 77815 54 0 0 25 0 10 0 838850977 854634496 25633 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208651 25633 13086 16 0 208635 0
vsize: 834604
[startup+850.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 78723 54 0 0 25 0 10 0 838850977 854634496 25658 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25658 13086 16 0 208635 0
vsize: 834604
[startup+860.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 79631 55 0 0 25 0 10 0 838850977 854634496 25683 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25683 13086 16 0 208635 0
vsize: 834604
[startup+870.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 80539 55 0 0 25 0 10 0 838850977 854634496 25707 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25707 13086 16 0 208635 0
vsize: 834604
[startup+880.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 81445 56 0 0 24 0 10 0 838850977 854634496 25731 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25731 13086 16 0 208635 0
vsize: 834604
[startup+890.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 82357 56 0 0 25 0 10 0 838850977 854634496 25753 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25753 13086 16 0 208635 0
vsize: 834604
[startup+900.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 83263 56 0 0 25 0 10 0 838850977 854634496 25777 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25777 13086 16 0 208635 0
vsize: 834604
[startup+910.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 84168 58 0 0 20 0 10 0 838850977 854634496 25800 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25800 13086 16 0 208635 0
vsize: 834604
[startup+920.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 85074 58 0 0 19 0 10 0 838850977 854634496 25824 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25824 13086 16 0 208635 0
vsize: 834604
[startup+930.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 85984 58 0 0 24 0 10 0 838850977 854634496 25846 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25846 13086 16 0 208635 0
vsize: 834604
[startup+940.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 86889 59 0 0 21 0 10 0 838850977 854634496 25869 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25869 13086 16 0 208635 0
vsize: 834604
[startup+950.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 87794 59 0 0 20 0 10 0 838850977 854634496 25892 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25892 13086 16 0 208635 0
vsize: 834604
[startup+960.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 88695 60 0 0 19 0 10 0 838850977 854634496 25920 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25920 13086 16 0 208635 0
vsize: 834604
[startup+970.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 89606 60 0 0 24 0 10 0 838850977 854634496 25942 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25942 13086 16 0 208635 0
vsize: 834604
[startup+980.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 90510 61 0 0 22 0 10 0 838850977 854634496 25971 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25971 13086 16 0 208635 0
vsize: 834604
[startup+990.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 91414 61 0 0 19 0 10 0 838850977 854634496 25997 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 25997 13086 16 0 208635 0
vsize: 834604
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 92324 61 0 0 24 0 10 0 838850977 854634496 26022 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26022 13086 16 0 208635 0
vsize: 834604
[startup+1010.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 93228 62 0 0 22 0 10 0 838850977 854634496 26044 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26044 13086 16 0 208635 0
vsize: 834604
[startup+1020.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 94131 62 0 0 20 0 10 0 838850977 854634496 26067 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26067 13086 16 0 208635 0
vsize: 834604
[startup+1030.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 95034 63 0 0 19 0 10 0 838850977 854634496 26100 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26100 13086 16 0 208635 0
vsize: 834604
[startup+1040.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 95943 63 0 0 23 0 10 0 838850977 854634496 26120 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26120 13086 16 0 208635 0
vsize: 834604
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 96845 63 0 0 20 0 10 0 838850977 854634496 26148 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26148 13086 16 0 208635 0
vsize: 834604
[startup+1060.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 97747 64 0 0 19 0 10 0 838850977 854634496 26175 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26175 13086 16 0 208635 0
vsize: 834604
[startup+1070.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 98655 64 0 0 23 0 10 0 838850977 854634496 26198 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26198 13086 16 0 208635 0
vsize: 834604
[startup+1080.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 99555 64 0 0 20 0 10 0 838850977 854634496 26222 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26222 13086 16 0 208635 0
vsize: 834604
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 100461 65 0 0 24 0 10 0 838850977 854634496 26248 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26248 13086 16 0 208635 0
vsize: 834604
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 101363 65 0 0 21 0 10 0 838850977 854634496 26273 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26273 13086 16 0 208635 0
vsize: 834604
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 102265 65 0 0 20 0 10 0 838850977 854634496 26298 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26298 13086 16 0 208635 0
vsize: 834604
[startup+1120.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 103172 65 0 0 24 0 10 0 838850977 854634496 26321 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26321 13086 16 0 208635 0
vsize: 834604
[startup+1130.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 104073 66 0 0 21 0 10 0 838850977 854634496 26346 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26346 13086 16 0 208635 0
vsize: 834604
[startup+1140.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 104973 66 0 0 18 0 10 0 838850977 854634496 26369 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26369 13086 16 0 208635 0
vsize: 834604
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 105879 67 0 0 21 0 10 0 838850977 854634496 26389 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26389 13086 16 0 208635 0
vsize: 834604
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 106778 67 0 0 19 0 10 0 838850977 854634496 26417 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26417 13086 16 0 208635 0
vsize: 834604
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 107684 67 0 0 23 0 10 0 838850977 854634496 26439 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26439 13086 16 0 208635 0
vsize: 834604
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 108584 67 0 0 21 0 10 0 838850977 854634496 26461 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26461 13086 16 0 208635 0
vsize: 834604
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) S 13496 1586 1585 0 -1 0 18014 0 1 0 109485 68 0 0 23 0 10 0 838850977 854634496 26487 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26487 13086 16 0 208635 0
vsize: 834604
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 110384 68 0 0 21 0 10 0 838850977 854634496 26511 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26511 13086 16 0 208635 0
vsize: 834604
[startup+1210.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 111278 69 0 0 18 0 10 0 838850977 854634496 26535 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26535 13086 16 0 208635 0
vsize: 834604
[startup+1220.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 112182 69 0 0 22 0 10 0 838850977 854634496 26556 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26556 13086 16 0 208635 0
vsize: 834604
[startup+1230.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 113080 70 0 0 19 0 10 0 838850977 854634496 26577 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26577 13086 16 0 208635 0
vsize: 834604
[startup+1240.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 113984 70 0 0 21 0 10 0 838850977 854634496 26596 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26596 13086 16 0 208635 0
vsize: 834604
[startup+1250.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 114880 71 0 0 18 0 10 0 838850977 854634496 26616 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26616 13086 16 0 208635 0
vsize: 834604
[startup+1260.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 115785 71 0 0 22 0 10 0 838850977 854634496 26648 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26648 13086 16 0 208635 0
vsize: 834604
[startup+1270.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 116682 71 0 0 19 0 10 0 838850977 854634496 26665 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26665 13086 16 0 208635 0
vsize: 834604
[startup+1280.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 117587 72 0 0 23 0 10 0 838850977 854634496 26700 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26700 13086 16 0 208635 0
vsize: 834604
[startup+1290.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 118485 73 0 0 20 0 10 0 838850977 854634496 26722 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26722 13086 16 0 208635 0
vsize: 834604
[startup+1300.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 119391 73 0 0 23 0 10 0 838850977 854634496 26749 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26749 13086 16 0 208635 0
vsize: 834604
[startup+1310.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13506
Raw data (stat): 13497 (java) R 13496 1586 1585 0 -1 0 18014 0 1 0 120293 73 0 0 20 0 10 0 838850977 854634496 26769 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208651 26769 13086 16 0 208635 0
vsize: 834604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.29 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 13508
Raw data (stat): 13497 (java) Z 13496 1586 1585 0 -1 1036 18014 10031 1 0 120299 78 10858 48 22 0 1 0 838850977 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.29
CPU time (s): 1312.85
CPU user time (s): 1311.58
CPU system time (s): 1.26781
CPU usage (%): 100.195
Max. virtual memory (Kb): 835324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####