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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29610373267604
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29610373267604
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 13718

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-20 21:25:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14127 boxname=wulflinc1 idbench=1087 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bd3b7059f5a46c39741d1666410238f7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3709.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3709.opb
IDLAUNCH: 14127
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        802168 kB
Buffers:         19432 kB
Cached:         185180 kB
SwapCached:          0 kB
Active:          95912 kB
Inactive:       111848 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        801888 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            19004 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:47:31 (client local time) WITH STATUS 143 IN 1312.35 SECONDS
stats: 14127 7 1312.35 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n3709.opb
c reading problem 
c [nbvar=155000]
c [nbconstr=5150]
#### 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.86 0.97 0.90 2/56 13809
Raw data (stat): 13809 (runsolver) R 13808 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 424587193 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0066 s]
Raw data (loadavg): 0.95 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 888 42 0 0 24 0 10 0 424587193 853450752 19128 4294967295 134512640 134569956 3221224400 3221214520 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208362 19128 13073 16 0 208346 0
vsize: 833448
[startup+20.0123 s]
Raw data (loadavg): 0.96 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 1784 42 0 0 25 0 10 0 424587193 853643264 19642 4294967295 134512640 134569956 3221224400 3221214824 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 19642 13073 16 0 208393 0
vsize: 833636
[startup+30.012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 2684 42 0 0 25 0 10 0 424587193 853643264 20070 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20070 13073 16 0 208393 0
vsize: 833636
[startup+40.0139 s]
Raw data (loadavg): 0.97 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 3616 42 0 0 25 0 10 0 424587193 853643264 20295 4294967295 134512640 134569956 3221224400 3221214712 1131188131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20295 13073 16 0 208393 0
vsize: 833636
[startup+50.0147 s]
Raw data (loadavg): 0.97 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 4545 42 0 0 25 0 10 0 424587193 853643264 20414 4294967295 134512640 134569956 3221224400 3221214736 1130915426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20414 13073 16 0 208393 0
vsize: 833636
[startup+60.0153 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 5479 43 0 0 25 0 10 0 424587193 853708800 20519 4294967295 134512640 134569956 3221224400 3221214348 1079300776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208425 20519 13073 16 0 208409 0
vsize: 833700
[startup+70.0159 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 6421 43 0 0 25 0 10 0 424587193 853643264 20731 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20731 13073 16 0 208393 0
vsize: 833636
[startup+80.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 7371 43 0 0 25 0 10 0 424587193 853643264 20806 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20806 13073 16 0 208393 0
vsize: 833636
[startup+90.0199 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 8320 43 0 0 25 0 10 0 424587193 853643264 20876 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20876 13073 16 0 208393 0
vsize: 833636
[startup+100.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 9268 43 0 0 25 0 10 0 424587193 853643264 20943 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 20943 13073 16 0 208393 0
vsize: 833636
[startup+110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 10219 43 0 0 25 0 10 0 424587193 853643264 21003 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21003 13073 16 0 208393 0
vsize: 833636
[startup+120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 11167 43 0 0 25 0 10 0 424587193 853643264 21063 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21063 13073 16 0 208393 0
vsize: 833636
[startup+130.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 12116 43 0 0 25 0 10 0 424587193 853643264 21118 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21118 13073 16 0 208393 0
vsize: 833636
[startup+140.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 13065 43 0 0 25 0 10 0 424587193 853643264 21172 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21172 13073 16 0 208393 0
vsize: 833636
[startup+150.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 14012 43 0 0 24 0 10 0 424587193 853643264 21224 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21224 13073 16 0 208393 0
vsize: 833636
[startup+160.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 14962 43 0 0 25 0 10 0 424587193 853643264 21273 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21273 13073 16 0 208393 0
vsize: 833636
[startup+170.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 15901 44 0 0 25 0 10 0 424587193 853643264 21319 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21319 13073 16 0 208393 0
vsize: 833636
[startup+180.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 16824 44 0 0 24 0 10 0 424587193 853643264 21365 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21365 13073 16 0 208393 0
vsize: 833636
[startup+190.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 17761 44 0 0 25 0 10 0 424587193 853643264 21664 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21664 13073 16 0 208393 0
vsize: 833636
[startup+200.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 18707 44 0 0 25 0 10 0 424587193 853643264 21706 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21706 13073 16 0 208393 0
vsize: 833636
[startup+210.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 19649 44 0 0 25 0 10 0 424587193 853643264 21749 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21749 13073 16 0 208393 0
vsize: 833636
[startup+220.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 20595 44 0 0 25 0 10 0 424587193 853643264 21789 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21789 13073 16 0 208393 0
vsize: 833636
[startup+230.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 21537 44 0 0 25 0 10 0 424587193 853643264 21830 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21830 13073 16 0 208393 0
vsize: 833636
[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 22481 44 0 0 25 0 10 0 424587193 853643264 21867 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21867 13073 16 0 208393 0
vsize: 833636
[startup+250.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 23422 45 0 0 25 0 10 0 424587193 853643264 21906 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21906 13073 16 0 208393 0
vsize: 833636
[startup+260.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13818
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 24366 45 0 0 25 0 10 0 424587193 853643264 21942 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21942 13073 16 0 208393 0
vsize: 833636
[startup+270.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 25308 45 0 0 25 0 10 0 424587193 853643264 21978 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 21978 13073 16 0 208393 0
vsize: 833636
[startup+280.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 26248 45 0 0 25 0 10 0 424587193 853643264 22015 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22015 13073 16 0 208393 0
vsize: 833636
[startup+290.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 27190 45 0 0 25 0 10 0 424587193 853643264 22049 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22049 13073 16 0 208393 0
vsize: 833636
[startup+300.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 28129 45 0 0 25 0 10 0 424587193 853643264 22084 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22084 13073 16 0 208393 0
vsize: 833636
[startup+310.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 29070 45 0 0 25 0 10 0 424587193 853643264 22118 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22118 13073 16 0 208393 0
vsize: 833636
[startup+320.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 30011 45 0 0 25 0 10 0 424587193 853643264 22151 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22151 13073 16 0 208393 0
vsize: 833636
[startup+330.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 30948 45 0 0 25 0 10 0 424587193 853643264 22184 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22184 13073 16 0 208393 0
vsize: 833636
[startup+340.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 31887 46 0 0 25 0 10 0 424587193 853643264 22217 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22217 13073 16 0 208393 0
vsize: 833636
[startup+350.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 32827 46 0 0 25 0 10 0 424587193 853643264 22248 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22248 13073 16 0 208393 0
vsize: 833636
[startup+360.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 33766 46 0 0 25 0 10 0 424587193 853643264 22280 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22280 13073 16 0 208393 0
vsize: 833636
[startup+370.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 34701 46 0 0 25 0 10 0 424587193 853643264 22312 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22312 13073 16 0 208393 0
vsize: 833636
[startup+380.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 35638 46 0 0 25 0 10 0 424587193 853643264 22341 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22341 13073 16 0 208393 0
vsize: 833636
[startup+390.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 36576 47 0 0 25 0 10 0 424587193 853643264 22371 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22371 13073 16 0 208393 0
vsize: 833636
[startup+400.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 37509 47 0 0 24 0 10 0 424587193 853643264 22402 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22402 13073 16 0 208393 0
vsize: 833636
[startup+410.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 38446 47 0 0 25 0 10 0 424587193 853643264 22430 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22430 13073 16 0 208393 0
vsize: 833636
[startup+420.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 39382 47 0 0 25 0 10 0 424587193 853643264 22458 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22458 13073 16 0 208393 0
vsize: 833636
[startup+430.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 40315 47 0 0 25 0 10 0 424587193 853643264 22487 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22487 13073 16 0 208393 0
vsize: 833636
[startup+440.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 41250 47 0 0 25 0 10 0 424587193 853643264 22516 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22516 13073 16 0 208393 0
vsize: 833636
[startup+450.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 42185 47 0 0 25 0 10 0 424587193 853643264 22543 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22543 13073 16 0 208393 0
vsize: 833636
[startup+460.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 43121 47 0 0 25 0 10 0 424587193 853643264 22570 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22570 13073 16 0 208393 0
vsize: 833636
[startup+470.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 44054 47 0 0 25 0 10 0 424587193 853643264 22597 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22597 13073 16 0 208393 0
vsize: 833636
[startup+480.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 44985 48 0 0 24 0 10 0 424587193 853643264 22624 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22624 13073 16 0 208393 0
vsize: 833636
[startup+490.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 45918 48 0 0 25 0 10 0 424587193 853643264 22650 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22650 13073 16 0 208393 0
vsize: 833636
[startup+500.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 46851 48 0 0 25 0 10 0 424587193 853643264 22676 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22676 13073 16 0 208393 0
vsize: 833636
[startup+510.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 47784 48 0 0 25 0 10 0 424587193 853643264 22702 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22702 13073 16 0 208393 0
vsize: 833636
[startup+520.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 48716 48 0 0 25 0 10 0 424587193 853643264 22727 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22727 13073 16 0 208393 0
vsize: 833636
[startup+530.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 49648 49 0 0 25 0 10 0 424587193 853643264 22752 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22752 13073 16 0 208393 0
vsize: 833636
[startup+540.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 50575 49 0 0 25 0 10 0 424587193 853643264 22778 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22778 13073 16 0 208393 0
vsize: 833636
[startup+550.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 51506 49 0 0 25 0 10 0 424587193 853643264 22804 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22804 13073 16 0 208393 0
vsize: 833636
[startup+560.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13820
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 52436 49 0 0 25 0 10 0 424587193 853643264 22828 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22828 13073 16 0 208393 0
vsize: 833636
[startup+570.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 53366 49 0 0 25 0 10 0 424587193 853643264 22852 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22852 13073 16 0 208393 0
vsize: 833636
[startup+580.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 54296 49 0 0 25 0 10 0 424587193 853643264 22876 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22876 13073 16 0 208393 0
vsize: 833636
[startup+590.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 55226 50 0 0 25 0 10 0 424587193 853643264 22899 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22899 13073 16 0 208393 0
vsize: 833636
[startup+600.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 56153 50 0 0 25 0 10 0 424587193 853643264 22923 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22923 13073 16 0 208393 0
vsize: 833636
[startup+610.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 57082 50 0 0 25 0 10 0 424587193 853643264 22946 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22946 13073 16 0 208393 0
vsize: 833636
[startup+620.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 58010 50 0 0 25 0 10 0 424587193 853643264 22969 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22969 13073 16 0 208393 0
vsize: 833636
[startup+630.065 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 58937 50 0 0 25 0 10 0 424587193 853643264 22992 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 22992 13073 16 0 208393 0
vsize: 833636
[startup+640.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 59861 51 0 0 24 0 10 0 424587193 853643264 23016 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 23016 13073 16 0 208393 0
vsize: 833636
[startup+650.065 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 60789 51 0 0 24 0 10 0 424587193 853643264 23038 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 23038 13073 16 0 208393 0
vsize: 833636
[startup+660.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 61716 51 0 0 25 0 10 0 424587193 853643264 23065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 23065 13073 16 0 208393 0
vsize: 833636
[startup+670.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 62637 51 0 0 25 0 10 0 424587193 853643264 24091 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24091 13073 16 0 208393 0
vsize: 833636
[startup+680.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 63561 51 0 0 24 0 10 0 424587193 853643264 24094 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24094 13073 16 0 208393 0
vsize: 833636
[startup+690.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 64478 51 0 0 24 0 10 0 424587193 853643264 24123 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24123 13073 16 0 208393 0
vsize: 833636
[startup+700.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 65400 51 0 0 25 0 10 0 424587193 853643264 24147 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24147 13073 16 0 208393 0
vsize: 833636
[startup+710.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 66316 51 0 0 25 0 10 0 424587193 853643264 24173 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24173 13073 16 0 208393 0
vsize: 833636
[startup+720.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 67231 51 0 0 25 0 10 0 424587193 853643264 24198 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24198 13073 16 0 208393 0
vsize: 833636
[startup+730.069 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 68146 51 0 0 25 0 10 0 424587193 853643264 24225 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24225 13073 16 0 208393 0
vsize: 833636
[startup+740.069 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 69062 51 0 0 25 0 10 0 424587193 853643264 24247 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24247 13073 16 0 208393 0
vsize: 833636
[startup+750.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 69981 52 0 0 25 0 10 0 424587193 853643264 24267 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24267 13073 16 0 208393 0
vsize: 833636
[startup+760.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 70897 52 0 0 25 0 10 0 424587193 853643264 24298 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24298 13073 16 0 208393 0
vsize: 833636
[startup+770.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 71810 52 0 0 25 0 10 0 424587193 853643264 24322 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24322 13073 16 0 208393 0
vsize: 833636
[startup+780.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 72724 52 0 0 25 0 10 0 424587193 853643264 24346 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24346 13073 16 0 208393 0
vsize: 833636
[startup+790.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 73638 52 0 0 24 0 10 0 424587193 853643264 24367 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24367 13073 16 0 208393 0
vsize: 833636
[startup+800.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 74557 52 0 0 25 0 10 0 424587193 853643264 24397 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 24397 13073 16 0 208393 0
vsize: 833636
[startup+810.075 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 75470 52 0 0 25 0 10 0 424587193 853643264 24419 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24419 13073 16 0 208393 0
vsize: 833636
[startup+820.075 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 76382 52 0 0 25 0 10 0 424587193 853643264 24442 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24442 13073 16 0 208393 0
vsize: 833636
[startup+830.077 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 77296 52 0 0 25 0 10 0 424587193 853643264 24468 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24468 13073 16 0 208393 0
vsize: 833636
[startup+840.078 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 78211 53 0 0 25 0 10 0 424587193 853643264 24491 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24491 13073 16 0 208393 0
vsize: 833636
[startup+850.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 79122 53 0 0 25 0 10 0 424587193 853643264 24511 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24511 13073 16 0 208393 0
vsize: 833636
[startup+860.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13822
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 80033 53 0 0 25 0 10 0 424587193 853643264 24535 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24535 13073 16 0 208393 0
vsize: 833636
[startup+870.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 80950 53 0 0 25 0 10 0 424587193 853643264 24554 4294967295 134512640 134569956 3221224400 3221214816 1130896321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24554 13073 16 0 208393 0
vsize: 833636
[startup+880.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 81860 53 0 0 25 0 10 0 424587193 853643264 24584 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24584 13073 16 0 208393 0
vsize: 833636
[startup+890.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 82770 53 0 0 25 0 10 0 424587193 853643264 24605 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24605 13073 16 0 208393 0
vsize: 833636
[startup+900.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 83680 53 0 0 24 0 10 0 424587193 853643264 24630 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24630 13073 16 0 208393 0
vsize: 833636
[startup+910.081 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 84595 53 0 0 25 0 10 0 424587193 853643264 24651 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24651 13073 16 0 208393 0
vsize: 833636
[startup+920.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 85505 53 0 0 25 0 10 0 424587193 853643264 24672 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24672 13073 16 0 208393 0
vsize: 833636
[startup+930.081 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 86414 53 0 0 24 0 10 0 424587193 853643264 24697 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24697 13073 16 0 208393 0
vsize: 833636
[startup+940.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 87329 53 0 0 25 0 10 0 424587193 853643264 24714 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24714 13073 16 0 208393 0
vsize: 833636
[startup+950.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 88237 53 0 0 25 0 10 0 424587193 853643264 24741 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24741 13073 16 0 208393 0
vsize: 833636
[startup+960.083 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 89145 53 0 0 25 0 10 0 424587193 853643264 24763 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24763 13073 16 0 208393 0
vsize: 833636
[startup+970.084 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 90057 53 0 0 25 0 10 0 424587193 853643264 24783 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24783 13073 16 0 208393 0
vsize: 833636
[startup+980.084 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 90964 54 0 0 20 0 10 0 424587193 853643264 24806 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24806 13073 16 0 208393 0
vsize: 833636
[startup+990.088 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 91872 54 0 0 25 0 10 0 424587193 853643264 24824 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24824 13073 16 0 208393 0
vsize: 833636
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 92784 54 0 0 25 0 10 0 424587193 853643264 24848 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24848 13073 16 0 208393 0
vsize: 833636
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 93691 54 0 0 25 0 10 0 424587193 853643264 24868 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24868 13073 16 0 208393 0
vsize: 833636
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 94603 54 0 0 25 0 10 0 424587193 853643264 24884 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24884 13073 16 0 208393 0
vsize: 833636
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 95509 54 0 0 25 0 10 0 424587193 853643264 24911 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24911 13073 16 0 208393 0
vsize: 833636
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 96415 54 0 0 24 0 10 0 424587193 853643264 24931 4294967295 134512640 134569956 3221224400 3221214804 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24931 13073 16 0 208393 0
vsize: 833636
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 97327 54 0 0 25 0 10 0 424587193 853643264 24949 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24949 13073 16 0 208393 0
vsize: 833636
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 98232 54 0 0 25 0 10 0 424587193 853643264 24975 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24975 13073 16 0 208393 0
vsize: 833636
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 99142 54 0 0 25 0 10 0 424587193 853643264 24995 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 24995 13073 16 0 208393 0
vsize: 833636
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 100044 54 0 0 20 0 10 0 424587193 853643264 25016 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25016 13073 16 0 208393 0
vsize: 833636
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 100954 55 0 0 23 0 10 0 424587193 853643264 25033 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25033 13073 16 0 208393 0
vsize: 833636
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 101858 55 0 0 21 0 10 0 424587193 853643264 25056 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25056 13073 16 0 208393 0
vsize: 833636
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 102765 55 0 0 24 0 10 0 424587193 853643264 25076 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25076 13073 16 0 208393 0
vsize: 833636
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 103672 55 0 0 22 0 10 0 424587193 853643264 25096 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25096 13073 16 0 208393 0
vsize: 833636
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) S 13808 12452 12451 0 -1 0 17978 0 1 0 104576 55 0 0 23 0 10 0 424587193 853643264 25115 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25115 13073 16 0 208393 0
vsize: 833636
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 105483 55 0 0 22 0 10 0 424587193 853643264 25137 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25137 13073 16 0 208393 0
vsize: 833636
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 106385 55 0 0 19 0 10 0 424587193 853643264 25155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25155 13073 16 0 208393 0
vsize: 833636
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13824
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 107293 55 0 0 22 0 10 0 424587193 853643264 25175 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25175 13073 16 0 208393 0
vsize: 833636
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 108196 55 0 0 20 0 10 0 424587193 853643264 25195 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25195 13073 16 0 208393 0
vsize: 833636
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 109104 55 0 0 22 0 10 0 424587193 853643264 25214 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25214 13073 16 0 208393 0
vsize: 833636
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 110005 56 0 0 20 0 10 0 424587193 853643264 25230 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25230 13073 16 0 208393 0
vsize: 833636
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 110912 56 0 0 23 0 10 0 424587193 853643264 25254 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25254 13073 16 0 208393 0
vsize: 833636
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 111811 56 0 0 19 0 10 0 424587193 853643264 25274 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25274 13073 16 0 208393 0
vsize: 833636
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 112716 56 0 0 22 0 10 0 424587193 853643264 25291 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25291 13073 16 0 208393 0
vsize: 833636
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 113616 56 0 0 19 0 10 0 424587193 853643264 25311 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25311 13073 16 0 208393 0
vsize: 833636
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 114522 56 0 0 22 0 10 0 424587193 853643264 25326 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25326 13073 16 0 208393 0
vsize: 833636
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 115422 56 0 0 19 0 10 0 424587193 853643264 25342 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25342 13073 16 0 208393 0
vsize: 833636
[startup+1260.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 116329 56 0 0 22 0 10 0 424587193 853643264 25357 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25357 13073 16 0 208393 0
vsize: 833636
[startup+1270.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 117229 56 0 0 19 0 10 0 424587193 853643264 25386 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25386 13073 16 0 208393 0
vsize: 833636
[startup+1280.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 118134 57 0 0 21 0 10 0 424587193 853643264 25408 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25408 13073 16 0 208393 0
vsize: 833636
[startup+1290.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 119034 57 0 0 19 0 10 0 424587193 853643264 25427 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25427 13073 16 0 208393 0
vsize: 833636
[startup+1300.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 119941 57 0 0 22 0 10 0 424587193 853643264 25438 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25438 13073 16 0 208393 0
vsize: 833636
[startup+1310.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/65 13826
Raw data (stat): 13809 (java) R 13808 12452 12451 0 -1 0 17978 0 1 0 120841 57 0 0 19 0 10 0 424587193 853643264 25469 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208409 25469 13073 16 0 208393 0
vsize: 833636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 13827
Raw data (stat): 13809 (java) Z 13808 12452 12451 0 -1 1036 17978 7905 1 0 120846 61 10283 43 21 0 1 0 424587193 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.2
CPU time (s): 1312.35
CPU user time (s): 1311.3
CPU system time (s): 1.05084
CPU usage (%): 100.164
Max. virtual memory (Kb): 833700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####