PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
MD5SUM	40c6760f4e05a9ceb06922f685226f97
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39144954388
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39144954388
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.00884
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 14847

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        860680 kB
Buffers:         11016 kB
Cached:         133832 kB
SwapCached:        604 kB
Active:          26372 kB
Inactive:       120500 kB
HighTotal:      131008 kB
HighFree:        45164 kB
LowTotal:       903652 kB
LowFree:        815516 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5232 kB
Slab:            21368 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 02:04:19 (client local time) WITH STATUS 143 IN 1299.98 SECONDS
stats: 19119 7 1299.98 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-n3709.opb
c reading problem 
c [nbvar=105000]
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): 1.00 0.97 0.91 2/54 10544
Raw data (stat): 10544 (runsolver) R 10543 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541202799 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.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17980 0 1 0 898 41 0 0 25 0 10 0 541202799 853032960 19004 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208260 19004 13073 16 0 208244 0
vsize: 833040
[startup+20.0019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 1794 41 0 0 18 0 10 0 541202799 853540864 19598 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 19598 13073 16 0 208368 0
vsize: 833536
[startup+30.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 2696 41 0 0 25 0 10 0 541202799 853540864 20022 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20022 13073 16 0 208368 0
vsize: 833536
[startup+40.0036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 3628 42 0 0 25 0 10 0 541202799 853540864 20247 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20247 13073 16 0 208368 0
vsize: 833536
[startup+50.0044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 4563 42 0 0 25 0 10 0 541202799 853540864 20364 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20364 13073 16 0 208368 0
vsize: 833536
[startup+60.0057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 5495 42 0 0 25 0 10 0 541202799 853540864 20461 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20461 13073 16 0 208368 0
vsize: 833536
[startup+70.0061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 6440 42 0 0 25 0 10 0 541202799 853540864 20665 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20665 13073 16 0 208368 0
vsize: 833536
[startup+80.0083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 7389 42 0 0 25 0 10 0 541202799 853540864 20744 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20744 13073 16 0 208368 0
vsize: 833536
[startup+90.0091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 8338 42 0 0 24 0 10 0 541202799 853540864 20815 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20815 13073 16 0 208368 0
vsize: 833536
[startup+100.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 9291 42 0 0 25 0 10 0 541202799 853540864 20876 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20876 13073 16 0 208368 0
vsize: 833536
[startup+110.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 10241 42 0 0 25 0 10 0 541202799 853540864 20938 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20938 13073 16 0 208368 0
vsize: 833536
[startup+120.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 11191 42 0 0 24 0 10 0 541202799 853540864 20996 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 20996 13073 16 0 208368 0
vsize: 833536
[startup+130.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 12144 42 0 0 25 0 10 0 541202799 853540864 21048 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21048 13073 16 0 208368 0
vsize: 833536
[startup+140.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 13094 42 0 0 25 0 10 0 541202799 853540864 21101 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21101 13073 16 0 208368 0
vsize: 833536
[startup+150.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 14047 42 0 0 25 0 10 0 541202799 853540864 21150 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21150 13073 16 0 208368 0
vsize: 833536
[startup+160.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 14997 43 0 0 25 0 10 0 541202799 853540864 21199 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21199 13073 16 0 208368 0
vsize: 833536
[startup+170.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 15949 43 0 0 25 0 10 0 541202799 853540864 21245 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21245 13073 16 0 208368 0
vsize: 833536
[startup+180.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 16885 43 0 0 25 0 10 0 541202799 853540864 21291 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21291 13073 16 0 208368 0
vsize: 833536
[startup+190.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 17815 43 0 0 25 0 10 0 541202799 853540864 21333 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21333 13073 16 0 208368 0
vsize: 833536
[startup+200.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 18755 43 0 0 25 0 10 0 541202799 853540864 21630 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21630 13073 16 0 208368 0
vsize: 833536
[startup+210.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 19701 43 0 0 24 0 10 0 541202799 853540864 21672 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21672 13073 16 0 208368 0
vsize: 833536
[startup+220.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 20651 43 0 0 25 0 10 0 541202799 853540864 21711 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21711 13073 16 0 208368 0
vsize: 833536
[startup+230.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 21599 43 0 0 25 0 10 0 541202799 853540864 21750 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21750 13073 16 0 208368 0
vsize: 833536
[startup+240.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 22544 43 0 0 25 0 10 0 541202799 853540864 21789 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21789 13073 16 0 208368 0
vsize: 833536
[startup+250.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 23492 44 0 0 25 0 10 0 541202799 853540864 21825 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21825 13073 16 0 208368 0
vsize: 833536
[startup+260.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 24435 44 0 0 24 0 10 0 541202799 853540864 21862 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21862 13073 16 0 208368 0
vsize: 833536
[startup+270.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 25382 44 0 0 25 0 10 0 541202799 853540864 21897 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 21897 13073 16 0 208368 0
vsize: 833536
[startup+280.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 26329 44 0 0 25 0 10 0 541202799 853540864 21931 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 21931 13073 16 0 208368 0
vsize: 833536
[startup+290.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) S 10543 18865 18864 0 -1 0 17981 0 1 0 27271 44 0 0 25 0 10 0 541202799 853540864 21964 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 21964 13073 16 0 208368 0
vsize: 833536
[startup+300.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 28215 44 0 0 25 0 10 0 541202799 853540864 21998 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 21998 13073 16 0 208368 0
vsize: 833536
[startup+310.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 29160 44 0 0 25 0 10 0 541202799 853540864 22030 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22030 13073 16 0 208368 0
vsize: 833536
[startup+320.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 30105 45 0 0 25 0 10 0 541202799 853540864 22062 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22062 13073 16 0 208368 0
vsize: 833536
[startup+330.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 31046 45 0 0 25 0 10 0 541202799 853540864 22095 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22095 13073 16 0 208368 0
vsize: 833536
[startup+340.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 31990 45 0 0 25 0 10 0 541202799 853540864 22125 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22125 13073 16 0 208368 0
vsize: 833536
[startup+350.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 32934 45 0 0 25 0 10 0 541202799 853540864 22155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22155 13073 16 0 208368 0
vsize: 833536
[startup+360.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 33877 45 0 0 25 0 10 0 541202799 853540864 22185 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22185 13073 16 0 208368 0
vsize: 833536
[startup+370.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 34816 45 0 0 24 0 10 0 541202799 853540864 22216 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22216 13073 16 0 208368 0
vsize: 833536
[startup+380.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 35758 45 0 0 25 0 10 0 541202799 853540864 22245 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22245 13073 16 0 208368 0
vsize: 833536
[startup+390.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 36700 45 0 0 25 0 10 0 541202799 853540864 22274 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22274 13073 16 0 208368 0
vsize: 833536
[startup+400.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 37641 45 0 0 23 0 10 0 541202799 853540864 22301 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22301 13073 16 0 208368 0
vsize: 833536
[startup+410.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 38582 45 0 0 25 0 10 0 541202799 853540864 22329 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22329 13073 16 0 208368 0
vsize: 833536
[startup+420.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 39519 46 0 0 24 0 10 0 541202799 853540864 22358 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22358 13073 16 0 208368 0
vsize: 833536
[startup+430.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 40459 46 0 0 24 0 10 0 541202799 853540864 22385 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22385 13073 16 0 208368 0
vsize: 833536
[startup+440.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 41399 46 0 0 25 0 10 0 541202799 853540864 22411 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22411 13073 16 0 208368 0
vsize: 833536
[startup+450.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 42338 46 0 0 25 0 10 0 541202799 853540864 22438 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22438 13073 16 0 208368 0
vsize: 833536
[startup+460.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 43278 46 0 0 25 0 10 0 541202799 853540864 22463 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22463 13073 16 0 208368 0
vsize: 833536
[startup+470.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 44216 46 0 0 25 0 10 0 541202799 853540864 22489 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22489 13073 16 0 208368 0
vsize: 833536
[startup+480.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 45154 46 0 0 25 0 10 0 541202799 853540864 22514 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22514 13073 16 0 208368 0
vsize: 833536
[startup+490.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 46093 47 0 0 25 0 10 0 541202799 853540864 22540 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22540 13073 16 0 208368 0
vsize: 833536
[startup+500.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 47030 47 0 0 25 0 10 0 541202799 853540864 22564 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22564 13073 16 0 208368 0
vsize: 833536
[startup+510.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) S 10543 18865 18864 0 -1 0 17981 0 1 0 47965 47 0 0 22 0 10 0 541202799 853540864 22589 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22589 13073 16 0 208368 0
vsize: 833536
[startup+520.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 48900 47 0 0 24 0 10 0 541202799 853540864 22615 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22615 13073 16 0 208368 0
vsize: 833536
[startup+530.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 49836 48 0 0 25 0 10 0 541202799 853540864 22639 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22639 13073 16 0 208368 0
vsize: 833536
[startup+540.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 50772 48 0 0 25 0 10 0 541202799 853540864 22663 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22663 13073 16 0 208368 0
vsize: 833536
[startup+550.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 51706 48 0 0 25 0 10 0 541202799 853540864 22686 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22686 13073 16 0 208368 0
vsize: 833536
[startup+560.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 52642 48 0 0 25 0 10 0 541202799 853540864 22710 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22710 13073 16 0 208368 0
vsize: 833536
[startup+570.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 53577 48 0 0 25 0 10 0 541202799 853540864 22733 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22733 13073 16 0 208368 0
vsize: 833536
[startup+580.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 54512 49 0 0 25 0 10 0 541202799 853540864 22757 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22757 13073 16 0 208368 0
vsize: 833536
[startup+590.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 55447 49 0 0 25 0 10 0 541202799 853540864 22780 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 22780 13073 16 0 208368 0
vsize: 833536
[startup+600.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 56381 49 0 0 25 0 10 0 541202799 853540864 22802 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22802 13073 16 0 208368 0
vsize: 833536
[startup+610.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 57315 50 0 0 25 0 10 0 541202799 853540864 22825 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22825 13073 16 0 208368 0
vsize: 833536
[startup+620.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 58249 50 0 0 25 0 10 0 541202799 853540864 22847 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22847 13073 16 0 208368 0
vsize: 833536
[startup+630.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 59182 51 0 0 25 0 10 0 541202799 853540864 22869 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22869 13073 16 0 208368 0
vsize: 833536
[startup+640.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 60114 51 0 0 25 0 10 0 541202799 853540864 22891 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22891 13073 16 0 208368 0
vsize: 833536
[startup+650.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 61047 51 0 0 25 0 10 0 541202799 853540864 22912 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22912 13073 16 0 208368 0
vsize: 833536
[startup+660.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 61978 51 0 0 25 0 10 0 541202799 853540864 22934 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22934 13073 16 0 208368 0
vsize: 833536
[startup+670.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 62910 52 0 0 25 0 10 0 541202799 853540864 22955 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22955 13073 16 0 208368 0
vsize: 833536
[startup+680.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 63841 52 0 0 25 0 10 0 541202799 853540864 22976 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22976 13073 16 0 208368 0
vsize: 833536
[startup+690.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 64773 53 0 0 25 0 10 0 541202799 853540864 22997 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 22997 13073 16 0 208368 0
vsize: 833536
[startup+700.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 65704 53 0 0 25 0 10 0 541202799 853540864 23022 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 23022 13073 16 0 208368 0
vsize: 833536
[startup+710.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 66627 53 0 0 25 0 10 0 541202799 853540864 24058 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24058 13073 16 0 208368 0
vsize: 833536
[startup+720.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 67561 54 0 0 25 0 10 0 541202799 853540864 24058 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24058 13073 16 0 208368 0
vsize: 833536
[startup+730.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 68486 54 0 0 25 0 10 0 541202799 853540864 24059 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24059 13073 16 0 208368 0
vsize: 833536
[startup+740.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 69408 54 0 0 25 0 10 0 541202799 853540864 24095 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24095 13073 16 0 208368 0
vsize: 833536
[startup+750.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 70335 55 0 0 25 0 10 0 541202799 853540864 24117 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24117 13073 16 0 208368 0
vsize: 833536
[startup+760.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 71254 55 0 0 25 0 10 0 541202799 853540864 24143 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24143 13073 16 0 208368 0
vsize: 833536
[startup+770.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 72174 55 0 0 25 0 10 0 541202799 853540864 24165 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24165 13073 16 0 208368 0
vsize: 833536
[startup+780.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 73093 56 0 0 24 0 10 0 541202799 853540864 24190 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24190 13073 16 0 208368 0
vsize: 833536
[startup+790.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 74018 56 0 0 25 0 10 0 541202799 853540864 24209 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24209 13073 16 0 208368 0
vsize: 833536
[startup+800.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 74938 57 0 0 25 0 10 0 541202799 853540864 24228 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24228 13073 16 0 208368 0
vsize: 833536
[startup+810.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 75857 57 0 0 25 0 10 0 541202799 853540864 24259 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24259 13073 16 0 208368 0
vsize: 833536
[startup+820.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 76777 57 0 0 25 0 10 0 541202799 853540864 24282 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24282 13073 16 0 208368 0
vsize: 833536
[startup+830.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 77701 58 0 0 25 0 10 0 541202799 853540864 24306 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24306 13073 16 0 208368 0
vsize: 833536
[startup+840.082 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 78618 58 0 0 25 0 10 0 541202799 853540864 24328 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24328 13073 16 0 208368 0
vsize: 833536
[startup+850.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 79537 58 0 0 24 0 10 0 541202799 853540864 24351 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24351 13073 16 0 208368 0
vsize: 833536
[startup+860.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) S 10543 18865 18864 0 -1 0 17981 0 1 0 80459 58 0 0 25 0 10 0 541202799 853540864 24369 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24369 13073 16 0 208368 0
vsize: 833536
[startup+870.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 81378 58 0 0 25 0 10 0 541202799 853540864 24394 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24394 13073 16 0 208368 0
vsize: 833536
[startup+880.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 82295 59 0 0 25 0 10 0 541202799 853540864 24418 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24418 13073 16 0 208368 0
vsize: 833536
[startup+890.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 83212 59 0 0 24 0 10 0 541202799 853540864 24436 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24436 13073 16 0 208368 0
vsize: 833536
[startup+900.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 84134 59 0 0 25 0 10 0 541202799 853540864 24458 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24458 13073 16 0 208368 0
vsize: 833536
[startup+910.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 85050 60 0 0 25 0 10 0 541202799 853540864 24480 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24480 13073 16 0 208368 0
vsize: 833536
[startup+920.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 85966 60 0 0 24 0 10 0 541202799 853540864 24504 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24504 13073 16 0 208368 0
vsize: 833536
[startup+930.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 86886 61 0 0 25 0 10 0 541202799 853540864 24525 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24525 13073 16 0 208368 0
vsize: 833536
[startup+940.093 s]
Raw data (loadavg): 1.08 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 87803 61 0 0 25 0 10 0 541202799 853540864 24543 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24543 13073 16 0 208368 0
vsize: 833536
[startup+950.094 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 88718 62 0 0 24 0 10 0 541202799 853540864 24560 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24560 13073 16 0 208368 0
vsize: 833536
[startup+960.096 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 89639 62 0 0 25 0 10 0 541202799 853540864 24587 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24587 13073 16 0 208368 0
vsize: 833536
[startup+970.098 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 90554 62 0 0 25 0 10 0 541202799 853540864 24606 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24606 13073 16 0 208368 0
vsize: 833536
[startup+980.098 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 91468 63 0 0 24 0 10 0 541202799 853540864 24623 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24623 13073 16 0 208368 0
vsize: 833536
[startup+990.099 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 92387 64 0 0 25 0 10 0 541202799 853540864 24651 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24651 13073 16 0 208368 0
vsize: 833536
[startup+1000.1 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 93301 64 0 0 25 0 10 0 541202799 853540864 24671 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24671 13073 16 0 208368 0
vsize: 833536
[startup+1010.1 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 94220 64 0 0 25 0 10 0 541202799 853540864 24688 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24688 13073 16 0 208368 0
vsize: 833536
[startup+1020.1 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 95134 64 0 0 25 0 10 0 541202799 853540864 24712 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24712 13073 16 0 208368 0
vsize: 833536
[startup+1030.1 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 96045 65 0 0 25 0 10 0 541202799 853540864 24733 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24733 13073 16 0 208368 0
vsize: 833536
[startup+1040.1 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 10553
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 96964 65 0 0 25 0 10 0 541202799 853540864 24750 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24750 13073 16 0 208368 0
vsize: 833536
[startup+1050.1 s]
Raw data (loadavg): 1.09 1.00 0.92 3/67 10596
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 97870 68 0 0 25 0 10 0 541202799 853540864 24772 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24772 13073 16 0 208368 0
vsize: 833536
[startup+1060.1 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 98784 70 0 0 25 0 10 0 541202799 853540864 24789 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24789 13073 16 0 208368 0
vsize: 833536
[startup+1070.1 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 99695 70 0 0 25 0 10 0 541202799 853540864 24811 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24811 13073 16 0 208368 0
vsize: 833536
[startup+1080.1 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 100613 70 0 0 25 0 10 0 541202799 853540864 24829 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24829 13073 16 0 208368 0
vsize: 833536
[startup+1090.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 101525 70 0 0 25 0 10 0 541202799 853540864 24846 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24846 13073 16 0 208368 0
vsize: 833536
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 102442 70 0 0 25 0 10 0 541202799 853540864 24870 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24870 13073 16 0 208368 0
vsize: 833536
[startup+1110.11 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 10606
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 103353 70 0 0 25 0 10 0 541202799 853540864 24889 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24889 13073 16 0 208368 0
vsize: 833536
[startup+1120.11 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 104269 70 0 0 25 0 10 0 541202799 853540864 24904 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24904 13073 16 0 208368 0
vsize: 833536
[startup+1130.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) S 10543 18865 18864 0 -1 0 17981 0 1 0 105180 70 0 0 25 0 10 0 541202799 853540864 24927 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 24927 13073 16 0 208368 0
vsize: 833536
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 106095 71 0 0 25 0 10 0 541202799 853540864 24948 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24948 13073 16 0 208368 0
vsize: 833536
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 107002 71 0 0 25 0 10 0 541202799 853540864 24968 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24968 13073 16 0 208368 0
vsize: 833536
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 107916 71 0 0 25 0 10 0 541202799 853540864 24985 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 24985 13073 16 0 208368 0
vsize: 833536
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 108826 72 0 0 25 0 10 0 541202799 853540864 25001 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25001 13073 16 0 208368 0
vsize: 833536
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 109740 72 0 0 25 0 10 0 541202799 853540864 25022 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25022 13073 16 0 208368 0
vsize: 833536
[startup+1190.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 110649 73 0 0 25 0 10 0 541202799 853540864 25042 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25042 13073 16 0 208368 0
vsize: 833536
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 111564 73 0 0 25 0 10 0 541202799 853540864 25060 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25060 13073 16 0 208368 0
vsize: 833536
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 112472 73 0 0 25 0 10 0 541202799 853540864 25078 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25078 13073 16 0 208368 0
vsize: 833536
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 113386 73 0 0 23 0 10 0 541202799 853540864 25098 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25098 13073 16 0 208368 0
vsize: 833536
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 114294 74 0 0 25 0 10 0 541202799 853540864 25115 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25115 13073 16 0 208368 0
vsize: 833536
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 115209 74 0 0 25 0 10 0 541202799 853540864 25134 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25134 13073 16 0 208368 0
vsize: 833536
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 116117 74 0 0 25 0 10 0 541202799 853540864 25151 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25151 13073 16 0 208368 0
vsize: 833536
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 117031 75 0 0 25 0 10 0 541202799 853540864 25170 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25170 13073 16 0 208368 0
vsize: 833536
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 117937 75 0 0 25 0 10 0 541202799 853540864 25186 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25186 13073 16 0 208368 0
vsize: 833536
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 118850 75 0 0 25 0 10 0 541202799 853540864 25207 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208384 25207 13073 16 0 208368 0
vsize: 833536
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 119755 75 0 0 25 0 10 0 541202799 853540864 25226 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25226 13073 16 0 208368 0
vsize: 833536
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 10608
Raw data (stat): 10544 (java) R 10543 18865 18864 0 -1 0 17981 0 1 0 120665 76 0 0 25 0 10 0 541202799 853540864 25243 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208384 25243 13073 16 0 208368 0
vsize: 833536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 10609
Raw data (stat): 10544 (java) Z 10543 18865 18864 0 -1 1036 17981 6979 1 0 120669 76 9212 39 25 0 1 0 541202799 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): 1300.2
CPU time (s): 1299.98
CPU user time (s): 1298.82
CPU system time (s): 1.15982
CPU usage (%): 99.983
Max. virtual memory (Kb): 833536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####