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-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.75158
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 30002

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 13:40:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21400 boxname=wulflinc30 idbench=1388 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 21400
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        748824 kB
Buffers:         28360 kB
Cached:         233352 kB
SwapCached:        632 kB
Active:          48540 kB
Inactive:       215176 kB
HighTotal:      131008 kB
HighFree:        27552 kB
LowTotal:       903652 kB
LowFree:        721272 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            16168 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:01:53 (client local time) WITH STATUS 143 IN 1310.68 SECONDS
stats: 21400 7 1310.68 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/wulflinc30/normalized-mps-v2-13-7-stp3d.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.145
#### 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): 1.10 1.03 1.01 2/54 7688
Raw data (stat): 7688 (runsolver) R 7687 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839305041 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18012 0 1 0 873 46 0 0 25 0 10 0 839305041 853671936 19245 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 19245 13086 16 0 208400 0
vsize: 833664
[startup+20.0029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 1766 46 0 0 25 0 10 0 839305041 855080960 20077 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208760 20077 13086 16 0 208744 0
vsize: 835040
[startup+30.0031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 2655 46 0 0 25 0 10 0 839305041 855080960 20560 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208760 20560 13086 16 0 208744 0
vsize: 835040
[startup+40.0035 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 3571 47 0 0 25 0 10 0 839305041 853737472 20582 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 20582 13086 16 0 208416 0
vsize: 833728
[startup+50.0043 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 4499 47 0 0 25 0 10 0 839305041 853737472 20748 4294967295 134512640 134569956 3221224368 3221214768 1131246581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 20748 13086 16 0 208416 0
vsize: 833728
[startup+60.0051 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 5417 48 0 0 25 0 10 0 839305041 853737472 20878 4294967295 134512640 134569956 3221224368 3221214768 1131246581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 20878 13086 16 0 208416 0
vsize: 833728
[startup+70.0059 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 6342 48 0 0 25 0 10 0 839305041 853671936 21108 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21108 13086 16 0 208400 0
vsize: 833664
[startup+80.0067 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 7282 49 0 0 25 0 10 0 839305041 853671936 21209 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21209 13086 16 0 208400 0
vsize: 833664
[startup+90.0065 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 8224 49 0 0 25 0 10 0 839305041 853671936 21301 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21301 13086 16 0 208400 0
vsize: 833664
[startup+100.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 9166 49 0 0 25 0 10 0 839305041 853671936 21386 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21386 13086 16 0 208400 0
vsize: 833664
[startup+110.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 10110 50 0 0 25 0 10 0 839305041 853671936 21466 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21466 13086 16 0 208400 0
vsize: 833664
[startup+120.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 11055 50 0 0 25 0 10 0 839305041 853671936 21543 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21543 13086 16 0 208400 0
vsize: 833664
[startup+130.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 11997 51 0 0 24 0 10 0 839305041 853671936 21617 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21617 13086 16 0 208400 0
vsize: 833664
[startup+140.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 12941 51 0 0 24 0 10 0 839305041 853671936 21684 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21684 13086 16 0 208400 0
vsize: 833664
[startup+150.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 13887 51 0 0 25 0 10 0 839305041 853671936 21749 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21749 13086 16 0 208400 0
vsize: 833664
[startup+160.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 14832 52 0 0 25 0 10 0 839305041 853671936 21811 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21811 13086 16 0 208400 0
vsize: 833664
[startup+170.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 15776 52 0 0 25 0 10 0 839305041 853671936 21871 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21871 13086 16 0 208400 0
vsize: 833664
[startup+180.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 16706 52 0 0 24 0 10 0 839305041 853671936 21928 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21928 13086 16 0 208400 0
vsize: 833664
[startup+190.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 17629 52 0 0 25 0 10 0 839305041 853671936 21981 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 21981 13086 16 0 208400 0
vsize: 833664
[startup+200.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 18558 53 0 0 25 0 10 0 839305041 853671936 22292 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22292 13086 16 0 208400 0
vsize: 833664
[startup+210.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 19500 54 0 0 25 0 10 0 839305041 853671936 22344 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22344 13086 16 0 208400 0
vsize: 833664
[startup+220.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 20442 54 0 0 25 0 10 0 839305041 853671936 22396 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22396 13086 16 0 208400 0
vsize: 833664
[startup+230.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 21384 54 0 0 25 0 10 0 839305041 853671936 22446 4294967295 134512640 134569956 3221224368 3221214720 1131226593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22446 13086 16 0 208400 0
vsize: 833664
[startup+240.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 22325 55 0 0 25 0 10 0 839305041 853671936 22494 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22494 13086 16 0 208400 0
vsize: 833664
[startup+250.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 23265 55 0 0 25 0 10 0 839305041 853671936 22543 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22543 13086 16 0 208400 0
vsize: 833664
[startup+260.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 24205 56 0 0 25 0 10 0 839305041 853671936 22589 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22589 13086 16 0 208400 0
vsize: 833664
[startup+270.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 25145 56 0 0 24 0 10 0 839305041 853671936 22635 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22635 13086 16 0 208400 0
vsize: 833664
[startup+280.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 26088 57 0 0 25 0 10 0 839305041 853671936 22677 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22677 13086 16 0 208400 0
vsize: 833664
[startup+290.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 27027 57 0 0 25 0 10 0 839305041 853671936 22721 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22721 13086 16 0 208400 0
vsize: 833664
[startup+300.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 27966 57 0 0 25 0 10 0 839305041 853671936 22764 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22764 13086 16 0 208400 0
vsize: 833664
[startup+310.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 28905 58 0 0 25 0 10 0 839305041 853671936 22806 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22806 13086 16 0 208400 0
vsize: 833664
[startup+320.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 29843 58 0 0 25 0 10 0 839305041 853671936 22847 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22847 13086 16 0 208400 0
vsize: 833664
[startup+330.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 30781 58 0 0 25 0 10 0 839305041 853671936 22888 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22888 13086 16 0 208400 0
vsize: 833664
[startup+340.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 31722 58 0 0 25 0 10 0 839305041 853671936 22926 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22926 13086 16 0 208400 0
vsize: 833664
[startup+350.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 32659 59 0 0 25 0 10 0 839305041 853671936 22965 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 22965 13086 16 0 208400 0
vsize: 833664
[startup+360.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 33595 59 0 0 25 0 10 0 839305041 853671936 23004 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23004 13086 16 0 208400 0
vsize: 833664
[startup+370.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 34531 59 0 0 25 0 10 0 839305041 853671936 23043 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23043 13086 16 0 208400 0
vsize: 833664
[startup+380.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 35466 60 0 0 24 0 10 0 839305041 853671936 23081 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23081 13086 16 0 208400 0
vsize: 833664
[startup+390.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 36405 60 0 0 25 0 10 0 839305041 853671936 23116 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23116 13086 16 0 208400 0
vsize: 833664
[startup+400.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 37340 60 0 0 25 0 10 0 839305041 853671936 23153 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23153 13086 16 0 208400 0
vsize: 833664
[startup+410.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 38275 60 0 0 25 0 10 0 839305041 853671936 23189 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23189 13086 16 0 208400 0
vsize: 833664
[startup+420.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 39208 60 0 0 25 0 10 0 839305041 853671936 23225 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23225 13086 16 0 208400 0
vsize: 833664
[startup+430.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 40142 61 0 0 24 0 10 0 839305041 853671936 23260 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23260 13086 16 0 208400 0
vsize: 833664
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 41079 61 0 0 25 0 10 0 839305041 853671936 23292 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23292 13086 16 0 208400 0
vsize: 833664
[startup+450.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 42012 62 0 0 25 0 10 0 839305041 853671936 23327 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23327 13086 16 0 208400 0
vsize: 833664
[startup+460.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 42944 62 0 0 25 0 10 0 839305041 853671936 23361 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23361 13086 16 0 208400 0
vsize: 833664
[startup+470.059 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 43878 63 0 0 25 0 10 0 839305041 853671936 23393 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23393 13086 16 0 208400 0
vsize: 833664
[startup+480.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 44812 63 0 0 25 0 10 0 839305041 853671936 23426 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23426 13086 16 0 208400 0
vsize: 833664
[startup+490.06 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 45744 63 0 0 25 0 10 0 839305041 853671936 23459 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23459 13086 16 0 208400 0
vsize: 833664
[startup+500.061 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 46674 63 0 0 24 0 10 0 839305041 853671936 23491 4294967295 134512640 134569956 3221224368 3221214756 1080204149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23491 13086 16 0 208400 0
vsize: 833664
[startup+510.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 47609 64 0 0 25 0 10 0 839305041 853671936 23522 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23522 13086 16 0 208400 0
vsize: 833664
[startup+520.062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 48540 64 0 0 25 0 10 0 839305041 853671936 23554 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23554 13086 16 0 208400 0
vsize: 833664
[startup+530.063 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 49469 64 0 0 24 0 10 0 839305041 853671936 23586 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23586 13086 16 0 208400 0
vsize: 833664
[startup+540.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 50403 65 0 0 25 0 10 0 839305041 853671936 23615 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23615 13086 16 0 208400 0
vsize: 833664
[startup+550.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 51331 65 0 0 25 0 10 0 839305041 853671936 23646 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23646 13086 16 0 208400 0
vsize: 833664
[startup+560.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 52265 66 0 0 25 0 10 0 839305041 853671936 23675 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23675 13086 16 0 208400 0
vsize: 833664
[startup+570.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 53192 66 0 0 25 0 10 0 839305041 853671936 23706 4294967295 134512640 134569956 3221224368 3221214156 1076461603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23706 13086 16 0 208400 0
vsize: 833664
[startup+580.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 54119 67 0 0 25 0 10 0 839305041 853671936 23736 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23736 13086 16 0 208400 0
vsize: 833664
[startup+590.066 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 55051 68 0 0 25 0 10 0 839305041 853671936 23764 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23764 13086 16 0 208400 0
vsize: 833664
[startup+600.067 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 55978 68 0 0 25 0 10 0 839305041 853671936 23793 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23793 13086 16 0 208400 0
vsize: 833664
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 56909 68 0 0 25 0 10 0 839305041 853671936 23821 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23821 13086 16 0 208400 0
vsize: 833664
[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 57835 69 0 0 25 0 10 0 839305041 853671936 23850 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23850 13086 16 0 208400 0
vsize: 833664
[startup+630.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 58761 69 0 0 24 0 10 0 839305041 853671936 23879 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23879 13086 16 0 208400 0
vsize: 833664
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 59692 69 0 0 25 0 10 0 839305041 853671936 23906 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23906 13086 16 0 208400 0
vsize: 833664
[startup+650.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 60617 70 0 0 25 0 10 0 839305041 853671936 23934 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23934 13086 16 0 208400 0
vsize: 833664
[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 61547 70 0 0 25 0 10 0 839305041 853671936 23961 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23961 13086 16 0 208400 0
vsize: 833664
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 62471 71 0 0 24 0 10 0 839305041 853671936 23989 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23989 13086 16 0 208400 0
vsize: 833664
[startup+680.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 63399 71 0 0 25 0 10 0 839305041 853671936 24015 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 24015 13086 16 0 208400 0
vsize: 833664
[startup+690.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 64317 72 0 0 25 0 10 0 839305041 853671936 24401 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 24403 13086 16 0 208400 0
vsize: 833664
[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 65248 72 0 0 25 0 10 0 839305041 853671936 24979 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 24979 13086 16 0 208400 0
vsize: 833664
[startup+710.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 66171 72 0 0 25 0 10 0 839305041 853671936 24979 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 24979 13086 16 0 208400 0
vsize: 833664
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 67086 72 0 0 25 0 10 0 839305041 853671936 25004 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25004 13086 16 0 208400 0
vsize: 833664
[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 68006 72 0 0 25 0 10 0 839305041 853671936 25029 4294967295 134512640 134569956 3221224368 3221214720 1131044812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25029 13086 16 0 208400 0
vsize: 833664
[startup+740.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 68920 72 0 0 25 0 10 0 839305041 853671936 25055 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25055 13086 16 0 208400 0
vsize: 833664
[startup+750.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 69835 73 0 0 20 0 10 0 839305041 853671936 25081 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25081 13086 16 0 208400 0
vsize: 833664
[startup+760.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 70753 73 0 0 25 0 10 0 839305041 853671936 25105 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25105 13086 16 0 208400 0
vsize: 833664
[startup+770.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 71672 73 0 0 25 0 10 0 839305041 853671936 25130 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25130 13086 16 0 208400 0
vsize: 833664
[startup+780.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 72585 74 0 0 24 0 10 0 839305041 853671936 25155 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25155 13086 16 0 208400 0
vsize: 833664
[startup+790.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 73501 75 0 0 25 0 10 0 839305041 853671936 25180 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25180 13086 16 0 208400 0
vsize: 833664
[startup+800.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 74418 75 0 0 25 0 10 0 839305041 853671936 25204 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25204 13086 16 0 208400 0
vsize: 833664
[startup+810.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 75334 76 0 0 25 0 10 0 839305041 853671936 25227 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25227 13086 16 0 208400 0
vsize: 833664
[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 76245 76 0 0 24 0 10 0 839305041 853671936 25253 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25253 13086 16 0 208400 0
vsize: 833664
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 77161 77 0 0 25 0 10 0 839305041 853671936 25276 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25276 13086 16 0 208400 0
vsize: 833664
[startup+840.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 78077 77 0 0 25 0 10 0 839305041 853671936 25299 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25299 13086 16 0 208400 0
vsize: 833664
[startup+850.084 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 78987 77 0 0 24 0 10 0 839305041 853671936 25324 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25324 13086 16 0 208400 0
vsize: 833664
[startup+860.085 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 79902 78 0 0 25 0 10 0 839305041 853671936 25347 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25347 13086 16 0 208400 0
vsize: 833664
[startup+870.087 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 80817 78 0 0 25 0 10 0 839305041 853671936 25370 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25370 13086 16 0 208400 0
vsize: 833664
[startup+880.087 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 81731 79 0 0 24 0 10 0 839305041 853671936 25393 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25393 13086 16 0 208400 0
vsize: 833664
[startup+890.087 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 82640 80 0 0 25 0 10 0 839305041 853671936 25416 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25416 13086 16 0 208400 0
vsize: 833664
[startup+900.088 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 83552 80 0 0 25 0 10 0 839305041 853671936 25440 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25440 13086 16 0 208400 0
vsize: 833664
[startup+910.089 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 84466 81 0 0 25 0 10 0 839305041 853671936 25462 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25462 13086 16 0 208400 0
vsize: 833664
[startup+920.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 85380 81 0 0 25 0 10 0 839305041 853671936 25486 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25486 13086 16 0 208400 0
vsize: 833664
[startup+930.091 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 86294 82 0 0 25 0 10 0 839305041 853671936 25508 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25508 13086 16 0 208400 0
vsize: 833664
[startup+940.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 87202 82 0 0 24 0 10 0 839305041 853671936 25531 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25531 13086 16 0 208400 0
vsize: 833664
[startup+950.091 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 88116 83 0 0 25 0 10 0 839305041 853671936 25553 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25553 13086 16 0 208400 0
vsize: 833664
[startup+960.092 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 89029 83 0 0 25 0 10 0 839305041 853671936 25576 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25576 13086 16 0 208400 0
vsize: 833664
[startup+970.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 89941 83 0 0 25 0 10 0 839305041 853671936 25599 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25599 13086 16 0 208400 0
vsize: 833664
[startup+980.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 90847 84 0 0 24 0 10 0 839305041 853671936 25628 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25628 13086 16 0 208400 0
vsize: 833664
[startup+990.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 91759 84 0 0 25 0 10 0 839305041 853671936 25653 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25653 13086 16 0 208400 0
vsize: 833664
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 92669 84 0 0 25 0 10 0 839305041 853671936 25679 4294967295 134512640 134569956 3221224368 3221214320 1079668490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25679 13086 16 0 208400 0
vsize: 833664
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 93580 85 0 0 25 0 10 0 839305041 853671936 25701 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25701 13086 16 0 208400 0
vsize: 833664
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 94491 85 0 0 25 0 10 0 839305041 853671936 25728 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25728 13086 16 0 208400 0
vsize: 833664
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 95402 85 0 0 25 0 10 0 839305041 853671936 25752 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25752 13086 16 0 208400 0
vsize: 833664
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 96310 86 0 0 25 0 10 0 839305041 853671936 25777 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25777 13086 16 0 208400 0
vsize: 833664
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 97217 86 0 0 24 0 10 0 839305041 853671936 25799 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25799 13086 16 0 208400 0
vsize: 833664
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 98127 87 0 0 24 0 10 0 839305041 853671936 25820 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25820 13086 16 0 208400 0
vsize: 833664
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 99036 87 0 0 25 0 10 0 839305041 853671936 25851 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25851 13086 16 0 208400 0
vsize: 833664
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 99946 87 0 0 25 0 10 0 839305041 853671936 25873 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25873 13086 16 0 208400 0
vsize: 833664
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 100855 88 0 0 25 0 10 0 839305041 853671936 25893 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25893 13086 16 0 208400 0
vsize: 833664
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 101764 88 0 0 25 0 10 0 839305041 853671936 25914 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25914 13086 16 0 208400 0
vsize: 833664
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 102673 88 0 0 25 0 10 0 839305041 853671936 25944 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25944 13086 16 0 208400 0
vsize: 833664
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 103582 88 0 0 25 0 10 0 839305041 853671936 25964 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25964 13086 16 0 208400 0
vsize: 833664
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 104490 88 0 0 25 0 10 0 839305041 853671936 25992 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25992 13086 16 0 208400 0
vsize: 833664
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 105398 89 0 0 25 0 10 0 839305041 853671936 26016 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26016 13086 16 0 208400 0
vsize: 833664
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 106305 89 0 0 25 0 10 0 839305041 853671936 26037 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26037 13086 16 0 208400 0
vsize: 833664
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 107212 89 0 0 25 0 10 0 839305041 853671936 26058 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26058 13086 16 0 208400 0
vsize: 833664
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 108118 89 0 0 25 0 10 0 839305041 853671936 26085 4294967295 134512640 134569956 3221224368 3221214720 1131226529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26085 13086 16 0 208400 0
vsize: 833664
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 109024 90 0 0 25 0 10 0 839305041 853671936 26105 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26105 13086 16 0 208400 0
vsize: 833664
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 109927 90 0 0 25 0 10 0 839305041 853671936 26134 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26134 13086 16 0 208400 0
vsize: 833664
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7697
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 110835 90 0 0 25 0 10 0 839305041 853671936 26153 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 26153 13086 16 0 208400 0
vsize: 833664
[startup+1210.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 111738 92 0 0 25 0 10 0 839305041 853671936 26178 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26178 13086 16 0 208400 0
vsize: 833664
[startup+1220.12 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 112644 92 0 0 25 0 10 0 839305041 853671936 26198 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26198 13086 16 0 208400 0
vsize: 833664
[startup+1230.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 113549 92 0 0 25 0 10 0 839305041 853671936 26225 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26225 13086 16 0 208400 0
vsize: 833664
[startup+1240.12 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 114455 93 0 0 25 0 10 0 839305041 853671936 26247 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26247 13086 16 0 208400 0
vsize: 833664
[startup+1250.12 s]
Raw data (loadavg): 1.18 1.04 1.01 2/63 7750
Raw data (stat): 7688 (java) S 7687 22056 22055 0 -1 0 18013 0 1 0 115356 93 0 0 25 0 10 0 839305041 853671936 26267 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26267 13086 16 0 208400 0
vsize: 833664
[startup+1260.12 s]
Raw data (loadavg): 1.15 1.04 1.01 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 116259 93 0 0 25 0 10 0 839305041 853671936 26287 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26287 13086 16 0 208400 0
vsize: 833664
[startup+1270.12 s]
Raw data (loadavg): 1.13 1.04 1.01 2/63 7750
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 117164 93 0 0 24 0 10 0 839305041 853671936 26314 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26314 13086 16 0 208400 0
vsize: 833664
[startup+1280.12 s]
Raw data (loadavg): 1.11 1.04 1.01 2/63 7752
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 118068 94 0 0 24 0 10 0 839305041 853671936 26333 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26333 13086 16 0 208400 0
vsize: 833664
[startup+1290.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 7752
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 118973 94 0 0 25 0 10 0 839305041 853671936 26352 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26352 13086 16 0 208400 0
vsize: 833664
[startup+1300.12 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 7752
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 119876 94 0 0 24 0 10 0 839305041 853671936 26380 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26380 13086 16 0 208400 0
vsize: 833664
[startup+1310.12 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 7752
Raw data (stat): 7688 (java) R 7687 22056 22055 0 -1 0 18013 0 1 0 120779 95 0 0 24 0 10 0 839305041 853671936 26404 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26404 13086 16 0 208400 0
vsize: 833664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.06 1.03 1.01 1/54 7754
Raw data (stat): 7688 (java) Z 7687 22056 22055 0 -1 1036 18013 8430 1 0 120785 95 10146 39 25 0 1 0 839305041 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.23
CPU time (s): 1310.68
CPU user time (s): 1309.33
CPU system time (s): 1.35279
CPU usage (%): 100.034
Max. virtual memory (Kb): 835040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####