PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot87.opb
MD5SUM	9658bbaea81a963c53a05a25fe9ca956
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7860
Biggest coefficient in the objective function	1728189562880
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	73714762784766
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	524288000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	1292497795394025
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.715891
Number of variables	78247
Total number of constraints	3645
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3645
Minimum length of a constraint	7
Maximum length of a constraint	5778
Trace number 29856

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 12:07:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21247 boxname=wulflinc30 idbench=1235 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9658bbaea81a963c53a05a25fe9ca956  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-pilot87.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-pilot87.opb
IDLAUNCH: 21247
/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:        603580 kB
Buffers:         37508 kB
Cached:         369980 kB
SwapCached:        716 kB
Active:         124428 kB
Inactive:       285104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        603328 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15940 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:29:46 (client local time) WITH STATUS 143 IN 1327.6 SECONDS
stats: 21247 7 1327.6 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-pilot87.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) : 1319.116
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 7102
Raw data (stat): 7102 (runsolver) R 7101 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838751330 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.0006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18008 0 1 0 877 37 0 0 25 0 10 0 838751330 853606400 19379 4294967295 134512640 134569956 3221224368 3221214688 1131191553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208400 19379 13086 16 0 208384 0
vsize: 833600
[startup+20.0012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18009 0 1 0 1776 37 0 0 25 0 10 0 838751330 855703552 20290 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 20290 13086 16 0 208896 0
vsize: 835648
[startup+30.0012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18021 0 1 0 2663 38 0 0 25 0 10 0 838751330 855703552 20900 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208912 20900 13086 16 0 208896 0
vsize: 835648
[startup+40.001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18021 0 1 0 3579 38 0 0 25 0 10 0 838751330 855769088 21114 4294967295 134512640 134569956 3221224368 3221214800 1131266646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208928 21114 13086 16 0 208912 0
vsize: 835712
[startup+50.0017 s]
Raw data (loadavg): 1.01 1.00 1.00 3/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18021 0 1 0 4496 38 0 0 25 0 10 0 838751330 855769088 21322 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208928 21322 13086 16 0 208912 0
vsize: 835712
[startup+60.0017 s]
Raw data (loadavg): 1.01 1.00 1.00 3/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 5413 38 0 0 25 0 10 0 838751330 858210304 21932 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209524 21932 13086 16 0 209508 0
vsize: 838096
[startup+70.0024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 6342 39 0 0 25 0 10 0 838751330 858189824 22188 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209519 22188 13086 16 0 209503 0
vsize: 838076
[startup+80.0031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 7275 39 0 0 24 0 10 0 838751330 858189824 22304 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209519 22304 13086 16 0 209503 0
vsize: 838076
[startup+90.0031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 8215 39 0 0 25 0 10 0 838751330 858189824 22403 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209519 22403 13086 16 0 209503 0
vsize: 838076
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 9156 40 0 0 25 0 10 0 838751330 858058752 22486 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209487 22486 13086 16 0 209471 0
vsize: 837948
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 10089 40 0 0 24 0 10 0 838751330 856268800 22223 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22223 13086 16 0 209034 0
vsize: 836200
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 11029 40 0 0 25 0 10 0 838751330 856268800 22323 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22323 13086 16 0 209034 0
vsize: 836200
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 11968 40 0 0 24 0 10 0 838751330 856268800 22406 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22406 13086 16 0 209034 0
vsize: 836200
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 12912 40 0 0 25 0 10 0 838751330 856268800 22479 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22479 13086 16 0 209034 0
vsize: 836200
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 13852 41 0 0 24 0 10 0 838751330 856268800 22554 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22554 13086 16 0 209034 0
vsize: 836200
[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 14795 41 0 0 25 0 10 0 838751330 856268800 22622 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209050 22622 13086 16 0 209034 0
vsize: 836200
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 15736 41 0 0 24 0 10 0 838751330 856268800 22695 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209050 22695 13086 16 0 209034 0
vsize: 836200
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 16660 42 0 0 25 0 10 0 838751330 856268800 22755 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209050 22755 13086 16 0 209034 0
vsize: 836200
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 17585 42 0 0 25 0 10 0 838751330 857997312 23220 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23220 13086 16 0 209456 0
vsize: 837888
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 18522 42 0 0 24 0 10 0 838751330 857243648 23278 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209288 23278 13086 16 0 209272 0
vsize: 837152
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 19462 43 0 0 25 0 10 0 838751330 857243648 23330 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209288 23330 13086 16 0 209272 0
vsize: 837152
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 20398 43 0 0 25 0 10 0 838751330 857243648 23383 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209288 23383 13086 16 0 209272 0
vsize: 837152
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 21338 44 0 0 25 0 10 0 838751330 857243648 23441 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209288 23441 13086 16 0 209272 0
vsize: 837152
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 22272 44 0 0 24 0 10 0 838751330 857243648 23492 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209288 23492 13086 16 0 209272 0
vsize: 837152
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 23209 44 0 0 25 0 10 0 838751330 857243648 23546 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209288 23546 13086 16 0 209272 0
vsize: 837152
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 24143 44 0 0 25 0 10 0 838751330 857243648 23604 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209288 23604 13086 16 0 209272 0
vsize: 837152
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 25073 44 0 0 25 0 10 0 838751330 856621056 23514 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23514 13086 16 0 209120 0
vsize: 836544
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 25994 45 0 0 25 0 10 0 838751330 856621056 23590 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23590 13086 16 0 209120 0
vsize: 836544
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 26905 45 0 0 25 0 10 0 838751330 856621056 23689 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23689 13086 16 0 209120 0
vsize: 836544
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 27823 45 0 0 25 0 10 0 838751330 856621056 23806 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23806 13086 16 0 209120 0
vsize: 836544
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 28749 45 0 0 24 0 10 0 838751330 856621056 23931 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23931 13086 16 0 209120 0
vsize: 836544
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 29678 45 0 0 25 0 10 0 838751330 856621056 23991 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23991 13086 16 0 209120 0
vsize: 836544
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 30609 45 0 0 25 0 10 0 838751330 856621056 24059 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24059 13086 16 0 209120 0
vsize: 836544
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 31538 45 0 0 19 0 10 0 838751330 856621056 24122 4294967295 134512640 134569956 3221224368 3221214796 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24122 13086 16 0 209120 0
vsize: 836544
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 32468 45 0 0 25 0 10 0 838751330 856621056 24173 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24173 13086 16 0 209120 0
vsize: 836544
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 33397 45 0 0 21 0 10 0 838751330 856621056 24230 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24230 13086 16 0 209120 0
vsize: 836544
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 34327 45 0 0 25 0 10 0 838751330 856621056 24300 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24300 13086 16 0 209120 0
vsize: 836544
[startup+380.013 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 35254 45 0 0 24 0 10 0 838751330 856621056 24346 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24346 13086 16 0 209120 0
vsize: 836544
[startup+390.014 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 36184 45 0 0 25 0 10 0 838751330 856621056 24391 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24391 13086 16 0 209120 0
vsize: 836544
[startup+400.015 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 37114 46 0 0 25 0 10 0 838751330 856621056 24455 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24455 13086 16 0 209120 0
vsize: 836544
[startup+410.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 38042 46 0 0 25 0 10 0 838751330 856621056 24484 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24484 13086 16 0 209120 0
vsize: 836544
[startup+420.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 38964 46 0 0 24 0 10 0 838751330 856621056 24559 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24559 13086 16 0 209120 0
vsize: 836544
[startup+430.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 39894 46 0 0 25 0 10 0 838751330 856621056 24599 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24599 13086 16 0 209120 0
vsize: 836544
[startup+440.015 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 40818 46 0 0 25 0 10 0 838751330 856621056 24627 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24627 13086 16 0 209120 0
vsize: 836544
[startup+450.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 41741 46 0 0 25 0 10 0 838751330 856621056 24716 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24716 13086 16 0 209120 0
vsize: 836544
[startup+460.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 42670 47 0 0 25 0 10 0 838751330 856621056 24760 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24760 13086 16 0 209120 0
vsize: 836544
[startup+470.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 43591 47 0 0 25 0 10 0 838751330 856621056 24787 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24787 13086 16 0 209120 0
vsize: 836544
[startup+480.017 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 44507 47 0 0 25 0 10 0 838751330 856621056 24884 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24884 13086 16 0 209120 0
vsize: 836544
[startup+490.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 45433 47 0 0 25 0 10 0 838751330 856621056 24935 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24935 13086 16 0 209120 0
vsize: 836544
[startup+500.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 46351 47 0 0 25 0 10 0 838751330 856621056 24961 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 24961 13086 16 0 209120 0
vsize: 836544
[startup+510.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 47269 47 0 0 25 0 10 0 838751330 856621056 25067 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25067 13086 16 0 209120 0
vsize: 836544
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 48191 48 0 0 25 0 10 0 838751330 856621056 25100 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25100 13086 16 0 209120 0
vsize: 836544
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 49102 48 0 0 25 0 10 0 838751330 856621056 25125 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25125 13086 16 0 209120 0
vsize: 836544
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 50016 48 0 0 25 0 10 0 838751330 856621056 25229 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25229 13086 16 0 209120 0
vsize: 836544
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 50931 48 0 0 25 0 10 0 838751330 856621056 25332 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25332 13086 16 0 209120 0
vsize: 836544
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 51833 49 0 0 25 0 10 0 838751330 856621056 25418 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25418 13086 16 0 209120 0
vsize: 836544
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 52719 49 0 0 24 0 10 0 838751330 856621056 25646 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25646 13086 16 0 209120 0
vsize: 836544
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 53604 49 0 0 25 0 10 0 838751330 856621056 25742 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25742 13086 16 0 209120 0
vsize: 836544
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 54497 49 0 0 25 0 10 0 838751330 856621056 25886 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 25886 13086 16 0 209120 0
vsize: 836544
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 55398 50 0 0 25 0 10 0 838751330 856621056 26016 4294967295 134512640 134569956 3221224368 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26016 13086 16 0 209120 0
vsize: 836544
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 56307 50 0 0 25 0 10 0 838751330 856621056 26136 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26136 13086 16 0 209120 0
vsize: 836544
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 57219 50 0 0 19 0 10 0 838751330 856621056 26176 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26176 13086 16 0 209120 0
vsize: 836544
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 58115 51 0 0 19 0 10 0 838751330 856621056 26350 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26350 13086 16 0 209120 0
vsize: 836544
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 59008 51 0 0 22 0 10 0 838751330 856621056 26451 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26451 13086 16 0 209120 0
vsize: 836544
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 59895 51 0 0 19 0 10 0 838751330 856621056 26662 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26662 13086 16 0 209120 0
vsize: 836544
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 60804 51 0 0 23 0 10 0 838751330 856621056 26741 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26741 13086 16 0 209120 0
vsize: 836544
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 61700 52 0 0 18 0 10 0 838751330 856621056 26842 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 26842 13086 16 0 209120 0
vsize: 836544
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 62583 52 0 0 21 0 10 0 838751330 856621056 27595 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27595 13086 16 0 209120 0
vsize: 836544
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 63497 52 0 0 25 0 10 0 838751330 856621056 27595 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27595 13086 16 0 209120 0
vsize: 836544
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 64402 53 0 0 24 0 10 0 838751330 856621056 27696 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27696 13086 16 0 209120 0
vsize: 836544
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 65308 53 0 0 25 0 10 0 838751330 856621056 27726 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27726 13086 16 0 209120 0
vsize: 836544
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 66201 53 0 0 23 0 10 0 838751330 856621056 27758 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27758 13086 16 0 209120 0
vsize: 836544
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 67094 53 0 0 21 0 10 0 838751330 856621056 27945 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27945 13086 16 0 209120 0
vsize: 836544
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 68007 53 0 0 25 0 10 0 838751330 856621056 27974 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 27974 13086 16 0 209120 0
vsize: 836544
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 68899 54 0 0 25 0 10 0 838751330 856621056 28014 4294967295 134512640 134569956 3221224368 3221214736 1131202628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 28014 13086 16 0 209120 0
vsize: 836544
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 69792 54 0 0 25 0 10 0 838751330 856621056 28139 4294967295 134512640 134569956 3221224368 3221214264 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 28139 13086 16 0 209120 0
vsize: 836544
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 70686 55 0 0 25 0 10 0 838751330 856621056 28914 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 28914 13086 16 0 209120 0
vsize: 836544
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 71584 55 0 0 25 0 10 0 838751330 856621056 28938 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 28938 13086 16 0 209120 0
vsize: 836544
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 72479 55 0 0 25 0 10 0 838751330 856621056 29112 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29112 13086 16 0 209120 0
vsize: 836544
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 73368 56 0 0 25 0 10 0 838751330 856621056 29190 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29190 13086 16 0 209120 0
vsize: 836544
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 74259 56 0 0 25 0 10 0 838751330 856621056 29311 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29311 13086 16 0 209120 0
vsize: 836544
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 75146 56 0 0 25 0 10 0 838751330 856621056 29477 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29477 13086 16 0 209120 0
vsize: 836544
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 76030 56 0 0 25 0 10 0 838751330 856621056 29534 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29534 13086 16 0 209120 0
vsize: 836544
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 76931 57 0 0 25 0 10 0 838751330 856621056 29704 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29704 13086 16 0 209120 0
vsize: 836544
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 77838 57 0 0 25 0 10 0 838751330 856621056 29739 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29739 13086 16 0 209120 0
vsize: 836544
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 78745 57 0 0 25 0 10 0 838751330 856621056 29767 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29767 13086 16 0 209120 0
vsize: 836544
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 79638 57 0 0 19 0 10 0 838751330 856621056 29949 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 29949 13086 16 0 209120 0
vsize: 836544
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 80532 57 0 0 25 0 10 0 838751330 856621056 30483 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 30483 13086 16 0 209120 0
vsize: 836544
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 81430 58 0 0 19 0 10 0 838751330 856621056 30656 4294967295 134512640 134569956 3221224368 3221214264 1131261795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209136 30656 13086 16 0 209120 0
vsize: 836544
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 82341 58 0 0 25 0 10 0 838751330 856621056 31254 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31254 13086 16 0 209120 0
vsize: 836544
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 83243 58 0 0 25 0 10 0 838751330 856621056 31254 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31254 13086 16 0 209120 0
vsize: 836544
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 84139 58 0 0 25 0 10 0 838751330 856621056 31310 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31310 13086 16 0 209120 0
vsize: 836544
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 85018 59 0 0 24 0 10 0 838751330 856621056 31500 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31500 13086 16 0 209120 0
vsize: 836544
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 85908 59 0 0 25 0 10 0 838751330 856621056 31696 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31696 13086 16 0 209120 0
vsize: 836544
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 86799 59 0 0 25 0 10 0 838751330 856621056 31717 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31717 13086 16 0 209120 0
vsize: 836544
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 87697 59 0 0 25 0 10 0 838751330 856621056 31853 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31853 13086 16 0 209120 0
vsize: 836544
[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 88599 60 0 0 25 0 10 0 838751330 856621056 31872 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31872 13086 16 0 209120 0
vsize: 836544
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 89499 60 0 0 25 0 10 0 838751330 856621056 31906 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31906 13086 16 0 209120 0
vsize: 836544
[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) S 7101 22056 22055 0 -1 0 18022 0 1 0 90387 60 0 0 25 0 10 0 838751330 856621056 31957 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31957 13086 16 0 209120 0
vsize: 836544
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 91282 60 0 0 25 0 10 0 838751330 856621056 31976 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 31976 13086 16 0 209120 0
vsize: 836544
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 92173 60 0 0 25 0 10 0 838751330 856621056 32032 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32032 13086 16 0 209120 0
vsize: 836544
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 93062 60 0 0 25 0 10 0 838751330 856621056 32118 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32118 13086 16 0 209120 0
vsize: 836544
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 93955 60 0 0 24 0 10 0 838751330 856621056 32250 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32250 13086 16 0 209120 0
vsize: 836544
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 94854 60 0 0 25 0 10 0 838751330 856621056 32251 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32251 13086 16 0 209120 0
vsize: 836544
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 95741 60 0 0 19 0 10 0 838751330 856621056 32268 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32268 13086 16 0 209120 0
vsize: 836544
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 96644 60 0 0 25 0 10 0 838751330 856621056 32540 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32540 13086 16 0 209120 0
vsize: 836544
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 97556 60 0 0 25 0 10 0 838751330 856621056 32540 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 32540 13086 16 0 209120 0
vsize: 836544
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 98449 61 0 0 25 0 10 0 838751330 856621056 33642 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 33642 13086 16 0 209120 0
vsize: 836544
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 99361 61 0 0 25 0 10 0 838751330 856621056 33642 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 33642 13086 16 0 209120 0
vsize: 836544
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 100266 61 0 0 25 0 10 0 838751330 856621056 33651 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 33651 13086 16 0 209120 0
vsize: 836544
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 101162 63 0 0 25 0 10 0 838751330 856621056 35273 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35273 13086 16 0 209120 0
vsize: 836544
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 102069 63 0 0 23 0 10 0 838751330 856621056 35273 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35273 13086 16 0 209120 0
vsize: 836544
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 102961 64 0 0 19 0 10 0 838751330 856621056 35298 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35298 13086 16 0 209120 0
vsize: 836544
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 103861 64 0 0 22 0 10 0 838751330 856621056 35357 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35357 13086 16 0 209120 0
vsize: 836544
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 104758 64 0 0 19 0 10 0 838751330 856621056 35383 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35383 13086 16 0 209120 0
vsize: 836544
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 105661 64 0 0 22 0 10 0 838751330 856621056 35409 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35409 13086 16 0 209120 0
vsize: 836544
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 106556 64 0 0 19 0 10 0 838751330 856621056 35438 4294967295 134512640 134569956 3221224368 3221214264 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35438 13086 16 0 209120 0
vsize: 836544
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 107456 64 0 0 21 0 10 0 838751330 856621056 35468 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35468 13086 16 0 209120 0
vsize: 836544
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 108349 65 0 0 18 0 10 0 838751330 856621056 35510 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35510 13086 16 0 209120 0
vsize: 836544
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 109250 65 0 0 20 0 10 0 838751330 856621056 35523 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35523 13086 16 0 209120 0
vsize: 836544
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 110151 65 0 0 23 0 10 0 838751330 856621056 35561 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35561 13086 16 0 209120 0
vsize: 836544
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 111047 65 0 0 20 0 10 0 838751330 856621056 35604 4294967295 134512640 134569956 3221224368 3221214168 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35604 13086 16 0 209120 0
vsize: 836544
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 111948 65 0 0 21 0 10 0 838751330 856621056 35628 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35628 13086 16 0 209120 0
vsize: 836544
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 112843 65 0 0 18 0 10 0 838751330 856621056 35667 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35667 13086 16 0 209120 0
vsize: 836544
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 113745 65 0 0 22 0 10 0 838751330 856621056 35678 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35678 13086 16 0 209120 0
vsize: 836544
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 114640 65 0 0 19 0 10 0 838751330 856621056 35733 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35733 13086 16 0 209120 0
vsize: 836544
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 115545 65 0 0 21 0 10 0 838751330 856621056 35779 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35779 13086 16 0 209120 0
vsize: 836544
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 116444 65 0 0 19 0 10 0 838751330 856621056 35796 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35796 13086 16 0 209120 0
vsize: 836544
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 117352 66 0 0 22 0 10 0 838751330 856621056 35877 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35877 13086 16 0 209120 0
vsize: 836544
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 118258 66 0 0 24 0 10 0 838751330 856621056 35933 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35933 13086 16 0 209120 0
vsize: 836544
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 119156 66 0 0 18 0 10 0 838751330 856621056 35933 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 35933 13086 16 0 209120 0
vsize: 836544
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7111
Raw data (stat): 7102 (java) R 7101 22056 22055 0 -1 0 18022 0 1 0 120057 66 0 0 25 0 10 0 838751330 856621056 36053 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 36053 13086 16 0 209120 0
vsize: 836544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7113
Raw data (stat): 7102 (java) Z 7101 22056 22055 0 -1 1036 18022 22561 1 0 120061 73 12546 78 22 0 1 0 838751330 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): 1320.25
CPU time (s): 1327.6
CPU user time (s): 1326.08
CPU system time (s): 1.51477
CPU usage (%): 100.556
Max. virtual memory (Kb): 838096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####