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/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
MD5SUM	04162d5197113d66489e9d95b6572385
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	41
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	134
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	20.7588
Number of variables	20605
Total number of constraints	59851
Number of constraints which are clauses	58675
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1176
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4476

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 17:38:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2799 boxname=wulflinc23 idbench=311 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  04162d5197113d66489e9d95b6572385  /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.tag12.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.tag12.ucl.opb
IDLAUNCH: 2799
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        914332 kB
Buffers:         32960 kB
Cached:          44164 kB
SwapCached:        192 kB
Active:          42840 kB
Inactive:        37376 kB
HighTotal:      131008 kB
HighFree:        82936 kB
LowTotal:       903652 kB
LowFree:        831396 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34508 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:59:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2799 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.tag12.ucl.opb
c reading problem 
c [nbvar=20605]
c [nbconstr=59851]
c time 201.168
c #vars     20605
c #clauses  59851
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.92 0.98 0.97 2/54 4038
Raw data (stat): 4038 (runsolver) R 4037 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477812351 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 794 44 0 0 25 0 10 0 477812351 855453696 20909 4294967295 134512640 134569956 3221224416 3221214408 1131148761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208851 20909 13073 16 0 208835 0
vsize: 835404
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 1669 44 0 0 25 0 10 0 477812351 855265280 21390 4294967295 134512640 134569956 3221224416 3221214624 1131247013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21390 13073 16 0 208789 0
vsize: 835220
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 2529 44 0 0 25 0 10 0 477812351 855265280 21973 4294967295 134512640 134569956 3221224416 3221214584 1131148687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 21973 13073 16 0 208789 0
vsize: 835220
[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 3391 44 0 0 18 0 10 0 477812351 855265280 22348 4294967295 134512640 134569956 3221224416 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22348 13073 16 0 208789 0
vsize: 835220
[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) S 4037 3260 3259 0 -1 0 18010 0 1 0 4254 45 0 0 22 0 10 0 477812351 855265280 22739 4294967295 134512640 134569956 3221224416 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208805 22739 13073 16 0 208789 0
vsize: 835220
[startup+60.0083 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 5128 45 0 0 22 0 10 0 477812351 855265280 23051 4294967295 134512640 134569956 3221224416 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 23051 13073 16 0 208789 0
vsize: 835220
[startup+70.0085 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 5991 46 0 0 19 0 10 0 477812351 855265280 23334 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 23334 13073 16 0 208789 0
vsize: 835220
[startup+80.0097 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 6853 46 0 0 18 0 10 0 477812351 855265280 23730 4294967295 134512640 134569956 3221224416 3221214824 1131289345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 23730 13073 16 0 208789 0
vsize: 835220
[startup+90.0103 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 7719 47 0 0 17 0 10 0 477812351 855265280 23987 4294967295 134512640 134569956 3221224416 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 23987 13073 16 0 208789 0
vsize: 835220
[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 8590 47 0 0 16 0 10 0 477812351 855265280 24209 4294967295 134512640 134569956 3221224416 3221214584 1131148840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 24209 13073 16 0 208789 0
vsize: 835220
[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 9465 47 0 0 15 0 10 0 477812351 855265280 24514 4294967295 134512640 134569956 3221224416 3221214584 1131148720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 24514 13073 16 0 208789 0
vsize: 835220
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 10344 48 0 0 16 0 10 0 477812351 855265280 24751 4294967295 134512640 134569956 3221224416 3221214584 1131148840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 24751 13073 16 0 208789 0
vsize: 835220
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 11228 48 0 0 17 0 10 0 477812351 855265280 24981 4294967295 134512640 134569956 3221224416 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 24981 13073 16 0 208789 0
vsize: 835220
[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) S 4037 3260 3259 0 -1 0 18010 0 1 0 12115 49 0 0 16 0 10 0 477812351 855265280 25202 4294967295 134512640 134569956 3221224416 3221213784 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25202 13073 16 0 208789 0
vsize: 835220
[startup+150.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 12990 49 0 0 16 0 10 0 477812351 855265280 25420 4294967295 134512640 134569956 3221224416 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25420 13073 16 0 208789 0
vsize: 835220
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 13872 50 0 0 16 0 10 0 477812351 855265280 25605 4294967295 134512640 134569956 3221224416 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25605 13073 16 0 208789 0
vsize: 835220
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 14746 50 0 0 16 0 10 0 477812351 855265280 25810 4294967295 134512640 134569956 3221224416 3221214764 1131213319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 25810 13073 16 0 208789 0
vsize: 835220
[startup+180.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 15640 51 0 0 16 0 10 0 477812351 855265280 26087 4294967295 134512640 134569956 3221224416 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 26087 13073 16 0 208789 0
vsize: 835220
[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 16530 51 0 0 16 0 10 0 477812351 855265280 26274 4294967295 134512640 134569956 3221224416 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 26274 13073 16 0 208789 0
vsize: 835220
[startup+200.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 4047
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18010 0 1 0 17422 52 0 0 16 0 10 0 477812351 855265280 26455 4294967295 134512640 134569956 3221224416 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208805 26455 13073 16 0 208789 0
vsize: 835220
[startup+210.025 s]
Raw data (loadavg): 1.07 1.00 0.98 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 18353 53 0 0 25 0 11 0 477812351 865071104 29084 4294967295 134512640 134569956 3221224416 3221214864 1131378720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211199 29084 13073 16 0 211183 0
vsize: 844796
[startup+220.025 s]
Raw data (loadavg): 1.06 1.00 0.98 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 19349 53 0 0 25 0 11 0 477812351 861822976 28295 4294967295 134512640 134569956 3221224416 3221214864 1131378704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 28295 13073 16 0 210390 0
vsize: 841624
[startup+230.026 s]
Raw data (loadavg): 1.05 1.00 0.98 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 20346 54 0 0 25 0 11 0 477812351 861822976 28296 4294967295 134512640 134569956 3221224416 3221214864 1131378996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 28296 13073 16 0 210390 0
vsize: 841624
[startup+240.031 s]
Raw data (loadavg): 1.12 1.02 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 21316 54 0 0 16 0 11 0 477812351 861822976 28999 4294967295 134512640 134569956 3221224416 3221214864 1131379016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210406 28999 13073 16 0 210390 0
vsize: 841624
[startup+250.031 s]
Raw data (loadavg): 1.10 1.02 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 22316 54 0 0 25 0 11 0 477812351 861822976 28999 4294967295 134512640 134569956 3221224416 3221214792 1131378891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 28999 13073 16 0 210390 0
vsize: 841624
[startup+260.032 s]
Raw data (loadavg): 1.08 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 23315 54 0 0 25 0 11 0 477812351 861822976 28999 4294967295 134512640 134569956 3221224416 3221214864 1131379154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 28999 13073 16 0 210390 0
vsize: 841624
[startup+270.038 s]
Raw data (loadavg): 1.07 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) S 4037 3260 3259 0 -1 0 18114 0 1 0 24309 54 0 0 25 0 11 0 477812351 861822976 29036 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29036 13073 16 0 210390 0
vsize: 841624
[startup+280.038 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 25291 54 0 0 25 0 11 0 477812351 861822976 29510 4294967295 134512640 134569956 3221224416 3221214792 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29510 13073 16 0 210390 0
vsize: 841624
[startup+290.038 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 26291 54 0 0 25 0 11 0 477812351 861822976 29510 4294967295 134512640 134569956 3221224416 3221214792 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29510 13073 16 0 210390 0
vsize: 841624
[startup+300.038 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 27291 54 0 0 25 0 11 0 477812351 861822976 29510 4294967295 134512640 134569956 3221224416 3221214792 1131379154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29510 13073 16 0 210390 0
vsize: 841624
[startup+310.038 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 28271 54 0 0 17 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214568 1131407857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+320.038 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 29271 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+330.039 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 30271 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+340.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 31271 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+350.039 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 32272 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+360.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 33250 54 0 0 22 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+370.039 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 34250 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214864 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+380.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 35250 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+390.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 36249 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214952 1130919099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+400.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 37223 54 0 0 16 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131378998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 38223 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+420.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 39223 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 40223 54 0 0 25 0 11 0 477812351 861822976 29514 4294967295 134512640 134569956 3221224416 3221214792 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210406 29514 13073 16 0 210390 0
vsize: 841624
[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 41223 54 0 0 25 0 11 0 477812351 864354304 30125 4294967295 134512640 134569956 3221224416 3221214864 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30125 13073 16 0 211008 0
vsize: 844096
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 42196 54 0 0 25 0 11 0 477812351 864354304 30274 4294967295 134512640 134569956 3221224416 3221214792 1131378883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30274 13073 16 0 211008 0
vsize: 844096
[startup+460.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 43196 54 0 0 25 0 11 0 477812351 864354304 30274 4294967295 134512640 134569956 3221224416 3221214856 1131378900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30274 13073 16 0 211008 0
vsize: 844096
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 44195 54 0 0 25 0 11 0 477812351 864354304 30274 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30274 13073 16 0 211008 0
vsize: 844096
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 45195 54 0 0 25 0 11 0 477812351 864354304 30274 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30274 13073 16 0 211008 0
vsize: 844096
[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) S 4037 3260 3259 0 -1 0 18114 0 1 0 46170 54 0 0 25 0 11 0 477812351 864354304 30468 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30468 13073 16 0 211008 0
vsize: 844096
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 47170 54 0 0 25 0 11 0 477812351 864354304 30472 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30472 13073 16 0 211008 0
vsize: 844096
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 48170 54 0 0 25 0 11 0 477812351 864354304 30472 4294967295 134512640 134569956 3221224416 3221214856 1131379004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30472 13073 16 0 211008 0
vsize: 844096
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 49170 54 0 0 25 0 11 0 477812351 864354304 30472 4294967295 134512640 134569956 3221224416 3221214840 1131413862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30472 13073 16 0 211008 0
vsize: 844096
[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 50171 54 0 0 25 0 11 0 477812351 864354304 30472 4294967295 134512640 134569956 3221224416 3221214856 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211024 30472 13073 16 0 211008 0
vsize: 844096
[startup+540.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18114 0 1 0 51149 54 0 0 25 0 11 0 477812351 862601216 30055 4294967295 134512640 134569956 3221224416 3221214856 1131379146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210596 30055 13073 16 0 210580 0
vsize: 842384
[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.99 3/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 52149 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 53149 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 54149 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 55126 55 0 0 17 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 56127 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 57127 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 58127 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214696 1131518768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 59127 55 0 0 25 0 11 0 477812351 862601216 30056 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30056 13073 16 0 210580 0
vsize: 842384
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 60104 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 61103 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 62103 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 63103 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 64086 55 0 0 19 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+680.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 65086 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131379154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 66086 55 0 0 25 0 11 0 477812351 862601216 30307 4294967295 134512640 134569956 3221224416 3221214856 1131378730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30307 13073 16 0 210580 0
vsize: 842384
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 67086 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+710.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 68086 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 69068 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 70068 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 71068 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 72068 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 73051 55 0 0 20 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 74051 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 75051 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 76051 55 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 77033 55 0 0 16 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 78033 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 79033 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 80033 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 81033 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 82014 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 83014 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 84015 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131378712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 85015 56 0 0 25 0 11 0 477812351 862601216 30311 4294967295 134512640 134569956 3221224416 3221214856 1131379004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30311 13073 16 0 210580 0
vsize: 842384
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 85997 56 0 0 25 0 11 0 477812351 862601216 30455 4294967295 134512640 134569956 3221224416 3221214856 1131378900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30455 13073 16 0 210580 0
vsize: 842384
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 86997 56 0 0 25 0 11 0 477812351 862601216 30455 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30455 13073 16 0 210580 0
vsize: 842384
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 87997 56 0 0 25 0 11 0 477812351 862601216 30455 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30455 13073 16 0 210580 0
vsize: 842384
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 88997 56 0 0 25 0 11 0 477812351 862601216 30455 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30455 13073 16 0 210580 0
vsize: 842384
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 89997 56 0 0 25 0 11 0 477812351 862601216 30455 4294967295 134512640 134569956 3221224416 3221214856 1131379004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 30455 13073 16 0 210580 0
vsize: 842384
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 90979 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 91980 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 92980 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 93980 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 94971 56 0 0 19 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214752 1131389894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 95971 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 96971 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 97971 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 98962 56 0 0 17 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 99962 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 100962 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 101962 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 102963 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 103953 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 104953 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 105953 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 106953 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 107944 56 0 0 17 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 108944 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 109944 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 110944 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214692 1131416947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 111928 56 0 0 17 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 112928 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 113929 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 114929 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 115910 56 0 0 16 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18115 0 1 0 116910 56 0 0 25 0 11 0 477812351 862601216 31113 4294967295 134512640 134569956 3221224416 3221214856 1131378720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31113 13073 16 0 210580 0
vsize: 842384
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18116 0 1 0 117910 56 0 0 25 0 11 0 477812351 862601216 31114 4294967295 134512640 134569956 3221224416 3221214856 1131379022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31114 13073 16 0 210580 0
vsize: 842384
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18116 0 1 0 118910 56 0 0 25 0 11 0 477812351 862601216 31114 4294967295 134512640 134569956 3221224416 3221214856 1131379016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31114 13073 16 0 210580 0
vsize: 842384
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18116 0 1 0 119892 56 0 0 17 0 11 0 477812351 862601216 31114 4294967295 134512640 134569956 3221224416 3221214856 1131379019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31114 13073 16 0 210580 0
vsize: 842384
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 4048
Raw data (stat): 4038 (java) R 4037 3260 3259 0 -1 0 18116 0 1 0 120892 57 0 0 25 0 11 0 477812351 862601216 31114 4294967295 134512640 134569956 3221224416 3221214856 1131379004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210596 31114 13073 16 0 210580 0
vsize: 842384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 4050
Raw data (stat): 4038 (java) Z 4037 3260 3259 0 -1 1036 18116 10668 1 0 120896 57 2905 24 25 0 1 0 477812351 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): 1240.18
CPU time (s): 1238.84
CPU user time (s): 1238.03
CPU system time (s): 0.815875
CPU usage (%): 99.8921
Max. virtual memory (Kb): 844796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####