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/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	920
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.75
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 18881

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 16:57:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17377 boxname=wulflinc25 idbench=1337 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 17377
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        540348 kB
Buffers:         29908 kB
Cached:         443648 kB
SwapCached:        744 kB
Active:          91616 kB
Inactive:       383884 kB
HighTotal:      131008 kB
HighFree:         3752 kB
LowTotal:       903652 kB
LowFree:        536596 kB
SwapTotal:     2097892 kB
SwapFree:      2096220 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13072 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 17:18:25 (client local time) WITH STATUS 143 IN 1270.09 SECONDS
stats: 17377 7 1270.09 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-10teams.opb
c reading problem 
c [nbvar=1800]
c [nbconstr=2015]
c time 4.453
c #vars     1800
c #clauses  335
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.78 0.95 0.97 2/54 9231
Raw data (stat): 9231 (runsolver) R 9230 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546705458 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0002 s]
Raw data (loadavg): 0.89 0.97 0.98 3/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18072 0 1 0 651 39 0 0 25 0 11 0 546705458 864600064 21501 4294967295 134512640 134569956 3221224400 3221214864 1131293836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211084 21501 13073 16 0 211068 0
vsize: 844336
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18073 0 1 0 1569 39 0 0 25 0 11 0 546705458 863473664 21691 4294967295 134512640 134569956 3221224400 3221214696 1131370190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210809 21691 13073 16 0 210793 0
vsize: 843236
[startup+30.0018 s]
Raw data (loadavg): 0.92 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18073 0 1 0 2489 39 0 0 25 0 11 0 546705458 862404608 22116 4294967295 134512640 134569956 3221224400 3221214680 1131245104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 22116 13073 16 0 210532 0
vsize: 842192
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18073 0 1 0 3419 39 0 0 25 0 11 0 546705458 862404608 22404 4294967295 134512640 134569956 3221224400 3221214560 1131254613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 22404 13073 16 0 210532 0
vsize: 842192
[startup+50.002 s]
Raw data (loadavg): 0.94 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18073 0 1 0 4356 39 0 0 25 0 11 0 546705458 862404608 22431 4294967295 134512640 134569956 3221224400 3221214560 1131253249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 22431 13073 16 0 210532 0
vsize: 842192
[startup+60.0026 s]
Raw data (loadavg): 0.95 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 5285 39 0 0 25 0 11 0 546705458 862404608 22663 4294967295 134512640 134569956 3221224400 3221214680 1131245329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 22663 13073 16 0 210532 0
vsize: 842192
[startup+70.0026 s]
Raw data (loadavg): 0.96 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 6215 39 0 0 25 0 11 0 546705458 862404608 22967 4294967295 134512640 134569956 3221224400 3221214656 1131621395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 22967 13073 16 0 210532 0
vsize: 842192
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 7170 39 0 0 25 0 11 0 546705458 862404608 23130 4294967295 134512640 134569956 3221224400 3221214560 1131254801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 23130 13073 16 0 210532 0
vsize: 842192
[startup+90.0034 s]
Raw data (loadavg): 0.97 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 8122 39 0 0 25 0 11 0 546705458 862404608 23291 4294967295 134512640 134569956 3221224400 3221214552 1131507666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 23291 13073 16 0 210532 0
vsize: 842192
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 9069 39 0 0 25 0 11 0 546705458 862404608 23502 4294967295 134512640 134569956 3221224400 3221214656 1131619335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 23502 13073 16 0 210532 0
vsize: 842192
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 10026 40 0 0 25 0 11 0 546705458 862404608 23604 4294967295 134512640 134569956 3221224400 3221214656 1131619400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 23604 13073 16 0 210532 0
vsize: 842192
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 10984 40 0 0 25 0 11 0 546705458 862404608 23708 4294967295 134512640 134569956 3221224400 3221214560 1131254604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 23708 13073 16 0 210532 0
vsize: 842192
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 11941 40 0 0 25 0 11 0 546705458 862404608 23846 4294967295 134512640 134569956 3221224400 3221214552 1131508685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 23846 13073 16 0 210532 0
vsize: 842192
[startup+140.006 s]
Raw data (loadavg): 1.06 0.99 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 12906 41 0 0 25 0 11 0 546705458 862404608 23977 4294967295 134512640 134569956 3221224400 3221214776 1131424244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 23977 13073 16 0 210532 0
vsize: 842192
[startup+150.006 s]
Raw data (loadavg): 1.05 0.99 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 13878 41 0 0 25 0 11 0 546705458 862404608 24040 4294967295 134512640 134569956 3221224400 3221214552 1131507945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24040 13073 16 0 210532 0
vsize: 842192
[startup+160.006 s]
Raw data (loadavg): 1.04 0.99 0.98 2/64 9241
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 14843 41 0 0 25 0 11 0 546705458 862404608 24167 4294967295 134512640 134569956 3221224400 3221214560 1131254924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24167 13073 16 0 210532 0
vsize: 842192
[startup+170.006 s]
Raw data (loadavg): 1.18 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 15795 49 0 0 25 0 11 0 546705458 862404608 24223 4294967295 134512640 134569956 3221224400 3221214776 1131425168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24223 13073 16 0 210532 0
vsize: 842192
[startup+180.005 s]
Raw data (loadavg): 1.15 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 16739 49 0 0 25 0 11 0 546705458 862404608 24326 4294967295 134512640 134569956 3221224400 3221214800 1131329828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24326 13073 16 0 210532 0
vsize: 842192
[startup+190.006 s]
Raw data (loadavg): 1.13 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 17687 50 0 0 25 0 11 0 546705458 862404608 24404 4294967295 134512640 134569956 3221224400 3221214680 1131244581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24404 13073 16 0 210532 0
vsize: 842192
[startup+200.006 s]
Raw data (loadavg): 1.11 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 18619 50 0 0 25 0 11 0 546705458 862404608 24528 4294967295 134512640 134569956 3221224400 3221214560 1131253289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24528 13073 16 0 210532 0
vsize: 842192
[startup+210.006 s]
Raw data (loadavg): 1.09 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 19559 50 0 0 25 0 11 0 546705458 862404608 24671 4294967295 134512640 134569956 3221224400 3221214656 1131621405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24671 13073 16 0 210532 0
vsize: 842192
[startup+220.007 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 9294
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18074 0 1 0 20504 51 0 0 25 0 11 0 546705458 862404608 24783 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24783 13073 16 0 210532 0
vsize: 842192
[startup+230.006 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 9294
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 21441 51 0 0 25 0 11 0 546705458 862404608 24994 4294967295 134512640 134569956 3221224400 3221214552 1131507480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 24994 13073 16 0 210532 0
vsize: 842192
[startup+240.007 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18074 0 1 0 22387 52 0 0 25 0 11 0 546705458 862404608 25150 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25150 13073 16 0 210532 0
vsize: 842192
[startup+250.008 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 23339 52 0 0 25 0 11 0 546705458 862404608 25264 4294967295 134512640 134569956 3221224400 3221214544 1131387218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25264 13073 16 0 210532 0
vsize: 842192
[startup+260.009 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 24274 52 0 0 25 0 11 0 546705458 862404608 25460 4294967295 134512640 134569956 3221224400 3221214552 1131509722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25460 13073 16 0 210532 0
vsize: 842192
[startup+270.009 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 25220 52 0 0 24 0 11 0 546705458 862404608 25625 4294967295 134512640 134569956 3221224400 3221214552 1131507431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25625 13073 16 0 210532 0
vsize: 842192
[startup+280.009 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18074 0 1 0 26171 53 0 0 25 0 11 0 546705458 862404608 25710 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25710 13073 16 0 210532 0
vsize: 842192
[startup+290.009 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 27119 53 0 0 25 0 11 0 546705458 862404608 25904 4294967295 134512640 134569956 3221224400 3221214560 1131253258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 25904 13073 16 0 210532 0
vsize: 842192
[startup+300.009 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 28061 53 0 0 25 0 11 0 546705458 862404608 26043 4294967295 134512640 134569956 3221224400 3221214680 1131245054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26043 13073 16 0 210532 0
vsize: 842192
[startup+310.01 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 29006 53 0 0 25 0 11 0 546705458 862404608 26168 4294967295 134512640 134569956 3221224400 3221214880 1131547123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26168 13073 16 0 210532 0
vsize: 842192
[startup+320.01 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 29955 54 0 0 25 0 11 0 546705458 862404608 26292 4294967295 134512640 134569956 3221224400 3221214680 1131244795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26292 13073 16 0 210532 0
vsize: 842192
[startup+330.009 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 30911 54 0 0 25 0 11 0 546705458 862404608 26419 4294967295 134512640 134569956 3221224400 3221214560 1131254782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26419 13073 16 0 210532 0
vsize: 842192
[startup+340.01 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 31866 54 0 0 24 0 11 0 546705458 862404608 26579 4294967295 134512640 134569956 3221224400 3221214560 1131254850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26579 13073 16 0 210532 0
vsize: 842192
[startup+350.011 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 32824 55 0 0 25 0 11 0 546705458 862404608 26653 4294967295 134512640 134569956 3221224400 3221214656 1131621405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26653 13073 16 0 210532 0
vsize: 842192
[startup+360.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 33790 55 0 0 25 0 11 0 546705458 862404608 26754 4294967295 134512640 134569956 3221224400 3221214552 1131508685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26754 13073 16 0 210532 0
vsize: 842192
[startup+370.011 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 34749 55 0 0 25 0 11 0 546705458 862404608 26934 4294967295 134512640 134569956 3221224400 3221214656 1131619335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 26934 13073 16 0 210532 0
vsize: 842192
[startup+380.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 35716 55 0 0 25 0 11 0 546705458 862404608 27004 4294967295 134512640 134569956 3221224400 3221214552 1131507442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27004 13073 16 0 210532 0
vsize: 842192
[startup+390.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 36678 56 0 0 25 0 11 0 546705458 862404608 27097 4294967295 134512640 134569956 3221224400 3221214656 1131619350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27097 13073 16 0 210532 0
vsize: 842192
[startup+400.012 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 37651 56 0 0 25 0 11 0 546705458 862404608 27119 4294967295 134512640 134569956 3221224400 3221214776 1131424244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27119 13073 16 0 210532 0
vsize: 842192
[startup+410.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 38610 56 0 0 25 0 11 0 546705458 862404608 27228 4294967295 134512640 134569956 3221224400 3221214800 1131329227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27228 13073 16 0 210532 0
vsize: 842192
[startup+420.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 39564 57 0 0 25 0 11 0 546705458 862404608 27325 4294967295 134512640 134569956 3221224400 3221214680 1131245609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27325 13073 16 0 210532 0
vsize: 842192
[startup+430.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 40518 57 0 0 25 0 11 0 546705458 862404608 27408 4294967295 134512640 134569956 3221224400 3221214816 1131443100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27408 13073 16 0 210532 0
vsize: 842192
[startup+440.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 41472 57 0 0 25 0 11 0 546705458 862404608 27476 4294967295 134512640 134569956 3221224400 3221214560 1131254653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27476 13073 16 0 210532 0
vsize: 842192
[startup+450.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 42419 58 0 0 25 0 11 0 546705458 862404608 27595 4294967295 134512640 134569956 3221224400 3221214776 1131426748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27595 13073 16 0 210532 0
vsize: 842192
[startup+460.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 43373 58 0 0 25 0 11 0 546705458 862404608 27733 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27733 13073 16 0 210532 0
vsize: 842192
[startup+470.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18074 0 1 0 44316 59 0 0 25 0 11 0 546705458 862404608 27833 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27833 13073 16 0 210532 0
vsize: 842192
[startup+480.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 45276 59 0 0 25 0 11 0 546705458 862404608 27960 4294967295 134512640 134569956 3221224400 3221214560 1131254483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 27960 13073 16 0 210532 0
vsize: 842192
[startup+490.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 9296
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18074 0 1 0 46231 59 0 0 25 0 11 0 546705458 862404608 28060 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28060 13073 16 0 210532 0
vsize: 842192
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 47186 60 0 0 25 0 11 0 546705458 862404608 28195 4294967295 134512640 134569956 3221224400 3221214776 1131424281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28195 13073 16 0 210532 0
vsize: 842192
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 48129 60 0 0 25 0 11 0 546705458 862404608 28308 4294967295 134512640 134569956 3221224400 3221214728 1131297442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28308 13073 16 0 210532 0
vsize: 842192
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 49083 61 0 0 25 0 11 0 546705458 862404608 28412 4294967295 134512640 134569956 3221224400 3221214560 1131254650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28412 13073 16 0 210532 0
vsize: 842192
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 50033 61 0 0 24 0 11 0 546705458 862404608 28531 4294967295 134512640 134569956 3221224400 3221214680 1131244819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28531 13073 16 0 210532 0
vsize: 842192
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 50991 61 0 0 25 0 11 0 546705458 862404608 28681 4294967295 134512640 134569956 3221224400 3221214776 1131424244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28681 13073 16 0 210532 0
vsize: 842192
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 51955 61 0 0 25 0 11 0 546705458 862404608 28746 4294967295 134512640 134569956 3221224400 3221214560 1131254766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28746 13073 16 0 210532 0
vsize: 842192
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 52911 61 0 0 25 0 11 0 546705458 862404608 28805 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28805 13073 16 0 210532 0
vsize: 842192
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 53864 62 0 0 25 0 11 0 546705458 862404608 28922 4294967295 134512640 134569956 3221224400 3221214728 1131179208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 28922 13073 16 0 210532 0
vsize: 842192
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 54821 62 0 0 25 0 11 0 546705458 862404608 29005 4294967295 134512640 134569956 3221224400 3221214680 1131245194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29005 13073 16 0 210532 0
vsize: 842192
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 55778 62 0 0 25 0 11 0 546705458 862404608 29080 4294967295 134512640 134569956 3221224400 3221214680 1131244802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29080 13073 16 0 210532 0
vsize: 842192
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 56737 62 0 0 25 0 11 0 546705458 862404608 29227 4294967295 134512640 134569956 3221224400 3221214552 1131508835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29227 13073 16 0 210532 0
vsize: 842192
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 57695 62 0 0 25 0 11 0 546705458 862404608 29307 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29307 13073 16 0 210532 0
vsize: 842192
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 58651 62 0 0 25 0 11 0 546705458 862404608 29392 4294967295 134512640 134569956 3221224400 3221214552 1131507814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29392 13073 16 0 210532 0
vsize: 842192
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 59603 63 0 0 25 0 11 0 546705458 862404608 29475 4294967295 134512640 134569956 3221224400 3221214680 1131244838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29475 13073 16 0 210532 0
vsize: 842192
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 60553 63 0 0 25 0 11 0 546705458 862404608 29577 4294967295 134512640 134569956 3221224400 3221214560 1131254613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29577 13073 16 0 210532 0
vsize: 842192
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 61504 64 0 0 24 0 11 0 546705458 862404608 29664 4294967295 134512640 134569956 3221224400 3221214552 1131507814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29664 13073 16 0 210532 0
vsize: 842192
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 62462 64 0 0 25 0 11 0 546705458 862404608 29835 4294967295 134512640 134569956 3221224400 3221214800 1131330316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29835 13073 16 0 210532 0
vsize: 842192
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 63420 64 0 0 25 0 11 0 546705458 862404608 29916 4294967295 134512640 134569956 3221224400 3221214880 1131547257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29916 13073 16 0 210532 0
vsize: 842192
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 64376 64 0 0 25 0 11 0 546705458 862404608 29996 4294967295 134512640 134569956 3221224400 3221214560 1131253256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 29996 13073 16 0 210532 0
vsize: 842192
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 65336 64 0 0 25 0 11 0 546705458 862404608 30093 4294967295 134512640 134569956 3221224400 3221214680 1131245776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30093 13073 16 0 210532 0
vsize: 842192
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 66293 65 0 0 25 0 11 0 546705458 862404608 30162 4294967295 134512640 134569956 3221224400 3221214548 1131271264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30162 13073 16 0 210532 0
vsize: 842192
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 67248 65 0 0 25 0 11 0 546705458 862404608 30227 4294967295 134512640 134569956 3221224400 3221214680 1131245648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30227 13073 16 0 210532 0
vsize: 842192
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 68196 65 0 0 25 0 11 0 546705458 862404608 30395 4294967295 134512640 134569956 3221224400 3221214680 1131244609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30395 13073 16 0 210532 0
vsize: 842192
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 69140 66 0 0 25 0 11 0 546705458 862404608 30500 4294967295 134512640 134569956 3221224400 3221214680 1131244588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30500 13073 16 0 210532 0
vsize: 842192
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 70096 66 0 0 25 0 11 0 546705458 862404608 30627 4294967295 134512640 134569956 3221224400 3221214776 1131426086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30627 13073 16 0 210532 0
vsize: 842192
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 71057 67 0 0 25 0 11 0 546705458 862404608 30740 4294967295 134512640 134569956 3221224400 3221214552 1131507972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30740 13073 16 0 210532 0
vsize: 842192
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 72017 67 0 0 25 0 11 0 546705458 862404608 30844 4294967295 134512640 134569956 3221224400 3221214680 1131245726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30844 13073 16 0 210532 0
vsize: 842192
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 72985 67 0 0 25 0 11 0 546705458 862404608 30905 4294967295 134512640 134569956 3221224400 3221214776 1131424255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30905 13073 16 0 210532 0
vsize: 842192
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 73939 68 0 0 25 0 11 0 546705458 862404608 30974 4294967295 134512640 134569956 3221224400 3221214560 1131254653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 30974 13073 16 0 210532 0
vsize: 842192
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18074 0 1 0 74897 68 0 0 25 0 11 0 546705458 862404608 31031 4294967295 134512640 134569956 3221224400 3221214552 1131508821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31031 13073 16 0 210532 0
vsize: 842192
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 75871 69 0 0 25 0 11 0 546705458 862404608 31083 4294967295 134512640 134569956 3221224400 3221214776 1131425234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31083 13073 16 0 210532 0
vsize: 842192
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 76833 69 0 0 25 0 11 0 546705458 862404608 31151 4294967295 134512640 134569956 3221224400 3221214680 1131245339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31151 13073 16 0 210532 0
vsize: 842192
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 77789 69 0 0 25 0 11 0 546705458 862404608 31293 4294967295 134512640 134569956 3221224400 3221214776 1131426171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31293 13073 16 0 210532 0
vsize: 842192
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 78751 69 0 0 25 0 11 0 546705458 862404608 31309 4294967295 134512640 134569956 3221224400 3221214776 1131424244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31309 13073 16 0 210532 0
vsize: 842192
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 79702 70 0 0 25 0 11 0 546705458 862404608 31395 4294967295 134512640 134569956 3221224400 3221214144 1131496127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31395 13073 16 0 210532 0
vsize: 842192
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 80660 70 0 0 25 0 11 0 546705458 862404608 31485 4294967295 134512640 134569956 3221224400 3221214784 1131254613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31485 13073 16 0 210532 0
vsize: 842192
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 81616 70 0 0 25 0 11 0 546705458 862404608 31593 4294967295 134512640 134569956 3221224400 3221214776 1131425050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31593 13073 16 0 210532 0
vsize: 842192
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 82567 71 0 0 25 0 11 0 546705458 862404608 31696 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31696 13073 16 0 210532 0
vsize: 842192
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 83518 71 0 0 25 0 11 0 546705458 862404608 31779 4294967295 134512640 134569956 3221224400 3221214552 1131508973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31779 13073 16 0 210532 0
vsize: 842192
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 84474 72 0 0 25 0 11 0 546705458 862404608 31877 4294967295 134512640 134569956 3221224400 3221214680 1131244581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31877 13073 16 0 210532 0
vsize: 842192
[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 85431 72 0 0 25 0 11 0 546705458 862404608 31994 4294967295 134512640 134569956 3221224400 3221214560 1131254390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 31994 13073 16 0 210532 0
vsize: 842192
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 86380 73 0 0 25 0 11 0 546705458 862404608 32084 4294967295 134512640 134569956 3221224400 3221214680 1131245721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32084 13073 16 0 210532 0
vsize: 842192
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 87329 73 0 0 25 0 11 0 546705458 862404608 32201 4294967295 134512640 134569956 3221224400 3221214656 1131619335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32201 13073 16 0 210532 0
vsize: 842192
[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 88286 73 0 0 25 0 11 0 546705458 862404608 32286 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32286 13073 16 0 210532 0
vsize: 842192
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 89238 74 0 0 25 0 11 0 546705458 862404608 32420 4294967295 134512640 134569956 3221224400 3221214776 1131423983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32420 13073 16 0 210532 0
vsize: 842192
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 90196 74 0 0 25 0 11 0 546705458 862404608 32516 4294967295 134512640 134569956 3221224400 3221214552 1131509016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32516 13073 16 0 210532 0
vsize: 842192
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 91152 74 0 0 25 0 11 0 546705458 862404608 32615 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32615 13073 16 0 210532 0
vsize: 842192
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 92114 75 0 0 25 0 11 0 546705458 862404608 32686 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32686 13073 16 0 210532 0
vsize: 842192
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 93073 75 0 0 25 0 11 0 546705458 862404608 32766 4294967295 134512640 134569956 3221224400 3221214440 1131469378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32766 13073 16 0 210532 0
vsize: 842192
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 94042 76 0 0 25 0 11 0 546705458 862404608 32828 4294967295 134512640 134569956 3221224400 3221214680 1131244573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32828 13073 16 0 210532 0
vsize: 842192
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18075 0 1 0 95002 76 0 0 25 0 11 0 546705458 862404608 32937 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32937 13073 16 0 210532 0
vsize: 842192
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 95971 76 0 0 25 0 11 0 546705458 862404608 32995 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 32995 13073 16 0 210532 0
vsize: 842192
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 96934 76 0 0 25 0 11 0 546705458 862404608 33043 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33043 13073 16 0 210532 0
vsize: 842192
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 97896 76 0 0 25 0 11 0 546705458 862404608 33125 4294967295 134512640 134569956 3221224400 3221214776 1131423951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33125 13073 16 0 210532 0
vsize: 842192
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 98853 76 0 0 25 0 11 0 546705458 862404608 33187 4294967295 134512640 134569956 3221224400 3221214776 1131424244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33187 13073 16 0 210532 0
vsize: 842192
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 99812 77 0 0 25 0 11 0 546705458 862404608 33262 4294967295 134512640 134569956 3221224400 3221214680 1131245804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33262 13073 16 0 210532 0
vsize: 842192
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 100774 77 0 0 25 0 11 0 546705458 862404608 33341 4294967295 134512640 134569956 3221224400 3221214680 1131245606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33341 13073 16 0 210532 0
vsize: 842192
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 101737 77 0 0 25 0 11 0 546705458 862404608 33415 4294967295 134512640 134569956 3221224400 3221214424 1131495917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33415 13073 16 0 210532 0
vsize: 842192
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 102694 78 0 0 25 0 11 0 546705458 862404608 33502 4294967295 134512640 134569956 3221224400 3221214680 1131244588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33502 13073 16 0 210532 0
vsize: 842192
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 103655 78 0 0 25 0 11 0 546705458 862404608 33571 4294967295 134512640 134569956 3221224400 3221214776 1131425234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33571 13073 16 0 210532 0
vsize: 842192
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 104614 78 0 0 25 0 11 0 546705458 862404608 33644 4294967295 134512640 134569956 3221224400 3221214876 1131325491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33644 13073 16 0 210532 0
vsize: 842192
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 105576 79 0 0 25 0 11 0 546705458 862404608 33696 4294967295 134512640 134569956 3221224400 3221214560 1131254653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33696 13073 16 0 210532 0
vsize: 842192
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 106539 79 0 0 25 0 11 0 546705458 862404608 33772 4294967295 134512640 134569956 3221224400 3221214656 1131619763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33772 13073 16 0 210532 0
vsize: 842192
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 107492 79 0 0 25 0 11 0 546705458 862404608 33858 4294967295 134512640 134569956 3221224400 3221214680 1131245410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33858 13073 16 0 210532 0
vsize: 842192
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) S 9230 28099 28098 0 -1 0 18075 0 1 0 108449 79 0 0 25 0 11 0 546705458 862404608 33960 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 33960 13073 16 0 210532 0
vsize: 842192
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 109410 80 0 0 25 0 11 0 546705458 862404608 34040 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34040 13073 16 0 210532 0
vsize: 842192
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 110374 80 0 0 25 0 11 0 546705458 862404608 34133 4294967295 134512640 134569956 3221224400 3221214776 1131425284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34133 13073 16 0 210532 0
vsize: 842192
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 111333 81 0 0 25 0 11 0 546705458 862404608 34168 4294967295 134512640 134569956 3221224400 3221214680 1131245377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 34168 13073 16 0 210532 0
vsize: 842192
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 112290 81 0 0 25 0 11 0 546705458 862404608 34257 4294967295 134512640 134569956 3221224400 3221214776 1131424271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34257 13073 16 0 210532 0
vsize: 842192
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 113252 82 0 0 25 0 11 0 546705458 862404608 34300 4294967295 134512640 134569956 3221224400 3221214552 1131507920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34300 13073 16 0 210532 0
vsize: 842192
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 114214 82 0 0 25 0 11 0 546705458 862404608 34395 4294967295 134512640 134569956 3221224400 3221214736 1131303381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34395 13073 16 0 210532 0
vsize: 842192
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 115168 82 0 0 25 0 11 0 546705458 862404608 34488 4294967295 134512640 134569956 3221224400 3221214400 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34488 13073 16 0 210532 0
vsize: 842192
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 116123 82 0 0 25 0 11 0 546705458 862404608 34543 4294967295 134512640 134569956 3221224400 3221214552 1131507814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34543 13073 16 0 210532 0
vsize: 842192
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 117072 83 0 0 25 0 11 0 546705458 862404608 34640 4294967295 134512640 134569956 3221224400 3221214552 1131509722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34640 13073 16 0 210532 0
vsize: 842192
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 118036 83 0 0 24 0 11 0 546705458 862404608 34785 4294967295 134512640 134569956 3221224400 3221214776 1131424183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210548 34785 13073 16 0 210532 0
vsize: 842192
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 118994 83 0 0 25 0 11 0 546705458 862404608 34868 4294967295 134512640 134569956 3221224400 3221214680 1131245776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34868 13073 16 0 210532 0
vsize: 842192
[startup+1260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9298
Raw data (stat): 9231 (java) R 9230 28099 28098 0 -1 0 18075 0 1 0 119956 84 0 0 25 0 11 0 546705458 862404608 34936 4294967295 134512640 134569956 3221224400 3221214680 1131245149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210548 34936 13073 16 0 210532 0
vsize: 842192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9300
Raw data (stat): 9231 (java) Z 9230 28099 28098 0 -1 1036 18075 22195 1 0 119961 90 6894 61 25 0 1 0 546705458 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.16
CPU time (s): 1270.09
CPU user time (s): 1268.56
CPU system time (s): 1.52677
CPU usage (%): 100.788
Max. virtual memory (Kb): 844336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####