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-swath2.opb
MD5SUM	0c26e65f0a67107cc10849baae774e12
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576000000
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	202485512285885
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.23266
Number of variables	38571
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2599
Number of constraints which are nor clauses,nor cardinality constraints	5009
Minimum length of a constraint	1
Maximum length of a constraint	36970
Trace number 14545

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 00:10:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19847 boxname=wulflinc28 idbench=1527 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0c26e65f0a67107cc10849baae774e12  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-swath2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-swath2.opb
IDLAUNCH: 19847
/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:        426928 kB
Buffers:         33944 kB
Cached:         539676 kB
SwapCached:        164 kB
Active:         281988 kB
Inactive:       294116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        426676 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6088 kB
Slab:            25992 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:31:48 (client local time) WITH STATUS 143 IN 1248.58 SECONDS
stats: 19847 7 1248.58 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-swath2.opb
c reading problem 
c [nbvar=38571]
c [nbconstr=7608]
c time 447.629
c #vars     38571
c #clauses  5305
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.66 0.87 0.88 2/54 12856
Raw data (stat): 12856 (runsolver) R 12855 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540660155 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.78 0.89 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 864 39 0 0 25 0 10 0 540660155 856834048 20153 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209188 20153 13073 16 0 209172 0
vsize: 836752
[startup+20.0017 s]
Raw data (loadavg): 0.82 0.90 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 1763 39 0 0 25 0 10 0 540660155 854822912 20134 4294967295 134512640 134569956 3221224400 3221214720 1131177997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 20134 13073 16 0 208681 0
vsize: 834788
[startup+30.0019 s]
Raw data (loadavg): 0.84 0.90 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 2642 39 0 0 24 0 10 0 540660155 855404544 20829 4294967295 134512640 134569956 3221224400 3221214488 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208839 20829 13073 16 0 208823 0
vsize: 835356
[startup+40.0016 s]
Raw data (loadavg): 0.87 0.90 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 3563 40 0 0 25 0 10 0 540660155 855404544 21094 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208839 21094 13073 16 0 208823 0
vsize: 835356
[startup+50.0051 s]
Raw data (loadavg): 0.89 0.90 0.89 2/63 12865
Raw data (stat): 12856 (java) S 12855 10614 10613 0 -1 0 18006 0 1 0 4486 40 0 0 25 0 10 0 540660155 854822912 21217 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21217 13073 16 0 208681 0
vsize: 834788
[startup+60.0049 s]
Raw data (loadavg): 0.90 0.91 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 5397 40 0 0 25 0 10 0 540660155 854822912 21373 4294967295 134512640 134569956 3221224400 3221214840 1131307323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21373 13073 16 0 208681 0
vsize: 834788
[startup+70.0046 s]
Raw data (loadavg): 0.92 0.91 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 6317 40 0 0 17 0 10 0 540660155 854822912 21500 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21500 13073 16 0 208681 0
vsize: 834788
[startup+80.0059 s]
Raw data (loadavg): 0.93 0.91 0.89 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 7248 40 0 0 25 0 10 0 540660155 854822912 21695 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21695 13073 16 0 208681 0
vsize: 834788
[startup+90.006 s]
Raw data (loadavg): 0.94 0.91 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 8180 40 0 0 25 0 10 0 540660155 854822912 21797 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21797 13073 16 0 208681 0
vsize: 834788
[startup+100.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 9114 40 0 0 25 0 10 0 540660155 854822912 21891 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21891 13073 16 0 208681 0
vsize: 834788
[startup+110.008 s]
Raw data (loadavg): 0.96 0.92 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 10049 41 0 0 25 0 10 0 540660155 854822912 21980 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 21980 13073 16 0 208681 0
vsize: 834788
[startup+120.008 s]
Raw data (loadavg): 0.96 0.92 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 10984 41 0 0 25 0 10 0 540660155 854822912 22063 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22063 13073 16 0 208681 0
vsize: 834788
[startup+130.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 11918 41 0 0 25 0 10 0 540660155 854822912 22141 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22141 13073 16 0 208681 0
vsize: 834788
[startup+140.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 12854 41 0 0 25 0 10 0 540660155 854822912 22216 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22216 13073 16 0 208681 0
vsize: 834788
[startup+150.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 13784 41 0 0 25 0 10 0 540660155 854822912 22292 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22292 13073 16 0 208681 0
vsize: 834788
[startup+160.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 14717 41 0 0 25 0 10 0 540660155 854822912 22360 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22360 13073 16 0 208681 0
vsize: 834788
[startup+170.011 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 15652 41 0 0 25 0 10 0 540660155 854822912 22426 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22426 13073 16 0 208681 0
vsize: 834788
[startup+180.011 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 16584 41 0 0 25 0 10 0 540660155 854822912 22490 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22490 13073 16 0 208681 0
vsize: 834788
[startup+190.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 17498 41 0 0 25 0 10 0 540660155 854822912 22552 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22552 13073 16 0 208681 0
vsize: 834788
[startup+200.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 18415 41 0 0 25 0 10 0 540660155 854822912 22777 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22777 13073 16 0 208681 0
vsize: 834788
[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 19346 41 0 0 25 0 10 0 540660155 854822912 22835 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22835 13073 16 0 208681 0
vsize: 834788
[startup+220.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 20276 42 0 0 25 0 10 0 540660155 854822912 22892 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22892 13073 16 0 208681 0
vsize: 834788
[startup+230.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 21206 42 0 0 25 0 10 0 540660155 854822912 22947 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 22947 13073 16 0 208681 0
vsize: 834788
[startup+240.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 22131 42 0 0 24 0 10 0 540660155 854822912 23004 4294967295 134512640 134569956 3221224400 3221213864 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23004 13073 16 0 208681 0
vsize: 834788
[startup+250.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 23059 42 0 0 24 0 10 0 540660155 854822912 23057 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23057 13073 16 0 208681 0
vsize: 834788
[startup+260.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 23987 42 0 0 25 0 10 0 540660155 854822912 23108 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23108 13073 16 0 208681 0
vsize: 834788
[startup+270.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 24915 42 0 0 25 0 10 0 540660155 854822912 23158 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23158 13073 16 0 208681 0
vsize: 834788
[startup+280.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 25842 43 0 0 25 0 10 0 540660155 854822912 23207 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23207 13073 16 0 208681 0
vsize: 834788
[startup+290.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 26767 43 0 0 25 0 10 0 540660155 854822912 23255 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23255 13073 16 0 208681 0
vsize: 834788
[startup+300.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 27693 43 0 0 25 0 10 0 540660155 854822912 23302 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23302 13073 16 0 208681 0
vsize: 834788
[startup+310.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 28618 43 0 0 25 0 10 0 540660155 854822912 23348 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23348 13073 16 0 208681 0
vsize: 834788
[startup+320.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 29543 43 0 0 25 0 10 0 540660155 854822912 23394 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23394 13073 16 0 208681 0
vsize: 834788
[startup+330.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 30467 43 0 0 25 0 10 0 540660155 854822912 23438 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23438 13073 16 0 208681 0
vsize: 834788
[startup+340.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 31390 43 0 0 25 0 10 0 540660155 854822912 23482 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23482 13073 16 0 208681 0
vsize: 834788
[startup+350.044 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 32315 43 0 0 25 0 10 0 540660155 854822912 23526 4294967295 134512640 134569956 3221224400 3221214516 1130883229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23526 13073 16 0 208681 0
vsize: 834788
[startup+360.055 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 33246 43 0 0 25 0 10 0 540660155 854822912 23567 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23567 13073 16 0 208681 0
vsize: 834788
[startup+370.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 34177 43 0 0 25 0 10 0 540660155 854822912 23602 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23602 13073 16 0 208681 0
vsize: 834788
[startup+380.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 35109 43 0 0 25 0 10 0 540660155 854822912 23627 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23627 13073 16 0 208681 0
vsize: 834788
[startup+390.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 36039 44 0 0 24 0 10 0 540660155 854822912 23653 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23653 13073 16 0 208681 0
vsize: 834788
[startup+400.066 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) S 12855 10614 10613 0 -1 0 18006 0 1 0 36969 44 0 0 25 0 10 0 540660155 854822912 23676 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 23676 13073 16 0 208681 0
vsize: 834788
[startup+410.071 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 37867 45 0 0 25 0 10 0 540660155 854822912 27011 4294967295 134512640 134569956 3221224400 3221214840 1131306785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 27011 13073 16 0 208681 0
vsize: 834788
[startup+420.071 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 38800 45 0 0 25 0 10 0 540660155 854822912 27011 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 27011 13073 16 0 208681 0
vsize: 834788
[startup+430.072 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 39719 45 0 0 25 0 10 0 540660155 854822912 27015 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 27015 13073 16 0 208681 0
vsize: 834788
[startup+440.072 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18006 0 1 0 40627 45 0 0 24 0 10 0 540660155 854822912 27074 4294967295 134512640 134569956 3221224400 3221214800 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208697 27074 13073 16 0 208681 0
vsize: 834788
[startup+450.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18027 0 1 0 41540 49 0 0 25 0 10 0 540660155 855740416 30345 4294967295 134512640 134569956 3221224400 3221214832 1131364590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208921 30345 13073 16 0 208905 0
vsize: 835684
[startup+460.073 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12865
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18027 0 1 0 42513 49 0 0 25 0 10 0 540660155 854953984 32074 4294967295 134512640 134569956 3221224400 3221214736 1131271009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208729 32074 13073 16 0 208713 0
vsize: 834916
[startup+470.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18034 0 1 0 43501 49 0 0 25 0 11 0 540660155 855351296 32053 4294967295 134512640 134569956 3221224400 3221214760 1131368020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208826 32053 13073 16 0 208810 0
vsize: 835304
[startup+480.074 s]
Raw data (loadavg): 1.07 0.98 0.91 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18034 0 1 0 44494 50 0 0 25 0 11 0 540660155 855351296 32054 4294967295 134512640 134569956 3221224400 3221214784 1131364628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208826 32054 13073 16 0 208810 0
vsize: 835304
[startup+490.074 s]
Raw data (loadavg): 1.06 0.98 0.91 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18034 0 1 0 45487 50 0 0 25 0 11 0 540660155 855351296 32054 4294967295 134512640 134569956 3221224400 3221214784 1131368112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208826 32054 13073 16 0 208810 0
vsize: 835304
[startup+500.074 s]
Raw data (loadavg): 1.13 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18074 0 1 0 46404 50 0 0 25 0 11 0 540660155 860446720 33182 4294967295 134512640 134569956 3221224400 3221214688 1131271134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210070 33182 13073 16 0 210054 0
vsize: 840280
[startup+510.074 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 47395 50 0 0 25 0 11 0 540660155 858267648 32693 4294967295 134512640 134569956 3221224400 3221214688 1131271919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32693 13073 16 0 209522 0
vsize: 838152
[startup+520.074 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 48387 50 0 0 25 0 11 0 540660155 858267648 32698 4294967295 134512640 134569956 3221224400 3221214776 1131210695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32698 13073 16 0 209522 0
vsize: 838152
[startup+530.074 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 49359 51 0 0 25 0 11 0 540660155 858267648 32717 4294967295 134512640 134569956 3221224400 3221214784 1131366124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32717 13073 16 0 209522 0
vsize: 838152
[startup+540.074 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 50350 51 0 0 25 0 11 0 540660155 858267648 32733 4294967295 134512640 134569956 3221224400 3221214688 1131271888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32733 13073 16 0 209522 0
vsize: 838152
[startup+550.075 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 51341 51 0 0 25 0 11 0 540660155 858267648 32735 4294967295 134512640 134569956 3221224400 3221214776 1131210733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32735 13073 16 0 209522 0
vsize: 838152
[startup+560.075 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 52332 51 0 0 25 0 11 0 540660155 858267648 32736 4294967295 134512640 134569956 3221224400 3221214776 1131210723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32736 13073 16 0 209522 0
vsize: 838152
[startup+570.075 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 53325 51 0 0 25 0 11 0 540660155 858267648 32752 4294967295 134512640 134569956 3221224400 3221214784 1131366981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32752 13073 16 0 209522 0
vsize: 838152
[startup+580.076 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 54317 51 0 0 25 0 11 0 540660155 858267648 32754 4294967295 134512640 134569956 3221224400 3221214688 1131272694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32754 13073 16 0 209522 0
vsize: 838152
[startup+590.075 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 55307 51 0 0 25 0 11 0 540660155 858267648 32756 4294967295 134512640 134569956 3221224400 3221214784 1131364675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32756 13073 16 0 209522 0
vsize: 838152
[startup+600.076 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 56298 51 0 0 25 0 11 0 540660155 858267648 32772 4294967295 134512640 134569956 3221224400 3221214688 1131271009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32772 13073 16 0 209522 0
vsize: 838152
[startup+610.077 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 57291 51 0 0 25 0 11 0 540660155 858267648 32773 4294967295 134512640 134569956 3221224400 3221214784 1131367899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32773 13073 16 0 209522 0
vsize: 838152
[startup+620.076 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 58282 51 0 0 25 0 11 0 540660155 858267648 32776 4294967295 134512640 134569956 3221224400 3221214688 1131271009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32776 13073 16 0 209522 0
vsize: 838152
[startup+630.079 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) S 12855 10614 10613 0 -1 0 18075 0 1 0 59271 51 0 0 25 0 11 0 540660155 858267648 32779 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32779 13073 16 0 209522 0
vsize: 838152
[startup+640.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 60261 51 0 0 25 0 11 0 540660155 858267648 32781 4294967295 134512640 134569956 3221224400 3221214784 1131366904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32781 13073 16 0 209522 0
vsize: 838152
[startup+650.082 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 61250 51 0 0 25 0 11 0 540660155 858267648 32798 4294967295 134512640 134569956 3221224400 3221214688 1131270965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32798 13073 16 0 209522 0
vsize: 838152
[startup+660.082 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 62241 51 0 0 25 0 11 0 540660155 858267648 32799 4294967295 134512640 134569956 3221224400 3221214784 1131368041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32799 13073 16 0 209522 0
vsize: 838152
[startup+670.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 63229 51 0 0 25 0 11 0 540660155 858267648 32804 4294967295 134512640 134569956 3221224400 3221214784 1131366078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32804 13073 16 0 209522 0
vsize: 838152
[startup+680.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 64216 52 0 0 25 0 11 0 540660155 858267648 32808 4294967295 134512640 134569956 3221224400 3221214784 1131364628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32808 13073 16 0 209522 0
vsize: 838152
[startup+690.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 65203 52 0 0 25 0 11 0 540660155 858267648 32812 4294967295 134512640 134569956 3221224400 3221214688 1131270998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32812 13073 16 0 209522 0
vsize: 838152
[startup+700.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 66194 52 0 0 25 0 11 0 540660155 858267648 32828 4294967295 134512640 134569956 3221224400 3221214664 1131476978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32828 13073 16 0 209522 0
vsize: 838152
[startup+710.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 67182 52 0 0 25 0 11 0 540660155 858267648 32833 4294967295 134512640 134569956 3221224400 3221214784 1131366904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32833 13073 16 0 209522 0
vsize: 838152
[startup+720.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 68169 52 0 0 25 0 11 0 540660155 858267648 32837 4294967295 134512640 134569956 3221224400 3221214776 1131210733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32837 13073 16 0 209522 0
vsize: 838152
[startup+730.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 69156 52 0 0 25 0 11 0 540660155 858267648 32842 4294967295 134512640 134569956 3221224400 3221214780 1131298144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32842 13073 16 0 209522 0
vsize: 838152
[startup+740.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 70141 52 0 0 25 0 11 0 540660155 858267648 32862 4294967295 134512640 134569956 3221224400 3221214776 1131210733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32862 13073 16 0 209522 0
vsize: 838152
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 71128 52 0 0 25 0 11 0 540660155 858267648 32864 4294967295 134512640 134569956 3221224400 3221214784 1131366202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32864 13073 16 0 209522 0
vsize: 838152
[startup+760.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 72113 52 0 0 25 0 11 0 540660155 858267648 32872 4294967295 134512640 134569956 3221224400 3221214784 1131366904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32872 13073 16 0 209522 0
vsize: 838152
[startup+770.084 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 73096 52 0 0 25 0 11 0 540660155 858267648 32878 4294967295 134512640 134569956 3221224400 3221214780 1131202016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32878 13073 16 0 209522 0
vsize: 838152
[startup+780.084 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 74078 53 0 0 25 0 11 0 540660155 858267648 32883 4294967295 134512640 134569956 3221224400 3221214784 1131366206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32883 13073 16 0 209522 0
vsize: 838152
[startup+790.083 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 75063 53 0 0 25 0 11 0 540660155 858267648 32903 4294967295 134512640 134569956 3221224400 3221214728 1131477014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32903 13073 16 0 209522 0
vsize: 838152
[startup+800.085 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 76049 53 0 0 25 0 11 0 540660155 858267648 32908 4294967295 134512640 134569956 3221224400 3221214688 1131272231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32908 13073 16 0 209522 0
vsize: 838152
[startup+810.085 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 77028 53 0 0 25 0 11 0 540660155 858267648 32916 4294967295 134512640 134569956 3221224400 3221214688 1131270904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32916 13073 16 0 209522 0
vsize: 838152
[startup+820.085 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 78007 53 0 0 25 0 11 0 540660155 858267648 32925 4294967295 134512640 134569956 3221224400 3221214784 1131367319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32925 13073 16 0 209522 0
vsize: 838152
[startup+830.086 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 78984 53 0 0 25 0 11 0 540660155 858267648 32951 4294967295 134512640 134569956 3221224400 3221214784 1131366904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32951 13073 16 0 209522 0
vsize: 838152
[startup+840.085 s]
Raw data (loadavg): 1.15 1.04 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 79967 53 0 0 25 0 11 0 540660155 858267648 32964 4294967295 134512640 134569956 3221224400 3221214688 1131271167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32964 13073 16 0 209522 0
vsize: 838152
[startup+850.086 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 80941 53 0 0 25 0 11 0 540660155 858267648 32973 4294967295 134512640 134569956 3221224400 3221214784 1131366499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32973 13073 16 0 209522 0
vsize: 838152
[startup+860.086 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 81915 53 0 0 25 0 11 0 540660155 858267648 32989 4294967295 134512640 134569956 3221224400 3221214688 1131270969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 32989 13073 16 0 209522 0
vsize: 838152
[startup+870.086 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 82887 53 0 0 24 0 11 0 540660155 858267648 33017 4294967295 134512640 134569956 3221224400 3221214648 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33017 13073 16 0 209522 0
vsize: 838152
[startup+880.087 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 83870 53 0 0 25 0 11 0 540660155 858267648 33032 4294967295 134512640 134569956 3221224400 3221214784 1131368055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33032 13073 16 0 209522 0
vsize: 838152
[startup+890.088 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 84839 53 0 0 25 0 11 0 540660155 858267648 33048 4294967295 134512640 134569956 3221224400 3221214784 1131368112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33048 13073 16 0 209522 0
vsize: 838152
[startup+900.088 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 85806 54 0 0 25 0 11 0 540660155 858267648 33065 4294967295 134512640 134569956 3221224400 3221214784 1131366124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33065 13073 16 0 209522 0
vsize: 838152
[startup+910.089 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 86767 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131477005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+920.088 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 87766 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131476912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+930.088 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 88766 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131476940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+940.088 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 89765 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+950.09 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 90765 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131476964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+960.09 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 91765 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+970.09 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 92766 54 0 0 25 0 11 0 540660155 858267648 33103 4294967295 134512640 134569956 3221224400 3221214592 1131493960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33103 13073 16 0 209522 0
vsize: 838152
[startup+980.091 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 93741 55 0 0 25 0 11 0 540660155 858267648 33116 4294967295 134512640 134569956 3221224400 3221214728 1131476985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 33116 13073 16 0 209522 0
vsize: 838152
[startup+990.09 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 94741 55 0 0 25 0 11 0 540660155 858267648 33116 4294967295 134512640 134569956 3221224400 3221214728 1131476968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33116 13073 16 0 209522 0
vsize: 838152
[startup+1000.09 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 95741 55 0 0 25 0 11 0 540660155 858267648 33116 4294967295 134512640 134569956 3221224400 3221214728 1131476964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33116 13073 16 0 209522 0
vsize: 838152
[startup+1010.09 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 96741 55 0 0 25 0 11 0 540660155 858267648 33116 4294967295 134512640 134569956 3221224400 3221214728 1131476923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33116 13073 16 0 209522 0
vsize: 838152
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 97742 55 0 0 25 0 11 0 540660155 858267648 33116 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 33116 13073 16 0 209522 0
vsize: 838152
[startup+1030.09 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 98656 55 0 0 25 0 11 0 540660155 858267648 34022 4294967295 134512640 134569956 3221224400 3221214656 1131166109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34022 13073 16 0 209522 0
vsize: 838152
[startup+1040.09 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 99651 55 0 0 25 0 11 0 540660155 858267648 34022 4294967295 134512640 134569956 3221224400 3221214728 1131477055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34022 13073 16 0 209522 0
vsize: 838152
[startup+1050.09 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 100636 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1060.09 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 101636 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131477041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1070.09 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 102636 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1080.09 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 103636 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1090.09 s]
Raw data (loadavg): 1.11 1.04 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 104636 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1100.09 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 105612 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1110.09 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 106612 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1120.09 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 107612 55 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1130.09 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 108611 56 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1140.09 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 109611 56 0 0 25 0 11 0 540660155 858267648 34023 4294967295 134512640 134569956 3221224400 3221214736 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 34023 13073 16 0 209522 0
vsize: 838152
[startup+1150.09 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 110544 56 0 0 25 0 11 0 540660155 858267648 35322 4294967295 134512640 134569956 3221224400 3221214696 1131227091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 35322 13073 16 0 209522 0
vsize: 838152
[startup+1160.09 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 111515 56 0 0 25 0 11 0 540660155 858267648 35901 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 35901 13073 16 0 209522 0
vsize: 838152
[startup+1170.09 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 112515 56 0 0 25 0 11 0 540660155 858267648 35901 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 35901 13073 16 0 209522 0
vsize: 838152
[startup+1180.09 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 113515 56 0 0 25 0 11 0 540660155 858267648 35901 4294967295 134512640 134569956 3221224400 3221214728 1131476948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 35901 13073 16 0 209522 0
vsize: 838152
[startup+1190.09 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 114514 56 0 0 25 0 11 0 540660155 858267648 35901 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209538 35901 13073 16 0 209522 0
vsize: 838152
[startup+1200.09 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 115514 56 0 0 25 0 11 0 540660155 858267648 35901 4294967295 134512640 134569956 3221224400 3221214728 1131476962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 35901 13073 16 0 209522 0
vsize: 838152
[startup+1210.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 116500 56 0 0 25 0 11 0 540660155 858267648 36053 4294967295 134512640 134569956 3221224400 3221214600 1131562097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 36053 13073 16 0 209522 0
vsize: 838152
[startup+1220.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 117491 57 0 0 25 0 11 0 540660155 858267648 36053 4294967295 134512640 134569956 3221224400 3221214448 1131232512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 36053 13073 16 0 209522 0
vsize: 838152
[startup+1230.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 118482 57 0 0 25 0 11 0 540660155 858267648 36053 4294967295 134512640 134569956 3221224400 3221214448 1131232553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 36053 13073 16 0 209522 0
vsize: 838152
[startup+1240.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 119473 57 0 0 25 0 11 0 540660155 858267648 36053 4294967295 134512640 134569956 3221224400 3221214600 1131562046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 36053 13073 16 0 209522 0
vsize: 838152
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 12866
Raw data (stat): 12856 (java) R 12855 10614 10613 0 -1 0 18075 0 1 0 120464 57 0 0 25 0 11 0 540660155 858267648 36053 4294967295 134512640 134569956 3221224400 3221214600 1131504864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209538 36053 13073 16 0 209522 0
vsize: 838152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.02 0.95 1/54 12868
Raw data (stat): 12856 (java) Z 12855 10614 10613 0 -1 1036 18075 16664 1 0 120465 57 4288 46 25 0 1 0 540660155 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.17
CPU time (s): 1248.58
CPU user time (s): 1247.54
CPU system time (s): 1.04184
CPU usage (%): 99.8727
Max. virtual memory (Kb): 840280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####