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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
MD5SUM	91ef78d459f6272891a68c3f1abe1bde
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	89670
Biggest coefficient in the objective function	36281708852543488
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	-1012211575040220109
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	1246989811751845888
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	-1012211575040220109
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42378
Number of variables	155010
Total number of constraints	2171
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	2171
Minimum length of a constraint	30
Maximum length of a constraint	3270
Trace number 29432

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        686928 kB
Buffers:         30096 kB
Cached:         291652 kB
SwapCached:        572 kB
Active:          63636 kB
Inactive:       263636 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686676 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14800 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:59:13 (client local time) WITH STATUS 143 IN 1311.01 SECONDS
stats: 20833 7 1311.01 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/wulflinc29/normalized-mps-v2-20-10-d2q06c.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.258
#### 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.91 0.97 0.99 2/54 31217
Raw data (stat): 31217 (runsolver) R 31216 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837129237 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.0004 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 880 38 0 0 25 0 10 0 837129237 855134208 19641 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208773 19641 13086 16 0 208757 0
vsize: 835092
[startup+20.0012 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 1777 39 0 0 25 0 10 0 837129237 854642688 20017 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20017 13086 16 0 208637 0
vsize: 834612
[startup+30.0026 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 2665 39 0 0 25 0 10 0 837129237 854642688 20536 4294967295 134512640 134569956 3221224368 3221214016 1076874558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20536 13086 16 0 208637 0
vsize: 834612
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 3578 39 0 0 25 0 10 0 837129237 854642688 20952 4294967295 134512640 134569956 3221224368 3221214768 1131237685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20952 13086 16 0 208637 0
vsize: 834612
[startup+50.0049 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 4500 39 0 0 25 0 10 0 837129237 854642688 21053 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21053 13086 16 0 208637 0
vsize: 834612
[startup+60.0058 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 5420 40 0 0 25 0 10 0 837129237 854642688 21187 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 21187 13086 16 0 208637 0
vsize: 834612
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 6351 40 0 0 25 0 10 0 837129237 854642688 21420 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21420 13086 16 0 208637 0
vsize: 834612
[startup+80.0123 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 7290 40 0 0 25 0 10 0 837129237 854642688 21526 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21526 13086 16 0 208637 0
vsize: 834612
[startup+90.0132 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 8234 40 0 0 25 0 10 0 837129237 854642688 21617 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21617 13086 16 0 208637 0
vsize: 834612
[startup+100.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 9174 40 0 0 25 0 10 0 837129237 854642688 21707 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21707 13086 16 0 208637 0
vsize: 834612
[startup+110.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 10120 40 0 0 25 0 10 0 837129237 854642688 21787 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21787 13086 16 0 208637 0
vsize: 834612
[startup+120.016 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 11061 40 0 0 25 0 10 0 837129237 854642688 21866 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21866 13086 16 0 208637 0
vsize: 834612
[startup+130.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 12007 40 0 0 25 0 10 0 837129237 854642688 21936 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 21936 13086 16 0 208637 0
vsize: 834612
[startup+140.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 12949 41 0 0 25 0 10 0 837129237 854642688 22008 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22008 13086 16 0 208637 0
vsize: 834612
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 13894 42 0 0 25 0 10 0 837129237 854642688 22072 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22072 13086 16 0 208637 0
vsize: 834612
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 14835 42 0 0 25 0 10 0 837129237 854642688 22138 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22138 13086 16 0 208637 0
vsize: 834612
[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 15781 42 0 0 25 0 10 0 837129237 854642688 22197 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22197 13086 16 0 208637 0
vsize: 834612
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 16698 42 0 0 25 0 10 0 837129237 854642688 22255 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22255 13086 16 0 208637 0
vsize: 834612
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 17618 43 0 0 25 0 10 0 837129237 854642688 22312 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22312 13086 16 0 208637 0
vsize: 834612
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 18556 43 0 0 25 0 10 0 837129237 854642688 22625 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22625 13086 16 0 208637 0
vsize: 834612
[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 19498 43 0 0 25 0 10 0 837129237 854642688 22678 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22678 13086 16 0 208637 0
vsize: 834612
[startup+220.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 20434 43 0 0 25 0 10 0 837129237 854642688 22732 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 22732 13086 16 0 208637 0
vsize: 834612
[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 21374 43 0 0 25 0 10 0 837129237 854642688 22782 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 22782 13086 16 0 208637 0
vsize: 834612
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 22310 44 0 0 24 0 10 0 837129237 854642688 22835 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 22835 13086 16 0 208637 0
vsize: 834612
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 23249 44 0 0 25 0 10 0 837129237 854642688 22883 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 22883 13086 16 0 208637 0
vsize: 834612
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 24184 44 0 0 24 0 10 0 837129237 854642688 22932 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 22932 13086 16 0 208637 0
vsize: 834612
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 25123 45 0 0 25 0 10 0 837129237 854642688 22978 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 22978 13086 16 0 208637 0
vsize: 834612
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 26061 45 0 0 25 0 10 0 837129237 854642688 23022 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23022 13086 16 0 208637 0
vsize: 834612
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 26994 46 0 0 25 0 10 0 837129237 854642688 23069 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23069 13086 16 0 208637 0
vsize: 834612
[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 27932 46 0 0 25 0 10 0 837129237 854642688 23112 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23112 13086 16 0 208637 0
vsize: 834612
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 28865 46 0 0 24 0 10 0 837129237 854642688 23156 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23156 13086 16 0 208637 0
vsize: 834612
[startup+320.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 29802 47 0 0 25 0 10 0 837129237 854642688 23198 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23198 13086 16 0 208637 0
vsize: 834612
[startup+330.033 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 30738 47 0 0 25 0 10 0 837129237 854642688 23238 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23238 13086 16 0 208637 0
vsize: 834612
[startup+340.034 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 31670 47 0 0 25 0 10 0 837129237 854642688 23281 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23281 13086 16 0 208637 0
vsize: 834612
[startup+350.035 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 32606 48 0 0 25 0 10 0 837129237 854642688 23321 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23321 13086 16 0 208637 0
vsize: 834612
[startup+360.035 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 33542 48 0 0 25 0 10 0 837129237 854642688 23360 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23360 13086 16 0 208637 0
vsize: 834612
[startup+370.035 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 34473 49 0 0 25 0 10 0 837129237 854642688 23400 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23400 13086 16 0 208637 0
vsize: 834612
[startup+380.036 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 35407 49 0 0 25 0 10 0 837129237 854642688 23438 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23438 13086 16 0 208637 0
vsize: 834612
[startup+390.037 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 36342 49 0 0 25 0 10 0 837129237 854642688 23475 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23475 13086 16 0 208637 0
vsize: 834612
[startup+400.039 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 37271 50 0 0 24 0 10 0 837129237 854642688 23514 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23514 13086 16 0 208637 0
vsize: 834612
[startup+410.039 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 38204 50 0 0 25 0 10 0 837129237 854642688 23550 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23550 13086 16 0 208637 0
vsize: 834612
[startup+420.039 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 39137 50 0 0 25 0 10 0 837129237 854642688 23586 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23586 13086 16 0 208637 0
vsize: 834612
[startup+430.04 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 40070 51 0 0 25 0 10 0 837129237 854642688 23621 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23621 13086 16 0 208637 0
vsize: 834612
[startup+440.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 40998 51 0 0 24 0 10 0 837129237 854642688 23658 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23658 13086 16 0 208637 0
vsize: 834612
[startup+450.042 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 41929 52 0 0 25 0 10 0 837129237 854642688 23692 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23692 13086 16 0 208637 0
vsize: 834612
[startup+460.042 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 42861 52 0 0 25 0 10 0 837129237 854642688 23726 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23726 13086 16 0 208637 0
vsize: 834612
[startup+470.042 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 43791 52 0 0 25 0 10 0 837129237 854642688 23760 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23760 13086 16 0 208637 0
vsize: 834612
[startup+480.044 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 44722 53 0 0 25 0 10 0 837129237 854642688 23793 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23793 13086 16 0 208637 0
vsize: 834612
[startup+490.045 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 45647 53 0 0 24 0 10 0 837129237 854642688 23829 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23829 13086 16 0 208637 0
vsize: 834612
[startup+500.046 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 46577 53 0 0 24 0 10 0 837129237 854642688 23862 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 23862 13086 16 0 208637 0
vsize: 834612
[startup+510.046 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 47506 53 0 0 25 0 10 0 837129237 854642688 23894 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23894 13086 16 0 208637 0
vsize: 834612
[startup+520.047 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 48435 53 0 0 25 0 10 0 837129237 854642688 23926 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23926 13086 16 0 208637 0
vsize: 834612
[startup+530.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 49363 54 0 0 25 0 10 0 837129237 854642688 23957 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23957 13086 16 0 208637 0
vsize: 834612
[startup+540.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 50291 54 0 0 25 0 10 0 837129237 854642688 23989 4294967295 134512640 134569956 3221224368 3221214248 1077558129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 23989 13086 16 0 208637 0
vsize: 834612
[startup+550.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 51219 54 0 0 25 0 10 0 837129237 854642688 24020 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24020 13086 16 0 208637 0
vsize: 834612
[startup+560.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 52146 55 0 0 25 0 10 0 837129237 854642688 24050 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24050 13086 16 0 208637 0
vsize: 834612
[startup+570.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 53070 55 0 0 25 0 10 0 837129237 854642688 24081 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24081 13086 16 0 208637 0
vsize: 834612
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 53996 55 0 0 24 0 10 0 837129237 854642688 24113 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24113 13086 16 0 208637 0
vsize: 834612
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 54922 56 0 0 25 0 10 0 837129237 854642688 24142 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24142 13086 16 0 208637 0
vsize: 834612
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 55848 56 0 0 25 0 10 0 837129237 854642688 24172 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24172 13086 16 0 208637 0
vsize: 834612
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 56772 56 0 0 25 0 10 0 837129237 854642688 24201 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24201 13086 16 0 208637 0
vsize: 834612
[startup+620.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 57697 57 0 0 25 0 10 0 837129237 854642688 24230 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24230 13086 16 0 208637 0
vsize: 834612
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 58622 57 0 0 25 0 10 0 837129237 854642688 24259 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24259 13086 16 0 208637 0
vsize: 834612
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 59546 57 0 0 25 0 10 0 837129237 854642688 24288 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24288 13086 16 0 208637 0
vsize: 834612
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 60470 57 0 0 25 0 10 0 837129237 854642688 24316 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24316 13086 16 0 208637 0
vsize: 834612
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 61394 58 0 0 25 0 10 0 837129237 854642688 24345 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 24345 13086 16 0 208637 0
vsize: 834612
[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 62308 58 0 0 24 0 10 0 837129237 854642688 25267 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25267 13086 16 0 208637 0
vsize: 834612
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 63235 59 0 0 24 0 10 0 837129237 854642688 25267 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25267 13086 16 0 208637 0
vsize: 834612
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 64150 59 0 0 24 0 10 0 837129237 854642688 25272 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25272 13086 16 0 208637 0
vsize: 834612
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 65068 59 0 0 25 0 10 0 837129237 854642688 25297 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25297 13086 16 0 208637 0
vsize: 834612
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 65981 60 0 0 25 0 10 0 837129237 854642688 25324 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25324 13086 16 0 208637 0
vsize: 834612
[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 66892 60 0 0 25 0 10 0 837129237 854642688 25351 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25351 13086 16 0 208637 0
vsize: 834612
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 67805 60 0 0 25 0 10 0 837129237 854642688 25378 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25378 13086 16 0 208637 0
vsize: 834612
[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 68717 61 0 0 24 0 10 0 837129237 854642688 25405 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25405 13086 16 0 208637 0
vsize: 834612
[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 69634 61 0 0 25 0 10 0 837129237 854642688 25430 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25430 13086 16 0 208637 0
vsize: 834612
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 70544 62 0 0 25 0 10 0 837129237 854642688 25456 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25456 13086 16 0 208637 0
vsize: 834612
[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 71455 63 0 0 25 0 10 0 837129237 854642688 25482 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25482 13086 16 0 208637 0
vsize: 834612
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 72365 63 0 0 25 0 10 0 837129237 854642688 25508 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25508 13086 16 0 208637 0
vsize: 834612
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 73282 63 0 0 25 0 10 0 837129237 854642688 25532 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25532 13086 16 0 208637 0
vsize: 834612
[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 74192 64 0 0 25 0 10 0 837129237 854642688 25557 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25557 13086 16 0 208637 0
vsize: 834612
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 75101 64 0 0 25 0 10 0 837129237 854642688 25583 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25583 13086 16 0 208637 0
vsize: 834612
[startup+820.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 76010 64 0 0 25 0 10 0 837129237 854642688 25608 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25608 13086 16 0 208637 0
vsize: 834612
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 76924 65 0 0 25 0 10 0 837129237 854642688 25632 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25632 13086 16 0 208637 0
vsize: 834612
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 77833 65 0 0 25 0 10 0 837129237 854642688 25657 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25657 13086 16 0 208637 0
vsize: 834612
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 78740 65 0 0 25 0 10 0 837129237 854642688 25682 4294967295 134512640 134569956 3221224368 3221213960 1077101170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25682 13086 16 0 208637 0
vsize: 834612
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 79654 65 0 0 25 0 10 0 837129237 854642688 25706 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25706 13086 16 0 208637 0
vsize: 834612
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 80563 65 0 0 25 0 10 0 837129237 854642688 25730 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25730 13086 16 0 208637 0
vsize: 834612
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 81471 66 0 0 25 0 10 0 837129237 854642688 25755 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25755 13086 16 0 208637 0
vsize: 834612
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 82379 66 0 0 25 0 10 0 837129237 854642688 25779 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25779 13086 16 0 208637 0
vsize: 834612
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 83292 66 0 0 25 0 10 0 837129237 854642688 25801 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25801 13086 16 0 208637 0
vsize: 834612
[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 84198 67 0 0 25 0 10 0 837129237 854642688 25825 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25825 13086 16 0 208637 0
vsize: 834612
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 85109 67 0 0 25 0 10 0 837129237 854642688 25848 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25848 13086 16 0 208637 0
vsize: 834612
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 86017 67 0 0 25 0 10 0 837129237 854642688 25871 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25871 13086 16 0 208637 0
vsize: 834612
[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 86923 68 0 0 25 0 10 0 837129237 854642688 25895 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25895 13086 16 0 208637 0
vsize: 834612
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 87836 68 0 0 25 0 10 0 837129237 854642688 25917 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25917 13086 16 0 208637 0
vsize: 834612
[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 88741 68 0 0 25 0 10 0 837129237 854642688 25940 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25940 13086 16 0 208637 0
vsize: 834612
[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 89645 68 0 0 25 0 10 0 837129237 854642688 25964 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25964 13086 16 0 208637 0
vsize: 834612
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 90555 69 0 0 25 0 10 0 837129237 854642688 25985 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 25985 13086 16 0 208637 0
vsize: 834612
[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 91459 69 0 0 25 0 10 0 837129237 854642688 26012 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26012 13086 16 0 208637 0
vsize: 834612
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 92367 70 0 0 25 0 10 0 837129237 854642688 26034 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26034 13086 16 0 208637 0
vsize: 834612
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 93272 70 0 0 25 0 10 0 837129237 854642688 26063 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26063 13086 16 0 208637 0
vsize: 834612
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 94176 70 0 0 24 0 10 0 837129237 854642688 26087 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26087 13086 16 0 208637 0
vsize: 834612
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 95085 71 0 0 25 0 10 0 837129237 854642688 26108 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26108 13086 16 0 208637 0
vsize: 834612
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 95986 71 0 0 25 0 10 0 837129237 854642688 26141 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26141 13086 16 0 208637 0
vsize: 834612
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 96901 72 0 0 25 0 10 0 837129237 854642688 26163 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26163 13086 16 0 208637 0
vsize: 834612
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 97808 72 0 0 25 0 10 0 837129237 854642688 26191 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26191 13086 16 0 208637 0
vsize: 834612
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 98710 72 0 0 24 0 10 0 837129237 854642688 26216 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26216 13086 16 0 208637 0
vsize: 834612
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 99616 73 0 0 25 0 10 0 837129237 854642688 26243 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26243 13086 16 0 208637 0
vsize: 834612
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 100517 73 0 0 24 0 10 0 837129237 854642688 26268 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26268 13086 16 0 208637 0
vsize: 834612
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 101424 73 0 0 25 0 10 0 837129237 854642688 26288 4294967295 134512640 134569956 3221224368 3221214840 1131185499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208653 26288 13086 16 0 208637 0
vsize: 834612
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 102325 73 0 0 25 0 10 0 837129237 854642688 26316 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26316 13086 16 0 208637 0
vsize: 834612
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 103232 74 0 0 25 0 10 0 837129237 854642688 26340 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26340 13086 16 0 208637 0
vsize: 834612
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 104132 74 0 0 25 0 10 0 837129237 854642688 26365 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26365 13086 16 0 208637 0
vsize: 834612
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 105038 75 0 0 25 0 10 0 837129237 854642688 26389 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26389 13086 16 0 208637 0
vsize: 834612
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 105936 75 0 0 25 0 10 0 837129237 854642688 26413 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26413 13086 16 0 208637 0
vsize: 834612
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 106842 76 0 0 25 0 10 0 837129237 854642688 26433 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26433 13086 16 0 208637 0
vsize: 834612
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 107740 76 0 0 25 0 10 0 837129237 854642688 26461 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26461 13086 16 0 208637 0
vsize: 834612
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 108646 76 0 0 25 0 10 0 837129237 854642688 26485 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26485 13086 16 0 208637 0
vsize: 834612
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 109544 77 0 0 25 0 10 0 837129237 854642688 26506 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26506 13086 16 0 208637 0
vsize: 834612
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 110450 77 0 0 25 0 10 0 837129237 854642688 26531 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26531 13086 16 0 208637 0
vsize: 834612
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 111346 77 0 0 25 0 10 0 837129237 854642688 26556 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26556 13086 16 0 208637 0
vsize: 834612
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 112247 78 0 0 25 0 10 0 837129237 854642688 26579 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26579 13086 16 0 208637 0
vsize: 834612
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 113145 78 0 0 25 0 10 0 837129237 854642688 26601 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26601 13086 16 0 208637 0
vsize: 834612
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 114048 78 0 0 25 0 10 0 837129237 854642688 26622 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26622 13086 16 0 208637 0
vsize: 834612
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 114945 78 0 0 25 0 10 0 837129237 854642688 26643 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26643 13086 16 0 208637 0
vsize: 834612
[startup+1260.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 115848 79 0 0 25 0 10 0 837129237 854642688 26662 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26662 13086 16 0 208637 0
vsize: 834612
[startup+1270.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 116747 79 0 0 25 0 10 0 837129237 854642688 26697 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26697 13086 16 0 208637 0
vsize: 834612
[startup+1280.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 117649 79 0 0 25 0 10 0 837129237 854642688 26712 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26712 13086 16 0 208637 0
vsize: 834612
[startup+1290.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) S 31216 20001 20000 0 -1 0 18028 0 1 0 118552 80 0 0 25 0 10 0 837129237 854642688 26749 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26749 13086 16 0 208637 0
vsize: 834612
[startup+1300.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 119452 80 0 0 25 0 10 0 837129237 854642688 26762 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26762 13086 16 0 208637 0
vsize: 834612
[startup+1310.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31226
Raw data (stat): 31217 (java) R 31216 20001 20000 0 -1 0 18028 0 1 0 120358 80 0 0 25 0 10 0 837129237 854642688 26792 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 26792 13086 16 0 208637 0
vsize: 834612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.4 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31228
Raw data (stat): 31217 (java) Z 31216 20001 20000 0 -1 1036 18028 8540 1 0 120361 80 10616 42 25 0 1 0 837129237 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.4
CPU time (s): 1311.01
CPU user time (s): 1309.78
CPU system time (s): 1.23681
CPU usage (%): 100.047
Max. virtual memory (Kb): 835092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####