PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb
MD5SUM	407688f2ee1c26681a4ae06671027d6f
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	5640
Biggest coefficient in the objective function	10536091648
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	589543467975
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	32768000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	589543467975
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7160
Total number of constraints	388
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	388
Minimum length of a constraint	20
Maximum length of a constraint	400
Trace number 16082

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 06:13:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16246 boxname=wulflinc4 idbench=1250 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  407688f2ee1c26681a4ae06671027d6f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scorpion.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scorpion.opb
IDLAUNCH: 16246
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        732888 kB
Buffers:         29868 kB
Cached:         249000 kB
SwapCached:          0 kB
Active:          51304 kB
Inactive:       230344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        732636 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14440 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:33:53 (client local time) WITH STATUS 143 IN 1237.76 SECONDS
stats: 16246 7 1237.76 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scorpion.opb
c reading problem 
c [nbvar=7160]
c [nbconstr=388]
c time 19.647
c #vars     7160
c #clauses  645
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.93 0.91 2/54 2155
Raw data (stat): 2155 (runsolver) R 2154 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484603317 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.001 s]
Raw data (loadavg): 0.86 0.93 0.91 2/63 2164
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 17979 0 1 0 889 39 0 0 25 0 10 0 484603317 853680128 19107 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208418 19107 13073 16 0 208402 0
vsize: 833672
[startup+20.0553 s]
Raw data (loadavg): 0.96 0.95 0.91 3/63 2164
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18000 0 1 0 1691 40 0 0 25 0 10 0 484603317 858398720 21643 4294967295 134512640 134569956 3221224400 3221214872 1131176000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209570 21643 13073 16 0 209554 0
vsize: 838280
[startup+30.1581 s]
Raw data (loadavg): 1.18 1.00 0.93 3/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18075 0 1 0 2520 40 0 0 25 0 11 0 484603317 861286400 23340 4294967295 134512640 134569956 3221224400 3221213488 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210275 23340 13073 16 0 210259 0
vsize: 841100
[startup+40.1585 s]
Raw data (loadavg): 1.15 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18076 0 1 0 3431 40 0 0 25 0 11 0 484603317 862568448 23923 4294967295 134512640 134569956 3221224400 3221214368 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210588 23923 13073 16 0 210572 0
vsize: 842352
[startup+50.1588 s]
Raw data (loadavg): 1.13 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18076 0 1 0 4392 40 0 0 25 0 11 0 484603317 861253632 23723 4294967295 134512640 134569956 3221224400 3221214672 1131599315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 23723 13073 16 0 210251 0
vsize: 841068
[startup+60.1592 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18076 0 1 0 5353 41 0 0 25 0 11 0 484603317 861253632 23601 4294967295 134512640 134569956 3221224400 3221214680 1131300544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 23601 13073 16 0 210251 0
vsize: 841068
[startup+70.1596 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18076 0 1 0 6305 42 0 0 25 0 11 0 484603317 861253632 24198 4294967295 134512640 134569956 3221224400 3221214496 1131581870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 24198 13073 16 0 210251 0
vsize: 841068
[startup+80.1608 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 7270 42 0 0 25 0 11 0 484603317 861253632 24210 4294967295 134512640 134569956 3221224400 3221214680 1131300544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24210 13073 16 0 210251 0
vsize: 841068
[startup+90.1617 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 8234 42 0 0 24 0 11 0 484603317 861253632 24317 4294967295 134512640 134569956 3221224400 3221214688 1131679898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24317 13073 16 0 210251 0
vsize: 841068
[startup+100.161 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 9209 42 0 0 25 0 11 0 484603317 861253632 24435 4294967295 134512640 134569956 3221224400 3221214680 1131300981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24435 13073 16 0 210251 0
vsize: 841068
[startup+110.163 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 10186 42 0 0 25 0 11 0 484603317 861253632 24683 4294967295 134512640 134569956 3221224400 3221214680 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24683 13073 16 0 210251 0
vsize: 841068
[startup+120.164 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 11170 42 0 0 25 0 11 0 484603317 861253632 24794 4294967295 134512640 134569956 3221224400 3221214680 1131300730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24794 13073 16 0 210251 0
vsize: 841068
[startup+130.164 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18077 0 1 0 12153 42 0 0 25 0 11 0 484603317 861253632 24811 4294967295 134512640 134569956 3221224400 3221214680 1131300539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24811 13073 16 0 210251 0
vsize: 841068
[startup+140.165 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 13140 42 0 0 25 0 11 0 484603317 861253632 24887 4294967295 134512640 134569956 3221224400 3221214768 1131379216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 24887 13073 16 0 210251 0
vsize: 841068
[startup+150.165 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 14125 42 0 0 25 0 11 0 484603317 861253632 24987 4294967295 134512640 134569956 3221224400 3221214768 1131375455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 24987 13073 16 0 210251 0
vsize: 841068
[startup+160.165 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 15113 42 0 0 25 0 11 0 484603317 861253632 25046 4294967295 134512640 134569956 3221224400 3221214680 1131301712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25046 13073 16 0 210251 0
vsize: 841068
[startup+170.167 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 16097 42 0 0 25 0 11 0 484603317 861253632 25104 4294967295 134512640 134569956 3221224400 3221214768 1131375390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25104 13073 16 0 210251 0
vsize: 841068
[startup+180.168 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 17081 42 0 0 18 0 11 0 484603317 861253632 25173 4294967295 134512640 134569956 3221224400 3221214768 1131378961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25173 13073 16 0 210251 0
vsize: 841068
[startup+190.168 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 18064 42 0 0 25 0 11 0 484603317 861253632 25248 4294967295 134512640 134569956 3221224400 3221214680 1131300958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25248 13073 16 0 210251 0
vsize: 841068
[startup+200.168 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 19044 42 0 0 25 0 11 0 484603317 861253632 25384 4294967295 134512640 134569956 3221224400 3221214680 1131300747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25384 13073 16 0 210251 0
vsize: 841068
[startup+210.174 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 20025 42 0 0 25 0 11 0 484603317 861253632 25528 4294967295 134512640 134569956 3221224400 3221214680 1131300977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25528 13073 16 0 210251 0
vsize: 841068
[startup+220.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 21007 42 0 0 25 0 11 0 484603317 861253632 25700 4294967295 134512640 134569956 3221224400 3221214680 1131300682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25700 13073 16 0 210251 0
vsize: 841068
[startup+230.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 21989 42 0 0 25 0 11 0 484603317 861253632 25831 4294967295 134512640 134569956 3221224400 3221214680 1131300417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25831 13073 16 0 210251 0
vsize: 841068
[startup+240.278 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 22981 42 0 0 25 0 11 0 484603317 861253632 25963 4294967295 134512640 134569956 3221224400 3221214768 1131375455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 25963 13073 16 0 210251 0
vsize: 841068
[startup+250.277 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 23962 42 0 0 25 0 11 0 484603317 861253632 26070 4294967295 134512640 134569956 3221224400 3221214680 1131300999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26070 13073 16 0 210251 0
vsize: 841068
[startup+260.287 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 24944 42 0 0 25 0 11 0 484603317 861253632 26205 4294967295 134512640 134569956 3221224400 3221214680 1131300764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26205 13073 16 0 210251 0
vsize: 841068
[startup+270.297 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 25927 42 0 0 25 0 11 0 484603317 861253632 26342 4294967295 134512640 134569956 3221224400 3221214308 1131677600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26342 13073 16 0 210251 0
vsize: 841068
[startup+280.298 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 26908 42 0 0 25 0 11 0 484603317 861253632 26482 4294967295 134512640 134569956 3221224400 3221214896 1131691255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26482 13073 16 0 210251 0
vsize: 841068
[startup+290.298 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 27890 42 0 0 25 0 11 0 484603317 861253632 26610 4294967295 134512640 134569956 3221224400 3221214680 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26610 13073 16 0 210251 0
vsize: 841068
[startup+300.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 28871 43 0 0 25 0 11 0 484603317 861253632 26741 4294967295 134512640 134569956 3221224400 3221214680 1131300958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26741 13073 16 0 210251 0
vsize: 841068
[startup+310.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 29852 43 0 0 25 0 11 0 484603317 861253632 26872 4294967295 134512640 134569956 3221224400 3221214680 1131300981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 26872 13073 16 0 210251 0
vsize: 841068
[startup+320.301 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 30832 43 0 0 25 0 11 0 484603317 861253632 27019 4294967295 134512640 134569956 3221224400 3221214292 1131677712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27019 13073 16 0 210251 0
vsize: 841068
[startup+330.301 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 31812 43 0 0 24 0 11 0 484603317 861253632 27157 4294967295 134512640 134569956 3221224400 3221214176 1131685187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27157 13073 16 0 210251 0
vsize: 841068
[startup+340.302 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 32792 43 0 0 25 0 11 0 484603317 861253632 27300 4294967295 134512640 134569956 3221224400 3221214768 1131375383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27300 13073 16 0 210251 0
vsize: 841068
[startup+350.302 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 33774 43 0 0 25 0 11 0 484603317 861253632 27426 4294967295 134512640 134569956 3221224400 3221214656 1131301040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27426 13073 16 0 210251 0
vsize: 841068
[startup+360.303 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 34756 43 0 0 25 0 11 0 484603317 861253632 27548 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27548 13073 16 0 210251 0
vsize: 841068
[startup+370.303 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 35737 43 0 0 25 0 11 0 484603317 861253632 27679 4294967295 134512640 134569956 3221224400 3221214216 1131677752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27679 13073 16 0 210251 0
vsize: 841068
[startup+380.304 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 36715 43 0 0 25 0 11 0 484603317 861253632 27796 4294967295 134512640 134569956 3221224400 3221214744 1131376462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27796 13073 16 0 210251 0
vsize: 841068
[startup+390.305 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 37695 43 0 0 25 0 11 0 484603317 861253632 27936 4294967295 134512640 134569956 3221224400 3221214656 1131301289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 27936 13073 16 0 210251 0
vsize: 841068
[startup+400.305 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 38676 43 0 0 25 0 11 0 484603317 861253632 28095 4294967295 134512640 134569956 3221224400 3221214656 1131300707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28095 13073 16 0 210251 0
vsize: 841068
[startup+410.305 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 39657 43 0 0 25 0 11 0 484603317 861253632 28251 4294967295 134512640 134569956 3221224400 3221214656 1131300955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28251 13073 16 0 210251 0
vsize: 841068
[startup+420.306 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 40635 43 0 0 25 0 11 0 484603317 861253632 28379 4294967295 134512640 134569956 3221224400 3221214744 1131379298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28379 13073 16 0 210251 0
vsize: 841068
[startup+430.306 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 41616 43 0 0 25 0 11 0 484603317 861253632 28496 4294967295 134512640 134569956 3221224400 3221214656 1131300999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28496 13073 16 0 210251 0
vsize: 841068
[startup+440.307 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 42597 43 0 0 25 0 11 0 484603317 861253632 28679 4294967295 134512640 134569956 3221224400 3221214572 1131677771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28679 13073 16 0 210251 0
vsize: 841068
[startup+450.307 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 43576 43 0 0 25 0 11 0 484603317 861253632 28828 4294967295 134512640 134569956 3221224400 3221214656 1131300943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28828 13073 16 0 210251 0
vsize: 841068
[startup+460.307 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 44558 43 0 0 25 0 11 0 484603317 861253632 28947 4294967295 134512640 134569956 3221224400 3221214656 1131300820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 28947 13073 16 0 210251 0
vsize: 841068
[startup+470.315 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 45538 43 0 0 25 0 11 0 484603317 861253632 29065 4294967295 134512640 134569956 3221224400 3221214744 1131375183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29065 13073 16 0 210251 0
vsize: 841068
[startup+480.316 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 46514 44 0 0 25 0 11 0 484603317 861253632 29225 4294967295 134512640 134569956 3221224400 3221214656 1131300930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29225 13073 16 0 210251 0
vsize: 841068
[startup+490.325 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 47492 44 0 0 25 0 11 0 484603317 861253632 29346 4294967295 134512640 134569956 3221224400 3221214656 1131300902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29346 13073 16 0 210251 0
vsize: 841068
[startup+500.325 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 48467 44 0 0 25 0 11 0 484603317 861253632 29501 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29501 13073 16 0 210251 0
vsize: 841068
[startup+510.329 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) S 2154 5897 5896 0 -1 0 18078 0 1 0 49440 44 0 0 25 0 11 0 484603317 861253632 29679 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29679 13073 16 0 210251 0
vsize: 841068
[startup+520.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 50415 44 0 0 25 0 11 0 484603317 861253632 29920 4294967295 134512640 134569956 3221224400 3221214912 1131218265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 29920 13073 16 0 210251 0
vsize: 841068
[startup+530.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 51391 44 0 0 25 0 11 0 484603317 861253632 30114 4294967295 134512640 134569956 3221224400 3221214184 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 30114 13073 16 0 210251 0
vsize: 841068
[startup+540.332 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 52365 44 0 0 24 0 11 0 484603317 861253632 30313 4294967295 134512640 134569956 3221224400 3221214744 1131375383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 30313 13073 16 0 210251 0
vsize: 841068
[startup+550.333 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 53340 44 0 0 25 0 11 0 484603317 861253632 30501 4294967295 134512640 134569956 3221224400 3221214656 1131300417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 30501 13073 16 0 210251 0
vsize: 841068
[startup+560.333 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 54316 44 0 0 25 0 11 0 484603317 861253632 30680 4294967295 134512640 134569956 3221224400 3221214656 1131300417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 30680 13073 16 0 210251 0
vsize: 841068
[startup+570.333 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 55289 44 0 0 25 0 11 0 484603317 861253632 30878 4294967295 134512640 134569956 3221224400 3221214792 1131359842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 30878 13073 16 0 210251 0
vsize: 841068
[startup+580.334 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 56264 45 0 0 25 0 11 0 484603317 861253632 31088 4294967295 134512640 134569956 3221224400 3221214792 1131360501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 31088 13073 16 0 210251 0
vsize: 841068
[startup+590.334 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 57241 45 0 0 25 0 11 0 484603317 861253632 31295 4294967295 134512640 134569956 3221224400 3221214656 1131301579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 31295 13073 16 0 210251 0
vsize: 841068
[startup+600.335 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 58216 45 0 0 25 0 11 0 484603317 861253632 31478 4294967295 134512640 134569956 3221224400 3221214656 1131300868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 31478 13073 16 0 210251 0
vsize: 841068
[startup+610.337 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 59192 45 0 0 25 0 11 0 484603317 861253632 31647 4294967295 134512640 134569956 3221224400 3221214744 1131380112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 31647 13073 16 0 210251 0
vsize: 841068
[startup+620.339 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) S 2154 5897 5896 0 -1 0 18078 0 1 0 60168 45 0 0 25 0 11 0 484603317 861253632 31839 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 31839 13073 16 0 210251 0
vsize: 841068
[startup+630.341 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 61145 45 0 0 25 0 11 0 484603317 861253632 32019 4294967295 134512640 134569956 3221224400 3221214432 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32019 13073 16 0 210251 0
vsize: 841068
[startup+640.341 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 62122 45 0 0 25 0 11 0 484603317 861253632 32189 4294967295 134512640 134569956 3221224400 3221214348 1131677776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32189 13073 16 0 210251 0
vsize: 841068
[startup+650.342 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 63095 45 0 0 25 0 11 0 484603317 861253632 32359 4294967295 134512640 134569956 3221224400 3221214656 1131301115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32359 13073 16 0 210251 0
vsize: 841068
[startup+660.342 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 64070 45 0 0 25 0 11 0 484603317 861253632 32527 4294967295 134512640 134569956 3221224400 3221214792 1131359662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32527 13073 16 0 210251 0
vsize: 841068
[startup+670.343 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 65046 46 0 0 25 0 11 0 484603317 861253632 32679 4294967295 134512640 134569956 3221224400 3221214656 1131300448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32679 13073 16 0 210251 0
vsize: 841068
[startup+680.344 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 66019 46 0 0 25 0 11 0 484603317 861253632 32885 4294967295 134512640 134569956 3221224400 3221214744 1131379275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 32885 13073 16 0 210251 0
vsize: 841068
[startup+690.345 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 66996 46 0 0 25 0 11 0 484603317 861253632 33046 4294967295 134512640 134569956 3221224400 3221214656 1131300868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33046 13073 16 0 210251 0
vsize: 841068
[startup+700.345 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 67969 46 0 0 25 0 11 0 484603317 861253632 33220 4294967295 134512640 134569956 3221224400 3221214744 1131375199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33220 13073 16 0 210251 0
vsize: 841068
[startup+710.345 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 68944 46 0 0 25 0 11 0 484603317 861253632 33411 4294967295 134512640 134569956 3221224400 3221214656 1131301279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33411 13073 16 0 210251 0
vsize: 841068
[startup+720.348 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 69921 46 0 0 25 0 11 0 484603317 861253632 33565 4294967295 134512640 134569956 3221224400 3221214656 1131301906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33565 13073 16 0 210251 0
vsize: 841068
[startup+730.349 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 70897 46 0 0 25 0 11 0 484603317 861253632 33735 4294967295 134512640 134569956 3221224400 3221214096 1131684876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33735 13073 16 0 210251 0
vsize: 841068
[startup+740.349 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 71875 46 0 0 25 0 11 0 484603317 861253632 33884 4294967295 134512640 134569956 3221224400 3221214656 1131300743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 33884 13073 16 0 210251 0
vsize: 841068
[startup+750.545 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 72872 46 0 0 25 0 11 0 484603317 861253632 34058 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34058 13073 16 0 210251 0
vsize: 841068
[startup+760.558 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 73851 46 0 0 25 0 11 0 484603317 861253632 34210 4294967295 134512640 134569956 3221224400 3221214440 1131679748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34210 13073 16 0 210251 0
vsize: 841068
[startup+770.558 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 74831 46 0 0 25 0 11 0 484603317 861253632 34332 4294967295 134512640 134569956 3221224400 3221214656 1131301025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34332 13073 16 0 210251 0
vsize: 841068
[startup+780.589 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 75811 46 0 0 25 0 11 0 484603317 861253632 34484 4294967295 134512640 134569956 3221224400 3221214656 1131300889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34484 13073 16 0 210251 0
vsize: 841068
[startup+790.593 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 76788 46 0 0 25 0 11 0 484603317 861253632 34624 4294967295 134512640 134569956 3221224400 3221214656 1131301040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34624 13073 16 0 210251 0
vsize: 841068
[startup+800.592 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 77765 46 0 0 25 0 11 0 484603317 861253632 34747 4294967295 134512640 134569956 3221224400 3221214344 1131671762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34747 13073 16 0 210251 0
vsize: 841068
[startup+810.596 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) S 2154 5897 5896 0 -1 0 18078 0 1 0 78741 46 0 0 25 0 11 0 484603317 861253632 34914 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 34914 13073 16 0 210251 0
vsize: 841068
[startup+820.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 79717 46 0 0 25 0 11 0 484603317 861253632 35035 4294967295 134512640 134569956 3221224400 3221214656 1131300868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35035 13073 16 0 210251 0
vsize: 841068
[startup+830.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 80695 46 0 0 25 0 11 0 484603317 861253632 35163 4294967295 134512640 134569956 3221224400 3221214664 1131599304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35163 13073 16 0 210251 0
vsize: 841068
[startup+840.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 81671 46 0 0 25 0 11 0 484603317 861253632 35317 4294967295 134512640 134569956 3221224400 3221214744 1131375422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35317 13073 16 0 210251 0
vsize: 841068
[startup+850.598 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 82654 46 0 0 25 0 11 0 484603317 861253632 35418 4294967295 134512640 134569956 3221224400 3221214816 1131367120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35418 13073 16 0 210251 0
vsize: 841068
[startup+860.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 83633 46 0 0 25 0 11 0 484603317 861253632 35510 4294967295 134512640 134569956 3221224400 3221214656 1131300417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35510 13073 16 0 210251 0
vsize: 841068
[startup+870.599 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 84610 46 0 0 25 0 11 0 484603317 861253632 35635 4294967295 134512640 134569956 3221224400 3221214320 1131684876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35635 13073 16 0 210251 0
vsize: 841068
[startup+880.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 85582 46 0 0 25 0 11 0 484603317 861253632 35772 4294967295 134512640 134569956 3221224400 3221214656 1131301009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35772 13073 16 0 210251 0
vsize: 841068
[startup+890.6 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 86558 46 0 0 25 0 11 0 484603317 861253632 35872 4294967295 134512640 134569956 3221224400 3221214656 1131301561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 35872 13073 16 0 210251 0
vsize: 841068
[startup+900.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 87532 46 0 0 25 0 11 0 484603317 861253632 36036 4294967295 134512640 134569956 3221224400 3221214656 1131300893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36036 13073 16 0 210251 0
vsize: 841068
[startup+910.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 88510 46 0 0 25 0 11 0 484603317 861253632 36176 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36176 13073 16 0 210251 0
vsize: 841068
[startup+920.601 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 89486 46 0 0 25 0 11 0 484603317 861253632 36308 4294967295 134512640 134569956 3221224400 3221214744 1131379275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36308 13073 16 0 210251 0
vsize: 841068
[startup+930.602 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 90464 46 0 0 25 0 11 0 484603317 861253632 36442 4294967295 134512640 134569956 3221224400 3221214656 1131300882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36442 13073 16 0 210251 0
vsize: 841068
[startup+940.603 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 91441 46 0 0 25 0 11 0 484603317 861253632 36611 4294967295 134512640 134569956 3221224400 3221214656 1131301321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36611 13073 16 0 210251 0
vsize: 841068
[startup+950.603 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 92419 47 0 0 25 0 11 0 484603317 861253632 36723 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36723 13073 16 0 210251 0
vsize: 841068
[startup+960.604 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 93398 47 0 0 25 0 11 0 484603317 861253632 36861 4294967295 134512640 134569956 3221224400 3221214400 1131671594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36861 13073 16 0 210251 0
vsize: 841068
[startup+970.604 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 94374 47 0 0 25 0 11 0 484603317 861253632 36992 4294967295 134512640 134569956 3221224400 3221214656 1131300755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 36992 13073 16 0 210251 0
vsize: 841068
[startup+980.605 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 95352 47 0 0 25 0 11 0 484603317 861253632 37109 4294967295 134512640 134569956 3221224400 3221214656 1131301712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37109 13073 16 0 210251 0
vsize: 841068
[startup+990.606 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 96328 47 0 0 25 0 11 0 484603317 861253632 37291 4294967295 134512640 134569956 3221224400 3221214160 1131677777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210267 37291 13073 16 0 210251 0
vsize: 841068
[startup+1000.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 97305 47 0 0 25 0 11 0 484603317 861253632 37414 4294967295 134512640 134569956 3221224400 3221214752 1131256712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37414 13073 16 0 210251 0
vsize: 841068
[startup+1010.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 98285 47 0 0 25 0 11 0 484603317 861253632 37531 4294967295 134512640 134569956 3221224400 3221214656 1131300981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37531 13073 16 0 210251 0
vsize: 841068
[startup+1020.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 99264 47 0 0 25 0 11 0 484603317 861253632 37660 4294967295 134512640 134569956 3221224400 3221214744 1131379184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37660 13073 16 0 210251 0
vsize: 841068
[startup+1030.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 100243 47 0 0 25 0 11 0 484603317 861253632 37768 4294967295 134512640 134569956 3221224400 3221214656 1131301706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37768 13073 16 0 210251 0
vsize: 841068
[startup+1040.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 101218 47 0 0 25 0 11 0 484603317 861253632 37868 4294967295 134512640 134569956 3221224400 3221214696 1131214798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 37868 13073 16 0 210251 0
vsize: 841068
[startup+1050.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 102192 47 0 0 25 0 11 0 484603317 861253632 38043 4294967295 134512640 134569956 3221224400 3221214744 1131379184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38043 13073 16 0 210251 0
vsize: 841068
[startup+1060.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 103169 47 0 0 25 0 11 0 484603317 861253632 38188 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38188 13073 16 0 210251 0
vsize: 841068
[startup+1070.61 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 104144 47 0 0 25 0 11 0 484603317 861253632 38345 4294967295 134512640 134569956 3221224400 3221214656 1131300762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38345 13073 16 0 210251 0
vsize: 841068
[startup+1080.62 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 105123 47 0 0 25 0 11 0 484603317 861253632 38493 4294967295 134512640 134569956 3221224400 3221214656 1131301561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38493 13073 16 0 210251 0
vsize: 841068
[startup+1090.62 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 106095 47 0 0 25 0 11 0 484603317 861253632 38619 4294967295 134512640 134569956 3221224400 3221214656 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38619 13073 16 0 210251 0
vsize: 841068
[startup+1100.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 107069 47 0 0 25 0 11 0 484603317 861253632 38816 4294967295 134512640 134569956 3221224400 3221214184 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38816 13073 16 0 210251 0
vsize: 841068
[startup+1110.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 108043 47 0 0 25 0 11 0 484603317 861253632 38944 4294967295 134512640 134569956 3221224400 3221214656 1131300820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 38944 13073 16 0 210251 0
vsize: 841068
[startup+1120.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 109012 48 0 0 25 0 11 0 484603317 861253632 39144 4294967295 134512640 134569956 3221224400 3221214624 1131671772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 39144 13073 16 0 210251 0
vsize: 841068
[startup+1130.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 109984 48 0 0 25 0 11 0 484603317 861253632 39329 4294967295 134512640 134569956 3221224400 3221214656 1131301656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 39329 13073 16 0 210251 0
vsize: 841068
[startup+1140.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 110955 48 0 0 25 0 11 0 484603317 861253632 39547 4294967295 134512640 134569956 3221224400 3221214656 1131300747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 39547 13073 16 0 210251 0
vsize: 841068
[startup+1150.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 111931 48 0 0 25 0 11 0 484603317 861253632 39739 4294967295 134512640 134569956 3221224400 3221214744 1131376459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 39739 13073 16 0 210251 0
vsize: 841068
[startup+1160.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 112908 48 0 0 25 0 11 0 484603317 861253632 39930 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 39930 13073 16 0 210251 0
vsize: 841068
[startup+1170.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 113887 48 0 0 25 0 11 0 484603317 861253632 40078 4294967295 134512640 134569956 3221224400 3221214744 1131379261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40078 13073 16 0 210251 0
vsize: 841068
[startup+1180.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 114867 48 0 0 25 0 11 0 484603317 861253632 40181 4294967295 134512640 134569956 3221224400 3221214656 1131300893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40181 13073 16 0 210251 0
vsize: 841068
[startup+1190.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 115844 48 0 0 25 0 11 0 484603317 861253632 40296 4294967295 134512640 134569956 3221224400 3221214744 1131380023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40296 13073 16 0 210251 0
vsize: 841068
[startup+1200.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 116819 48 0 0 24 0 11 0 484603317 861253632 40403 4294967295 134512640 134569956 3221224400 3221214656 1131300805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40403 13073 16 0 210251 0
vsize: 841068
[startup+1210.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 117794 48 0 0 25 0 11 0 484603317 861253632 40513 4294967295 134512640 134569956 3221224400 3221214744 1131379401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40513 13073 16 0 210251 0
vsize: 841068
[startup+1220.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 118764 48 0 0 25 0 11 0 484603317 861253632 40619 4294967295 134512640 134569956 3221224400 3221214744 1131377413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40619 13073 16 0 210251 0
vsize: 841068
[startup+1230.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 119739 48 0 0 25 0 11 0 484603317 861253632 40842 4294967295 134512640 134569956 3221224400 3221214856 1131509391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 40842 13073 16 0 210251 0
vsize: 841068
[startup+1240.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2165
Raw data (stat): 2155 (java) R 2154 5897 5896 0 -1 0 18078 0 1 0 120712 49 0 0 25 0 11 0 484603317 861253632 41047 4294967295 134512640 134569956 3221224400 3221214656 1131301048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210267 41047 13073 16 0 210251 0
vsize: 841068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.76 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 2167
Raw data (stat): 2155 (java) Z 2154 5897 5896 0 -1 1036 18078 20795 1 0 120715 49 2957 54 25 0 1 0 484603317 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): 1240.76
CPU time (s): 1237.76
CPU user time (s): 1236.72
CPU system time (s): 1.03484
CPU usage (%): 99.758
Max. virtual memory (Kb): 842352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####