PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
MD5SUM	84023cc1c9d18b4d21ad2d86c1617614
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	37632
Biggest coefficient in the objective function	31125091123200
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	14624065344515792
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	31125091123200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	14624065344515792
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.945856
Number of variables	103872
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	725
Trace number 29758

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 11:15:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21157 boxname=wulflinc28 idbench=1145 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  84023cc1c9d18b4d21ad2d86c1617614  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-A2C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-A2C1S1.opb
IDLAUNCH: 21157
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        613864 kB
Buffers:         29160 kB
Cached:         369696 kB
SwapCached:       1052 kB
Active:          55660 kB
Inactive:       345776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        613612 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13792 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:37:06 (client local time) WITH STATUS 143 IN 1309.23 SECONDS
stats: 21157 7 1309.23 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-A2C1S1.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.112
#### 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.85 0.97 0.99 2/54 5025
Raw data (stat): 5025 (runsolver) R 5024 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838447473 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0004 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18023 0 1 0 870 40 0 0 25 0 10 0 838447473 853413888 19331 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208353 19331 13086 16 0 208337 0
vsize: 833412
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18024 0 1 0 1768 40 0 0 25 0 10 0 838447473 855076864 20194 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208759 20194 13086 16 0 208743 0
vsize: 835036
[startup+30.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 2657 41 0 0 25 0 10 0 838447473 853483520 20393 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 20393 13086 16 0 208354 0
vsize: 833480
[startup+40.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 3571 41 0 0 25 0 10 0 838447473 854532096 20926 4294967295 134512640 134569956 3221224368 3221214768 1131248898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 20926 13086 16 0 208610 0
vsize: 834504
[startup+50.0021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 4491 41 0 0 25 0 10 0 838447473 854532096 21094 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21094 13086 16 0 208610 0
vsize: 834504
[startup+60.0018 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 5406 42 0 0 25 0 10 0 838447473 854532096 21230 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21230 13086 16 0 208610 0
vsize: 834504
[startup+70.0015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 6337 42 0 0 25 0 10 0 838447473 854532096 21528 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21528 13086 16 0 208610 0
vsize: 834504
[startup+80.0022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 7275 42 0 0 25 0 10 0 838447473 854532096 21633 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21633 13086 16 0 208610 0
vsize: 834504
[startup+90.0019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 8213 42 0 0 24 0 10 0 838447473 854532096 21729 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21729 13086 16 0 208610 0
vsize: 834504
[startup+100.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 9157 43 0 0 25 0 10 0 838447473 854532096 21812 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21812 13086 16 0 208610 0
vsize: 834504
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 10097 43 0 0 25 0 10 0 838447473 854532096 21896 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21896 13086 16 0 208610 0
vsize: 834504
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 11037 44 0 0 24 0 10 0 838447473 854532096 21975 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 21975 13086 16 0 208610 0
vsize: 834504
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 11982 45 0 0 25 0 10 0 838447473 854532096 22044 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22044 13086 16 0 208610 0
vsize: 834504
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 12923 45 0 0 25 0 10 0 838447473 854532096 22115 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208626 22115 13086 16 0 208610 0
vsize: 834504
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 13863 46 0 0 25 0 10 0 838447473 854532096 22183 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22183 13086 16 0 208610 0
vsize: 834504
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 14804 46 0 0 24 0 10 0 838447473 854532096 22248 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22248 13086 16 0 208610 0
vsize: 834504
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 15743 47 0 0 25 0 10 0 838447473 854532096 22307 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22307 13086 16 0 208610 0
vsize: 834504
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 16660 47 0 0 25 0 10 0 838447473 854532096 22364 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22364 13086 16 0 208610 0
vsize: 834504
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 17578 48 0 0 25 0 10 0 838447473 854532096 22679 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22679 13086 16 0 208610 0
vsize: 834504
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 18519 48 0 0 25 0 10 0 838447473 854532096 22733 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22733 13086 16 0 208610 0
vsize: 834504
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 19457 48 0 0 25 0 10 0 838447473 854532096 22788 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22788 13086 16 0 208610 0
vsize: 834504
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 20395 48 0 0 24 0 10 0 838447473 854532096 22842 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22842 13086 16 0 208610 0
vsize: 834504
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 21335 49 0 0 25 0 10 0 838447473 854532096 22892 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22892 13086 16 0 208610 0
vsize: 834504
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 22271 49 0 0 25 0 10 0 838447473 854532096 22943 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22943 13086 16 0 208610 0
vsize: 834504
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18024 0 1 0 23210 49 0 0 25 0 10 0 838447473 854532096 22991 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 22991 13086 16 0 208610 0
vsize: 834504
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 24147 50 0 0 25 0 10 0 838447473 854532096 23039 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23039 13086 16 0 208610 0
vsize: 834504
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 25082 50 0 0 25 0 10 0 838447473 854532096 23087 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23087 13086 16 0 208610 0
vsize: 834504
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 26021 50 0 0 25 0 10 0 838447473 854532096 23131 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23131 13086 16 0 208610 0
vsize: 834504
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 26955 51 0 0 25 0 10 0 838447473 854532096 23177 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23177 13086 16 0 208610 0
vsize: 834504
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 27893 51 0 0 25 0 10 0 838447473 854532096 23219 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23219 13086 16 0 208610 0
vsize: 834504
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 28827 51 0 0 25 0 10 0 838447473 854532096 23264 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23264 13086 16 0 208610 0
vsize: 834504
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 29763 51 0 0 25 0 10 0 838447473 854532096 23305 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23305 13086 16 0 208610 0
vsize: 834504
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 30695 52 0 0 25 0 10 0 838447473 854532096 23347 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23347 13086 16 0 208610 0
vsize: 834504
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 31632 52 0 0 25 0 10 0 838447473 854532096 23387 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23387 13086 16 0 208610 0
vsize: 834504
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 32563 53 0 0 25 0 10 0 838447473 854532096 23429 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23429 13086 16 0 208610 0
vsize: 834504
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 33499 54 0 0 25 0 10 0 838447473 854532096 23468 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23468 13086 16 0 208610 0
vsize: 834504
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 34429 54 0 0 25 0 10 0 838447473 854532096 23508 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23508 13086 16 0 208610 0
vsize: 834504
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18024 0 1 0 35364 54 0 0 25 0 10 0 838447473 854532096 23545 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23545 13086 16 0 208610 0
vsize: 834504
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18032 0 1 0 36291 55 0 0 25 0 10 0 838447473 854532096 23422 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23422 13086 16 0 208610 0
vsize: 834504
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18032 0 1 0 37209 55 0 0 24 0 10 0 838447473 854532096 23461 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23461 13086 16 0 208610 0
vsize: 834504
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18033 0 1 0 38135 56 0 0 25 0 10 0 838447473 854532096 23593 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23593 13086 16 0 208610 0
vsize: 834504
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18033 0 1 0 39053 56 0 0 25 0 10 0 838447473 854532096 23659 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23659 13086 16 0 208610 0
vsize: 834504
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18033 0 1 0 39984 57 0 0 25 0 10 0 838447473 854532096 23700 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23700 13086 16 0 208610 0
vsize: 834504
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18033 0 1 0 40913 57 0 0 25 0 10 0 838447473 854532096 23740 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208626 23740 13086 16 0 208610 0
vsize: 834504
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18033 0 1 0 41844 57 0 0 25 0 10 0 838447473 854532096 23767 4294967295 134512640 134569956 3221224368 3221214436 1130883254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23767 13086 16 0 208610 0
vsize: 834504
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 42770 57 0 0 24 0 10 0 838447473 854532096 23781 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208626 23781 13086 16 0 208610 0
vsize: 834504
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18034 0 1 0 43682 58 0 0 25 0 10 0 838447473 854806528 23935 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208693 23935 13086 16 0 208677 0
vsize: 834772
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 44611 58 0 0 25 0 10 0 838447473 854532096 23863 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23863 13086 16 0 208610 0
vsize: 834504
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 45539 58 0 0 25 0 10 0 838447473 854532096 23902 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23902 13086 16 0 208610 0
vsize: 834504
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 46466 59 0 0 25 0 10 0 838447473 854532096 23928 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23928 13086 16 0 208610 0
vsize: 834504
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 47394 59 0 0 25 0 10 0 838447473 854532096 23966 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 23966 13086 16 0 208610 0
vsize: 834504
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 48320 59 0 0 25 0 10 0 838447473 854532096 24004 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24004 13086 16 0 208610 0
vsize: 834504
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 49242 59 0 0 24 0 10 0 838447473 854532096 24031 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24031 13086 16 0 208610 0
vsize: 834504
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 50168 60 0 0 24 0 10 0 838447473 854532096 24068 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24068 13086 16 0 208610 0
vsize: 834504
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 51094 60 0 0 25 0 10 0 838447473 854532096 24093 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24093 13086 16 0 208610 0
vsize: 834504
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 52019 61 0 0 25 0 10 0 838447473 854532096 24130 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24130 13086 16 0 208610 0
vsize: 834504
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 52944 61 0 0 25 0 10 0 838447473 854532096 24154 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24154 13086 16 0 208610 0
vsize: 834504
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 53868 61 0 0 25 0 10 0 838447473 854532096 24184 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24184 13086 16 0 208610 0
vsize: 834504
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 54792 62 0 0 25 0 10 0 838447473 854532096 24220 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24220 13086 16 0 208610 0
vsize: 834504
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18034 0 1 0 55715 62 0 0 25 0 10 0 838447473 854532096 24244 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24244 13086 16 0 208610 0
vsize: 834504
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 56637 62 0 0 19 0 10 0 838447473 854532096 24281 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24281 13086 16 0 208610 0
vsize: 834504
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 57561 63 0 0 25 0 10 0 838447473 854532096 24305 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24305 13086 16 0 208610 0
vsize: 834504
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 58483 63 0 0 25 0 10 0 838447473 854532096 24375 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24375 13086 16 0 208610 0
vsize: 834504
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 59405 63 0 0 25 0 10 0 838447473 854532096 24398 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24398 13086 16 0 208610 0
vsize: 834504
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 60301 64 0 0 25 0 10 0 838447473 854532096 24410 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24410 13086 16 0 208610 0
vsize: 834504
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 61222 64 0 0 25 0 10 0 838447473 854532096 24433 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24433 13086 16 0 208610 0
vsize: 834504
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 62143 64 0 0 25 0 10 0 838447473 854532096 24980 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24980 13086 16 0 208610 0
vsize: 834504
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 63067 65 0 0 25 0 10 0 838447473 854532096 24980 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24980 13086 16 0 208610 0
vsize: 834504
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 63981 65 0 0 23 0 10 0 838447473 854532096 24990 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 24990 13086 16 0 208610 0
vsize: 834504
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 64892 66 0 0 25 0 10 0 838447473 854532096 25012 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25012 13086 16 0 208610 0
vsize: 834504
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 65802 66 0 0 25 0 10 0 838447473 854532096 25047 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25047 13086 16 0 208610 0
vsize: 834504
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 66712 67 0 0 25 0 10 0 838447473 854532096 25068 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25068 13086 16 0 208610 0
vsize: 834504
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 67627 67 0 0 25 0 10 0 838447473 854532096 25102 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25102 13086 16 0 208610 0
vsize: 834504
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 68537 68 0 0 25 0 10 0 838447473 854532096 25124 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25124 13086 16 0 208610 0
vsize: 834504
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 69447 69 0 0 25 0 10 0 838447473 854532096 25159 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25159 13086 16 0 208610 0
vsize: 834504
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 70359 69 0 0 25 0 10 0 838447473 854532096 25179 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25179 13086 16 0 208610 0
vsize: 834504
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 71269 70 0 0 25 0 10 0 838447473 854532096 25213 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25213 13086 16 0 208610 0
vsize: 834504
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 72179 70 0 0 25 0 10 0 838447473 854532096 25234 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25234 13086 16 0 208610 0
vsize: 834504
[startup+790.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 73087 71 0 0 19 0 10 0 838447473 854532096 25268 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25268 13086 16 0 208610 0
vsize: 834504
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 74001 71 0 0 23 0 10 0 838447473 854532096 25288 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25288 13086 16 0 208610 0
vsize: 834504
[startup+810.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 74907 72 0 0 21 0 10 0 838447473 854532096 25308 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25308 13086 16 0 208610 0
vsize: 834504
[startup+820.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 75815 72 0 0 24 0 10 0 838447473 854532096 25342 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25342 13086 16 0 208610 0
vsize: 834504
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 76728 73 0 0 25 0 10 0 838447473 854532096 25361 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25361 13086 16 0 208610 0
vsize: 834504
[startup+840.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 77634 74 0 0 25 0 10 0 838447473 854532096 25395 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25395 13086 16 0 208610 0
vsize: 834504
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 78546 74 0 0 25 0 10 0 838447473 854532096 25414 4294967295 134512640 134569956 3221224368 3221213824 1080180225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25414 13086 16 0 208610 0
vsize: 834504
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 79452 74 0 0 25 0 10 0 838447473 854532096 25448 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25448 13086 16 0 208610 0
vsize: 834504
[startup+870.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 80358 75 0 0 25 0 10 0 838447473 854532096 25468 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25468 13086 16 0 208610 0
vsize: 834504
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 81268 75 0 0 25 0 10 0 838447473 854532096 25501 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25501 13086 16 0 208610 0
vsize: 834504
[startup+890.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 82174 76 0 0 25 0 10 0 838447473 854532096 25521 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25521 13086 16 0 208610 0
vsize: 834504
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 83084 76 0 0 23 0 10 0 838447473 854532096 25539 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25539 13086 16 0 208610 0
vsize: 834504
[startup+910.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 83990 76 0 0 21 0 10 0 838447473 854532096 25573 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25573 13086 16 0 208610 0
vsize: 834504
[startup+920.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 84899 76 0 0 24 0 10 0 838447473 854532096 25591 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25591 13086 16 0 208610 0
vsize: 834504
[startup+930.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 85802 77 0 0 21 0 10 0 838447473 854532096 25624 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25624 13086 16 0 208610 0
vsize: 834504
[startup+940.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 86707 78 0 0 24 0 10 0 838447473 854532096 25642 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25642 13086 16 0 208610 0
vsize: 834504
[startup+950.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 87615 78 0 0 22 0 10 0 838447473 854532096 25674 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25674 13086 16 0 208610 0
vsize: 834504
[startup+960.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 88519 78 0 0 19 0 10 0 838447473 854532096 25694 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25694 13086 16 0 208610 0
vsize: 834504
[startup+970.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 89427 78 0 0 21 0 10 0 838447473 854532096 25712 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25712 13086 16 0 208610 0
vsize: 834504
[startup+980.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 90331 79 0 0 19 0 10 0 838447473 854532096 25748 4294967295 134512640 134569956 3221224368 3221214796 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25748 13086 16 0 208610 0
vsize: 834504
[startup+990.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 91239 79 0 0 22 0 10 0 838447473 854532096 25780 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25780 13086 16 0 208610 0
vsize: 834504
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 92140 79 0 0 19 0 10 0 838447473 854532096 25819 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25819 13086 16 0 208610 0
vsize: 834504
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 93048 80 0 0 21 0 10 0 838447473 854532096 25837 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25837 13086 16 0 208610 0
vsize: 834504
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 93948 80 0 0 19 0 10 0 838447473 854532096 25855 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25855 13086 16 0 208610 0
vsize: 834504
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 94856 80 0 0 21 0 10 0 838447473 854532096 25887 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25887 13086 16 0 208610 0
vsize: 834504
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 95762 81 0 0 24 0 10 0 838447473 854532096 25916 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25916 13086 16 0 208610 0
vsize: 834504
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 96661 81 0 0 20 0 10 0 838447473 854532096 25947 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25947 13086 16 0 208610 0
vsize: 834504
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 97568 82 0 0 23 0 10 0 838447473 854532096 25966 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25966 13086 16 0 208610 0
vsize: 834504
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 98469 82 0 0 19 0 10 0 838447473 854532096 25994 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 25994 13086 16 0 208610 0
vsize: 834504
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 99376 82 0 0 21 0 10 0 838447473 854532096 26016 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26016 13086 16 0 208610 0
vsize: 834504
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 100277 82 0 0 19 0 10 0 838447473 854532096 26046 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26046 13086 16 0 208610 0
vsize: 834504
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 101183 82 0 0 20 0 10 0 838447473 854532096 26069 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26069 13086 16 0 208610 0
vsize: 834504
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 102090 82 0 0 23 0 10 0 838447473 854532096 26088 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26088 13086 16 0 208610 0
vsize: 834504
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 102989 83 0 0 20 0 10 0 838447473 854532096 26111 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26111 13086 16 0 208610 0
vsize: 834504
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 103894 83 0 0 22 0 10 0 838447473 854532096 26147 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26147 13086 16 0 208610 0
vsize: 834504
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 104796 83 0 0 24 0 10 0 838447473 854532096 26169 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26169 13086 16 0 208610 0
vsize: 834504
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 105698 84 0 0 20 0 10 0 838447473 854532096 26186 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26186 13086 16 0 208610 0
vsize: 834504
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 106602 84 0 0 22 0 10 0 838447473 854532096 26212 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26212 13086 16 0 208610 0
vsize: 834504
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 107500 85 0 0 18 0 10 0 838447473 854532096 26242 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26242 13086 16 0 208610 0
vsize: 834504
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 108404 85 0 0 21 0 10 0 838447473 854532096 26265 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26265 13086 16 0 208610 0
vsize: 834504
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 109308 85 0 0 21 0 10 0 838447473 854532096 26288 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26288 13086 16 0 208610 0
vsize: 834504
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) S 5024 24821 24820 0 -1 0 18035 0 1 0 110207 86 0 0 24 0 10 0 838447473 854532096 26310 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26310 13086 16 0 208610 0
vsize: 834504
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 111106 86 0 0 19 0 10 0 838447473 854532096 26341 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26341 13086 16 0 208610 0
vsize: 834504
[startup+1220.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 112006 87 0 0 22 0 10 0 838447473 854532096 26367 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26367 13086 16 0 208610 0
vsize: 834504
[startup+1230.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 112908 87 0 0 24 0 10 0 838447473 854532096 26382 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26382 13086 16 0 208610 0
vsize: 834504
[startup+1240.06 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 113804 88 0 0 18 0 10 0 838447473 854532096 26410 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26410 13086 16 0 208610 0
vsize: 834504
[startup+1250.06 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 114705 88 0 0 19 0 10 0 838447473 854532096 26433 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26433 13086 16 0 208610 0
vsize: 834504
[startup+1260.06 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 115607 88 0 0 23 0 10 0 838447473 854532096 26462 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26462 13086 16 0 208610 0
vsize: 834504
[startup+1270.06 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 116503 88 0 0 19 0 10 0 838447473 854532096 26486 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26486 13086 16 0 208610 0
vsize: 834504
[startup+1280.06 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 117405 89 0 0 20 0 10 0 838447473 854532096 26498 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26498 13086 16 0 208610 0
vsize: 834504
[startup+1290.06 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 118306 89 0 0 20 0 10 0 838447473 854532096 26519 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26519 13086 16 0 208610 0
vsize: 834504
[startup+1300.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 119207 90 0 0 22 0 10 0 838447473 854532096 26538 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26538 13086 16 0 208610 0
vsize: 834504
[startup+1310.06 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 5034
Raw data (stat): 5025 (java) R 5024 24821 24820 0 -1 0 18035 0 1 0 120105 90 0 0 19 0 10 0 838447473 854532096 26580 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208626 26580 13086 16 0 208610 0
vsize: 834504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.02 1.00 1.00 1/54 5036
Raw data (stat): 5025 (java) Z 5024 24821 24820 0 -1 1036 18035 8066 1 0 120111 90 10680 40 19 0 1 0 838447473 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.18
CPU time (s): 1309.23
CPU user time (s): 1307.91
CPU system time (s): 1.3138
CPU usage (%): 99.9276
Max. virtual memory (Kb): 835036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####