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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb
MD5SUM	8e2638ad794b39b950927d7f3192369b
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	59780
Biggest coefficient in the objective function	35431356301312
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	17025894421914675
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	1217763488038912
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	17025894421914675
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.942855
Number of variables	103340
Total number of constraints	2171
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	2171
Minimum length of a constraint	20
Maximum length of a constraint	2180
Trace number 29824

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 11:54:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21217 boxname=wulflinc18 idbench=1205 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8e2638ad794b39b950927d7f3192369b  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-d2q06c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-d2q06c.opb
IDLAUNCH: 21217
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        748600 kB
Buffers:         36560 kB
Cached:         220640 kB
SwapCached:        588 kB
Active:          73644 kB
Inactive:       188880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748348 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            17784 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:16:14 (client local time) WITH STATUS 143 IN 1316.83 SECONDS
stats: 21217 7 1316.83 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/wulflinc18/normalized-mps-v2-13-7-d2q06c.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.222
#### 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.93 0.98 0.99 2/54 895
Raw data (stat): 895 (runsolver) R 894 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838661930 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18022 0 1 0 884 38 0 0 25 0 10 0 838661930 853475328 19289 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208368 19289 13086 16 0 208352 0
vsize: 833472
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 1781 38 0 0 19 0 10 0 838661930 855592960 20289 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208885 20289 13086 16 0 208869 0
vsize: 835540
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 2672 38 0 0 21 0 10 0 838661930 854593536 20585 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 20585 13086 16 0 208625 0
vsize: 834564
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 3587 38 0 0 24 0 10 0 838661930 854593536 20891 4294967295 134512640 134569956 3221224368 3221214768 1131249350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 20891 13086 16 0 208625 0
vsize: 834564
[startup+50.0056 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 904
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 4513 39 0 0 25 0 10 0 838661930 854593536 21052 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21052 13086 16 0 208625 0
vsize: 834564
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 5430 39 0 0 25 0 10 0 838661930 854593536 21187 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21187 13086 16 0 208625 0
vsize: 834564
[startup+70.0108 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 6362 39 0 0 25 0 10 0 838661930 854593536 21432 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21432 13086 16 0 208625 0
vsize: 834564
[startup+80.0203 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 7300 39 0 0 25 0 10 0 838661930 854593536 21537 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21537 13086 16 0 208625 0
vsize: 834564
[startup+90.0213 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 8244 39 0 0 25 0 10 0 838661930 854593536 21628 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21628 13086 16 0 208625 0
vsize: 834564
[startup+100.021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 9185 39 0 0 25 0 10 0 838661930 854593536 21717 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21717 13086 16 0 208625 0
vsize: 834564
[startup+110.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 10129 39 0 0 25 0 10 0 838661930 854593536 21797 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21797 13086 16 0 208625 0
vsize: 834564
[startup+120.022 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 11071 39 0 0 25 0 10 0 838661930 854593536 21876 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21876 13086 16 0 208625 0
vsize: 834564
[startup+130.025 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 904
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 12015 39 0 0 24 0 10 0 838661930 854593536 21948 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 21948 13086 16 0 208625 0
vsize: 834564
[startup+140.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 12959 40 0 0 25 0 10 0 838661930 854593536 22018 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22018 13086 16 0 208625 0
vsize: 834564
[startup+150.027 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 13901 40 0 0 25 0 10 0 838661930 854593536 22085 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22085 13086 16 0 208625 0
vsize: 834564
[startup+160.027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 14847 40 0 0 25 0 10 0 838661930 854593536 22146 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22146 13086 16 0 208625 0
vsize: 834564
[startup+170.028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 15789 40 0 0 21 0 10 0 838661930 854593536 22209 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22209 13086 16 0 208625 0
vsize: 834564
[startup+180.028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 16704 40 0 0 25 0 10 0 838661930 854593536 22267 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22267 13086 16 0 208625 0
vsize: 834564
[startup+190.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 17625 40 0 0 25 0 10 0 838661930 854593536 22579 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22579 13086 16 0 208625 0
vsize: 834564
[startup+200.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 18567 40 0 0 25 0 10 0 838661930 854593536 22632 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22632 13086 16 0 208625 0
vsize: 834564
[startup+210.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 19506 40 0 0 25 0 10 0 838661930 854593536 22688 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22688 13086 16 0 208625 0
vsize: 834564
[startup+220.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 904
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 20446 40 0 0 25 0 10 0 838661930 854593536 22740 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22740 13086 16 0 208625 0
vsize: 834564
[startup+230.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 21385 40 0 0 25 0 10 0 838661930 854593536 22791 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22791 13086 16 0 208625 0
vsize: 834564
[startup+240.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 22327 41 0 0 25 0 10 0 838661930 854593536 22841 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22841 13086 16 0 208625 0
vsize: 834564
[startup+250.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 23264 41 0 0 25 0 10 0 838661930 854593536 22891 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22891 13086 16 0 208625 0
vsize: 834564
[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 24205 41 0 0 25 0 10 0 838661930 854593536 22937 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22937 13086 16 0 208625 0
vsize: 834564
[startup+270.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 25141 41 0 0 25 0 10 0 838661930 854593536 22985 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 22985 13086 16 0 208625 0
vsize: 834564
[startup+280.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 26080 41 0 0 19 0 10 0 838661930 854593536 23029 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23029 13086 16 0 208625 0
vsize: 834564
[startup+290.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 27016 41 0 0 24 0 10 0 838661930 854593536 23075 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23075 13086 16 0 208625 0
vsize: 834564
[startup+300.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 27955 41 0 0 25 0 10 0 838661930 854593536 23118 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23118 13086 16 0 208625 0
vsize: 834564
[startup+310.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 28893 42 0 0 25 0 10 0 838661930 854593536 23160 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23160 13086 16 0 208625 0
vsize: 834564
[startup+320.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 29828 42 0 0 25 0 10 0 838661930 854593536 23204 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23204 13086 16 0 208625 0
vsize: 834564
[startup+330.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 30766 42 0 0 25 0 10 0 838661930 854593536 23244 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23244 13086 16 0 208625 0
vsize: 834564
[startup+340.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 904
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 31702 42 0 0 25 0 10 0 838661930 854593536 23285 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23285 13086 16 0 208625 0
vsize: 834564
[startup+350.044 s]
Raw data (loadavg): 1.24 1.05 1.02 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 32626 47 0 0 25 0 10 0 838661930 854593536 23327 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23327 13086 16 0 208625 0
vsize: 834564
[startup+360.046 s]
Raw data (loadavg): 1.20 1.05 1.02 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 33562 47 0 0 25 0 10 0 838661930 854593536 23366 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23366 13086 16 0 208625 0
vsize: 834564
[startup+370.046 s]
Raw data (loadavg): 1.17 1.05 1.01 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 34499 48 0 0 25 0 10 0 838661930 854593536 23404 4294967295 134512640 134569956 3221224368 3221214712 1131223938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23404 13086 16 0 208625 0
vsize: 834564
[startup+380.047 s]
Raw data (loadavg): 1.14 1.04 1.01 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 35430 48 0 0 25 0 10 0 838661930 854593536 23443 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23443 13086 16 0 208625 0
vsize: 834564
[startup+390.048 s]
Raw data (loadavg): 1.12 1.04 1.01 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 36366 48 0 0 25 0 10 0 838661930 854593536 23480 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23480 13086 16 0 208625 0
vsize: 834564
[startup+400.049 s]
Raw data (loadavg): 1.10 1.04 1.01 2/63 957
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 37300 48 0 0 23 0 10 0 838661930 854593536 23517 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23517 13086 16 0 208625 0
vsize: 834564
[startup+410.049 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 38230 49 0 0 24 0 10 0 838661930 854593536 23555 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23555 13086 16 0 208625 0
vsize: 834564
[startup+420.05 s]
Raw data (loadavg): 1.07 1.04 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 39163 49 0 0 25 0 10 0 838661930 854593536 23591 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23591 13086 16 0 208625 0
vsize: 834564
[startup+430.051 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 40097 49 0 0 25 0 10 0 838661930 854593536 23626 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23626 13086 16 0 208625 0
vsize: 834564
[startup+440.052 s]
Raw data (loadavg): 1.05 1.03 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 41030 49 0 0 25 0 10 0 838661930 854593536 23661 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23661 13086 16 0 208625 0
vsize: 834564
[startup+450.053 s]
Raw data (loadavg): 1.04 1.03 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 41959 49 0 0 24 0 10 0 838661930 854593536 23697 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23697 13086 16 0 208625 0
vsize: 834564
[startup+460.053 s]
Raw data (loadavg): 1.04 1.03 1.01 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 42891 49 0 0 25 0 10 0 838661930 854593536 23731 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23731 13086 16 0 208625 0
vsize: 834564
[startup+470.053 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 43824 49 0 0 25 0 10 0 838661930 854593536 23765 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23765 13086 16 0 208625 0
vsize: 834564
[startup+480.054 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 44756 50 0 0 25 0 10 0 838661930 854593536 23798 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23798 13086 16 0 208625 0
vsize: 834564
[startup+490.058 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 959
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 45686 50 0 0 25 0 10 0 838661930 854593536 23832 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23832 13086 16 0 208625 0
vsize: 834564
[startup+500.061 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 46614 50 0 0 24 0 10 0 838661930 854593536 23867 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23867 13086 16 0 208625 0
vsize: 834564
[startup+510.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 47544 50 0 0 25 0 10 0 838661930 854593536 23899 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23899 13086 16 0 208625 0
vsize: 834564
[startup+520.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 48474 50 0 0 25 0 10 0 838661930 854593536 23930 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23930 13086 16 0 208625 0
vsize: 834564
[startup+530.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 49403 50 0 0 25 0 10 0 838661930 854593536 23962 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23962 13086 16 0 208625 0
vsize: 834564
[startup+540.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 50332 50 0 0 21 0 10 0 838661930 854593536 23993 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 23993 13086 16 0 208625 0
vsize: 834564
[startup+550.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 959
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 51258 50 0 0 25 0 10 0 838661930 854593536 24025 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24025 13086 16 0 208625 0
vsize: 834564
[startup+560.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 52185 50 0 0 25 0 10 0 838661930 854593536 24057 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24057 13086 16 0 208625 0
vsize: 834564
[startup+570.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 53113 50 0 0 25 0 10 0 838661930 854593536 24087 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24087 13086 16 0 208625 0
vsize: 834564
[startup+580.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 54041 51 0 0 25 0 10 0 838661930 854593536 24117 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24117 13086 16 0 208625 0
vsize: 834564
[startup+590.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 54968 51 0 0 25 0 10 0 838661930 854593536 24147 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24147 13086 16 0 208625 0
vsize: 834564
[startup+600.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 55895 51 0 0 25 0 10 0 838661930 854593536 24176 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24176 13086 16 0 208625 0
vsize: 834564
[startup+610.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 56821 51 0 0 25 0 10 0 838661930 854593536 24205 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24205 13086 16 0 208625 0
vsize: 834564
[startup+620.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 57743 51 0 0 24 0 10 0 838661930 854593536 24236 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24236 13086 16 0 208625 0
vsize: 834564
[startup+630.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 58669 51 0 0 25 0 10 0 838661930 854593536 24265 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24265 13086 16 0 208625 0
vsize: 834564
[startup+640.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 959
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 59594 51 0 0 25 0 10 0 838661930 854593536 24293 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24293 13086 16 0 208625 0
vsize: 834564
[startup+650.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 60520 51 0 0 25 0 10 0 838661930 854593536 24322 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24322 13086 16 0 208625 0
vsize: 834564
[startup+660.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 61445 51 0 0 25 0 10 0 838661930 854593536 24351 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 24351 13086 16 0 208625 0
vsize: 834564
[startup+670.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 62361 51 0 0 25 0 10 0 838661930 854593536 25272 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25272 13086 16 0 208625 0
vsize: 834564
[startup+680.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 63288 51 0 0 25 0 10 0 838661930 854593536 25272 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25272 13086 16 0 208625 0
vsize: 834564
[startup+690.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 64205 52 0 0 25 0 10 0 838661930 854593536 25281 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25281 13086 16 0 208625 0
vsize: 834564
[startup+700.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 65119 52 0 0 17 0 10 0 838661930 854593536 25308 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25308 13086 16 0 208625 0
vsize: 834564
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 66034 52 0 0 24 0 10 0 838661930 854593536 25335 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25335 13086 16 0 208625 0
vsize: 834564
[startup+720.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 66952 52 0 0 25 0 10 0 838661930 854593536 25360 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25360 13086 16 0 208625 0
vsize: 834564
[startup+730.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 67866 52 0 0 25 0 10 0 838661930 854593536 25387 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25387 13086 16 0 208625 0
vsize: 834564
[startup+740.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 68778 52 0 0 25 0 10 0 838661930 854593536 25413 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25413 13086 16 0 208625 0
vsize: 834564
[startup+750.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 69691 52 0 0 25 0 10 0 838661930 854593536 25439 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25439 13086 16 0 208625 0
vsize: 834564
[startup+760.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 70605 52 0 0 25 0 10 0 838661930 854593536 25466 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25466 13086 16 0 208625 0
vsize: 834564
[startup+770.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 71517 52 0 0 25 0 10 0 838661930 854593536 25492 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25492 13086 16 0 208625 0
vsize: 834564
[startup+780.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 72435 53 0 0 25 0 10 0 838661930 854593536 25516 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25516 13086 16 0 208625 0
vsize: 834564
[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 73347 53 0 0 25 0 10 0 838661930 854593536 25541 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25541 13086 16 0 208625 0
vsize: 834564
[startup+800.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 74259 53 0 0 25 0 10 0 838661930 854593536 25567 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25567 13086 16 0 208625 0
vsize: 834564
[startup+810.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 75169 53 0 0 25 0 10 0 838661930 854593536 25592 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25592 13086 16 0 208625 0
vsize: 834564
[startup+820.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 76080 53 0 0 24 0 10 0 838661930 854593536 25617 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25617 13086 16 0 208625 0
vsize: 834564
[startup+830.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 76997 53 0 0 25 0 10 0 838661930 854593536 25641 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25641 13086 16 0 208625 0
vsize: 834564
[startup+840.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 77907 53 0 0 25 0 10 0 838661930 854593536 25665 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25665 13086 16 0 208625 0
vsize: 834564
[startup+850.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 78817 54 0 0 25 0 10 0 838661930 854593536 25690 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25690 13086 16 0 208625 0
vsize: 834564
[startup+860.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 79726 54 0 0 25 0 10 0 838661930 854593536 25716 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25716 13086 16 0 208625 0
vsize: 834564
[startup+870.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 80640 54 0 0 25 0 10 0 838661930 854593536 25739 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25739 13086 16 0 208625 0
vsize: 834564
[startup+880.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 81549 54 0 0 25 0 10 0 838661930 854593536 25763 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25763 13086 16 0 208625 0
vsize: 834564
[startup+890.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 82458 55 0 0 25 0 10 0 838661930 854593536 25787 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25787 13086 16 0 208625 0
vsize: 834564
[startup+900.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 83367 55 0 0 24 0 10 0 838661930 854593536 25811 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25811 13086 16 0 208625 0
vsize: 834564
[startup+910.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 84280 55 0 0 25 0 10 0 838661930 854593536 25833 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25833 13086 16 0 208625 0
vsize: 834564
[startup+920.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 85187 55 0 0 25 0 10 0 838661930 854593536 25857 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25857 13086 16 0 208625 0
vsize: 834564
[startup+930.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 86094 55 0 0 25 0 10 0 838661930 854593536 25880 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25880 13086 16 0 208625 0
vsize: 834564
[startup+940.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18023 0 1 0 87007 55 0 0 25 0 10 0 838661930 854593536 25903 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25903 13086 16 0 208625 0
vsize: 834564
[startup+950.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 87915 55 0 0 22 0 10 0 838661930 854593536 25926 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25926 13086 16 0 208625 0
vsize: 834564
[startup+960.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 88823 55 0 0 21 0 10 0 838661930 854593536 25949 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25949 13086 16 0 208625 0
vsize: 834564
[startup+970.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 89727 56 0 0 19 0 10 0 838661930 854593536 25974 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25974 13086 16 0 208625 0
vsize: 834564
[startup+980.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 90640 56 0 0 23 0 10 0 838661930 854593536 25997 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 25997 13086 16 0 208625 0
vsize: 834564
[startup+990.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18023 0 1 0 91545 56 0 0 22 0 10 0 838661930 854593536 26024 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 26024 13086 16 0 208625 0
vsize: 834564
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 4/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18032 0 1 0 92443 56 0 0 25 0 10 0 838661930 856854528 26902 4294967295 134512640 134569956 3221224368 3221213600 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209193 26902 13086 16 0 209177 0
vsize: 836772
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18032 0 1 0 93347 56 0 0 25 0 10 0 838661930 855318528 26593 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208818 26593 13086 16 0 208802 0
vsize: 835272
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18032 0 1 0 94215 57 0 0 24 0 10 0 838661930 855281664 26649 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208809 26649 13086 16 0 208793 0
vsize: 835236
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18032 0 1 0 95107 57 0 0 25 0 10 0 838661930 855248896 26818 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 26818 13086 16 0 208785 0
vsize: 835204
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 95989 57 0 0 25 0 10 0 838661930 855248896 26933 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 26933 13086 16 0 208785 0
vsize: 835204
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 96893 58 0 0 25 0 10 0 838661930 855248896 27041 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27041 13086 16 0 208785 0
vsize: 835204
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 97782 58 0 0 25 0 10 0 838661930 855248896 27265 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27265 13086 16 0 208785 0
vsize: 835204
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 98682 59 0 0 25 0 10 0 838661930 855248896 27280 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27280 13086 16 0 208785 0
vsize: 835204
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 99574 59 0 0 25 0 10 0 838661930 855248896 27355 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27355 13086 16 0 208785 0
vsize: 835204
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 100475 59 0 0 25 0 10 0 838661930 855248896 27384 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27384 13086 16 0 208785 0
vsize: 835204
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 101371 60 0 0 25 0 10 0 838661930 855248896 27447 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27447 13086 16 0 208785 0
vsize: 835204
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 102259 60 0 0 25 0 10 0 838661930 855248896 27481 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27481 13086 16 0 208785 0
vsize: 835204
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18033 0 1 0 103154 61 0 0 25 0 10 0 838661930 855248896 27800 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27801 13086 16 0 208785 0
vsize: 835204
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 104059 61 0 0 25 0 10 0 838661930 855248896 27865 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27865 13086 16 0 208785 0
vsize: 835204
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 104959 61 0 0 25 0 10 0 838661930 855248896 27865 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27865 13086 16 0 208785 0
vsize: 835204
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 105850 62 0 0 24 0 10 0 838661930 855248896 27959 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 27959 13086 16 0 208785 0
vsize: 835204
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 106748 62 0 0 25 0 10 0 838661930 855248896 28027 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28027 13086 16 0 208785 0
vsize: 835204
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 107649 62 0 0 25 0 10 0 838661930 855248896 28063 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28063 13086 16 0 208785 0
vsize: 835204
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 108546 63 0 0 24 0 10 0 838661930 855248896 28188 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28188 13086 16 0 208785 0
vsize: 835204
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 109449 63 0 0 25 0 10 0 838661930 855248896 28259 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28259 13086 16 0 208785 0
vsize: 835204
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 110348 64 0 0 25 0 10 0 838661930 855248896 28768 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28768 13086 16 0 208785 0
vsize: 835204
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 111253 64 0 0 25 0 10 0 838661930 855248896 28817 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28817 13086 16 0 208785 0
vsize: 835204
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 112150 64 0 0 25 0 10 0 838661930 855248896 28827 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28827 13086 16 0 208785 0
vsize: 835204
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) S 894 24172 24171 0 -1 0 18033 0 1 0 113049 65 0 0 25 0 10 0 838661930 855248896 28927 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 28927 13086 16 0 208785 0
vsize: 835204
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 113948 65 0 0 25 0 10 0 838661930 855248896 29051 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 29051 13086 16 0 208785 0
vsize: 835204
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 114850 66 0 0 25 0 10 0 838661930 855248896 29401 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29401 13086 16 0 208785 0
vsize: 835204
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 115760 66 0 0 25 0 10 0 838661930 855248896 29455 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29455 13086 16 0 208785 0
vsize: 835204
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 116659 66 0 0 18 0 10 0 838661930 855248896 29505 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29505 13086 16 0 208785 0
vsize: 835204
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 117566 66 0 0 25 0 10 0 838661930 855248896 29639 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29639 13086 16 0 208785 0
vsize: 835204
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 118471 66 0 0 22 0 10 0 838661930 855248896 29697 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29697 13086 16 0 208785 0
vsize: 835204
[startup+1300.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 119363 66 0 0 18 0 10 0 838661930 855248896 29789 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208801 29789 13086 16 0 208785 0
vsize: 835204
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 961
Raw data (stat): 895 (java) R 894 24172 24171 0 -1 0 18033 0 1 0 120264 67 0 0 25 0 10 0 838661930 855248896 30196 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208801 30196 13086 16 0 208785 0
vsize: 835204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 963
Raw data (stat): 895 (java) Z 894 24172 24171 0 -1 1036 18033 15034 1 0 120266 72 11281 62 25 0 1 0 838661930 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.28
CPU time (s): 1316.83
CPU user time (s): 1315.47
CPU system time (s): 1.35279
CPU usage (%): 100.5
Max. virtual memory (Kb): 836772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####