PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
MD5SUM	4eeca712f5c43ba16697ebe3806a3a23
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	36989
Biggest coefficient in the objective function	40063152947200
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	712861332680300
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	40063152947200
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	712861332680300
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.344947
Number of variables	38715
Total number of constraints	3263
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	3263
Minimum length of a constraint	10
Maximum length of a constraint	498
Trace number 22583

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        609752 kB
Buffers:         29740 kB
Cached:         373024 kB
SwapCached:        476 kB
Active:          43752 kB
Inactive:       361084 kB
HighTotal:      131008 kB
HighFree:         9492 kB
LowTotal:       903652 kB
LowFree:        600260 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14300 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:45:22 (client local time) WITH STATUS 143 IN 1247.74 SECONDS
stats: 11488 7 1247.74 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sierra.opb
c reading problem 
c [nbvar=38715]
c [nbconstr=3263]
c time 424.246
c #vars     38715
c #clauses  3792
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.58 0.86 0.90 2/54 12928
Raw data (stat): 12928 (runsolver) R 12927 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492233054 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0056 s]
Raw data (loadavg): 0.71 0.88 0.91 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17974 0 1 0 892 39 0 0 25 0 10 0 492233054 853266432 19146 4294967295 134512640 134569956 3221224400 3221213344 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208317 19146 13073 16 0 208301 0
vsize: 833268
[startup+20.0061 s]
Raw data (loadavg): 0.76 0.89 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 1783 39 0 0 25 0 10 0 492233054 854282240 19773 4294967295 134512640 134569956 3221224400 3221214824 1131210766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 19773 13073 16 0 208549 0
vsize: 834260
[startup+30.0064 s]
Raw data (loadavg): 0.79 0.89 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 2681 40 0 0 25 0 10 0 492233054 854282240 20221 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208565 20221 13073 16 0 208549 0
vsize: 834260
[startup+40.0062 s]
Raw data (loadavg): 0.83 0.89 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 3611 40 0 0 25 0 10 0 492233054 854282240 20454 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 20454 13073 16 0 208549 0
vsize: 834260
[startup+50.0087 s]
Raw data (loadavg): 0.85 0.90 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 4539 40 0 0 25 0 10 0 492233054 854282240 20577 4294967295 134512640 134569956 3221224400 3221214824 1131210108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 20577 13073 16 0 208549 0
vsize: 834260
[startup+60.0089 s]
Raw data (loadavg): 0.87 0.90 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 5472 41 0 0 25 0 10 0 492233054 854282240 20730 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 20730 13073 16 0 208549 0
vsize: 834260
[startup+70.01 s]
Raw data (loadavg): 0.89 0.90 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 6413 41 0 0 25 0 10 0 492233054 854282240 20933 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 20933 13073 16 0 208549 0
vsize: 834260
[startup+80.0112 s]
Raw data (loadavg): 0.91 0.91 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 7360 41 0 0 25 0 10 0 492233054 854282240 21011 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21011 13073 16 0 208549 0
vsize: 834260
[startup+90.0116 s]
Raw data (loadavg): 0.92 0.91 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 8306 41 0 0 25 0 10 0 492233054 854282240 21086 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21086 13073 16 0 208549 0
vsize: 834260
[startup+100.012 s]
Raw data (loadavg): 0.93 0.91 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 9252 42 0 0 24 0 10 0 492233054 854282240 21156 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21156 13073 16 0 208549 0
vsize: 834260
[startup+110.014 s]
Raw data (loadavg): 0.94 0.91 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 10201 42 0 0 25 0 10 0 492233054 854282240 21218 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21218 13073 16 0 208549 0
vsize: 834260
[startup+120.014 s]
Raw data (loadavg): 0.95 0.92 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 11147 42 0 0 24 0 10 0 492233054 854282240 21280 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21280 13073 16 0 208549 0
vsize: 834260
[startup+130.015 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 12097 42 0 0 25 0 10 0 492233054 854282240 21335 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21335 13073 16 0 208549 0
vsize: 834260
[startup+140.016 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 13043 43 0 0 25 0 10 0 492233054 854282240 21391 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21391 13073 16 0 208549 0
vsize: 834260
[startup+150.02 s]
Raw data (loadavg): 0.97 0.92 0.91 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17974 0 1 0 13991 43 0 0 25 0 10 0 492233054 854282240 21444 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21444 13073 16 0 208549 0
vsize: 834260
[startup+160.02 s]
Raw data (loadavg): 0.97 0.92 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 14938 43 0 0 25 0 10 0 492233054 854282240 21495 4294967295 134512640 134569956 3221224400 3221214768 1131045342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21495 13073 16 0 208549 0
vsize: 834260
[startup+170.02 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 15875 43 0 0 25 0 10 0 492233054 854282240 21542 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21542 13073 16 0 208549 0
vsize: 834260
[startup+180.021 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 16797 44 0 0 24 0 10 0 492233054 854282240 21591 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21591 13073 16 0 208549 0
vsize: 834260
[startup+190.021 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 17734 44 0 0 21 0 10 0 492233054 854282240 21891 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21891 13073 16 0 208549 0
vsize: 834260
[startup+200.024 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17974 0 1 0 18679 44 0 0 25 0 10 0 492233054 854282240 21934 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21934 13073 16 0 208549 0
vsize: 834260
[startup+210.025 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 19621 44 0 0 25 0 10 0 492233054 854282240 21979 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 21979 13073 16 0 208549 0
vsize: 834260
[startup+220.025 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 20565 45 0 0 25 0 10 0 492233054 854282240 22019 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22019 13073 16 0 208549 0
vsize: 834260
[startup+230.026 s]
Raw data (loadavg): 1.07 0.95 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 21506 45 0 0 25 0 10 0 492233054 854282240 22062 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22062 13073 16 0 208549 0
vsize: 834260
[startup+240.026 s]
Raw data (loadavg): 1.06 0.95 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 22450 45 0 0 25 0 10 0 492233054 854282240 22100 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22100 13073 16 0 208549 0
vsize: 834260
[startup+250.027 s]
Raw data (loadavg): 1.05 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 23390 45 0 0 25 0 10 0 492233054 854282240 22140 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22140 13073 16 0 208549 0
vsize: 834260
[startup+260.028 s]
Raw data (loadavg): 1.04 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 24333 45 0 0 25 0 10 0 492233054 854282240 22177 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22177 13073 16 0 208549 0
vsize: 834260
[startup+270.028 s]
Raw data (loadavg): 1.03 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 25272 45 0 0 25 0 10 0 492233054 854282240 22216 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22216 13073 16 0 208549 0
vsize: 834260
[startup+280.029 s]
Raw data (loadavg): 1.03 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 26214 45 0 0 25 0 10 0 492233054 854282240 22251 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22251 13073 16 0 208549 0
vsize: 834260
[startup+290.028 s]
Raw data (loadavg): 1.02 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 27155 46 0 0 25 0 10 0 492233054 854282240 22286 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22286 13073 16 0 208549 0
vsize: 834260
[startup+300.028 s]
Raw data (loadavg): 1.02 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 28092 46 0 0 25 0 10 0 492233054 854282240 22322 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22322 13073 16 0 208549 0
vsize: 834260
[startup+310.029 s]
Raw data (loadavg): 1.02 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 29033 46 0 0 25 0 10 0 492233054 854282240 22356 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22356 13073 16 0 208549 0
vsize: 834260
[startup+320.033 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17974 0 1 0 29971 46 0 0 25 0 10 0 492233054 854282240 22389 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22389 13073 16 0 208549 0
vsize: 834260
[startup+330.034 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 30909 47 0 0 25 0 10 0 492233054 854282240 22423 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22423 13073 16 0 208549 0
vsize: 834260
[startup+340.033 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 31848 47 0 0 25 0 10 0 492233054 854282240 22456 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22456 13073 16 0 208549 0
vsize: 834260
[startup+350.035 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 32782 48 0 0 24 0 10 0 492233054 854282240 22490 4294967295 134512640 134569956 3221224400 3221213832 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22490 13073 16 0 208549 0
vsize: 834260
[startup+360.035 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 33721 48 0 0 25 0 10 0 492233054 854282240 22521 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22521 13073 16 0 208549 0
vsize: 834260
[startup+370.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17974 0 1 0 34659 48 0 0 25 0 10 0 492233054 854282240 22551 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 22551 13073 16 0 208549 0
vsize: 834260
[startup+380.039 s]
Raw data (loadavg): 1.16 1.00 0.93 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17986 0 1 0 35540 48 0 0 25 0 10 0 492233054 859422720 25253 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25253 13073 16 0 209804 0
vsize: 839280
[startup+390.039 s]
Raw data (loadavg): 1.14 1.00 0.93 2/63 12937
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 17986 0 1 0 36467 48 0 0 25 0 10 0 492233054 859422720 25253 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25253 13073 16 0 209804 0
vsize: 839280
[startup+400.039 s]
Raw data (loadavg): 1.12 1.00 0.93 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17986 0 1 0 37393 48 0 0 25 0 10 0 492233054 859422720 25263 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25263 13073 16 0 209804 0
vsize: 839280
[startup+410.04 s]
Raw data (loadavg): 1.10 1.00 0.93 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17986 0 1 0 38310 49 0 0 24 0 10 0 492233054 859422720 25300 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25300 13073 16 0 209804 0
vsize: 839280
[startup+420.041 s]
Raw data (loadavg): 1.16 1.02 0.93 2/63 12937
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 17987 0 1 0 39209 50 0 0 25 0 10 0 492233054 859422720 25942 4294967295 134512640 134569956 3221224400 3221214328 1131323634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 25942 13073 16 0 209804 0
vsize: 839280
[startup+430.041 s]
Raw data (loadavg): 1.21 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18019 0 1 0 40082 52 0 0 25 0 11 0 492233054 859951104 31357 4294967295 134512640 134569956 3221224400 3221214980 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 31357 13073 16 0 209933 0
vsize: 839796
[startup+440.042 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18059 0 1 0 41008 53 0 0 25 0 11 0 492233054 859951104 31439 4294967295 134512640 134569956 3221224400 3221214616 1131508193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209949 31439 13073 16 0 209933 0
vsize: 839796
[startup+450.042 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18060 0 1 0 41982 53 0 0 25 0 11 0 492233054 859951104 31453 4294967295 134512640 134569956 3221224400 3221214616 1131508080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209949 31453 13073 16 0 209933 0
vsize: 839796
[startup+460.042 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 42964 54 0 0 24 0 11 0 492233054 860282880 31555 4294967295 134512640 134569956 3221224400 3221214840 1131470114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210030 31555 13073 16 0 210014 0
vsize: 840120
[startup+470.043 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 43964 54 0 0 25 0 11 0 492233054 860282880 31556 4294967295 134512640 134569956 3221224400 3221214608 1131508076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210030 31556 13073 16 0 210014 0
vsize: 840120
[startup+480.043 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 44957 54 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214608 1131283957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+490.043 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 45952 54 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214704 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+500.043 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 46948 54 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214704 1131726035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+510.044 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 47944 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214704 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+520.044 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 48944 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214744 1131485155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+530.045 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 49939 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214704 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+540.046 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 50922 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214712 1131726028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+550.045 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 51911 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214848 1131470228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+560.045 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 52906 55 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214704 1131572193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+570.046 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 53890 56 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214712 1131726035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+580.047 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 54879 56 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214608 1131619514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+590.047 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 55867 56 0 0 25 0 11 0 492233054 860213248 31540 4294967295 134512640 134569956 3221224400 3221214712 1131726163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31540 13073 16 0 209997 0
vsize: 840052
[startup+600.048 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) S 12927 25285 25284 0 -1 0 18061 0 1 0 56844 57 0 0 25 0 11 0 492233054 865165312 32761 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 32761 13073 16 0 211206 0
vsize: 844888
[startup+610.049 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 57827 57 0 0 25 0 11 0 492233054 865165312 32763 4294967295 134512640 134569956 3221224400 3221214688 1131726172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 32763 13073 16 0 211206 0
vsize: 844888
[startup+620.048 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 58808 57 0 0 25 0 11 0 492233054 865165312 32768 4294967295 134512640 134569956 3221224400 3221214688 1131726016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 32768 13073 16 0 211206 0
vsize: 844888
[startup+630.049 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 59789 57 0 0 25 0 11 0 492233054 865165312 32878 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 32878 13073 16 0 211206 0
vsize: 844888
[startup+640.049 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 60778 58 0 0 25 0 11 0 492233054 865165312 32941 4294967295 134512640 134569956 3221224400 3221214728 1131484432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 32941 13073 16 0 211206 0
vsize: 844888
[startup+650.049 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 61763 58 0 0 25 0 11 0 492233054 865165312 33033 4294967295 134512640 134569956 3221224400 3221214736 1131263272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33033 13073 16 0 211206 0
vsize: 844888
[startup+660.049 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 62749 58 0 0 25 0 11 0 492233054 865165312 33083 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33083 13073 16 0 211206 0
vsize: 844888
[startup+670.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 63736 58 0 0 25 0 11 0 492233054 865165312 33136 4294967295 134512640 134569956 3221224400 3221214688 1131726155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33136 13073 16 0 211206 0
vsize: 844888
[startup+680.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 64728 59 0 0 25 0 11 0 492233054 865165312 33164 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 33164 13073 16 0 211206 0
vsize: 844888
[startup+690.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 65715 59 0 0 25 0 11 0 492233054 865165312 33208 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33208 13073 16 0 211206 0
vsize: 844888
[startup+700.05 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 66703 59 0 0 25 0 11 0 492233054 865165312 33251 4294967295 134512640 134569956 3221224400 3221214728 1131484481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33251 13073 16 0 211206 0
vsize: 844888
[startup+710.051 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 67690 59 0 0 25 0 11 0 492233054 865165312 33301 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33301 13073 16 0 211206 0
vsize: 844888
[startup+720.051 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 68682 60 0 0 25 0 11 0 492233054 865165312 33314 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 33314 13073 16 0 211206 0
vsize: 844888
[startup+730.052 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 69661 60 0 0 25 0 11 0 492233054 865165312 33359 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33359 13073 16 0 211206 0
vsize: 844888
[startup+740.053 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 70648 60 0 0 25 0 11 0 492233054 865165312 33388 4294967295 134512640 134569956 3221224400 3221214696 1131305053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33388 13073 16 0 211206 0
vsize: 844888
[startup+750.052 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 71632 60 0 0 25 0 11 0 492233054 865165312 33426 4294967295 134512640 134569956 3221224400 3221214824 1131469932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33426 13073 16 0 211206 0
vsize: 844888
[startup+760.052 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 72619 61 0 0 25 0 11 0 492233054 865165312 33524 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33524 13073 16 0 211206 0
vsize: 844888
[startup+770.053 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 73604 61 0 0 25 0 11 0 492233054 865165312 33599 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33599 13073 16 0 211206 0
vsize: 844888
[startup+780.054 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 74592 62 0 0 25 0 11 0 492233054 865165312 33631 4294967295 134512640 134569956 3221224400 3221214688 1131726172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33631 13073 16 0 211206 0
vsize: 844888
[startup+790.055 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 75577 62 0 0 25 0 11 0 492233054 865165312 33670 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33670 13073 16 0 211206 0
vsize: 844888
[startup+800.055 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 76565 63 0 0 25 0 11 0 492233054 865165312 33731 4294967295 134512640 134569956 3221224400 3221214696 1131305070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33731 13073 16 0 211206 0
vsize: 844888
[startup+810.055 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 77548 64 0 0 25 0 11 0 492233054 865165312 33828 4294967295 134512640 134569956 3221224400 3221214568 1131357527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33828 13073 16 0 211206 0
vsize: 844888
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 78536 64 0 0 25 0 11 0 492233054 865165312 33851 4294967295 134512640 134569956 3221224400 3221214728 1131485110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33851 13073 16 0 211206 0
vsize: 844888
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 79519 64 0 0 25 0 11 0 492233054 865165312 33878 4294967295 134512640 134569956 3221224400 3221214688 1131726035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33878 13073 16 0 211206 0
vsize: 844888
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 80507 65 0 0 25 0 11 0 492233054 865165312 33919 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33919 13073 16 0 211206 0
vsize: 844888
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 81490 65 0 0 25 0 11 0 492233054 865165312 33942 4294967295 134512640 134569956 3221224400 3221214792 1131417162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33942 13073 16 0 211206 0
vsize: 844888
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 82477 65 0 0 25 0 11 0 492233054 865165312 33965 4294967295 134512640 134569956 3221224400 3221214688 1131726163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 33965 13073 16 0 211206 0
vsize: 844888
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 83460 65 0 0 25 0 11 0 492233054 865165312 34007 4294967295 134512640 134569956 3221224400 3221214688 1131726163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34007 13073 16 0 211206 0
vsize: 844888
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 84447 65 0 0 25 0 11 0 492233054 865165312 34046 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 34046 13073 16 0 211206 0
vsize: 844888
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 85431 65 0 0 25 0 11 0 492233054 865165312 34261 4294967295 134512640 134569956 3221224400 3221214696 1131306273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34261 13073 16 0 211206 0
vsize: 844888
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 86416 65 0 0 25 0 11 0 492233054 865165312 34338 4294967295 134512640 134569956 3221224400 3221214728 1131485110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34338 13073 16 0 211206 0
vsize: 844888
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 87406 66 0 0 25 0 11 0 492233054 865165312 34429 4294967295 134512640 134569956 3221224400 3221214688 1131726037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34429 13073 16 0 211206 0
vsize: 844888
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 88391 66 0 0 25 0 11 0 492233054 865165312 34480 4294967295 134512640 134569956 3221224400 3221214816 1131412270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34480 13073 16 0 211206 0
vsize: 844888
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 89363 66 0 0 25 0 11 0 492233054 865165312 34611 4294967295 134512640 134569956 3221224400 3221214696 1131306337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34611 13073 16 0 211206 0
vsize: 844888
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 90339 67 0 0 25 0 11 0 492233054 865165312 34667 4294967295 134512640 134569956 3221224400 3221214824 1131470228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34667 13073 16 0 211206 0
vsize: 844888
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 91334 67 0 0 25 0 11 0 492233054 865165312 34675 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 34675 13073 16 0 211206 0
vsize: 844888
[startup+960.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 92324 67 0 0 25 0 11 0 492233054 865165312 34699 4294967295 134512640 134569956 3221224400 3221214824 1131470239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34699 13073 16 0 211206 0
vsize: 844888
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 93319 68 0 0 25 0 11 0 492233054 865165312 34705 4294967295 134512640 134569956 3221224400 3221214688 1131726016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34705 13073 16 0 211206 0
vsize: 844888
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 94308 68 0 0 25 0 11 0 492233054 865165312 34723 4294967295 134512640 134569956 3221224400 3221214824 1131469934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34723 13073 16 0 211206 0
vsize: 844888
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 95297 68 0 0 25 0 11 0 492233054 865165312 34745 4294967295 134512640 134569956 3221224400 3221214728 1131484490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34745 13073 16 0 211206 0
vsize: 844888
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 96291 68 0 0 25 0 11 0 492233054 865165312 34753 4294967295 134512640 134569956 3221224400 3221214688 1131726172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 34753 13073 16 0 211206 0
vsize: 844888
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 97279 69 0 0 25 0 11 0 492233054 865165312 34764 4294967295 134512640 134569956 3221224400 3221214688 1131726163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34764 13073 16 0 211206 0
vsize: 844888
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 98266 69 0 0 25 0 11 0 492233054 865165312 34807 4294967295 134512640 134569956 3221224400 3221214728 1131486057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34807 13073 16 0 211206 0
vsize: 844888
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 99253 69 0 0 25 0 11 0 492233054 865165312 34821 4294967295 134512640 134569956 3221224400 3221214728 1131484481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34821 13073 16 0 211206 0
vsize: 844888
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 100239 69 0 0 25 0 11 0 492233054 865165312 34923 4294967295 134512640 134569956 3221224400 3221214824 1131470228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34923 13073 16 0 211206 0
vsize: 844888
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 101231 70 0 0 25 0 11 0 492233054 865165312 34930 4294967295 134512640 134569956 3221224400 3221214688 1131726172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 34930 13073 16 0 211206 0
vsize: 844888
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 102216 70 0 0 25 0 11 0 492233054 865165312 34998 4294967295 134512640 134569956 3221224400 3221214824 1131470114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 34998 13073 16 0 211206 0
vsize: 844888
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 103202 70 0 0 25 0 11 0 492233054 865165312 35057 4294967295 134512640 134569956 3221224400 3221214688 1131726172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35057 13073 16 0 211206 0
vsize: 844888
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 104187 71 0 0 25 0 11 0 492233054 865165312 35064 4294967295 134512640 134569956 3221224400 3221214688 1131726155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35064 13073 16 0 211206 0
vsize: 844888
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 105171 71 0 0 25 0 11 0 492233054 865165312 35101 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35101 13073 16 0 211206 0
vsize: 844888
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 106148 71 0 0 25 0 11 0 492233054 865165312 35235 4294967295 134512640 134569956 3221224400 3221214688 1131726155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35235 13073 16 0 211206 0
vsize: 844888
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 107132 71 0 0 25 0 11 0 492233054 865165312 35251 4294967295 134512640 134569956 3221224400 3221214680 1131572198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35251 13073 16 0 211206 0
vsize: 844888
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 108109 72 0 0 25 0 11 0 492233054 865165312 35332 4294967295 134512640 134569956 3221224400 3221214696 1131305420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35332 13073 16 0 211206 0
vsize: 844888
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 109088 72 0 0 25 0 11 0 492233054 865165312 35424 4294967295 134512640 134569956 3221224400 3221214824 1131470220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35424 13073 16 0 211206 0
vsize: 844888
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 110073 72 0 0 25 0 11 0 492233054 865165312 35582 4294967295 134512640 134569956 3221224400 3221214688 1131726035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35582 13073 16 0 211206 0
vsize: 844888
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 111054 72 0 0 25 0 11 0 492233054 865165312 35635 4294967295 134512640 134569956 3221224400 3221214696 1131305638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35635 13073 16 0 211206 0
vsize: 844888
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 112041 73 0 0 25 0 11 0 492233054 865165312 35635 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 35635 13073 16 0 211206 0
vsize: 844888
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 113022 73 0 0 24 0 11 0 492233054 865165312 35734 4294967295 134512640 134569956 3221224400 3221214696 1131305730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35734 13073 16 0 211206 0
vsize: 844888
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 114009 73 0 0 25 0 11 0 492233054 865165312 35948 4294967295 134512640 134569956 3221224400 3221214824 1131469932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35948 13073 16 0 211206 0
vsize: 844888
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 114993 73 0 0 25 0 11 0 492233054 865165312 35978 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 35978 13073 16 0 211206 0
vsize: 844888
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 115982 73 0 0 25 0 11 0 492233054 865165312 36016 4294967295 134512640 134569956 3221224400 3221214688 1131726035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211222 36016 13073 16 0 211206 0
vsize: 844888
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 116952 74 0 0 25 0 11 0 492233054 865165312 36165 4294967295 134512640 134569956 3221224400 3221214728 1131484464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 36165 13073 16 0 211206 0
vsize: 844888
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 117928 74 0 0 25 0 11 0 492233054 865165312 36204 4294967295 134512640 134569956 3221224400 3221214824 1131470402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 36204 13073 16 0 211206 0
vsize: 844888
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 118898 74 0 0 25 0 11 0 492233054 865165312 36346 4294967295 134512640 134569956 3221224400 3221214792 1131417146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 36346 13073 16 0 211206 0
vsize: 844888
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 119874 75 0 0 25 0 11 0 492233054 865165312 36505 4294967295 134512640 134569956 3221224400 3221214688 1131726032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 36505 13073 16 0 211206 0
vsize: 844888
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 12938
Raw data (stat): 12928 (java) R 12927 25285 25284 0 -1 0 18061 0 1 0 120840 75 0 0 25 0 11 0 492233054 865165312 36710 4294967295 134512640 134569956 3221224400 3221214688 1131726163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211222 36710 13073 16 0 211206 0
vsize: 844888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 12940
Raw data (stat): 12928 (java) Z 12927 25285 25284 0 -1 1036 18061 15489 1 0 120845 75 3810 43 25 0 1 0 492233054 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.21
CPU time (s): 1247.74
CPU user time (s): 1246.56
CPU system time (s): 1.18682
CPU usage (%): 99.8026
Max. virtual memory (Kb): 844888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####