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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
MD5SUM	a7433a26e92d47a3d337e0c2b98bd409
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	265438953471
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.57861
Number of variables	7611
Total number of constraints	3459
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	626
Number of constraints which are nor clauses,nor cardinality constraints	2690
Minimum length of a constraint	1
Maximum length of a constraint	2047
Trace number 14348

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-20 23:39:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20211 boxname=wulflinc13 idbench=1555 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a7433a26e92d47a3d337e0c2b98bd409  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-roll3000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-roll3000.opb
IDLAUNCH: 20211
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        546072 kB
Buffers:         33660 kB
Cached:         431936 kB
SwapCached:          0 kB
Active:          97992 kB
Inactive:       370384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        545820 kB
SwapTotal:     2097136 kB
SwapFree:      2097036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6808 kB
Slab:            14588 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 00:00:07 (client local time) WITH STATUS 143 IN 1242 SECONDS
stats: 20211 7 1242 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-roll3000.opb
c reading problem 
c [nbvar=7611]
c [nbconstr=3459]
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
c time 25.011
c #vars     7611
c #clauses  3037
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
#### 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.54 0.85 0.90 2/54 26319
Raw data (stat): 26319 (runsolver) R 26318 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482250098 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99998 s]
Raw data (loadavg): 0.68 0.87 0.91 2/63 26328
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18001 0 1 0 868 38 0 0 25 0 10 0 482250098 856424448 19979 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209088 19979 13073 16 0 209072 0
vsize: 836352
[startup+20.001 s]
Raw data (loadavg): 0.73 0.88 0.91 2/63 26328
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18001 0 1 0 1768 38 0 0 25 0 10 0 482250098 856260608 20487 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209048 20487 13073 16 0 209032 0
vsize: 836192
[startup+30.0067 s]
Raw data (loadavg): 0.85 0.90 0.91 4/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18072 0 1 0 2570 41 0 0 24 0 11 0 482250098 859832320 25269 4294967295 134512640 134569956 3221224400 3221213672 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209920 25269 13073 16 0 209904 0
vsize: 839680
[startup+40.0078 s]
Raw data (loadavg): 0.87 0.90 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18073 0 1 0 3542 41 0 0 25 0 11 0 482250098 859144192 25128 4294967295 134512640 134569956 3221224400 3221214696 1131403049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209752 25128 13073 16 0 209736 0
vsize: 839008
[startup+50.0081 s]
Raw data (loadavg): 0.89 0.90 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18073 0 1 0 4536 41 0 0 25 0 11 0 482250098 858329088 24933 4294967295 134512640 134569956 3221224400 3221214696 1131403013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 24933 13073 16 0 209537 0
vsize: 838212
[startup+60.0076 s]
Raw data (loadavg): 0.91 0.91 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18074 0 1 0 5526 42 0 0 25 0 11 0 482250098 858329088 24948 4294967295 134512640 134569956 3221224400 3221214848 1131255459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 24948 13073 16 0 209537 0
vsize: 838212
[startup+70.0089 s]
Raw data (loadavg): 0.92 0.91 0.91 3/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 6501 42 0 0 25 0 11 0 482250098 858329088 24967 4294967295 134512640 134569956 3221224400 3221214896 1131358583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 24967 13073 16 0 209537 0
vsize: 838212
[startup+80.009 s]
Raw data (loadavg): 0.93 0.91 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 7487 43 0 0 25 0 11 0 482250098 858329088 24972 4294967295 134512640 134569956 3221224400 3221214800 1131303928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 24972 13073 16 0 209537 0
vsize: 838212
[startup+90.0097 s]
Raw data (loadavg): 0.94 0.91 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 8473 43 0 0 25 0 11 0 482250098 858329088 24977 4294967295 134512640 134569956 3221224400 3221214768 1131295415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 24977 13073 16 0 209537 0
vsize: 838212
[startup+100.01 s]
Raw data (loadavg): 0.95 0.92 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 9459 43 0 0 25 0 11 0 482250098 858329088 25009 4294967295 134512640 134569956 3221224400 3221214756 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25009 13073 16 0 209537 0
vsize: 838212
[startup+110.011 s]
Raw data (loadavg): 0.96 0.92 0.91 2/64 26329
Raw data (stat): 26319 (java) S 26318 30701 30700 0 -1 0 18075 0 1 0 10448 44 0 0 25 0 11 0 482250098 858329088 25034 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25034 13073 16 0 209537 0
vsize: 838212
[startup+120.012 s]
Raw data (loadavg): 0.96 0.92 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 11438 44 0 0 25 0 11 0 482250098 858329088 25049 4294967295 134512640 134569956 3221224400 3221214720 1131253268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25049 13073 16 0 209537 0
vsize: 838212
[startup+130.012 s]
Raw data (loadavg): 0.97 0.92 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 12427 45 0 0 25 0 11 0 482250098 858329088 25097 4294967295 134512640 134569956 3221224400 3221214720 1131414341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25097 13073 16 0 209537 0
vsize: 838212
[startup+140.012 s]
Raw data (loadavg): 0.97 0.92 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 13418 45 0 0 25 0 11 0 482250098 858329088 25098 4294967295 134512640 134569956 3221224400 3221214848 1131255181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25098 13073 16 0 209537 0
vsize: 838212
[startup+150.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18075 0 1 0 14409 45 0 0 25 0 11 0 482250098 858329088 25134 4294967295 134512640 134569956 3221224400 3221214552 1131245632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25134 13073 16 0 209537 0
vsize: 838212
[startup+160.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 15389 46 0 0 25 0 11 0 482250098 858329088 25140 4294967295 134512640 134569956 3221224400 3221214720 1131295415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25140 13073 16 0 209537 0
vsize: 838212
[startup+170.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 16376 46 0 0 25 0 11 0 482250098 858329088 25141 4294967295 134512640 134569956 3221224400 3221214808 1131298431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25141 13073 16 0 209537 0
vsize: 838212
[startup+180.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 17366 47 0 0 25 0 11 0 482250098 858329088 25154 4294967295 134512640 134569956 3221224400 3221214848 1131201809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25154 13073 16 0 209537 0
vsize: 838212
[startup+190.014 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 18354 47 0 0 25 0 11 0 482250098 858329088 25184 4294967295 134512640 134569956 3221224400 3221214768 1131436541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25184 13073 16 0 209537 0
vsize: 838212
[startup+200.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 19342 47 0 0 25 0 11 0 482250098 858329088 25184 4294967295 134512640 134569956 3221224400 3221214680 1131385192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25184 13073 16 0 209537 0
vsize: 838212
[startup+210.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 20327 48 0 0 25 0 11 0 482250098 858329088 25205 4294967295 134512640 134569956 3221224400 3221214640 1131422096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25205 13073 16 0 209537 0
vsize: 838212
[startup+220.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 21316 48 0 0 25 0 11 0 482250098 858329088 25235 4294967295 134512640 134569956 3221224400 3221214768 1131435043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25235 13073 16 0 209537 0
vsize: 838212
[startup+230.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 22305 49 0 0 25 0 11 0 482250098 858329088 25244 4294967295 134512640 134569956 3221224400 3221214896 1131358512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25244 13073 16 0 209537 0
vsize: 838212
[startup+240.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 23297 49 0 0 25 0 11 0 482250098 858329088 25292 4294967295 134512640 134569956 3221224400 3221214552 1131245713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 25292 13073 16 0 209537 0
vsize: 838212
[startup+250.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 24290 49 0 0 25 0 11 0 482250098 858329088 25292 4294967295 134512640 134569956 3221224400 3221214616 1131469556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25292 13073 16 0 209537 0
vsize: 838212
[startup+260.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 25279 49 0 0 25 0 11 0 482250098 858329088 25293 4294967295 134512640 134569956 3221224400 3221214744 1131401933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25293 13073 16 0 209537 0
vsize: 838212
[startup+270.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 26271 49 0 0 25 0 11 0 482250098 858329088 25329 4294967295 134512640 134569956 3221224400 3221214672 1131520319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25329 13073 16 0 209537 0
vsize: 838212
[startup+280.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 27264 49 0 0 25 0 11 0 482250098 858329088 25331 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25331 13073 16 0 209537 0
vsize: 838212
[startup+290.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 28253 49 0 0 25 0 11 0 482250098 858329088 25331 4294967295 134512640 134569956 3221224400 3221214552 1131392885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25331 13073 16 0 209537 0
vsize: 838212
[startup+300.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 29237 49 0 0 25 0 11 0 482250098 858329088 25331 4294967295 134512640 134569956 3221224400 3221214848 1131255526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25331 13073 16 0 209537 0
vsize: 838212
[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 3/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 30225 50 0 0 25 0 11 0 482250098 858329088 25387 4294967295 134512640 134569956 3221224400 3221214672 1131520186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25387 13073 16 0 209537 0
vsize: 838212
[startup+320.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 31207 50 0 0 25 0 11 0 482250098 858329088 25387 4294967295 134512640 134569956 3221224400 3221214608 1131245603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25387 13073 16 0 209537 0
vsize: 838212
[startup+330.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 32195 50 0 0 25 0 11 0 482250098 858329088 25396 4294967295 134512640 134569956 3221224400 3221214736 1131166169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25396 13073 16 0 209537 0
vsize: 838212
[startup+340.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 33184 50 0 0 25 0 11 0 482250098 858329088 25424 4294967295 134512640 134569956 3221224400 3221214816 1131433832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25424 13073 16 0 209537 0
vsize: 838212
[startup+350.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 34158 50 0 0 25 0 11 0 482250098 858329088 25452 4294967295 134512640 134569956 3221224400 3221214664 1131545595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25452 13073 16 0 209537 0
vsize: 838212
[startup+360.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 35142 50 0 0 24 0 11 0 482250098 858329088 25522 4294967295 134512640 134569956 3221224400 3221214768 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25522 13073 16 0 209537 0
vsize: 838212
[startup+370.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 36116 50 0 0 25 0 11 0 482250098 858329088 25528 4294967295 134512640 134569956 3221224400 3221214848 1131255425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25528 13073 16 0 209537 0
vsize: 838212
[startup+380.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 37090 51 0 0 25 0 11 0 482250098 858329088 25529 4294967295 134512640 134569956 3221224400 3221214816 1131433875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25529 13073 16 0 209537 0
vsize: 838212
[startup+390.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 38061 51 0 0 25 0 11 0 482250098 858329088 25652 4294967295 134512640 134569956 3221224400 3221214768 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25652 13073 16 0 209537 0
vsize: 838212
[startup+400.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 39038 51 0 0 25 0 11 0 482250098 858329088 25698 4294967295 134512640 134569956 3221224400 3221214848 1131380576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25698 13073 16 0 209537 0
vsize: 838212
[startup+410.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 40008 51 0 0 25 0 11 0 482250098 858329088 25767 4294967295 134512640 134569956 3221224400 3221214744 1131293894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25767 13073 16 0 209537 0
vsize: 838212
[startup+420.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 40993 51 0 0 25 0 11 0 482250098 858329088 25786 4294967295 134512640 134569956 3221224400 3221214848 1131255342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25786 13073 16 0 209537 0
vsize: 838212
[startup+430.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 41971 51 0 0 25 0 11 0 482250098 858329088 25822 4294967295 134512640 134569956 3221224400 3221214848 1131201853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25822 13073 16 0 209537 0
vsize: 838212
[startup+440.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) S 26318 30701 30700 0 -1 0 18076 0 1 0 42944 52 0 0 25 0 11 0 482250098 858329088 25831 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25831 13073 16 0 209537 0
vsize: 838212
[startup+450.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 43924 52 0 0 25 0 11 0 482250098 858329088 25951 4294967295 134512640 134569956 3221224400 3221214800 1131303942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25951 13073 16 0 209537 0
vsize: 838212
[startup+460.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 44906 52 0 0 25 0 11 0 482250098 858329088 25991 4294967295 134512640 134569956 3221224400 3221214840 1131234994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 25991 13073 16 0 209537 0
vsize: 838212
[startup+470.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 45893 52 0 0 25 0 11 0 482250098 858329088 26012 4294967295 134512640 134569956 3221224400 3221214848 1131255207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26012 13073 16 0 209537 0
vsize: 838212
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 46878 52 0 0 25 0 11 0 482250098 858329088 26017 4294967295 134512640 134569956 3221224400 3221214848 1131255174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26017 13073 16 0 209537 0
vsize: 838212
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 47866 53 0 0 25 0 11 0 482250098 858329088 26034 4294967295 134512640 134569956 3221224400 3221214844 1131234924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26034 13073 16 0 209537 0
vsize: 838212
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 48845 53 0 0 25 0 11 0 482250098 858329088 26052 4294967295 134512640 134569956 3221224400 3221214896 1131359164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26052 13073 16 0 209537 0
vsize: 838212
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 49822 54 0 0 24 0 11 0 482250098 858329088 26108 4294967295 134512640 134569956 3221224400 3221214608 1131245738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26108 13073 16 0 209537 0
vsize: 838212
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 50799 54 0 0 25 0 11 0 482250098 858329088 26151 4294967295 134512640 134569956 3221224400 3221214768 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26151 13073 16 0 209537 0
vsize: 838212
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 51776 54 0 0 25 0 11 0 482250098 858329088 26222 4294967295 134512640 134569956 3221224400 3221214848 1131255516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26222 13073 16 0 209537 0
vsize: 838212
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 52758 54 0 0 25 0 11 0 482250098 858329088 26237 4294967295 134512640 134569956 3221224400 3221214892 1131327264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26237 13073 16 0 209537 0
vsize: 838212
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 53742 54 0 0 25 0 11 0 482250098 858329088 26293 4294967295 134512640 134569956 3221224400 3221214768 1131295331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26293 13073 16 0 209537 0
vsize: 838212
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 54732 54 0 0 24 0 11 0 482250098 858329088 26344 4294967295 134512640 134569956 3221224400 3221214768 1131295245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26344 13073 16 0 209537 0
vsize: 838212
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 55717 55 0 0 25 0 11 0 482250098 858329088 26356 4294967295 134512640 134569956 3221224400 3221214840 1131234994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26356 13073 16 0 209537 0
vsize: 838212
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 56702 55 0 0 25 0 11 0 482250098 858329088 26368 4294967295 134512640 134569956 3221224400 3221214848 1131201953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26368 13073 16 0 209537 0
vsize: 838212
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 57683 55 0 0 25 0 11 0 482250098 858329088 26406 4294967295 134512640 134569956 3221224400 3221214848 1131255509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26406 13073 16 0 209537 0
vsize: 838212
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 58666 55 0 0 25 0 11 0 482250098 858329088 26442 4294967295 134512640 134569956 3221224400 3221214896 1131358262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26442 13073 16 0 209537 0
vsize: 838212
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 59651 55 0 0 25 0 11 0 482250098 858329088 26442 4294967295 134512640 134569956 3221224400 3221214768 1131295357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26442 13073 16 0 209537 0
vsize: 838212
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 60630 55 0 0 25 0 11 0 482250098 858329088 26484 4294967295 134512640 134569956 3221224400 3221214768 1131295273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26484 13073 16 0 209537 0
vsize: 838212
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 61610 56 0 0 25 0 11 0 482250098 858329088 26513 4294967295 134512640 134569956 3221224400 3221214896 1131358497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26513 13073 16 0 209537 0
vsize: 838212
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 62592 56 0 0 25 0 11 0 482250098 858329088 26533 4294967295 134512640 134569956 3221224400 3221214848 1131255516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26533 13073 16 0 209537 0
vsize: 838212
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 63580 56 0 0 25 0 11 0 482250098 858329088 26621 4294967295 134512640 134569956 3221224400 3221214744 1131294578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26621 13073 16 0 209537 0
vsize: 838212
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 64571 56 0 0 25 0 11 0 482250098 858329088 26624 4294967295 134512640 134569956 3221224400 3221214848 1131380759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26624 13073 16 0 209537 0
vsize: 838212
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 65563 57 0 0 25 0 11 0 482250098 858329088 26630 4294967295 134512640 134569956 3221224400 3221214664 1131546154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26630 13073 16 0 209537 0
vsize: 838212
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 66558 57 0 0 25 0 11 0 482250098 858329088 26637 4294967295 134512640 134569956 3221224400 3221214848 1131255678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26637 13073 16 0 209537 0
vsize: 838212
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 67543 57 0 0 25 0 11 0 482250098 858329088 26652 4294967295 134512640 134569956 3221224400 3221214848 1131255403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26652 13073 16 0 209537 0
vsize: 838212
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 68530 57 0 0 25 0 11 0 482250098 858329088 26656 4294967295 134512640 134569956 3221224400 3221214848 1131358277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26656 13073 16 0 209537 0
vsize: 838212
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 69516 57 0 0 25 0 11 0 482250098 858329088 26659 4294967295 134512640 134569956 3221224400 3221214844 1131255116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26659 13073 16 0 209537 0
vsize: 838212
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 70498 58 0 0 25 0 11 0 482250098 858329088 26692 4294967295 134512640 134569956 3221224400 3221214800 1131255497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26692 13073 16 0 209537 0
vsize: 838212
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 71483 58 0 0 24 0 11 0 482250098 858329088 26702 4294967295 134512640 134569956 3221224400 3221214800 1131255142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26702 13073 16 0 209537 0
vsize: 838212
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 72470 58 0 0 25 0 11 0 482250098 858329088 26752 4294967295 134512640 134569956 3221224400 3221214632 1131547245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 26752 13073 16 0 209537 0
vsize: 838212
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 73464 58 0 0 25 0 11 0 482250098 858329088 26752 4294967295 134512640 134569956 3221224400 3221214632 1131545512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26752 13073 16 0 209537 0
vsize: 838212
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 74458 58 0 0 25 0 11 0 482250098 858329088 26753 4294967295 134512640 134569956 3221224400 3221214792 1131234986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26753 13073 16 0 209537 0
vsize: 838212
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 75450 58 0 0 25 0 11 0 482250098 858329088 26759 4294967295 134512640 134569956 3221224400 3221214576 1131245783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26759 13073 16 0 209537 0
vsize: 838212
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 76445 58 0 0 25 0 11 0 482250098 858329088 26785 4294967295 134512640 134569956 3221224400 3221214720 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26785 13073 16 0 209537 0
vsize: 838212
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 77438 59 0 0 25 0 11 0 482250098 858329088 26785 4294967295 134512640 134569956 3221224400 3221214792 1131234986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26785 13073 16 0 209537 0
vsize: 838212
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 78430 59 0 0 25 0 11 0 482250098 858329088 26800 4294967295 134512640 134569956 3221224400 3221214720 1131295573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26800 13073 16 0 209537 0
vsize: 838212
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 79417 59 0 0 24 0 11 0 482250098 858329088 26805 4294967295 134512640 134569956 3221224400 3221214720 1131295357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26805 13073 16 0 209537 0
vsize: 838212
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 80403 59 0 0 25 0 11 0 482250098 858329088 26813 4294967295 134512640 134569956 3221224400 3221214800 1131255509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26813 13073 16 0 209537 0
vsize: 838212
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 81389 59 0 0 25 0 11 0 482250098 858329088 26817 4294967295 134512640 134569956 3221224400 3221214424 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26817 13073 16 0 209537 0
vsize: 838212
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 82375 59 0 0 25 0 11 0 482250098 858329088 26844 4294967295 134512640 134569956 3221224400 3221214672 1131537696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209553 26844 13073 16 0 209537 0
vsize: 838212
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 83359 59 0 0 24 0 11 0 482250098 858329088 26877 4294967295 134512640 134569956 3221224400 3221214800 1131255516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26877 13073 16 0 209537 0
vsize: 838212
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 84342 60 0 0 24 0 11 0 482250098 858329088 26878 4294967295 134512640 134569956 3221224400 3221214576 1131245900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26878 13073 16 0 209537 0
vsize: 838212
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 85324 60 0 0 25 0 11 0 482250098 858329088 26882 4294967295 134512640 134569956 3221224400 3221214720 1131295245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26882 13073 16 0 209537 0
vsize: 838212
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 86301 60 0 0 25 0 11 0 482250098 858329088 26935 4294967295 134512640 134569956 3221224400 3221214800 1131255516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26935 13073 16 0 209537 0
vsize: 838212
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 87277 60 0 0 24 0 11 0 482250098 858329088 26978 4294967295 134512640 134569956 3221224400 3221214720 1131295583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 26978 13073 16 0 209537 0
vsize: 838212
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 88255 60 0 0 25 0 11 0 482250098 858329088 27018 4294967295 134512640 134569956 3221224400 3221214720 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27018 13073 16 0 209537 0
vsize: 838212
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 89241 60 0 0 25 0 11 0 482250098 858329088 27037 4294967295 134512640 134569956 3221224400 3221214800 1131202138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27037 13073 16 0 209537 0
vsize: 838212
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 90236 60 0 0 25 0 11 0 482250098 858329088 27078 4294967295 134512640 134569956 3221224400 3221214720 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27078 13073 16 0 209537 0
vsize: 838212
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 91231 60 0 0 25 0 11 0 482250098 858329088 27091 4294967295 134512640 134569956 3221224400 3221214728 1131584663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27091 13073 16 0 209537 0
vsize: 838212
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 92218 61 0 0 25 0 11 0 482250098 858329088 27097 4294967295 134512640 134569956 3221224400 3221214792 1131235001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27097 13073 16 0 209537 0
vsize: 838212
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 93201 61 0 0 25 0 11 0 482250098 858329088 27098 4294967295 134512640 134569956 3221224400 3221214688 1131294522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27098 13073 16 0 209537 0
vsize: 838212
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 94183 61 0 0 25 0 11 0 482250098 858329088 27111 4294967295 134512640 134569956 3221224400 3221214688 1131293918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27111 13073 16 0 209537 0
vsize: 838212
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 95169 61 0 0 25 0 11 0 482250098 858329088 27163 4294967295 134512640 134569956 3221224400 3221214624 1131547245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27163 13073 16 0 209537 0
vsize: 838212
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 96161 61 0 0 25 0 11 0 482250098 858329088 27182 4294967295 134512640 134569956 3221224400 3221214836 1131202024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27182 13073 16 0 209537 0
vsize: 838212
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 97146 61 0 0 25 0 11 0 482250098 858329088 27214 4294967295 134512640 134569956 3221224400 3221214656 1131625877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27214 13073 16 0 209537 0
vsize: 838212
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 98127 62 0 0 25 0 11 0 482250098 858329088 27214 4294967295 134512640 134569956 3221224400 3221214792 1131255140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27214 13073 16 0 209537 0
vsize: 838212
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 99100 62 0 0 25 0 11 0 482250098 858329088 27269 4294967295 134512640 134569956 3221224400 3221214816 1131327308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27269 13073 16 0 209537 0
vsize: 838212
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 100084 62 0 0 25 0 11 0 482250098 858329088 27330 4294967295 134512640 134569956 3221224400 3221214712 1131295599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27330 13073 16 0 209537 0
vsize: 838212
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 101070 62 0 0 25 0 11 0 482250098 858329088 27375 4294967295 134512640 134569956 3221224400 3221214688 1131293815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27375 13073 16 0 209537 0
vsize: 838212
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 102065 62 0 0 25 0 11 0 482250098 858329088 27376 4294967295 134512640 134569956 3221224400 3221214688 1131293926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27376 13073 16 0 209537 0
vsize: 838212
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 103060 62 0 0 25 0 11 0 482250098 858329088 27379 4294967295 134512640 134569956 3221224400 3221214792 1131201792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27379 13073 16 0 209537 0
vsize: 838212
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 104053 62 0 0 25 0 11 0 482250098 858329088 27380 4294967295 134512640 134569956 3221224400 3221214688 1131293843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27380 13073 16 0 209537 0
vsize: 838212
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 105046 63 0 0 25 0 11 0 482250098 858329088 27410 4294967295 134512640 134569956 3221224400 3221214792 1131201792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27410 13073 16 0 209537 0
vsize: 838212
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 106039 63 0 0 25 0 11 0 482250098 858329088 27419 4294967295 134512640 134569956 3221224400 3221214480 1078032321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27419 13073 16 0 209537 0
vsize: 838212
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 107034 63 0 0 25 0 11 0 482250098 858329088 27432 4294967295 134512640 134569956 3221224400 3221214568 1131245703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27432 13073 16 0 209537 0
vsize: 838212
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 108025 63 0 0 25 0 11 0 482250098 858329088 27433 4294967295 134512640 134569956 3221224400 3221214688 1131293945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27433 13073 16 0 209537 0
vsize: 838212
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 109005 63 0 0 25 0 11 0 482250098 858329088 27445 4294967295 134512640 134569956 3221224400 3221214792 1131255416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27445 13073 16 0 209537 0
vsize: 838212
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 109987 63 0 0 25 0 11 0 482250098 858329088 27459 4294967295 134512640 134569956 3221224400 3221214792 1131201824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27459 13073 16 0 209537 0
vsize: 838212
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 110970 63 0 0 25 0 11 0 482250098 858329088 27505 4294967295 134512640 134569956 3221224400 3221214792 1131255492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27505 13073 16 0 209537 0
vsize: 838212
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 111965 64 0 0 25 0 11 0 482250098 858329088 27507 4294967295 134512640 134569956 3221224400 3221214776 1131433920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27507 13073 16 0 209537 0
vsize: 838212
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 112959 64 0 0 25 0 11 0 482250098 858329088 27509 4294967295 134512640 134569956 3221224400 3221214776 1131432760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27509 13073 16 0 209537 0
vsize: 838212
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 113951 64 0 0 25 0 11 0 482250098 858329088 27520 4294967295 134512640 134569956 3221224400 3221214712 1131295415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27520 13073 16 0 209537 0
vsize: 838212
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 114936 64 0 0 25 0 11 0 482250098 858329088 27520 4294967295 134512640 134569956 3221224400 3221214792 1131277261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27520 13073 16 0 209537 0
vsize: 838212
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 115919 64 0 0 25 0 11 0 482250098 858329088 27522 4294967295 134512640 134569956 3221224400 3221214688 1131293904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27522 13073 16 0 209537 0
vsize: 838212
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 116906 65 0 0 25 0 11 0 482250098 858329088 27606 4294967295 134512640 134569956 3221224400 3221214568 1131245867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27606 13073 16 0 209537 0
vsize: 838212
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 117899 65 0 0 25 0 11 0 482250098 858329088 27619 4294967295 134512640 134569956 3221224400 3221214792 1131255342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27619 13073 16 0 209537 0
vsize: 838212
[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 118893 65 0 0 25 0 11 0 482250098 858329088 27622 4294967295 134512640 134569956 3221224400 3221214712 1131295493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27622 13073 16 0 209537 0
vsize: 838212
[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 26329
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 119875 65 0 0 25 0 11 0 482250098 858329088 27627 4294967295 134512640 134569956 3221224400 3221214712 1131295348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27627 13073 16 0 209537 0
vsize: 838212
[startup+1230.07 s]
Raw data (loadavg): 0.99 0.97 0.91 3/66 26361
Raw data (stat): 26319 (java) R 26318 30701 30700 0 -1 0 18076 0 1 0 120850 71 0 0 25 0 11 0 482250098 858329088 27632 4294967295 134512640 134569956 3221224400 3221214688 1131293961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209553 27632 13073 16 0 209537 0
vsize: 838212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 26365
Raw data (stat): 26319 (java) Z 26318 30701 30700 0 -1 1036 18076 12745 1 0 120852 76 3231 39 17 0 1 0 482250098 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): 1230.17
CPU time (s): 1242
CPU user time (s): 1240.84
CPU system time (s): 1.15982
CPU usage (%): 100.962
Max. virtual memory (Kb): 839680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####