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/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUM	d9b143d593d6c40f70d01400b968fa76
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	3424
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	180407058264
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	180407058264
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.353945
Number of variables	4600
Total number of constraints	374
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	1
Maximum length of a constraint	147
Trace number 16620

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 08:01:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12918 boxname=wulflinc9 idbench=994 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d9b143d593d6c40f70d01400b968fa76  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-pp08aCUTS.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-pp08aCUTS.opb
IDLAUNCH: 12918
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        229840 kB
Buffers:         36172 kB
Cached:         744936 kB
SwapCached:          8 kB
Active:         137328 kB
Inactive:       646580 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        228132 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            15100 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 08:22:12 (client local time) WITH STATUS 143 IN 1245.23 SECONDS
stats: 12918 7 1245.23 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-pp08aCUTS.opb
c reading problem 
c [nbvar=4600]
c [nbconstr=374]
c time 9.674
c #vars     4600
c #clauses  375
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.03 1.07 1.02 1/54 5027
Raw data (stat): 5027 (runsolver) R 5026 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485257830 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.03 1.07 1.02 2/63 5036
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 17997 0 1 0 798 39 0 0 25 0 10 0 485257830 854687744 19557 4294967295 134512640 134569956 3221224400 3221214704 1131159364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208664 19557 13073 16 0 208648 0
vsize: 834656
[startup+20.0027 s]
Raw data (loadavg): 1.17 1.10 1.03 3/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18081 0 1 0 1609 40 0 0 25 0 11 0 485257830 862760960 22637 4294967295 134512640 134569956 3221224400 3221214464 1131233982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210635 22637 13073 16 0 210619 0
vsize: 842540
[startup+30.0032 s]
Raw data (loadavg): 1.14 1.09 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18081 0 1 0 2517 40 0 0 24 0 11 0 485257830 861011968 22365 4294967295 134512640 134569956 3221224400 3221214680 1131241900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210208 22365 13073 16 0 210192 0
vsize: 840832
[startup+40.004 s]
Raw data (loadavg): 1.12 1.09 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18081 0 1 0 3443 40 0 0 23 0 11 0 485257830 859688960 22236 4294967295 134512640 134569956 3221224400 3221215000 1130883254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209885 22236 13073 16 0 209869 0
vsize: 839540
[startup+50.0047 s]
Raw data (loadavg): 1.10 1.09 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 4343 40 0 0 24 0 11 0 485257830 859688960 22748 4294967295 134512640 134569956 3221224400 3221214744 1131395934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209885 22748 13073 16 0 209869 0
vsize: 839540
[startup+60.0055 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 5298 41 0 0 25 0 11 0 485257830 859688960 22855 4294967295 134512640 134569956 3221224400 3221214568 1131234080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209885 22855 13073 16 0 209869 0
vsize: 839540
[startup+70.0066 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 6256 41 0 0 25 0 11 0 485257830 859459584 22924 4294967295 134512640 134569956 3221224400 3221214744 1131395956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209829 22924 13073 16 0 209813 0
vsize: 839316
[startup+80.0071 s]
Raw data (loadavg): 1.06 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 7215 41 0 0 25 0 11 0 485257830 859459584 23079 4294967295 134512640 134569956 3221224400 3221214680 1131242201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209829 23079 13073 16 0 209813 0
vsize: 839316
[startup+90.01 s]
Raw data (loadavg): 1.12 1.09 1.02 2/64 5037
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 8171 41 0 0 25 0 11 0 485257830 859459584 23149 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 23149 13073 16 0 209813 0
vsize: 839316
[startup+100.011 s]
Raw data (loadavg): 1.11 1.09 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 9135 41 0 0 25 0 11 0 485257830 859459584 23277 4294967295 134512640 134569956 3221224400 3221214776 1131326521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 23277 13073 16 0 209813 0
vsize: 839316
[startup+110.011 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 10102 41 0 0 25 0 11 0 485257830 863653888 24309 4294967295 134512640 134569956 3221224400 3221214656 1131599324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 24309 13073 16 0 210837 0
vsize: 843412
[startup+120.013 s]
Raw data (loadavg): 1.07 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 11068 42 0 0 25 0 11 0 485257830 863653888 24456 4294967295 134512640 134569956 3221224400 3221214656 1131599188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 24456 13073 16 0 210837 0
vsize: 843412
[startup+130.013 s]
Raw data (loadavg): 1.06 1.08 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 12036 42 0 0 25 0 11 0 485257830 863653888 24600 4294967295 134512640 134569956 3221224400 3221214656 1131599184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 24600 13073 16 0 210837 0
vsize: 843412
[startup+140.014 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 12988 43 0 0 25 0 11 0 485257830 863653888 24619 4294967295 134512640 134569956 3221224400 3221214656 1131599307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 24619 13073 16 0 210837 0
vsize: 843412
[startup+150.014 s]
Raw data (loadavg): 1.04 1.07 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 13937 43 0 0 25 0 11 0 485257830 863653888 24723 4294967295 134512640 134569956 3221224400 3221214840 1130883107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210853 24723 13073 16 0 210837 0
vsize: 843412
[startup+160.014 s]
Raw data (loadavg): 1.04 1.07 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 14887 43 0 0 25 0 11 0 485257830 863653888 24864 4294967295 134512640 134569956 3221224400 3221214776 1131328850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 24864 13073 16 0 210837 0
vsize: 843412
[startup+170.015 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 15833 44 0 0 25 0 11 0 485257830 863653888 25006 4294967295 134512640 134569956 3221224400 3221214680 1131241889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25006 13073 16 0 210837 0
vsize: 843412
[startup+180.015 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 16792 44 0 0 25 0 11 0 485257830 863653888 25251 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210853 25251 13073 16 0 210837 0
vsize: 843412
[startup+190.016 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 17751 45 0 0 25 0 11 0 485257830 863653888 25368 4294967295 134512640 134569956 3221224400 3221214680 1131242404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25368 13073 16 0 210837 0
vsize: 843412
[startup+200.016 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 18728 45 0 0 25 0 11 0 485257830 863653888 25440 4294967295 134512640 134569956 3221224400 3221214432 1131582321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210853 25440 13073 16 0 210837 0
vsize: 843412
[startup+210.017 s]
Raw data (loadavg): 1.01 1.06 1.01 2/64 5037
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 19709 45 0 0 25 0 11 0 485257830 863653888 25522 4294967295 134512640 134569956 3221224400 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25522 13073 16 0 210837 0
vsize: 843412
[startup+220.018 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 20683 45 0 0 25 0 11 0 485257830 863653888 25605 4294967295 134512640 134569956 3221224400 3221214800 1131393121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25605 13073 16 0 210837 0
vsize: 843412
[startup+230.019 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 5037
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 21647 46 0 0 25 0 11 0 485257830 863653888 25684 4294967295 134512640 134569956 3221224400 3221214736 1131357808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25684 13073 16 0 210837 0
vsize: 843412
[startup+240.018 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 22606 47 0 0 25 0 11 0 485257830 863653888 25760 4294967295 134512640 134569956 3221224400 3221214448 1131514324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25760 13073 16 0 210837 0
vsize: 843412
[startup+250.02 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 23561 47 0 0 25 0 11 0 485257830 863653888 25824 4294967295 134512640 134569956 3221224400 3221214680 1131242301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25824 13073 16 0 210837 0
vsize: 843412
[startup+260.02 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 24511 48 0 0 24 0 11 0 485257830 863653888 25917 4294967295 134512640 134569956 3221224400 3221214656 1131599307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 25917 13073 16 0 210837 0
vsize: 843412
[startup+270.02 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 25462 48 0 0 24 0 11 0 485257830 863653888 26088 4294967295 134512640 134569956 3221224400 3221214656 1131599307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 26088 13073 16 0 210837 0
vsize: 843412
[startup+280.021 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 26420 48 0 0 25 0 11 0 485257830 863653888 26242 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 26242 13073 16 0 210837 0
vsize: 843412
[startup+290.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 27368 48 0 0 25 0 11 0 485257830 863653888 26416 4294967295 134512640 134569956 3221224400 3221214656 1131599281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 26416 13073 16 0 210837 0
vsize: 843412
[startup+300.022 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 28324 49 0 0 25 0 11 0 485257830 863653888 26566 4294967295 134512640 134569956 3221224400 3221214552 1131480536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210853 26566 13073 16 0 210837 0
vsize: 843412
[startup+310.022 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 29253 49 0 0 24 0 11 0 485257830 860508160 25980 4294967295 134512640 134569956 3221224400 3221214680 1131242301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 25980 13073 16 0 210069 0
vsize: 840340
[startup+320.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 30198 49 0 0 25 0 11 0 485257830 860508160 26204 4294967295 134512640 134569956 3221224400 3221214680 1131242163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26204 13073 16 0 210069 0
vsize: 840340
[startup+330.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 31163 49 0 0 25 0 11 0 485257830 860508160 26352 4294967295 134512640 134569956 3221224400 3221214680 1131242404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26352 13073 16 0 210069 0
vsize: 840340
[startup+340.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 32151 49 0 0 25 0 11 0 485257830 860508160 26442 4294967295 134512640 134569956 3221224400 3221214680 1131242564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26442 13073 16 0 210069 0
vsize: 840340
[startup+350.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 33142 49 0 0 25 0 11 0 485257830 860508160 26479 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26479 13073 16 0 210069 0
vsize: 840340
[startup+360.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 34114 49 0 0 25 0 11 0 485257830 860508160 26732 4294967295 134512640 134569956 3221224400 3221214680 1131242301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26732 13073 16 0 210069 0
vsize: 840340
[startup+370.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 35091 49 0 0 25 0 11 0 485257830 860508160 26798 4294967295 134512640 134569956 3221224400 3221214380 1076460784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26798 13073 16 0 210069 0
vsize: 840340
[startup+380.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 36067 49 0 0 25 0 11 0 485257830 860508160 26875 4294967295 134512640 134569956 3221224400 3221214740 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26875 13073 16 0 210069 0
vsize: 840340
[startup+390.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 37041 49 0 0 25 0 11 0 485257830 860508160 26932 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 26932 13073 16 0 210069 0
vsize: 840340
[startup+400.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 38022 49 0 0 25 0 11 0 485257830 860508160 27005 4294967295 134512640 134569956 3221224400 3221214776 1131328890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27005 13073 16 0 210069 0
vsize: 840340
[startup+410.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 39000 50 0 0 25 0 11 0 485257830 860508160 27100 4294967295 134512640 134569956 3221224400 3221214512 1131207793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27100 13073 16 0 210069 0
vsize: 840340
[startup+420.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 39978 50 0 0 25 0 11 0 485257830 860508160 27114 4294967295 134512640 134569956 3221224400 3221214656 1131599194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27114 13073 16 0 210069 0
vsize: 840340
[startup+430.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 40955 50 0 0 25 0 11 0 485257830 860508160 27208 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27208 13073 16 0 210069 0
vsize: 840340
[startup+440.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 41929 50 0 0 25 0 11 0 485257830 860508160 27287 4294967295 134512640 134569956 3221224400 3221214736 1131356991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27287 13073 16 0 210069 0
vsize: 840340
[startup+450.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 42901 50 0 0 25 0 11 0 485257830 860508160 27350 4294967295 134512640 134569956 3221224400 3221214736 1131357329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27350 13073 16 0 210069 0
vsize: 840340
[startup+460.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 43879 51 0 0 25 0 11 0 485257830 860508160 27385 4294967295 134512640 134569956 3221224400 3221214592 1131383540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27385 13073 16 0 210069 0
vsize: 840340
[startup+470.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 44872 51 0 0 25 0 11 0 485257830 860508160 27488 4294967295 134512640 134569956 3221224400 3221214552 1131233835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27488 13073 16 0 210069 0
vsize: 840340
[startup+480.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 45867 51 0 0 25 0 11 0 485257830 860508160 27502 4294967295 134512640 134569956 3221224400 3221214688 1131316405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27502 13073 16 0 210069 0
vsize: 840340
[startup+490.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 46860 51 0 0 25 0 11 0 485257830 860508160 27508 4294967295 134512640 134569956 3221224400 3221214832 1131348316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27508 13073 16 0 210069 0
vsize: 840340
[startup+500.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 47849 51 0 0 25 0 11 0 485257830 860508160 27508 4294967295 134512640 134569956 3221224400 3221214732 1131380140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27508 13073 16 0 210069 0
vsize: 840340
[startup+510.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 48837 51 0 0 25 0 11 0 485257830 860508160 27508 4294967295 134512640 134569956 3221224400 3221214680 1131242346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27508 13073 16 0 210069 0
vsize: 840340
[startup+520.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 49826 51 0 0 25 0 11 0 485257830 860508160 27533 4294967295 134512640 134569956 3221224400 3221214868 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27533 13073 16 0 210069 0
vsize: 840340
[startup+530.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 50812 51 0 0 25 0 11 0 485257830 860508160 27582 4294967295 134512640 134569956 3221224400 3221214552 1131233961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27582 13073 16 0 210069 0
vsize: 840340
[startup+540.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 51800 52 0 0 25 0 11 0 485257830 860508160 27623 4294967295 134512640 134569956 3221224400 3221214656 1131599168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27623 13073 16 0 210069 0
vsize: 840340
[startup+550.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 52787 52 0 0 25 0 11 0 485257830 860508160 27676 4294967295 134512640 134569956 3221224400 3221214656 1131449038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27676 13073 16 0 210069 0
vsize: 840340
[startup+560.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 53777 52 0 0 25 0 11 0 485257830 860508160 27681 4294967295 134512640 134569956 3221224400 3221214656 1131599180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27681 13073 16 0 210069 0
vsize: 840340
[startup+570.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 54767 52 0 0 25 0 11 0 485257830 860508160 27706 4294967295 134512640 134569956 3221224400 3221214800 1131396752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27706 13073 16 0 210069 0
vsize: 840340
[startup+580.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 55756 52 0 0 25 0 11 0 485257830 860508160 27741 4294967295 134512640 134569956 3221224400 3221214680 1131243068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27741 13073 16 0 210069 0
vsize: 840340
[startup+590.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 56743 52 0 0 25 0 11 0 485257830 860508160 27741 4294967295 134512640 134569956 3221224400 3221214776 1131328820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27741 13073 16 0 210069 0
vsize: 840340
[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 57726 52 0 0 25 0 11 0 485257830 860508160 27760 4294967295 134512640 134569956 3221224400 3221214552 1131233775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27760 13073 16 0 210069 0
vsize: 840340
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 58708 53 0 0 25 0 11 0 485257830 860508160 27786 4294967295 134512640 134569956 3221224400 3221214776 1131325519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27786 13073 16 0 210069 0
vsize: 840340
[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 59690 53 0 0 25 0 11 0 485257830 860508160 27849 4294967295 134512640 134569956 3221224400 3221214680 1131242541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27849 13073 16 0 210069 0
vsize: 840340
[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 60675 53 0 0 25 0 11 0 485257830 860508160 27955 4294967295 134512640 134569956 3221224400 3221214784 1131445023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27955 13073 16 0 210069 0
vsize: 840340
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 61656 53 0 0 25 0 11 0 485257830 860508160 27961 4294967295 134512640 134569956 3221224400 3221214788 1080203739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 27961 13073 16 0 210069 0
vsize: 840340
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 62635 53 0 0 25 0 11 0 485257830 860508160 28013 4294967295 134512640 134569956 3221224400 3221214776 1131328850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28013 13073 16 0 210069 0
vsize: 840340
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 63617 54 0 0 25 0 11 0 485257830 860508160 28083 4294967295 134512640 134569956 3221224400 3221214680 1131243114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28083 13073 16 0 210069 0
vsize: 840340
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 64598 54 0 0 25 0 11 0 485257830 860508160 28161 4294967295 134512640 134569956 3221224400 3221214776 1131328805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28161 13073 16 0 210069 0
vsize: 840340
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 65580 54 0 0 25 0 11 0 485257830 860508160 28200 4294967295 134512640 134569956 3221224400 3221214680 1131242301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28200 13073 16 0 210069 0
vsize: 840340
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 66560 54 0 0 25 0 11 0 485257830 860508160 28247 4294967295 134512640 134569956 3221224400 3221214680 1131242554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28247 13073 16 0 210069 0
vsize: 840340
[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 67538 54 0 0 25 0 11 0 485257830 860508160 28324 4294967295 134512640 134569956 3221224400 3221214680 1131241893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28324 13073 16 0 210069 0
vsize: 840340
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 68516 54 0 0 25 0 11 0 485257830 860508160 28381 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28381 13073 16 0 210069 0
vsize: 840340
[startup+720.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 69491 54 0 0 25 0 11 0 485257830 860508160 28452 4294967295 134512640 134569956 3221224400 3221214832 1131608788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28452 13073 16 0 210069 0
vsize: 840340
[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 70461 54 0 0 25 0 11 0 485257830 860508160 28566 4294967295 134512640 134569956 3221224400 3221214800 1131396752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28566 13073 16 0 210069 0
vsize: 840340
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 71437 54 0 0 25 0 11 0 485257830 860508160 28652 4294967295 134512640 134569956 3221224400 3221214720 1131351959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28652 13073 16 0 210069 0
vsize: 840340
[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 72422 55 0 0 25 0 11 0 485257830 860508160 28723 4294967295 134512640 134569956 3221224400 3221214644 1131233644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28723 13073 16 0 210069 0
vsize: 840340
[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 73414 55 0 0 25 0 11 0 485257830 860508160 28754 4294967295 134512640 134569956 3221224400 3221214800 1131394793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28754 13073 16 0 210069 0
vsize: 840340
[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 74405 55 0 0 25 0 11 0 485257830 860508160 28783 4294967295 134512640 134569956 3221224400 3221214680 1131242453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28783 13073 16 0 210069 0
vsize: 840340
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 75391 55 0 0 25 0 11 0 485257830 860508160 28796 4294967295 134512640 134569956 3221224400 3221214624 1131241889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28796 13073 16 0 210069 0
vsize: 840340
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 76372 55 0 0 25 0 11 0 485257830 860508160 28796 4294967295 134512640 134569956 3221224400 3221214520 1131233947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28796 13073 16 0 210069 0
vsize: 840340
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 77341 55 0 0 25 0 11 0 485257830 860508160 28860 4294967295 134512640 134569956 3221224400 3221214624 1131242336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28860 13073 16 0 210069 0
vsize: 840340
[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 78311 55 0 0 25 0 11 0 485257830 860508160 28942 4294967295 134512640 134569956 3221224400 3221214720 1131327426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 28942 13073 16 0 210069 0
vsize: 840340
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 79278 55 0 0 25 0 11 0 485257830 860508160 29020 4294967295 134512640 134569956 3221224400 3221214152 1131582423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29020 13073 16 0 210069 0
vsize: 840340
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 80278 55 0 0 25 0 11 0 485257830 860508160 29020 4294967295 134512640 134569956 3221224400 3221214000 1131572816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29020 13073 16 0 210069 0
vsize: 840340
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 81252 56 0 0 25 0 11 0 485257830 860508160 29109 4294967295 134512640 134569956 3221224400 3221214624 1131241889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29109 13073 16 0 210069 0
vsize: 840340
[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 82221 56 0 0 25 0 11 0 485257830 860508160 29268 4294967295 134512640 134569956 3221224400 3221214624 1131242489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29268 13073 16 0 210069 0
vsize: 840340
[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 83199 56 0 0 25 0 11 0 485257830 860508160 29461 4294967295 134512640 134569956 3221224400 3221214624 1131242546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29461 13073 16 0 210069 0
vsize: 840340
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 84182 56 0 0 25 0 11 0 485257830 860508160 29543 4294967295 134512640 134569956 3221224400 3221214624 1131242449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29543 13073 16 0 210069 0
vsize: 840340
[startup+880.076 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 85160 56 0 0 25 0 11 0 485257830 860508160 29604 4294967295 134512640 134569956 3221224400 3221214720 1131327400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29604 13073 16 0 210069 0
vsize: 840340
[startup+890.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 86141 56 0 0 25 0 11 0 485257830 860508160 29676 4294967295 134512640 134569956 3221224400 3221214624 1131241982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29676 13073 16 0 210069 0
vsize: 840340
[startup+900.078 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 87124 57 0 0 25 0 11 0 485257830 860508160 29783 4294967295 134512640 134569956 3221224400 3221214208 1131582356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29783 13073 16 0 210069 0
vsize: 840340
[startup+910.081 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 88097 57 0 0 25 0 11 0 485257830 860508160 29855 4294967295 134512640 134569956 3221224400 3221214624 1131242803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29855 13073 16 0 210069 0
vsize: 840340
[startup+920.092 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 89069 57 0 0 24 0 11 0 485257830 860508160 29898 4294967295 134512640 134569956 3221224400 3221214720 1131325519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29898 13073 16 0 210069 0
vsize: 840340
[startup+930.101 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 90042 58 0 0 25 0 11 0 485257830 860508160 29918 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 29918 13073 16 0 210069 0
vsize: 840340
[startup+940.109 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 91017 58 0 0 25 0 11 0 485257830 860508160 30082 4294967295 134512640 134569956 3221224400 3221214624 1131242529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30082 13073 16 0 210069 0
vsize: 840340
[startup+950.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) S 5026 30854 30853 0 -1 0 18082 0 1 0 91992 58 0 0 25 0 11 0 485257830 860508160 30122 4294967295 134512640 134569956 3221224400 3221213224 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30122 13073 16 0 210069 0
vsize: 840340
[startup+960.109 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 92967 59 0 0 25 0 11 0 485257830 860508160 30199 4294967295 134512640 134569956 3221224400 3221214624 1131241925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 30199 13073 16 0 210069 0
vsize: 840340
[startup+970.111 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 93945 59 0 0 25 0 11 0 485257830 860508160 30294 4294967295 134512640 134569956 3221224400 3221214624 1131243200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30294 13073 16 0 210069 0
vsize: 840340
[startup+980.115 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 94920 59 0 0 25 0 11 0 485257830 860508160 30388 4294967295 134512640 134569956 3221224400 3221214624 1131242386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30388 13073 16 0 210069 0
vsize: 840340
[startup+990.117 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 95896 59 0 0 25 0 11 0 485257830 860508160 30493 4294967295 134512640 134569956 3221224400 3221214720 1131325217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30493 13073 16 0 210069 0
vsize: 840340
[startup+1000.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 96871 60 0 0 24 0 11 0 485257830 860508160 30596 4294967295 134512640 134569956 3221224400 3221214904 1131342365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30596 13073 16 0 210069 0
vsize: 840340
[startup+1010.23 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 97860 60 0 0 25 0 11 0 485257830 860508160 30702 4294967295 134512640 134569956 3221224400 3221214624 1131242546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 30702 13073 16 0 210069 0
vsize: 840340
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 98837 60 0 0 25 0 11 0 485257830 860508160 30792 4294967295 134512640 134569956 3221224400 3221214624 1131242694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30792 13073 16 0 210069 0
vsize: 840340
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 99812 61 0 0 25 0 11 0 485257830 860508160 30889 4294967295 134512640 134569956 3221224400 3221214720 1131328871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30889 13073 16 0 210069 0
vsize: 840340
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 100787 61 0 0 25 0 11 0 485257830 860508160 30966 4294967295 134512640 134569956 3221224400 3221214624 1131242240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 30966 13073 16 0 210069 0
vsize: 840340
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 101764 62 0 0 25 0 11 0 485257830 860508160 31093 4294967295 134512640 134569956 3221224400 3221214176 1131572722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 31093 13073 16 0 210069 0
vsize: 840340
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 102742 62 0 0 25 0 11 0 485257830 860508160 31235 4294967295 134512640 134569956 3221224400 3221214624 1131242318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 31235 13073 16 0 210069 0
vsize: 840340
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 103719 62 0 0 25 0 11 0 485257830 860508160 31352 4294967295 134512640 134569956 3221224400 3221214720 1131325447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 31352 13073 16 0 210069 0
vsize: 840340
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 104700 62 0 0 25 0 11 0 485257830 860508160 31423 4294967295 134512640 134569956 3221224400 3221214624 1131241937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 31423 13073 16 0 210069 0
vsize: 840340
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 105677 62 0 0 24 0 11 0 485257830 860508160 31505 4294967295 134512640 134569956 3221224400 3221214720 1131328543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 31505 13073 16 0 210069 0
vsize: 840340
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 106655 63 0 0 25 0 11 0 485257830 860508160 31568 4294967295 134512640 134569956 3221224400 3221214616 1131599315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 31568 13073 16 0 210069 0
vsize: 840340
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 107633 63 0 0 25 0 11 0 485257830 860508160 31659 4294967295 134512640 134569956 3221224400 3221214720 1131326518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 31659 13073 16 0 210069 0
vsize: 840340
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 108612 63 0 0 25 0 11 0 485257830 860508160 31811 4294967295 134512640 134569956 3221224400 3221214624 1131242301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 31811 13073 16 0 210069 0
vsize: 840340
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 109587 63 0 0 25 0 11 0 485257830 860508160 31904 4294967295 134512640 134569956 3221224400 3221214624 1131242301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 31904 13073 16 0 210069 0
vsize: 840340
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 110561 63 0 0 25 0 11 0 485257830 860508160 32030 4294967295 134512640 134569956 3221224400 3221214624 1131242453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32030 13073 16 0 210069 0
vsize: 840340
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 111536 63 0 0 25 0 11 0 485257830 860508160 32106 4294967295 134512640 134569956 3221224400 3221214520 1131234202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32106 13073 16 0 210069 0
vsize: 840340
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 112509 63 0 0 25 0 11 0 485257830 860508160 32226 4294967295 134512640 134569956 3221224400 3221214624 1131241900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32226 13073 16 0 210069 0
vsize: 840340
[startup+1170.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 113485 63 0 0 25 0 11 0 485257830 860508160 32417 4294967295 134512640 134569956 3221224400 3221214624 1131241889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32417 13073 16 0 210069 0
vsize: 840340
[startup+1180.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 114465 64 0 0 25 0 11 0 485257830 860508160 32592 4294967295 134512640 134569956 3221224400 3221214720 1131328884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32592 13073 16 0 210069 0
vsize: 840340
[startup+1190.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 115444 64 0 0 25 0 11 0 485257830 860508160 32684 4294967295 134512640 134569956 3221224400 3221214616 1131599184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32684 13073 16 0 210069 0
vsize: 840340
[startup+1200.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 116425 64 0 0 25 0 11 0 485257830 860508160 32754 4294967295 134512640 134569956 3221224400 3221214624 1131242418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32754 13073 16 0 210069 0
vsize: 840340
[startup+1210.31 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 117406 64 0 0 25 0 11 0 485257830 860508160 32831 4294967295 134512640 134569956 3221224400 3221214544 1131582356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32831 13073 16 0 210069 0
vsize: 840340
[startup+1220.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 118388 64 0 0 25 0 11 0 485257830 860508160 32913 4294967295 134512640 134569956 3221224400 3221214616 1131599188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32913 13073 16 0 210069 0
vsize: 840340
[startup+1230.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 119367 64 0 0 25 0 11 0 485257830 860508160 32996 4294967295 134512640 134569956 3221224400 3221214624 1131242346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 32996 13073 16 0 210069 0
vsize: 840340
[startup+1240.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5039
Raw data (stat): 5027 (java) R 5026 30854 30853 0 -1 0 18082 0 1 0 120348 64 0 0 25 0 11 0 485257830 860508160 33057 4294967295 134512640 134569956 3221224400 3221214624 1131242760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 33057 13073 16 0 210069 0
vsize: 840340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.43 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5041
Raw data (stat): 5027 (java) Z 5026 30854 30853 0 -1 1036 18082 17054 1 0 120353 64 4054 49 25 0 1 0 485257830 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): 1240.43
CPU time (s): 1245.23
CPU user time (s): 1244.09
CPU system time (s): 1.14183
CPU usage (%): 100.387
Max. virtual memory (Kb): 843412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####