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/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
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	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 29989

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 13:29:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21391 boxname=wulflinc11 idbench=1379 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 21391
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        827048 kB
Buffers:         32884 kB
Cached:         153888 kB
SwapCached:        772 kB
Active:          68936 kB
Inactive:       119884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826796 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:50:38 (client local time) WITH STATUS 143 IN 1237.1 SECONDS
stats: 21391 7 1237.1 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/wulflinc11/normalized-mps-v2-13-7-pp08a.opb
c reading problem ... done. Time 6.821 ms.
c #vars     3584
c #constraints  200
c starts	: 8
c conflicts	: 4404
c decisions	: 9123
c propagations	: 30680
c inspects	: 3402113
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4404
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1239.195
#### 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.85 0.97 0.99 2/54 7782
Raw data (stat): 7782 (runsolver) R 7781 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781024161 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.0003 s]
Raw data (loadavg): 1.10 1.02 1.01 3/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18071 0 1 0 759 42 0 0 25 0 11 0 781024161 857477120 20306 4294967295 134512640 134569956 3221224368 3221214624 1131317660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209345 20306 13086 16 0 209329 0
vsize: 837380
[startup+20.0016 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18080 0 1 0 1575 43 0 0 25 0 11 0 781024161 861335552 22352 4294967295 134512640 134569956 3221224368 3221214600 1131257349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 22352 13086 16 0 210271 0
vsize: 841148
[startup+30.0023 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 2521 43 0 0 25 0 11 0 781024161 859684864 22488 4294967295 134512640 134569956 3221224368 3221214616 1131407673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 22488 13086 16 0 209868 0
vsize: 839536
[startup+40.0016 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 3470 44 0 0 25 0 11 0 781024161 859684864 22752 4294967295 134512640 134569956 3221224368 3221214616 1131393313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 22752 13086 16 0 209868 0
vsize: 839536
[startup+50.0029 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 4408 44 0 0 25 0 11 0 781024161 859684864 22965 4294967295 134512640 134569956 3221224368 3221214496 1131431469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 22965 13086 16 0 209868 0
vsize: 839536
[startup+60.0037 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 5339 44 0 0 25 0 11 0 781024161 859684864 23124 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 23124 13086 16 0 209868 0
vsize: 839536
[startup+70.005 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 6272 44 0 0 25 0 11 0 781024161 859684864 23305 4294967295 134512640 134569956 3221224368 3221214680 1131352881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 23305 13086 16 0 209868 0
vsize: 839536
[startup+80.0062 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 7207 45 0 0 25 0 11 0 781024161 859684864 23486 4294967295 134512640 134569956 3221224368 3221214680 1131353736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 23486 13086 16 0 209868 0
vsize: 839536
[startup+90.006 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 8143 45 0 0 25 0 11 0 781024161 859684864 23793 4294967295 134512640 134569956 3221224368 3221214584 1131333497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 23793 13086 16 0 209868 0
vsize: 839536
[startup+100.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 9088 46 0 0 25 0 11 0 781024161 859684864 23998 4294967295 134512640 134569956 3221224368 3221214680 1131353628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209884 23998 13086 16 0 209868 0
vsize: 839536
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 10040 46 0 0 25 0 11 0 781024161 859684864 24185 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24185 13086 16 0 209868 0
vsize: 839536
[startup+120.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 10991 46 0 0 25 0 11 0 781024161 859684864 24372 4294967295 134512640 134569956 3221224368 3221214680 1131350076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24372 13086 16 0 209868 0
vsize: 839536
[startup+130.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 11952 46 0 0 25 0 11 0 781024161 859684864 24502 4294967295 134512640 134569956 3221224368 3221213184 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24502 13086 16 0 209868 0
vsize: 839536
[startup+140.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 12912 47 0 0 25 0 11 0 781024161 859684864 24618 4294967295 134512640 134569956 3221224368 3221214680 1131353395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24618 13086 16 0 209868 0
vsize: 839536
[startup+150.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 13875 47 0 0 25 0 11 0 781024161 859684864 24741 4294967295 134512640 134569956 3221224368 3221214680 1131352862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24741 13086 16 0 209868 0
vsize: 839536
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 14843 48 0 0 25 0 11 0 781024161 859684864 24841 4294967295 134512640 134569956 3221224368 3221214584 1131334236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24841 13086 16 0 209868 0
vsize: 839536
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 15813 48 0 0 25 0 11 0 781024161 859684864 24945 4294967295 134512640 134569956 3221224368 3221214584 1131333713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 24945 13086 16 0 209868 0
vsize: 839536
[startup+180.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 16785 49 0 0 25 0 11 0 781024161 859684864 25017 4294967295 134512640 134569956 3221224368 3221214680 1131351465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25017 13086 16 0 209868 0
vsize: 839536
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 17756 49 0 0 25 0 11 0 781024161 859684864 25074 4294967295 134512640 134569956 3221224368 3221214600 1131257320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25074 13086 16 0 209868 0
vsize: 839536
[startup+200.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 18727 49 0 0 25 0 11 0 781024161 859684864 25166 4294967295 134512640 134569956 3221224368 3221214576 1131230984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25166 13086 16 0 209868 0
vsize: 839536
[startup+210.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 19703 50 0 0 25 0 11 0 781024161 859684864 25248 4294967295 134512640 134569956 3221224368 3221214520 1131414597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25248 13086 16 0 209868 0
vsize: 839536
[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 20683 51 0 0 25 0 11 0 781024161 859684864 25310 4294967295 134512640 134569956 3221224368 3221214616 1131407995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25310 13086 16 0 209868 0
vsize: 839536
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 21662 51 0 0 25 0 11 0 781024161 859684864 25362 4294967295 134512640 134569956 3221224368 3221214584 1131333695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25362 13086 16 0 209868 0
vsize: 839536
[startup+240.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 22642 51 0 0 25 0 11 0 781024161 859684864 25399 4294967295 134512640 134569956 3221224368 3221214680 1131350546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25399 13086 16 0 209868 0
vsize: 839536
[startup+250.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 23623 52 0 0 25 0 11 0 781024161 859684864 25450 4294967295 134512640 134569956 3221224368 3221214592 1131222200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25450 13086 16 0 209868 0
vsize: 839536
[startup+260.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 24602 52 0 0 25 0 11 0 781024161 859684864 25493 4294967295 134512640 134569956 3221224368 3221214520 1131413066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25493 13086 16 0 209868 0
vsize: 839536
[startup+270.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 25584 52 0 0 25 0 11 0 781024161 859684864 25540 4294967295 134512640 134569956 3221224368 3221214612 1131314880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25540 13086 16 0 209868 0
vsize: 839536
[startup+280.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 26564 53 0 0 25 0 11 0 781024161 859684864 25581 4294967295 134512640 134569956 3221224368 3221214616 1131407633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209884 25581 13086 16 0 209868 0
vsize: 839536
[startup+290.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 27542 54 0 0 24 0 11 0 781024161 859684864 25625 4294967295 134512640 134569956 3221224368 3221214584 1131333565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25625 13086 16 0 209868 0
vsize: 839536
[startup+300.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 28523 54 0 0 25 0 11 0 781024161 859684864 25666 4294967295 134512640 134569956 3221224368 3221214680 1131350436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25666 13086 16 0 209868 0
vsize: 839536
[startup+310.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 29504 54 0 0 25 0 11 0 781024161 859684864 25717 4294967295 134512640 134569956 3221224368 3221214584 1131333480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25717 13086 16 0 209868 0
vsize: 839536
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 30482 55 0 0 24 0 11 0 781024161 859684864 25760 4294967295 134512640 134569956 3221224368 3221214676 1131231424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25760 13086 16 0 209868 0
vsize: 839536
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 31462 55 0 0 25 0 11 0 781024161 859684864 25800 4294967295 134512640 134569956 3221224368 3221214592 1131333407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25800 13086 16 0 209868 0
vsize: 839536
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 32442 55 0 0 25 0 11 0 781024161 859684864 25841 4294967295 134512640 134569956 3221224368 3221214680 1131348678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25841 13086 16 0 209868 0
vsize: 839536
[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 33422 56 0 0 25 0 11 0 781024161 859684864 25889 4294967295 134512640 134569956 3221224368 3221214584 1131334012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25889 13086 16 0 209868 0
vsize: 839536
[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 34400 57 0 0 25 0 11 0 781024161 859684864 25936 4294967295 134512640 134569956 3221224368 3221214584 1131333726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25936 13086 16 0 209868 0
vsize: 839536
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 35379 57 0 0 25 0 11 0 781024161 859684864 25975 4294967295 134512640 134569956 3221224368 3221214584 1131334789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 25975 13086 16 0 209868 0
vsize: 839536
[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 36357 58 0 0 25 0 11 0 781024161 859684864 26020 4294967295 134512640 134569956 3221224368 3221214616 1131393168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26020 13086 16 0 209868 0
vsize: 839536
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 37336 58 0 0 25 0 11 0 781024161 859684864 26061 4294967295 134512640 134569956 3221224368 3221214680 1131353220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26061 13086 16 0 209868 0
vsize: 839536
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 38313 58 0 0 25 0 11 0 781024161 859684864 26118 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26118 13086 16 0 209868 0
vsize: 839536
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 39289 58 0 0 25 0 11 0 781024161 859684864 26166 4294967295 134512640 134569956 3221224368 3221214584 1131333674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26166 13086 16 0 209868 0
vsize: 839536
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 40265 59 0 0 25 0 11 0 781024161 859684864 26212 4294967295 134512640 134569956 3221224368 3221214680 1131354032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26212 13086 16 0 209868 0
vsize: 839536
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 41242 60 0 0 25 0 11 0 781024161 859684864 26279 4294967295 134512640 134569956 3221224368 3221214680 1131350076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26279 13086 16 0 209868 0
vsize: 839536
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 42221 60 0 0 25 0 11 0 781024161 859684864 26336 4294967295 134512640 134569956 3221224368 3221214520 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26336 13086 16 0 209868 0
vsize: 839536
[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 43201 60 0 0 25 0 11 0 781024161 859684864 26380 4294967295 134512640 134569956 3221224368 3221214584 1131333493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26380 13086 16 0 209868 0
vsize: 839536
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 44177 61 0 0 25 0 11 0 781024161 859684864 26425 4294967295 134512640 134569956 3221224368 3221214572 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26425 13086 16 0 209868 0
vsize: 839536
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 45157 61 0 0 25 0 11 0 781024161 859684864 26464 4294967295 134512640 134569956 3221224368 3221214680 1131353051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26464 13086 16 0 209868 0
vsize: 839536
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 46136 62 0 0 25 0 11 0 781024161 859684864 26517 4294967295 134512640 134569956 3221224368 3221214672 1131231414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26517 13086 16 0 209868 0
vsize: 839536
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 47116 62 0 0 25 0 11 0 781024161 859684864 26557 4294967295 134512640 134569956 3221224368 3221214680 1131350377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26557 13086 16 0 209868 0
vsize: 839536
[startup+500.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 48094 63 0 0 25 0 11 0 781024161 859684864 26599 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26599 13086 16 0 209868 0
vsize: 839536
[startup+510.041 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 49064 64 0 0 25 0 11 0 781024161 859684864 26643 4294967295 134512640 134569956 3221224368 3221214680 1131353736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26643 13086 16 0 209868 0
vsize: 839536
[startup+520.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 50042 65 0 0 25 0 11 0 781024161 859684864 26677 4294967295 134512640 134569956 3221224368 3221214068 1131558048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26677 13086 16 0 209868 0
vsize: 839536
[startup+530.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 51016 65 0 0 25 0 11 0 781024161 859684864 26699 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26699 13086 16 0 209868 0
vsize: 839536
[startup+540.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 51973 66 0 0 25 0 11 0 781024161 859684864 26815 4294967295 134512640 134569956 3221224368 3221214352 1131586663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 26815 13086 16 0 209868 0
vsize: 839536
[startup+550.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 52932 66 0 0 25 0 11 0 781024161 859684864 27219 4294967295 134512640 134569956 3221224368 3221214680 1131348754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 27219 13086 16 0 209868 0
vsize: 839536
[startup+560.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 53891 67 0 0 25 0 11 0 781024161 859684864 27563 4294967295 134512640 134569956 3221224368 3221214576 1131317660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 27563 13086 16 0 209868 0
vsize: 839536
[startup+570.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 54853 67 0 0 25 0 11 0 781024161 859684864 27911 4294967295 134512640 134569956 3221224368 3221214520 1131413111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 27911 13086 16 0 209868 0
vsize: 839536
[startup+580.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 55809 68 0 0 25 0 11 0 781024161 859684864 28191 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 28191 13086 16 0 209868 0
vsize: 839536
[startup+590.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 56765 68 0 0 25 0 11 0 781024161 859684864 28549 4294967295 134512640 134569956 3221224368 3221214680 1131348685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 28549 13086 16 0 209868 0
vsize: 839536
[startup+600.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 57727 68 0 0 25 0 11 0 781024161 859684864 28815 4294967295 134512640 134569956 3221224368 3221214680 1131348685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 28815 13086 16 0 209868 0
vsize: 839536
[startup+610.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 58681 68 0 0 25 0 11 0 781024161 859684864 29125 4294967295 134512640 134569956 3221224368 3221214520 1131413111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 29125 13086 16 0 209868 0
vsize: 839536
[startup+620.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 59643 69 0 0 25 0 11 0 781024161 859684864 29402 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 29402 13086 16 0 209868 0
vsize: 839536
[startup+630.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 60587 69 0 0 25 0 11 0 781024161 859684864 29634 4294967295 134512640 134569956 3221224368 3221214680 1131350384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 29634 13086 16 0 209868 0
vsize: 839536
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 61517 69 0 0 25 0 11 0 781024161 859684864 29634 4294967295 134512640 134569956 3221224368 3221214676 1131318284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 29634 13086 16 0 209868 0
vsize: 839536
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 62459 70 0 0 25 0 11 0 781024161 859684864 29830 4294967295 134512640 134569956 3221224368 3221214680 1131348685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 29830 13086 16 0 209868 0
vsize: 839536
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 63403 70 0 0 25 0 11 0 781024161 859684864 30031 4294967295 134512640 134569956 3221224368 3221214584 1131333493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 30031 13086 16 0 209868 0
vsize: 839536
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 64347 70 0 0 25 0 11 0 781024161 859684864 30476 4294967295 134512640 134569956 3221224368 3221214584 1131333726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 30476 13086 16 0 209868 0
vsize: 839536
[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 65308 70 0 0 25 0 11 0 781024161 859684864 30495 4294967295 134512640 134569956 3221224368 3221214304 1131557645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 30495 13086 16 0 209868 0
vsize: 839536
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 66252 71 0 0 25 0 11 0 781024161 859684864 30516 4294967295 134512640 134569956 3221224368 3221214584 1131333808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 30516 13086 16 0 209868 0
vsize: 839536
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 67186 71 0 0 25 0 11 0 781024161 859684864 30783 4294967295 134512640 134569956 3221224368 3221214592 1131222220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 30783 13086 16 0 209868 0
vsize: 839536
[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 68131 71 0 0 25 0 11 0 781024161 859684864 31024 4294967295 134512640 134569956 3221224368 3221214680 1131350467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31024 13086 16 0 209868 0
vsize: 839536
[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 69090 71 0 0 25 0 11 0 781024161 859684864 31217 4294967295 134512640 134569956 3221224368 3221214536 1131586874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31217 13086 16 0 209868 0
vsize: 839536
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 70063 72 0 0 25 0 11 0 781024161 859684864 31404 4294967295 134512640 134569956 3221224368 3221214616 1131407766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209884 31404 13086 16 0 209868 0
vsize: 839536
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 71043 72 0 0 25 0 11 0 781024161 859684864 31433 4294967295 134512640 134569956 3221224368 3221214680 1131348685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31433 13086 16 0 209868 0
vsize: 839536
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 72025 73 0 0 25 0 11 0 781024161 859684864 31457 4294967295 134512640 134569956 3221224368 3221214512 1131261389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31457 13086 16 0 209868 0
vsize: 839536
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 73005 73 0 0 25 0 11 0 781024161 859684864 31487 4294967295 134512640 134569956 3221224368 3221214680 1131353055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31487 13086 16 0 209868 0
vsize: 839536
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 73987 73 0 0 24 0 11 0 781024161 859684864 31513 4294967295 134512640 134569956 3221224368 3221214512 1131261095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31513 13086 16 0 209868 0
vsize: 839536
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 74969 74 0 0 25 0 11 0 781024161 859684864 31531 4294967295 134512640 134569956 3221224368 3221214676 1131318284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31531 13086 16 0 209868 0
vsize: 839536
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 75937 74 0 0 25 0 11 0 781024161 859684864 31560 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31560 13086 16 0 209868 0
vsize: 839536
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 76905 74 0 0 25 0 11 0 781024161 859684864 31583 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31583 13086 16 0 209868 0
vsize: 839536
[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 77872 75 0 0 25 0 11 0 781024161 859684864 31665 4294967295 134512640 134569956 3221224368 3221214584 1131335262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31665 13086 16 0 209868 0
vsize: 839536
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 78849 76 0 0 25 0 11 0 781024161 859684864 31797 4294967295 134512640 134569956 3221224368 3221214680 1131349388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31797 13086 16 0 209868 0
vsize: 839536
[startup+830.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 79829 76 0 0 25 0 11 0 781024161 859684864 31830 4294967295 134512640 134569956 3221224368 3221214680 1131350560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31830 13086 16 0 209868 0
vsize: 839536
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 80808 77 0 0 25 0 11 0 781024161 859684864 31858 4294967295 134512640 134569956 3221224368 3221214676 1131231424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31858 13086 16 0 209868 0
vsize: 839536
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 81788 77 0 0 25 0 11 0 781024161 859684864 31890 4294967295 134512640 134569956 3221224368 3221214680 1131348754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31890 13086 16 0 209868 0
vsize: 839536
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 82766 78 0 0 25 0 11 0 781024161 859684864 31919 4294967295 134512640 134569956 3221224368 3221214672 1131231409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31919 13086 16 0 209868 0
vsize: 839536
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 83746 78 0 0 25 0 11 0 781024161 859684864 31950 4294967295 134512640 134569956 3221224368 3221214680 1131351535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31950 13086 16 0 209868 0
vsize: 839536
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 84724 78 0 0 25 0 11 0 781024161 859684864 31980 4294967295 134512640 134569956 3221224368 3221214680 1131353108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 31980 13086 16 0 209868 0
vsize: 839536
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 85706 79 0 0 25 0 11 0 781024161 859684864 32007 4294967295 134512640 134569956 3221224368 3221214512 1131261064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32007 13086 16 0 209868 0
vsize: 839536
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 86676 80 0 0 25 0 11 0 781024161 859684864 32035 4294967295 134512640 134569956 3221224368 3221214680 1131350076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32035 13086 16 0 209868 0
vsize: 839536
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 87641 81 0 0 25 0 11 0 781024161 859684864 32071 4294967295 134512640 134569956 3221224368 3221214680 1131348754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32071 13086 16 0 209868 0
vsize: 839536
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 88608 81 0 0 25 0 11 0 781024161 859684864 32104 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32104 13086 16 0 209868 0
vsize: 839536
[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 89580 81 0 0 25 0 11 0 781024161 859684864 32288 4294967295 134512640 134569956 3221224368 3221214680 1131354028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32288 13086 16 0 209868 0
vsize: 839536
[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 90560 82 0 0 25 0 11 0 781024161 859684864 32324 4294967295 134512640 134569956 3221224368 3221214584 1131333497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32324 13086 16 0 209868 0
vsize: 839536
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 91540 82 0 0 25 0 11 0 781024161 859684864 32352 4294967295 134512640 134569956 3221224368 3221214776 1131561351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32352 13086 16 0 209868 0
vsize: 839536
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 92522 83 0 0 25 0 11 0 781024161 859684864 32375 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32375 13086 16 0 209868 0
vsize: 839536
[startup+970.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 93503 83 0 0 25 0 11 0 781024161 859684864 32404 4294967295 134512640 134569956 3221224368 3221214680 1131348773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32404 13086 16 0 209868 0
vsize: 839536
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 94486 83 0 0 25 0 11 0 781024161 859684864 32424 4294967295 134512640 134569956 3221224368 3221214680 1131352862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32424 13086 16 0 209868 0
vsize: 839536
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 95468 84 0 0 25 0 11 0 781024161 859684864 32449 4294967295 134512640 134569956 3221224368 3221214680 1131353155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32449 13086 16 0 209868 0
vsize: 839536
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) S 7781 25830 25829 0 -1 0 18081 0 1 0 96448 84 0 0 25 0 11 0 781024161 859684864 32474 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32474 13086 16 0 209868 0
vsize: 839536
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 97428 85 0 0 25 0 11 0 781024161 859684864 32503 4294967295 134512640 134569956 3221224368 3221214680 1131353736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32503 13086 16 0 209868 0
vsize: 839536
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 98410 85 0 0 25 0 11 0 781024161 859684864 32533 4294967295 134512640 134569956 3221224368 3221214584 1131333791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32533 13086 16 0 209868 0
vsize: 839536
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 99392 85 0 0 25 0 11 0 781024161 859684864 32563 4294967295 134512640 134569956 3221224368 3221214584 1131333526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32563 13086 16 0 209868 0
vsize: 839536
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 100372 86 0 0 25 0 11 0 781024161 859684864 32589 4294967295 134512640 134569956 3221224368 3221214584 1131333423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32589 13086 16 0 209868 0
vsize: 839536
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 101353 86 0 0 25 0 11 0 781024161 859684864 32616 4294967295 134512640 134569956 3221224368 3221214672 1131231353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32616 13086 16 0 209868 0
vsize: 839536
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 102335 87 0 0 25 0 11 0 781024161 859684864 32641 4294967295 134512640 134569956 3221224368 3221214584 1131333552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32641 13086 16 0 209868 0
vsize: 839536
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 103313 87 0 0 24 0 11 0 781024161 859684864 32671 4294967295 134512640 134569956 3221224368 3221214584 1131334271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32671 13086 16 0 209868 0
vsize: 839536
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 104294 88 0 0 25 0 11 0 781024161 859684864 32697 4294967295 134512640 134569956 3221224368 3221214680 1131350034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32697 13086 16 0 209868 0
vsize: 839536
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 105274 88 0 0 25 0 11 0 781024161 859684864 32726 4294967295 134512640 134569956 3221224368 3221214676 1131333376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32726 13086 16 0 209868 0
vsize: 839536
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 106258 89 0 0 25 0 11 0 781024161 859684864 32754 4294967295 134512640 134569956 3221224368 3221214616 1131407661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32754 13086 16 0 209868 0
vsize: 839536
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 107234 89 0 0 25 0 11 0 781024161 859684864 32776 4294967295 134512640 134569956 3221224368 3221214680 1131353220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32776 13086 16 0 209868 0
vsize: 839536
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 108197 90 0 0 24 0 11 0 781024161 859684864 32801 4294967295 134512640 134569956 3221224368 3221214680 1131348685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32801 13086 16 0 209868 0
vsize: 839536
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 109164 91 0 0 25 0 11 0 781024161 859684864 32823 4294967295 134512640 134569956 3221224368 3221214680 1131350560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 32823 13086 16 0 209868 0
vsize: 839536
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 110133 91 0 0 25 0 11 0 781024161 859684864 33001 4294967295 134512640 134569956 3221224368 3221214680 1131350029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33001 13086 16 0 209868 0
vsize: 839536
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 111112 92 0 0 25 0 11 0 781024161 859684864 33038 4294967295 134512640 134569956 3221224368 3221214576 1131317575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33038 13086 16 0 209868 0
vsize: 839536
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 112092 92 0 0 25 0 11 0 781024161 859684864 33063 4294967295 134512640 134569956 3221224368 3221214208 1131557591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33063 13086 16 0 209868 0
vsize: 839536
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 113073 93 0 0 25 0 11 0 781024161 859684864 33095 4294967295 134512640 134569956 3221224368 3221214676 1131337059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33095 13086 16 0 209868 0
vsize: 839536
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 114052 94 0 0 25 0 11 0 781024161 859684864 33128 4294967295 134512640 134569956 3221224368 3221214672 1131231353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33128 13086 16 0 209868 0
vsize: 839536
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 115034 94 0 0 24 0 11 0 781024161 859684864 33159 4294967295 134512640 134569956 3221224368 3221214576 1131317673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33159 13086 16 0 209868 0
vsize: 839536
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 116017 94 0 0 25 0 11 0 781024161 859684864 33182 4294967295 134512640 134569956 3221224368 3221214584 1131333757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33182 13086 16 0 209868 0
vsize: 839536
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 116998 95 0 0 25 0 11 0 781024161 859684864 33211 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33211 13086 16 0 209868 0
vsize: 839536
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 117980 95 0 0 25 0 11 0 781024161 859684864 33236 4294967295 134512640 134569956 3221224368 3221214584 1131333537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33236 13086 16 0 209868 0
vsize: 839536
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 118961 96 0 0 25 0 11 0 781024161 859684864 33259 4294967295 134512640 134569956 3221224368 3221214156 1131558016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33259 13086 16 0 209868 0
vsize: 839536
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7792
Raw data (stat): 7782 (java) R 7781 25830 25829 0 -1 0 18081 0 1 0 119942 97 0 0 25 0 11 0 781024161 859684864 33286 4294967295 134512640 134569956 3221224368 3221214680 1131350546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209884 33286 13086 16 0 209868 0
vsize: 839536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7794
Raw data (stat): 7782 (java) Z 7781 25830 25829 0 -1 1036 18081 13478 1 0 119946 97 3624 42 25 0 1 0 781024161 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): 1240.22
CPU time (s): 1237.1
CPU user time (s): 1235.71
CPU system time (s): 1.39379
CPU usage (%): 99.749
Max. virtual memory (Kb): 841148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####