PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
MD5SUM	30059c64e21a2e364f81efb4e08403c5
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	78981
Biggest coefficient in the objective function	1400338009135513600000000
Number of bits for the biggest coefficient in the objective function	81
Sum of the numbers in the objective function	357842136202818385868750848
Number of bits of the sum of numbers in the objective function	89
Biggest number in a constraint	1400338009135513600000000
Number of bits of the biggest number in a constraint	81
Biggest sum of numbers in a constraint	357842136202818385868750848
Number of bits of the biggest sum of numbers	89
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.50277
Number of variables	151216
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	752
Trace number 30125

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 15:06:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21528 boxname=wulflinc28 idbench=1516 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  30059c64e21a2e364f81efb4e08403c5  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-neos4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-neos4.opb
IDLAUNCH: 21528
/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:        510720 kB
Buffers:         32416 kB
Cached:         469392 kB
SwapCached:       1052 kB
Active:          68452 kB
Inactive:       435880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        510468 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13920 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:28:22 (client local time) WITH STATUS 143 IN 1309.95 SECONDS
stats: 21528 7 1309.95 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-13-7-neos4.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.214
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.99 2/54 6415
Raw data (stat): 6415 (runsolver) R 6414 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839835250 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.88 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 870 41 0 0 25 0 10 0 839835250 853499904 19337 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208374 19337 13086 16 0 208358 0
vsize: 833496
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 1767 41 0 0 25 0 10 0 839835250 853467136 19833 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208366 19833 13086 16 0 208350 0
vsize: 833464
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 2656 42 0 0 25 0 10 0 839835250 853434368 20340 4294967295 134512640 134569956 3221224368 3221214648 1131201933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208358 20340 13086 16 0 208342 0
vsize: 833432
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 3569 42 0 0 25 0 10 0 839835250 853942272 20763 4294967295 134512640 134569956 3221224368 3221214644 1130894839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 20763 13086 16 0 208466 0
vsize: 833928
[startup+50.0042 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 4489 42 0 0 25 0 10 0 839835250 853942272 20933 4294967295 134512640 134569956 3221224368 3221214768 1131241469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 20933 13086 16 0 208466 0
vsize: 833928
[startup+60.0051 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 5403 43 0 0 25 0 10 0 839835250 853942272 21071 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 21071 13086 16 0 208466 0
vsize: 833928
[startup+70.0055 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 6330 44 0 0 25 0 10 0 839835250 853671936 21257 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21257 13086 16 0 208400 0
vsize: 833664
[startup+80.0062 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 7270 45 0 0 25 0 10 0 839835250 853671936 21357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21357 13086 16 0 208400 0
vsize: 833664
[startup+90.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 8209 45 0 0 25 0 10 0 839835250 853671936 21453 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21453 13086 16 0 208400 0
vsize: 833664
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 9148 45 0 0 24 0 10 0 839835250 853671936 21543 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21543 13086 16 0 208400 0
vsize: 833664
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 10092 46 0 0 25 0 10 0 839835250 853671936 21623 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21623 13086 16 0 208400 0
vsize: 833664
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 11032 47 0 0 25 0 10 0 839835250 853671936 21702 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21702 13086 16 0 208400 0
vsize: 833664
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 11973 47 0 0 24 0 10 0 839835250 853671936 21776 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21776 13086 16 0 208400 0
vsize: 833664
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 12917 47 0 0 25 0 10 0 839835250 853671936 21844 4294967295 134512640 134569956 3221224368 3221214200 1077558423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21844 13086 16 0 208400 0
vsize: 833664
[startup+150.012 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 13858 48 0 0 25 0 10 0 839835250 853671936 21912 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21912 13086 16 0 208400 0
vsize: 833664
[startup+160.013 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 14800 48 0 0 25 0 10 0 839835250 853671936 21978 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21978 13086 16 0 208400 0
vsize: 833664
[startup+170.012 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 15739 48 0 0 25 0 10 0 839835250 853671936 22037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22037 13086 16 0 208400 0
vsize: 833664
[startup+180.013 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 16649 49 0 0 24 0 10 0 839835250 853671936 22099 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22099 13086 16 0 208400 0
vsize: 833664
[startup+190.014 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 17573 49 0 0 25 0 10 0 839835250 853671936 22411 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22411 13086 16 0 208400 0
vsize: 833664
[startup+200.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 18510 50 0 0 25 0 10 0 839835250 853671936 22468 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22468 13086 16 0 208400 0
vsize: 833664
[startup+210.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 19451 50 0 0 25 0 10 0 839835250 853671936 22521 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22521 13086 16 0 208400 0
vsize: 833664
[startup+220.017 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 20389 50 0 0 25 0 10 0 839835250 853671936 22574 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22574 13086 16 0 208400 0
vsize: 833664
[startup+230.018 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 21325 51 0 0 24 0 10 0 839835250 853671936 22628 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22628 13086 16 0 208400 0
vsize: 833664
[startup+240.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 22265 51 0 0 25 0 10 0 839835250 853671936 22676 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22676 13086 16 0 208400 0
vsize: 833664
[startup+250.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 23201 52 0 0 25 0 10 0 839835250 853671936 22726 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22726 13086 16 0 208400 0
vsize: 833664
[startup+260.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 24137 52 0 0 25 0 10 0 839835250 853671936 22774 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22774 13086 16 0 208400 0
vsize: 833664
[startup+270.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 25075 53 0 0 25 0 10 0 839835250 853671936 22821 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22821 13086 16 0 208400 0
vsize: 833664
[startup+280.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 26011 53 0 0 25 0 10 0 839835250 853671936 22867 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22867 13086 16 0 208400 0
vsize: 833664
[startup+290.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 26948 53 0 0 25 0 10 0 839835250 853671936 22911 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22911 13086 16 0 208400 0
vsize: 833664
[startup+300.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 27882 54 0 0 25 0 10 0 839835250 853671936 22956 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22956 13086 16 0 208400 0
vsize: 833664
[startup+310.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 28815 54 0 0 24 0 10 0 839835250 853671936 23000 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23000 13086 16 0 208400 0
vsize: 833664
[startup+320.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 29751 55 0 0 25 0 10 0 839835250 853671936 23041 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23041 13086 16 0 208400 0
vsize: 833664
[startup+330.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 30683 55 0 0 24 0 10 0 839835250 853671936 23084 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23084 13086 16 0 208400 0
vsize: 833664
[startup+340.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 31619 56 0 0 24 0 10 0 839835250 853671936 23125 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23125 13086 16 0 208400 0
vsize: 833664
[startup+350.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 32550 56 0 0 24 0 10 0 839835250 853671936 23167 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23167 13086 16 0 208400 0
vsize: 833664
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 33485 56 0 0 25 0 10 0 839835250 853671936 23205 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23205 13086 16 0 208400 0
vsize: 833664
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 34415 57 0 0 24 0 10 0 839835250 853671936 23245 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23245 13086 16 0 208400 0
vsize: 833664
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 35349 57 0 0 25 0 10 0 839835250 853671936 23283 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23283 13086 16 0 208400 0
vsize: 833664
[startup+390.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 36279 57 0 0 24 0 10 0 839835250 853671936 23322 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23322 13086 16 0 208400 0
vsize: 833664
[startup+400.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 37213 58 0 0 25 0 10 0 839835250 853671936 23358 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23358 13086 16 0 208400 0
vsize: 833664
[startup+410.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 38144 58 0 0 25 0 10 0 839835250 853671936 23395 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23395 13086 16 0 208400 0
vsize: 833664
[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 39075 59 0 0 25 0 10 0 839835250 853671936 23432 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23432 13086 16 0 208400 0
vsize: 833664
[startup+430.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 40007 59 0 0 25 0 10 0 839835250 853671936 23467 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23467 13086 16 0 208400 0
vsize: 833664
[startup+440.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 40934 59 0 0 25 0 10 0 839835250 853671936 23504 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23504 13086 16 0 208400 0
vsize: 833664
[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 41865 59 0 0 25 0 10 0 839835250 853671936 23538 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23538 13086 16 0 208400 0
vsize: 833664
[startup+460.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 42794 60 0 0 25 0 10 0 839835250 853671936 23572 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23572 13086 16 0 208400 0
vsize: 833664
[startup+470.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 43724 60 0 0 25 0 10 0 839835250 853671936 23607 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23607 13086 16 0 208400 0
vsize: 833664
[startup+480.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 44653 60 0 0 25 0 10 0 839835250 853671936 23641 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23641 13086 16 0 208400 0
vsize: 833664
[startup+490.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 45578 61 0 0 24 0 10 0 839835250 853671936 23676 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23676 13086 16 0 208400 0
vsize: 833664
[startup+500.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 46507 62 0 0 25 0 10 0 839835250 853671936 23708 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23708 13086 16 0 208400 0
vsize: 833664
[startup+510.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 47435 62 0 0 25 0 10 0 839835250 853671936 23740 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23740 13086 16 0 208400 0
vsize: 833664
[startup+520.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 48359 63 0 0 24 0 10 0 839835250 853671936 23774 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23774 13086 16 0 208400 0
vsize: 833664
[startup+530.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 49288 63 0 0 25 0 10 0 839835250 853671936 23805 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23805 13086 16 0 208400 0
vsize: 833664
[startup+540.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 50216 63 0 0 25 0 10 0 839835250 853671936 23836 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23836 13086 16 0 208400 0
vsize: 833664
[startup+550.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 51139 64 0 0 25 0 10 0 839835250 853671936 23867 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23867 13086 16 0 208400 0
vsize: 833664
[startup+560.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 52065 64 0 0 25 0 10 0 839835250 853671936 23899 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23899 13086 16 0 208400 0
vsize: 833664
[startup+570.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 52992 64 0 0 25 0 10 0 839835250 853671936 23929 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23929 13086 16 0 208400 0
vsize: 833664
[startup+580.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 53919 65 0 0 25 0 10 0 839835250 853671936 23959 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23959 13086 16 0 208400 0
vsize: 833664
[startup+590.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 54841 65 0 0 25 0 10 0 839835250 853671936 23990 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23990 13086 16 0 208400 0
vsize: 833664
[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 55765 65 0 0 25 0 10 0 839835250 853671936 24020 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24020 13086 16 0 208400 0
vsize: 833664
[startup+610.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 56690 65 0 0 25 0 10 0 839835250 853671936 24049 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24049 13086 16 0 208400 0
vsize: 833664
[startup+620.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 57615 65 0 0 25 0 10 0 839835250 853671936 24078 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24078 13086 16 0 208400 0
vsize: 833664
[startup+630.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 58540 66 0 0 25 0 10 0 839835250 853671936 24106 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24106 13086 16 0 208400 0
vsize: 833664
[startup+640.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 59459 67 0 0 24 0 10 0 839835250 853671936 24136 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24136 13086 16 0 208400 0
vsize: 833664
[startup+650.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 60383 67 0 0 20 0 10 0 839835250 853671936 24166 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24166 13086 16 0 208400 0
vsize: 833664
[startup+660.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 61306 68 0 0 25 0 10 0 839835250 853671936 24194 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24194 13086 16 0 208400 0
vsize: 833664
[startup+670.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 62211 68 0 0 25 0 10 0 839835250 853671936 24738 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24738 13086 16 0 208400 0
vsize: 833664
[startup+680.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 63113 69 0 0 25 0 10 0 839835250 853671936 24738 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24738 13086 16 0 208400 0
vsize: 833664
[startup+690.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 64024 69 0 0 25 0 10 0 839835250 853671936 24955 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24955 13086 16 0 208400 0
vsize: 833664
[startup+700.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 64939 70 0 0 25 0 10 0 839835250 853671936 24982 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24982 13086 16 0 208400 0
vsize: 833664
[startup+710.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 65852 71 0 0 25 0 10 0 839835250 853671936 25008 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25008 13086 16 0 208400 0
vsize: 833664
[startup+720.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 66763 71 0 0 21 0 10 0 839835250 853671936 25035 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25035 13086 16 0 208400 0
vsize: 833664
[startup+730.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 67676 72 0 0 25 0 10 0 839835250 853671936 25062 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25062 13086 16 0 208400 0
vsize: 833664
[startup+740.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 68587 72 0 0 25 0 10 0 839835250 853671936 25088 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25088 13086 16 0 208400 0
vsize: 833664
[startup+750.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 69499 72 0 0 25 0 10 0 839835250 853671936 25114 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25114 13086 16 0 208400 0
vsize: 833664
[startup+760.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 70410 73 0 0 25 0 10 0 839835250 853671936 25140 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25140 13086 16 0 208400 0
vsize: 833664
[startup+770.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 71321 73 0 0 21 0 10 0 839835250 853671936 25166 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25166 13086 16 0 208400 0
vsize: 833664
[startup+780.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 72234 73 0 0 25 0 10 0 839835250 853671936 25192 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25192 13086 16 0 208400 0
vsize: 833664
[startup+790.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 73146 73 0 0 25 0 10 0 839835250 853671936 25217 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25217 13086 16 0 208400 0
vsize: 833664
[startup+800.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 74057 73 0 0 25 0 10 0 839835250 853671936 25243 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25243 13086 16 0 208400 0
vsize: 833664
[startup+810.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 74969 73 0 0 25 0 10 0 839835250 853671936 25268 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25268 13086 16 0 208400 0
vsize: 833664
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 75878 73 0 0 25 0 10 0 839835250 853671936 25293 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25293 13086 16 0 208400 0
vsize: 833664
[startup+830.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 76788 74 0 0 25 0 10 0 839835250 853671936 25318 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25318 13086 16 0 208400 0
vsize: 833664
[startup+840.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 77698 74 0 0 25 0 10 0 839835250 853671936 25344 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25344 13086 16 0 208400 0
vsize: 833664
[startup+850.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 78607 74 0 0 24 0 10 0 839835250 853671936 25368 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25368 13086 16 0 208400 0
vsize: 833664
[startup+860.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 79518 74 0 0 25 0 10 0 839835250 853671936 25392 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25392 13086 16 0 208400 0
vsize: 833664
[startup+870.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 80430 74 0 0 25 0 10 0 839835250 853671936 25415 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25415 13086 16 0 208400 0
vsize: 833664
[startup+880.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 81339 75 0 0 25 0 10 0 839835250 853671936 25439 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25439 13086 16 0 208400 0
vsize: 833664
[startup+890.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 82247 75 0 0 25 0 10 0 839835250 853671936 25464 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25464 13086 16 0 208400 0
vsize: 833664
[startup+900.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 83155 75 0 0 25 0 10 0 839835250 853671936 25487 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25487 13086 16 0 208400 0
vsize: 833664
[startup+910.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 84062 75 0 0 25 0 10 0 839835250 853671936 25511 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25511 13086 16 0 208400 0
vsize: 833664
[startup+920.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 84969 75 0 0 25 0 10 0 839835250 853671936 25535 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25535 13086 16 0 208400 0
vsize: 833664
[startup+930.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 85876 75 0 0 24 0 10 0 839835250 853671936 25558 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25558 13086 16 0 208400 0
vsize: 833664
[startup+940.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 86789 75 0 0 25 0 10 0 839835250 853671936 25580 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25580 13086 16 0 208400 0
vsize: 833664
[startup+950.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 87695 75 0 0 25 0 10 0 839835250 853671936 25603 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25603 13086 16 0 208400 0
vsize: 833664
[startup+960.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 88599 76 0 0 25 0 10 0 839835250 853671936 25627 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25627 13086 16 0 208400 0
vsize: 833664
[startup+970.067 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 89505 76 0 0 25 0 10 0 839835250 853671936 25649 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25649 13086 16 0 208400 0
vsize: 833664
[startup+980.068 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 90412 76 0 0 24 0 10 0 839835250 853671936 25672 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25672 13086 16 0 208400 0
vsize: 833664
[startup+990.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 91323 76 0 0 25 0 10 0 839835250 853671936 25694 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25694 13086 16 0 208400 0
vsize: 833664
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 92227 76 0 0 25 0 10 0 839835250 853671936 25716 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25716 13086 16 0 208400 0
vsize: 833664
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 93132 76 0 0 25 0 10 0 839835250 853671936 25739 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25739 13086 16 0 208400 0
vsize: 833664
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 94036 76 0 0 24 0 10 0 839835250 853671936 25761 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25761 13086 16 0 208400 0
vsize: 833664
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 94946 76 0 0 25 0 10 0 839835250 853671936 25782 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25782 13086 16 0 208400 0
vsize: 833664
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 95850 76 0 0 25 0 10 0 839835250 853671936 25804 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25804 13086 16 0 208400 0
vsize: 833664
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 96754 77 0 0 25 0 10 0 839835250 853671936 25827 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25827 13086 16 0 208400 0
vsize: 833664
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 97657 77 0 0 19 0 10 0 839835250 853671936 25850 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25850 13086 16 0 208400 0
vsize: 833664
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 98562 77 0 0 24 0 10 0 839835250 853671936 25874 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25874 13086 16 0 208400 0
vsize: 833664
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 99466 77 0 0 21 0 10 0 839835250 853671936 25897 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25897 13086 16 0 208400 0
vsize: 833664
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 100368 77 0 0 20 0 10 0 839835250 853671936 25924 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25924 13086 16 0 208400 0
vsize: 833664
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 101271 77 0 0 19 0 10 0 839835250 853671936 25949 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25949 13086 16 0 208400 0
vsize: 833664
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 102178 77 0 0 23 0 10 0 839835250 853671936 25973 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25973 13086 16 0 208400 0
vsize: 833664
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 103080 77 0 0 22 0 10 0 839835250 853671936 25998 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 25998 13086 16 0 208400 0
vsize: 833664
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 103981 77 0 0 19 0 10 0 839835250 853671936 26023 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26023 13086 16 0 208400 0
vsize: 833664
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 104882 78 0 0 19 0 10 0 839835250 853671936 26045 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26045 13086 16 0 208400 0
vsize: 833664
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 105790 78 0 0 24 0 10 0 839835250 853671936 26065 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26065 13086 16 0 208400 0
vsize: 833664
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 106691 78 0 0 22 0 10 0 839835250 853671936 26094 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26094 13086 16 0 208400 0
vsize: 833664
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 107592 78 0 0 19 0 10 0 839835250 853671936 26119 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26119 13086 16 0 208400 0
vsize: 833664
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 108497 78 0 0 24 0 10 0 839835250 853671936 26139 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26139 13086 16 0 208400 0
vsize: 833664
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 109400 78 0 0 22 0 10 0 839835250 853671936 26166 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26166 13086 16 0 208400 0
vsize: 833664
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 110297 78 0 0 21 0 10 0 839835250 853671936 26190 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26190 13086 16 0 208400 0
vsize: 833664
[startup+1210.09 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 111194 78 0 0 18 0 10 0 839835250 853671936 26214 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26214 13086 16 0 208400 0
vsize: 833664
[startup+1220.1 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 112100 78 0 0 22 0 10 0 839835250 853671936 26234 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26234 13086 16 0 208400 0
vsize: 833664
[startup+1230.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 113000 79 0 0 20 0 10 0 839835250 853671936 26255 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26255 13086 16 0 208400 0
vsize: 833664
[startup+1240.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 113903 79 0 0 24 0 10 0 839835250 853671936 26274 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26274 13086 16 0 208400 0
vsize: 833664
[startup+1250.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 114803 79 0 0 22 0 10 0 839835250 853671936 26293 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26293 13086 16 0 208400 0
vsize: 833664
[startup+1260.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 115702 79 0 0 20 0 10 0 839835250 853671936 26325 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26325 13086 16 0 208400 0
vsize: 833664
[startup+1270.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 116607 79 0 0 23 0 10 0 839835250 853671936 26359 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26359 13086 16 0 208400 0
vsize: 833664
[startup+1280.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 117507 79 0 0 22 0 10 0 839835250 853671936 26382 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26382 13086 16 0 208400 0
vsize: 833664
[startup+1290.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 118409 79 0 0 19 0 10 0 839835250 853671936 26398 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26398 13086 16 0 208400 0
vsize: 833664
[startup+1300.11 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) S 6414 24821 24820 0 -1 0 18024 0 1 0 119314 79 0 0 24 0 10 0 839835250 853671936 26428 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26428 13086 16 0 208400 0
vsize: 833664
[startup+1310.12 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6424
Raw data (stat): 6415 (java) R 6414 24821 24820 0 -1 0 18024 0 1 0 120222 79 0 0 22 0 10 0 839835250 853671936 26446 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 26446 13086 16 0 208400 0
vsize: 833664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 6426
Raw data (stat): 6415 (java) Z 6414 24821 24820 0 -1 1036 18024 8107 1 0 120224 79 10648 42 23 0 1 0 839835250 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): 1310.19
CPU time (s): 1309.95
CPU user time (s): 1308.73
CPU system time (s): 1.21781
CPU usage (%): 99.9819
Max. virtual memory (Kb): 833928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####