PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 29433

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        806356 kB
Buffers:         24016 kB
Cached:         181796 kB
SwapCached:         92 kB
Active:          60620 kB
Inactive:       147824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806104 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14164 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:59:40 (client local time) WITH STATUS 143 IN 1312.14 SECONDS
stats: 20834 7 1312.14 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/wulflinc10/normalized-mps-v2-20-10-d6cube.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.167
#### 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.87 0.97 0.99 2/54 28757
Raw data (stat): 28757 (runsolver) R 28756 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778928349 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.89 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18016 0 1 0 877 41 0 0 25 0 10 0 778928349 853737472 19332 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 19332 13086 16 0 208416 0
vsize: 833728
[startup+20.0004 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 1778 41 0 0 25 0 10 0 778928349 854855680 20065 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208705 20065 13086 16 0 208689 0
vsize: 834820
[startup+30.0006 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 2670 41 0 0 25 0 10 0 778928349 854855680 20553 4294967295 134512640 134569956 3221224368 3221214152 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208705 20553 13086 16 0 208689 0
vsize: 834820
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 3587 42 0 0 25 0 10 0 778928349 854007808 20697 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208498 20697 13086 16 0 208482 0
vsize: 833992
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 4510 42 0 0 25 0 10 0 778928349 854007808 20859 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208498 20859 13086 16 0 208482 0
vsize: 833992
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 5431 42 0 0 25 0 10 0 778928349 854007808 20983 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208498 20983 13086 16 0 208482 0
vsize: 833992
[startup+70.0027 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 6363 42 0 0 25 0 10 0 778928349 853737472 21158 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21158 13086 16 0 208416 0
vsize: 833728
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 7301 42 0 0 25 0 10 0 778928349 853737472 21260 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21260 13086 16 0 208416 0
vsize: 833728
[startup+90.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 8245 42 0 0 25 0 10 0 778928349 853737472 21348 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21348 13086 16 0 208416 0
vsize: 833728
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 9186 42 0 0 25 0 10 0 778928349 853737472 21434 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21434 13086 16 0 208416 0
vsize: 833728
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 10127 43 0 0 25 0 10 0 778928349 853737472 21515 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21515 13086 16 0 208416 0
vsize: 833728
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 11073 43 0 0 25 0 10 0 778928349 853737472 21587 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21587 13086 16 0 208416 0
vsize: 833728
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 12016 43 0 0 25 0 10 0 778928349 853737472 21659 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21659 13086 16 0 208416 0
vsize: 833728
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 12959 43 0 0 24 0 10 0 778928349 853737472 21727 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21727 13086 16 0 208416 0
vsize: 833728
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 13905 43 0 0 25 0 10 0 778928349 853737472 21789 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21789 13086 16 0 208416 0
vsize: 833728
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 14849 43 0 0 25 0 10 0 778928349 853737472 21852 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21852 13086 16 0 208416 0
vsize: 833728
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 15788 43 0 0 24 0 10 0 778928349 853737472 21913 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21913 13086 16 0 208416 0
vsize: 833728
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 16706 43 0 0 20 0 10 0 778928349 853737472 21968 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 21968 13086 16 0 208416 0
vsize: 833728
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 17628 43 0 0 25 0 10 0 778928349 853737472 22278 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22278 13086 16 0 208416 0
vsize: 833728
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 18567 44 0 0 24 0 10 0 778928349 853737472 22333 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22333 13086 16 0 208416 0
vsize: 833728
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 19510 44 0 0 25 0 10 0 778928349 853737472 22383 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22383 13086 16 0 208416 0
vsize: 833728
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 20449 44 0 0 25 0 10 0 778928349 853737472 22436 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22436 13086 16 0 208416 0
vsize: 833728
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 21391 44 0 0 25 0 10 0 778928349 853737472 22483 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22483 13086 16 0 208416 0
vsize: 833728
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 22328 45 0 0 25 0 10 0 778928349 853737472 22533 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22533 13086 16 0 208416 0
vsize: 833728
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 23269 45 0 0 25 0 10 0 778928349 853737472 22579 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22579 13086 16 0 208416 0
vsize: 833728
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 24206 45 0 0 25 0 10 0 778928349 853737472 22627 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22627 13086 16 0 208416 0
vsize: 833728
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 25146 45 0 0 25 0 10 0 778928349 853737472 22670 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22670 13086 16 0 208416 0
vsize: 833728
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 26082 46 0 0 25 0 10 0 778928349 853737472 22716 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22716 13086 16 0 208416 0
vsize: 833728
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 27020 46 0 0 25 0 10 0 778928349 853737472 22759 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22759 13086 16 0 208416 0
vsize: 833728
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 27955 46 0 0 25 0 10 0 778928349 853737472 22803 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22803 13086 16 0 208416 0
vsize: 833728
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 28894 46 0 0 25 0 10 0 778928349 853737472 22844 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22844 13086 16 0 208416 0
vsize: 833728
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 29828 46 0 0 25 0 10 0 778928349 853737472 22887 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22887 13086 16 0 208416 0
vsize: 833728
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 30766 46 0 0 25 0 10 0 778928349 853737472 22927 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22927 13086 16 0 208416 0
vsize: 833728
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 31702 46 0 0 25 0 10 0 778928349 853737472 22966 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 22966 13086 16 0 208416 0
vsize: 833728
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 32635 46 0 0 25 0 10 0 778928349 853737472 23007 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23007 13086 16 0 208416 0
vsize: 833728
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 33572 46 0 0 25 0 10 0 778928349 853737472 23044 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23044 13086 16 0 208416 0
vsize: 833728
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 34504 46 0 0 24 0 10 0 778928349 853737472 23085 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23085 13086 16 0 208416 0
vsize: 833728
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 35439 46 0 0 25 0 10 0 778928349 853737472 23122 4294967295 134512640 134569956 3221224368 3221214276 1079300785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23122 13086 16 0 208416 0
vsize: 833728
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 36374 46 0 0 25 0 10 0 778928349 853737472 23158 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23158 13086 16 0 208416 0
vsize: 833728
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 37306 47 0 0 19 0 10 0 778928349 853737472 23196 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23196 13086 16 0 208416 0
vsize: 833728
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 38240 47 0 0 25 0 10 0 778928349 853737472 23231 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23231 13086 16 0 208416 0
vsize: 833728
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 39174 47 0 0 25 0 10 0 778928349 853737472 23266 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23266 13086 16 0 208416 0
vsize: 833728
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 40104 47 0 0 25 0 10 0 778928349 853737472 23301 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23301 13086 16 0 208416 0
vsize: 833728
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 41037 47 0 0 25 0 10 0 778928349 853737472 23336 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23336 13086 16 0 208416 0
vsize: 833728
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 41970 47 0 0 25 0 10 0 778928349 853737472 23370 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23370 13086 16 0 208416 0
vsize: 833728
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 42898 47 0 0 24 0 10 0 778928349 853737472 23405 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23405 13086 16 0 208416 0
vsize: 833728
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 43830 48 0 0 25 0 10 0 778928349 853737472 23438 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23438 13086 16 0 208416 0
vsize: 833728
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 44762 48 0 0 25 0 10 0 778928349 853737472 23470 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208432 23470 13086 16 0 208416 0
vsize: 833728
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 45690 48 0 0 25 0 10 0 778928349 853737472 23503 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23503 13086 16 0 208416 0
vsize: 833728
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 46617 48 0 0 25 0 10 0 778928349 853737472 23536 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23536 13086 16 0 208416 0
vsize: 833728
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 47545 49 0 0 25 0 10 0 778928349 853737472 23567 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23567 13086 16 0 208416 0
vsize: 833728
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 48473 49 0 0 25 0 10 0 778928349 853737472 23599 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23599 13086 16 0 208416 0
vsize: 833728
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 49400 49 0 0 25 0 10 0 778928349 853737472 23630 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23630 13086 16 0 208416 0
vsize: 833728
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 50323 50 0 0 24 0 10 0 778928349 853737472 23662 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23662 13086 16 0 208416 0
vsize: 833728
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 51251 50 0 0 25 0 10 0 778928349 853737472 23692 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23692 13086 16 0 208416 0
vsize: 833728
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 52177 51 0 0 25 0 10 0 778928349 853737472 23722 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23722 13086 16 0 208416 0
vsize: 833728
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 53102 51 0 0 25 0 10 0 778928349 853737472 23752 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23752 13086 16 0 208416 0
vsize: 833728
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 54028 52 0 0 25 0 10 0 778928349 853737472 23781 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23781 13086 16 0 208416 0
vsize: 833728
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 54953 53 0 0 25 0 10 0 778928349 853737472 23810 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23810 13086 16 0 208416 0
vsize: 833728
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 55877 53 0 0 25 0 10 0 778928349 853737472 23839 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23839 13086 16 0 208416 0
vsize: 833728
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 56799 53 0 0 25 0 10 0 778928349 853737472 23868 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23868 13086 16 0 208416 0
vsize: 833728
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 57723 54 0 0 24 0 10 0 778928349 853737472 23898 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23898 13086 16 0 208416 0
vsize: 833728
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 58647 54 0 0 25 0 10 0 778928349 853737472 23926 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23926 13086 16 0 208416 0
vsize: 833728
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 59571 55 0 0 25 0 10 0 778928349 853737472 23954 4294967295 134512640 134569956 3221224368 3221214200 1077558370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23954 13086 16 0 208416 0
vsize: 833728
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 60495 55 0 0 25 0 10 0 778928349 853737472 23981 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 23981 13086 16 0 208416 0
vsize: 833728
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 61418 56 0 0 25 0 10 0 778928349 853737472 24009 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 24009 13086 16 0 208416 0
vsize: 833728
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 62334 56 0 0 25 0 10 0 778928349 853737472 24943 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 24943 13086 16 0 208416 0
vsize: 833728
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 63257 57 0 0 25 0 10 0 778928349 853737472 24943 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 24943 13086 16 0 208416 0
vsize: 833728
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 64170 58 0 0 25 0 10 0 778928349 853737472 24957 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 24957 13086 16 0 208416 0
vsize: 833728
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 65082 58 0 0 25 0 10 0 778928349 853737472 24984 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 24984 13086 16 0 208416 0
vsize: 833728
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 65995 58 0 0 25 0 10 0 778928349 853737472 25011 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25011 13086 16 0 208416 0
vsize: 833728
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 66911 59 0 0 25 0 10 0 778928349 853737472 25035 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25035 13086 16 0 208416 0
vsize: 833728
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 67823 60 0 0 25 0 10 0 778928349 853737472 25061 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25061 13086 16 0 208416 0
vsize: 833728
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 68735 60 0 0 25 0 10 0 778928349 853737472 25087 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25087 13086 16 0 208416 0
vsize: 833728
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 69646 61 0 0 25 0 10 0 778928349 853737472 25113 4294967295 134512640 134569956 3221224368 3221214752 1131239008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25113 13086 16 0 208416 0
vsize: 833728
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 70556 61 0 0 25 0 10 0 778928349 853737472 25139 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25139 13086 16 0 208416 0
vsize: 833728
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 71466 62 0 0 24 0 10 0 778928349 853737472 25164 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25164 13086 16 0 208416 0
vsize: 833728
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 72379 62 0 0 25 0 10 0 778928349 853737472 25188 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25188 13086 16 0 208416 0
vsize: 833728
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 73289 63 0 0 25 0 10 0 778928349 853737472 25213 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25213 13086 16 0 208416 0
vsize: 833728
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 74199 63 0 0 25 0 10 0 778928349 853737472 25237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25237 13086 16 0 208416 0
vsize: 833728
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 75107 64 0 0 25 0 10 0 778928349 853737472 25262 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25262 13086 16 0 208416 0
vsize: 833728
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 76015 64 0 0 24 0 10 0 778928349 853737472 25287 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25287 13086 16 0 208416 0
vsize: 833728
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 76929 64 0 0 25 0 10 0 778928349 853737472 25310 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25310 13086 16 0 208416 0
vsize: 833728
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 77838 65 0 0 25 0 10 0 778928349 853737472 25334 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25334 13086 16 0 208416 0
vsize: 833728
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 78746 65 0 0 25 0 10 0 778928349 853737472 25358 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25358 13086 16 0 208416 0
vsize: 833728
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 79654 65 0 0 25 0 10 0 778928349 853737472 25382 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25382 13086 16 0 208416 0
vsize: 833728
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 80565 65 0 0 25 0 10 0 778928349 853737472 25404 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25404 13086 16 0 208416 0
vsize: 833728
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 81471 66 0 0 22 0 10 0 778928349 853737472 25428 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25428 13086 16 0 208416 0
vsize: 833728
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 82378 66 0 0 21 0 10 0 778928349 853737472 25452 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25452 13086 16 0 208416 0
vsize: 833728
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 83284 66 0 0 24 0 10 0 778928349 853737472 25475 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25475 13086 16 0 208416 0
vsize: 833728
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 84196 67 0 0 25 0 10 0 778928349 853737472 25498 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25498 13086 16 0 208416 0
vsize: 833728
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 85101 68 0 0 25 0 10 0 778928349 853737472 25521 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25521 13086 16 0 208416 0
vsize: 833728
[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 86006 68 0 0 25 0 10 0 778928349 853737472 25551 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25551 13086 16 0 208416 0
vsize: 833728
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 86917 68 0 0 25 0 10 0 778928349 853737472 25578 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25578 13086 16 0 208416 0
vsize: 833728
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 87823 69 0 0 25 0 10 0 778928349 853737472 25605 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25605 13086 16 0 208416 0
vsize: 833728
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 88726 69 0 0 25 0 10 0 778928349 853737472 25630 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25630 13086 16 0 208416 0
vsize: 833728
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 89634 69 0 0 25 0 10 0 778928349 853737472 25655 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25655 13086 16 0 208416 0
vsize: 833728
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 90539 70 0 0 25 0 10 0 778928349 853737472 25678 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25678 13086 16 0 208416 0
vsize: 833728
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 91442 71 0 0 25 0 10 0 778928349 853737472 25705 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25705 13086 16 0 208416 0
vsize: 833728
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 92353 71 0 0 25 0 10 0 778928349 853737472 25726 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25726 13086 16 0 208416 0
vsize: 833728
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 93256 71 0 0 25 0 10 0 778928349 853737472 25756 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25756 13086 16 0 208416 0
vsize: 833728
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 94160 72 0 0 25 0 10 0 778928349 853737472 25778 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25778 13086 16 0 208416 0
vsize: 833728
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 95069 72 0 0 25 0 10 0 778928349 853737472 25808 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25808 13086 16 0 208416 0
vsize: 833728
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 95972 73 0 0 25 0 10 0 778928349 853737472 25831 4294967295 134512640 134569956 3221224368 3221214120 1076874339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25831 13086 16 0 208416 0
vsize: 833728
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 96874 73 0 0 24 0 10 0 778928349 853737472 25853 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25853 13086 16 0 208416 0
vsize: 833728
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 97782 74 0 0 25 0 10 0 778928349 853737472 25879 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25879 13086 16 0 208416 0
vsize: 833728
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 98682 75 0 0 25 0 10 0 778928349 853737472 25907 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25907 13086 16 0 208416 0
vsize: 833728
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 99588 75 0 0 25 0 10 0 778928349 853737472 25930 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25930 13086 16 0 208416 0
vsize: 833728
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 100490 76 0 0 25 0 10 0 778928349 853737472 25953 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25953 13086 16 0 208416 0
vsize: 833728
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) S 28756 15547 15546 0 -1 0 18017 0 1 0 101395 76 0 0 25 0 10 0 778928349 853737472 25979 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 25979 13086 16 0 208416 0
vsize: 833728
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 102297 76 0 0 25 0 10 0 778928349 853737472 26003 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26003 13086 16 0 208416 0
vsize: 833728
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 103197 77 0 0 24 0 10 0 778928349 853737472 26027 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26027 13086 16 0 208416 0
vsize: 833728
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 104103 77 0 0 25 0 10 0 778928349 853737472 26050 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26050 13086 16 0 208416 0
vsize: 833728
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 105002 77 0 0 24 0 10 0 778928349 853737472 26075 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26075 13086 16 0 208416 0
vsize: 833728
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 105909 77 0 0 25 0 10 0 778928349 853737472 26096 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26096 13086 16 0 208416 0
vsize: 833728
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 106809 78 0 0 25 0 10 0 778928349 853737472 26123 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26123 13086 16 0 208416 0
vsize: 833728
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 107715 79 0 0 25 0 10 0 778928349 853737472 26143 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26143 13086 16 0 208416 0
vsize: 833728
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 108614 79 0 0 25 0 10 0 778928349 853737472 26168 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26168 13086 16 0 208416 0
vsize: 833728
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 109520 79 0 0 25 0 10 0 778928349 853737472 26187 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26187 13086 16 0 208416 0
vsize: 833728
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 110417 80 0 0 25 0 10 0 778928349 853737472 26216 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26216 13086 16 0 208416 0
vsize: 833728
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 111319 80 0 0 25 0 10 0 778928349 853737472 26238 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26238 13086 16 0 208416 0
vsize: 833728
[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 112215 81 0 0 25 0 10 0 778928349 853737472 26261 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26261 13086 16 0 208416 0
vsize: 833728
[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 113118 81 0 0 25 0 10 0 778928349 853737472 26282 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26282 13086 16 0 208416 0
vsize: 833728
[startup+1240.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 114015 81 0 0 25 0 10 0 778928349 853737472 26302 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26302 13086 16 0 208416 0
vsize: 833728
[startup+1250.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 114919 81 0 0 25 0 10 0 778928349 853737472 26321 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26321 13086 16 0 208416 0
vsize: 833728
[startup+1260.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 115816 82 0 0 25 0 10 0 778928349 853737472 26340 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26340 13086 16 0 208416 0
vsize: 833728
[startup+1270.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 116719 82 0 0 25 0 10 0 778928349 853737472 26371 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26371 13086 16 0 208416 0
vsize: 833728
[startup+1280.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 117616 83 0 0 25 0 10 0 778928349 853737472 26403 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26403 13086 16 0 208416 0
vsize: 833728
[startup+1290.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 118522 84 0 0 25 0 10 0 778928349 853737472 26425 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26425 13086 16 0 208416 0
vsize: 833728
[startup+1300.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 119422 84 0 0 25 0 10 0 778928349 853737472 26441 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26441 13086 16 0 208416 0
vsize: 833728
[startup+1310.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 28766
Raw data (stat): 28757 (java) R 28756 15547 15546 0 -1 0 18017 0 1 0 120329 84 0 0 25 0 10 0 778928349 853737472 26474 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208432 26474 13086 16 0 208416 0
vsize: 833728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.16 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 28768
Raw data (stat): 28757 (java) Z 28756 15547 15546 0 -1 1036 18017 9089 1 0 120331 89 10748 43 25 0 1 0 778928349 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.16
CPU time (s): 1312.14
CPU user time (s): 1310.81
CPU system time (s): 1.3298
CPU usage (%): 100.151
Max. virtual memory (Kb): 834820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####