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-msc98-ip.opb
MD5SUM	7d35d9573399ce415b4927ac319735bc
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	7440
Biggest coefficient in the objective function	233453000000000000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	7418790514839784695
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	233453000000000000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	7418790514839784695
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1274.48
Number of variables	33385
Total number of constraints	36969
Number of constraints which are clauses	5133
Number of constraints which are cardinality constraints (but not clauses)	20819
Number of constraints which are nor clauses,nor cardinality constraints	11017
Minimum length of a constraint	1
Maximum length of a constraint	1209
Trace number 18635

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 15:46:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17780 boxname=wulflinc11 idbench=1368 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7d35d9573399ce415b4927ac319735bc  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-msc98-ip.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-msc98-ip.opb
IDLAUNCH: 17780
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        553160 kB
Buffers:         34632 kB
Cached:         425048 kB
SwapCached:          0 kB
Active:         167256 kB
Inactive:       295252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        552908 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13308 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:07:35 (client local time) WITH STATUS 143 IN 1262.11 SECONDS
stats: 17780 7 1262.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-msc98-ip.opb
c reading problem 
c [nbvar=33385]
c [nbconstr=36969]
c time 384.266
c #vars     33385
c #clauses  20948
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.76 0.90 0.91 2/54 5745
Raw data (stat): 5745 (runsolver) R 5744 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488046889 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.0006 s]
Raw data (loadavg): 0.80 0.90 0.91 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 17989 0 1 0 888 39 0 0 25 0 10 0 488046889 854568960 19309 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208635 19309 13073 16 0 208619 0
vsize: 834540
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.94 0.92 4/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18003 0 1 0 1764 40 0 0 25 0 10 0 488046889 860749824 21418 4294967295 134512640 134569956 3221224400 3221214416 1131272108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210144 21418 13073 16 0 210128 0
vsize: 840576
[startup+30.0028 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 2645 40 0 0 25 0 10 0 488046889 859660288 21693 4294967295 134512640 134569956 3221224400 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 21693 13073 16 0 209862 0
vsize: 839512
[startup+40.0059 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 5754
Raw data (stat): 5745 (java) S 5744 32461 32460 0 -1 0 18004 0 1 0 3530 40 0 0 25 0 10 0 488046889 859660288 21968 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 21968 13073 16 0 209862 0
vsize: 839512
[startup+50.0072 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 4445 41 0 0 25 0 10 0 488046889 859660288 22306 4294967295 134512640 134569956 3221224400 3221214228 1130883229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22306 13073 16 0 209862 0
vsize: 839512
[startup+60.0114 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 5754
Raw data (stat): 5745 (java) S 5744 32461 32460 0 -1 0 18004 0 1 0 5357 41 0 0 25 0 10 0 488046889 859660288 22447 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22447 13073 16 0 209862 0
vsize: 839512
[startup+70.0123 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 6280 41 0 0 24 0 10 0 488046889 859660288 22653 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22653 13073 16 0 209862 0
vsize: 839512
[startup+80.0125 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 7212 42 0 0 25 0 10 0 488046889 859660288 22760 4294967295 134512640 134569956 3221224400 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22760 13073 16 0 209862 0
vsize: 839512
[startup+90.0129 s]
Raw data (loadavg): 1.07 0.96 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 8146 42 0 0 25 0 10 0 488046889 859660288 22862 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22862 13073 16 0 209862 0
vsize: 839512
[startup+100.013 s]
Raw data (loadavg): 1.06 0.96 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 9079 43 0 0 25 0 10 0 488046889 859660288 22952 4294967295 134512640 134569956 3221224400 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 22952 13073 16 0 209862 0
vsize: 839512
[startup+110.017 s]
Raw data (loadavg): 1.05 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 10011 44 0 0 25 0 10 0 488046889 859660288 23042 4294967295 134512640 134569956 3221224400 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 23042 13073 16 0 209862 0
vsize: 839512
[startup+120.022 s]
Raw data (loadavg): 1.04 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 10950 44 0 0 25 0 10 0 488046889 859660288 23122 4294967295 134512640 134569956 3221224400 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23122 13073 16 0 209862 0
vsize: 839512
[startup+130.023 s]
Raw data (loadavg): 1.04 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 11894 44 0 0 25 0 10 0 488046889 859660288 23186 4294967295 134512640 134569956 3221224400 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23186 13073 16 0 209862 0
vsize: 839512
[startup+140.024 s]
Raw data (loadavg): 1.03 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 12842 44 0 0 25 0 10 0 488046889 859660288 23246 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23246 13073 16 0 209862 0
vsize: 839512
[startup+150.032 s]
Raw data (loadavg): 1.03 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 13791 44 0 0 25 0 10 0 488046889 859660288 23290 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23290 13073 16 0 209862 0
vsize: 839512
[startup+160.035 s]
Raw data (loadavg): 1.02 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) S 5744 32461 32460 0 -1 0 18004 0 1 0 14735 44 0 0 25 0 10 0 488046889 859660288 23332 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23332 13073 16 0 209862 0
vsize: 839512
[startup+170.035 s]
Raw data (loadavg): 1.02 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 15681 44 0 0 25 0 10 0 488046889 859660288 23373 4294967295 134512640 134569956 3221224400 3221214540 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23373 13073 16 0 209862 0
vsize: 839512
[startup+180.142 s]
Raw data (loadavg): 1.01 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 16638 44 0 0 25 0 10 0 488046889 859660288 23413 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23413 13073 16 0 209862 0
vsize: 839512
[startup+190.143 s]
Raw data (loadavg): 1.01 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 17579 44 0 0 25 0 10 0 488046889 859660288 23451 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23451 13073 16 0 209862 0
vsize: 839512
[startup+200.143 s]
Raw data (loadavg): 1.01 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 18507 45 0 0 25 0 10 0 488046889 859660288 23488 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23488 13073 16 0 209862 0
vsize: 839512
[startup+210.145 s]
Raw data (loadavg): 1.01 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 19440 45 0 0 25 0 10 0 488046889 859660288 23685 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23685 13073 16 0 209862 0
vsize: 839512
[startup+220.145 s]
Raw data (loadavg): 1.01 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 20382 45 0 0 25 0 10 0 488046889 859660288 23721 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23721 13073 16 0 209862 0
vsize: 839512
[startup+230.148 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 21324 45 0 0 25 0 10 0 488046889 859660288 23756 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23756 13073 16 0 209862 0
vsize: 839512
[startup+240.149 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 22265 45 0 0 25 0 10 0 488046889 859660288 23789 4294967295 134512640 134569956 3221224400 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23789 13073 16 0 209862 0
vsize: 839512
[startup+250.15 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 23206 45 0 0 25 0 10 0 488046889 859660288 23823 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23823 13073 16 0 209862 0
vsize: 839512
[startup+260.151 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 24146 45 0 0 25 0 10 0 488046889 859660288 23855 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23855 13073 16 0 209862 0
vsize: 839512
[startup+270.151 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 25085 45 0 0 25 0 10 0 488046889 859660288 23887 4294967295 134512640 134569956 3221224400 3221214136 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23887 13073 16 0 209862 0
vsize: 839512
[startup+280.152 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 26025 45 0 0 25 0 10 0 488046889 859660288 23918 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23918 13073 16 0 209862 0
vsize: 839512
[startup+290.167 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 26964 46 0 0 25 0 10 0 488046889 859660288 23949 4294967295 134512640 134569956 3221224400 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23949 13073 16 0 209862 0
vsize: 839512
[startup+300.184 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 27904 46 0 0 25 0 10 0 488046889 859660288 23979 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 23979 13073 16 0 209862 0
vsize: 839512
[startup+310.226 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 28846 46 0 0 25 0 10 0 488046889 859660288 24009 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 24009 13073 16 0 209862 0
vsize: 839512
[startup+320.364 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 29792 46 0 0 25 0 10 0 488046889 859660288 24040 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 24040 13073 16 0 209862 0
vsize: 839512
[startup+330.375 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 30730 46 0 0 25 0 10 0 488046889 859660288 24070 4294967295 134512640 134569956 3221224400 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 24070 13073 16 0 209862 0
vsize: 839512
[startup+340.518 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 31680 46 0 0 25 0 10 0 488046889 859660288 24098 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 24098 13073 16 0 209862 0
vsize: 839512
[startup+350.57 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 32619 46 0 0 25 0 10 0 488046889 859660288 24126 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 24126 13073 16 0 209862 0
vsize: 839512
[startup+360.609 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 33593 47 0 0 25 0 10 0 488046889 859660288 24507 4294967295 134512640 134569956 3221224400 3221214264 1131272600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 24507 13073 16 0 209862 0
vsize: 839512
[startup+370.61 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18004 0 1 0 34510 48 0 0 25 0 10 0 488046889 859660288 26293 4294967295 134512640 134569956 3221224400 3221214496 1131447150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209878 26293 13073 16 0 209862 0
vsize: 839512
[startup+380.621 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 5754
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18005 0 1 0 35449 49 0 0 25 0 10 0 488046889 859660288 26976 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209878 26976 13073 16 0 209862 0
vsize: 839512
[startup+390.64 s]
Raw data (loadavg): 1.16 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18072 0 1 0 36252 50 0 0 25 0 11 0 488046889 860188672 28687 4294967295 134512640 134569956 3221224400 3221214664 1131624301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 28687 13073 16 0 209991 0
vsize: 840028
[startup+400.64 s]
Raw data (loadavg): 1.13 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 37171 51 0 0 25 0 11 0 488046889 860188672 29821 4294967295 134512640 134569956 3221224400 3221214680 1131372278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 29821 13073 16 0 209991 0
vsize: 840028
[startup+410.671 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 38117 51 0 0 25 0 11 0 488046889 860188672 29821 4294967295 134512640 134569956 3221224400 3221214680 1131372561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 29821 13073 16 0 209991 0
vsize: 840028
[startup+420.701 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 39054 51 0 0 25 0 11 0 488046889 860188672 29821 4294967295 134512640 134569956 3221224400 3221214776 1131475745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 29821 13073 16 0 209991 0
vsize: 840028
[startup+430.714 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 40035 51 0 0 25 0 11 0 488046889 860188672 30076 4294967295 134512640 134569956 3221224400 3221214496 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30076 13073 16 0 209991 0
vsize: 840028
[startup+440.714 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 41013 51 0 0 25 0 11 0 488046889 860188672 30090 4294967295 134512640 134569956 3221224400 3221214808 1131615816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30090 13073 16 0 209991 0
vsize: 840028
[startup+450.718 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 41990 51 0 0 25 0 11 0 488046889 860188672 30101 4294967295 134512640 134569956 3221224400 3221214672 1131512450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30101 13073 16 0 209991 0
vsize: 840028
[startup+460.726 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 42959 51 0 0 25 0 11 0 488046889 860188672 30107 4294967295 134512640 134569956 3221224400 3221214712 1131372278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30107 13073 16 0 209991 0
vsize: 840028
[startup+470.727 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 43916 51 0 0 25 0 11 0 488046889 860188672 30233 4294967295 134512640 134569956 3221224400 3221213896 1078831329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30233 13073 16 0 209991 0
vsize: 840028
[startup+480.74 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) S 5744 32461 32460 0 -1 0 18073 0 1 0 44881 51 0 0 25 0 11 0 488046889 860188672 30257 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30257 13073 16 0 209991 0
vsize: 840028
[startup+490.862 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 45849 51 0 0 25 0 11 0 488046889 860188672 30382 4294967295 134512640 134569956 3221224400 3221214856 1131464418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30382 13073 16 0 209991 0
vsize: 840028
[startup+500.863 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 46811 51 0 0 25 0 11 0 488046889 860188672 30403 4294967295 134512640 134569956 3221224400 3221214744 1131543426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30403 13073 16 0 209991 0
vsize: 840028
[startup+510.871 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 47766 51 0 0 25 0 11 0 488046889 860188672 30528 4294967295 134512640 134569956 3221224400 3221214744 1131544740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30528 13073 16 0 209991 0
vsize: 840028
[startup+520.875 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 48732 51 0 0 25 0 11 0 488046889 860188672 30585 4294967295 134512640 134569956 3221224400 3221214856 1131464193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30585 13073 16 0 209991 0
vsize: 840028
[startup+530.879 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 49707 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214744 1131544807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+540.88 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 50704 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214672 1131512041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+550.88 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 51700 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214668 1131508716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+560.881 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 52696 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214672 1131512617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+570.882 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 53692 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214696 1131531907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+580.882 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 54688 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+590.882 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 55684 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214672 1131512060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+600.884 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 56680 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214856 1131464236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+610.884 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 57676 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214732 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+620.885 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 58673 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214672 1131511658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+630.886 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 59661 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214680 1131373053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+640.886 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 60628 52 0 0 25 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214680 1131372609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+650.886 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 61593 53 0 0 24 0 11 0 488046889 860188672 30742 4294967295 134512640 134569956 3221224400 3221214856 1131464244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30742 13073 16 0 209991 0
vsize: 840028
[startup+660.887 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 62571 53 0 0 25 0 11 0 488046889 860188672 30893 4294967295 134512640 134569956 3221224400 3221214856 1131464255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30893 13073 16 0 209991 0
vsize: 840028
[startup+670.888 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 63563 53 0 0 25 0 11 0 488046889 860188672 30896 4294967295 134512640 134569956 3221224400 3221214720 1131525646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30896 13073 16 0 209991 0
vsize: 840028
[startup+680.887 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 64558 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214684 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+690.888 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 65554 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214760 1131372609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+700.889 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 66550 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214760 1131372835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+710.89 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 67546 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214760 1131372640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+720.891 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 68541 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214808 1131615490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+730.891 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 69523 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214616 1131508970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+740.892 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 70503 53 0 0 25 0 11 0 488046889 860188672 30903 4294967295 134512640 134569956 3221224400 3221214744 1131542929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30903 13073 16 0 209991 0
vsize: 840028
[startup+750.892 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 71490 54 0 0 25 0 11 0 488046889 860188672 30927 4294967295 134512640 134569956 3221224400 3221214672 1131514241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30927 13073 16 0 209991 0
vsize: 840028
[startup+760.893 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 72485 54 0 0 25 0 11 0 488046889 860188672 30961 4294967295 134512640 134569956 3221224400 3221214856 1131464224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30961 13073 16 0 209991 0
vsize: 840028
[startup+770.894 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 73476 54 0 0 25 0 11 0 488046889 860188672 30961 4294967295 134512640 134569956 3221224400 3221214752 1131256546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30961 13073 16 0 209991 0
vsize: 840028
[startup+780.894 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 74461 54 0 0 25 0 11 0 488046889 860188672 30961 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30961 13073 16 0 209991 0
vsize: 840028
[startup+790.894 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 5755
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 75444 54 0 0 25 0 11 0 488046889 860188672 30961 4294967295 134512640 134569956 3221224400 3221214112 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 30961 13073 16 0 209991 0
vsize: 840028
[startup+800.895 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5756
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 76428 56 0 0 25 0 11 0 488046889 860188672 31063 4294967295 134512640 134569956 3221224400 3221214720 1131525646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 31063 13073 16 0 209991 0
vsize: 840028
[startup+810.896 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 77402 71 0 0 25 0 11 0 488046889 860188672 31063 4294967295 134512640 134569956 3221224400 3221214680 1131373398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31063 13073 16 0 209991 0
vsize: 840028
[startup+820.896 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 78371 71 0 0 25 0 11 0 488046889 860188672 31063 4294967295 134512640 134569956 3221224400 3221214744 1131545298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31063 13073 16 0 209991 0
vsize: 840028
[startup+830.897 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 79338 72 0 0 25 0 11 0 488046889 860188672 31063 4294967295 134512640 134569956 3221224400 3221214744 1131544103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31063 13073 16 0 209991 0
vsize: 840028
[startup+840.897 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 80309 72 0 0 25 0 11 0 488046889 860188672 31094 4294967295 134512640 134569956 3221224400 3221214616 1131508782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31094 13073 16 0 209991 0
vsize: 840028
[startup+850.898 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 81301 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214744 1131543445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+860.899 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 82297 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+870.899 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5808
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 83294 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214720 1131525638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+880.899 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 84281 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214656 1131504789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+890.899 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 85245 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214744 1131544103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+900.899 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 86213 72 0 0 25 0 11 0 488046889 860188672 31236 4294967295 134512640 134569956 3221224400 3221214696 1131494351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31236 13073 16 0 209991 0
vsize: 840028
[startup+910.9 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 87187 72 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214672 1131512569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+920.9 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 88183 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214540 1131530355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+930.9 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 89179 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214856 1131464244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+940.901 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 90175 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214736 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+950.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 91171 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214744 1131543984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+960.901 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 92167 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214744 1131543984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+970.901 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 93164 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214672 1131512455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+980.901 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 94160 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214740 1131502579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+990.901 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 95156 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214684 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1000.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 96152 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214740 1131514379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1010.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 97148 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214656 1131504792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1020.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 98144 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1030.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 99141 73 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1040.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 100137 74 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214856 1131464232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1050.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 101133 74 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214668 1131573587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1060.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 102122 74 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214544 1131499208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1070.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 103087 74 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214744 1131545460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1080.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 104055 74 0 0 25 0 11 0 488046889 860188672 31427 4294967295 134512640 134569956 3221224400 3221214544 1131573643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31427 13073 16 0 209991 0
vsize: 840028
[startup+1090.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 105028 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214688 1131205840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1100.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 106025 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214160 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1110.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 107021 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214720 1131645716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1120.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 108017 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214672 1131512084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1130.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5810
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 109002 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214696 1131531907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1140.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 109970 74 0 0 25 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214704 1131502517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1150.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 110938 74 0 0 24 0 11 0 488046889 860188672 31606 4294967295 134512640 134569956 3221224400 3221214544 1131573635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31606 13073 16 0 209991 0
vsize: 840028
[startup+1160.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 111920 74 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214672 1131514122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1170.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 112915 75 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214684 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1180.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 113911 75 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214544 1131576407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1190.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 114906 75 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214672 1131512130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1200.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 115901 76 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214672 1131512847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1210.9 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 116875 76 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214680 1131372204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1220.91 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 117836 76 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221214544 1131499311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1230.91 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) S 5744 32461 32460 0 -1 0 18073 0 1 0 118784 76 0 0 25 0 11 0 488046889 860188672 31761 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31761 13073 16 0 209991 0
vsize: 840028
[startup+1240.91 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 119745 76 0 0 25 0 11 0 488046889 860188672 31944 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 31944 13073 16 0 209991 0
vsize: 840028
[startup+1250.91 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5812
Raw data (stat): 5745 (java) R 5744 32461 32460 0 -1 0 18073 0 1 0 120714 76 0 0 25 0 11 0 488046889 860188672 32078 4294967295 134512640 134569956 3221224400 3221214672 1131511982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210007 32078 13073 16 0 209991 0
vsize: 840028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1251.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 5814
Raw data (stat): 5745 (java) Z 5744 32461 32460 0 -1 1036 18073 17518 1 0 120718 82 5353 54 25 0 1 0 488046889 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): 1251.02
CPU time (s): 1262.11
CPU user time (s): 1260.73
CPU system time (s): 1.37679
CPU usage (%): 100.886
Max. virtual memory (Kb): 840576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####