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/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 4209

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-13 15:53:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=342 boxname=wulflinc12 idbench=38 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc12/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 342
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        938020 kB
Buffers:         33948 kB
Cached:          43420 kB
SwapCached:         16 kB
Active:          52920 kB
Inactive:        27280 kB
HighTotal:      131008 kB
HighFree:        83244 kB
LowTotal:       903652 kB
LowFree:        854776 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            10920 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:18 (client local time) WITH STATUS 143 IN  SECONDS
stats: 342 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-fpga15_14_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=315]
c [nbconstr=253]
c time 1.075
c #vars     315
c #clauses  253
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.71 0.21 0.07 2/54 25431
Raw data (stat): 25431 (runsolver) R 25430 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418956465 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.06 0.30 0.10 4/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 10420 0 1 0 630 26 0 0 25 0 11 0 418956465 876232704 15797 4294967295 134512640 134569956 3221224400 3221214412 1130898776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213924 15797 13073 16 0 213908 0
vsize: 855696
[startup+20.0017 s]
Raw data (loadavg): 1.28 0.37 0.13 3/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18111 0 1 0 1163 47 0 0 25 0 11 0 418956465 876306432 24304 4294967295 134512640 134569956 3221224400 3221214752 1131404506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213942 24304 13073 16 0 213926 0
vsize: 855768
[startup+30.0018 s]
Raw data (loadavg): 1.24 0.39 0.13 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18111 0 1 0 2037 48 0 0 25 0 11 0 418956465 873951232 24620 4294967295 134512640 134569956 3221224400 3221214332 1131705867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 24620 13073 16 0 213351 0
vsize: 853468
[startup+40.0022 s]
Raw data (loadavg): 1.27 0.43 0.15 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18111 0 1 0 2991 48 0 0 25 0 11 0 418956465 873951232 25101 4294967295 134512640 134569956 3221224400 3221214560 1131907717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 25101 13073 16 0 213351 0
vsize: 853468
[startup+50.0071 s]
Raw data (loadavg): 1.23 0.45 0.16 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18111 0 1 0 3929 48 0 0 24 0 11 0 418956465 873951232 25612 4294967295 134512640 134569956 3221224400 3221214752 1131397738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 25612 13073 16 0 213351 0
vsize: 853468
[startup+60.0083 s]
Raw data (loadavg): 1.20 0.46 0.17 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 4885 48 0 0 25 0 11 0 418956465 873951232 25897 4294967295 134512640 134569956 3221224400 3221214672 1131189834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 25897 13073 16 0 213351 0
vsize: 853468
[startup+70.0087 s]
Raw data (loadavg): 1.16 0.48 0.17 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 5834 48 0 0 25 0 11 0 418956465 873951232 26133 4294967295 134512640 134569956 3221224400 3221214684 1131189427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 26133 13073 16 0 213351 0
vsize: 853468
[startup+80.0084 s]
Raw data (loadavg): 1.14 0.50 0.18 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 6784 48 0 0 25 0 11 0 418956465 873951232 26329 4294967295 134512640 134569956 3221224400 3221214512 1131905234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 26329 13073 16 0 213351 0
vsize: 853468
[startup+90.0087 s]
Raw data (loadavg): 1.12 0.51 0.19 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 7733 48 0 0 25 0 11 0 418956465 873951232 26496 4294967295 134512640 134569956 3221224400 3221214768 1131219768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 26496 13073 16 0 213351 0
vsize: 853468
[startup+100.008 s]
Raw data (loadavg): 1.10 0.53 0.20 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 8682 49 0 0 25 0 11 0 418956465 873951232 26630 4294967295 134512640 134569956 3221224400 3221214680 1131404805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 26630 13073 16 0 213351 0
vsize: 853468
[startup+110.009 s]
Raw data (loadavg): 1.08 0.54 0.21 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 9649 49 0 0 25 0 11 0 418956465 873951232 26812 4294967295 134512640 134569956 3221224400 3221214192 1085679379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 26812 13073 16 0 213351 0
vsize: 853468
[startup+120.01 s]
Raw data (loadavg): 1.07 0.56 0.21 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 10589 49 0 0 25 0 11 0 418956465 873951232 26995 4294967295 134512640 134569956 3221224400 3221214656 1131903401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 26995 13073 16 0 213351 0
vsize: 853468
[startup+130.009 s]
Raw data (loadavg): 1.06 0.57 0.22 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 11547 49 0 0 25 0 11 0 418956465 873951232 27149 4294967295 134512640 134569956 3221224400 3221214648 1131189966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 27149 13073 16 0 213351 0
vsize: 853468
[startup+140.009 s]
Raw data (loadavg): 1.05 0.59 0.23 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 12494 50 0 0 25 0 11 0 418956465 873951232 27319 4294967295 134512640 134569956 3221224400 3221214320 1131705047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 27319 13073 16 0 213351 0
vsize: 853468
[startup+150.011 s]
Raw data (loadavg): 1.04 0.60 0.24 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 13429 50 0 0 25 0 11 0 418956465 873951232 27564 4294967295 134512640 134569956 3221224400 3221214744 1131404506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 27564 13073 16 0 213351 0
vsize: 853468
[startup+160.011 s]
Raw data (loadavg): 1.03 0.61 0.25 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 14364 50 0 0 25 0 11 0 418956465 873951232 27774 4294967295 134512640 134569956 3221224400 3221214744 1131402474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 27774 13073 16 0 213351 0
vsize: 853468
[startup+170.012 s]
Raw data (loadavg): 1.03 0.62 0.25 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 15302 50 0 0 25 0 11 0 418956465 873951232 27982 4294967295 134512640 134569956 3221224400 3221214732 1080203678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 27982 13073 16 0 213351 0
vsize: 853468
[startup+180.012 s]
Raw data (loadavg): 1.02 0.64 0.26 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 16251 51 0 0 25 0 11 0 418956465 873951232 28111 4294967295 134512640 134569956 3221224400 3221214504 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28111 13073 16 0 213351 0
vsize: 853468
[startup+190.012 s]
Raw data (loadavg): 1.02 0.65 0.27 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 17209 51 0 0 25 0 11 0 418956465 873951232 28203 4294967295 134512640 134569956 3221224400 3221214744 1131219768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28203 13073 16 0 213351 0
vsize: 853468
[startup+200.012 s]
Raw data (loadavg): 1.02 0.66 0.28 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 18166 51 0 0 25 0 11 0 418956465 873951232 28295 4294967295 134512640 134569956 3221224400 3221214640 1131815623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28295 13073 16 0 213351 0
vsize: 853468
[startup+210.013 s]
Raw data (loadavg): 1.01 0.67 0.28 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 19135 51 0 0 25 0 11 0 418956465 873951232 28376 4294967295 134512640 134569956 3221224400 3221214144 1131705873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28376 13073 16 0 213351 0
vsize: 853468
[startup+220.014 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 20091 51 0 0 25 0 11 0 418956465 873951232 28515 4294967295 134512640 134569956 3221224400 3221214556 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28515 13073 16 0 213351 0
vsize: 853468
[startup+230.014 s]
Raw data (loadavg): 1.01 0.69 0.30 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 21026 51 0 0 25 0 11 0 418956465 873951232 28767 4294967295 134512640 134569956 3221224400 3221214736 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28767 13073 16 0 213351 0
vsize: 853468
[startup+240.015 s]
Raw data (loadavg): 1.08 0.72 0.31 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 21971 52 0 0 25 0 11 0 418956465 873951232 28974 4294967295 134512640 134569956 3221224400 3221214552 1131479460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 28974 13073 16 0 213351 0
vsize: 853468
[startup+250.015 s]
Raw data (loadavg): 1.07 0.72 0.32 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 22928 52 0 0 25 0 11 0 418956465 873951232 29094 4294967295 134512640 134569956 3221224400 3221214552 1131908684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 29094 13073 16 0 213351 0
vsize: 853468
[startup+260.016 s]
Raw data (loadavg): 1.06 0.73 0.32 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 23873 52 0 0 25 0 11 0 418956465 873951232 29343 4294967295 134512640 134569956 3221224400 3221214552 1131908665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 29343 13073 16 0 213351 0
vsize: 853468
[startup+270.017 s]
Raw data (loadavg): 1.05 0.74 0.33 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 24819 52 0 0 25 0 11 0 418956465 873951232 29537 4294967295 134512640 134569956 3221224400 3221214320 1131705848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 29537 13073 16 0 213351 0
vsize: 853468
[startup+280.017 s]
Raw data (loadavg): 1.04 0.75 0.34 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 25763 53 0 0 25 0 11 0 418956465 873951232 29768 4294967295 134512640 134569956 3221224400 3221214744 1131397564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 29768 13073 16 0 213351 0
vsize: 853468
[startup+290.017 s]
Raw data (loadavg): 1.03 0.76 0.34 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 26709 53 0 0 25 0 11 0 418956465 873951232 29937 4294967295 134512640 134569956 3221224400 3221214640 1131814780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 29937 13073 16 0 213351 0
vsize: 853468
[startup+300.017 s]
Raw data (loadavg): 1.03 0.77 0.35 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 27676 53 0 0 25 0 11 0 418956465 873951232 30015 4294967295 134512640 134569956 3221224400 3221214928 1131699380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 30015 13073 16 0 213351 0
vsize: 853468
[startup+310.018 s]
Raw data (loadavg): 1.02 0.77 0.36 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 28645 53 0 0 25 0 11 0 418956465 873951232 30101 4294967295 134512640 134569956 3221224400 3221214752 1131247340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30101 13073 16 0 213351 0
vsize: 853468
[startup+320.018 s]
Raw data (loadavg): 1.02 0.78 0.36 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 29602 54 0 0 25 0 11 0 418956465 873951232 30202 4294967295 134512640 134569956 3221224400 3221214192 1131704103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30202 13073 16 0 213351 0
vsize: 853468
[startup+330.019 s]
Raw data (loadavg): 1.02 0.79 0.37 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 30549 54 0 0 25 0 11 0 418956465 873951232 30318 4294967295 134512640 134569956 3221224400 3221214648 1131190005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30318 13073 16 0 213351 0
vsize: 853468
[startup+340.018 s]
Raw data (loadavg): 1.01 0.79 0.38 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 31507 54 0 0 25 0 11 0 418956465 873951232 30443 4294967295 134512640 134569956 3221224400 3221214648 1131189551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30443 13073 16 0 213351 0
vsize: 853468
[startup+350.018 s]
Raw data (loadavg): 1.01 0.80 0.38 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 32455 55 0 0 25 0 11 0 418956465 873951232 30593 4294967295 134512640 134569956 3221224400 3221214584 1131190370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30593 13073 16 0 213351 0
vsize: 853468
[startup+360.019 s]
Raw data (loadavg): 1.01 0.80 0.39 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 33405 55 0 0 25 0 11 0 418956465 873951232 30756 4294967295 134512640 134569956 3221224400 3221214640 1131804595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 30756 13073 16 0 213351 0
vsize: 853468
[startup+370.019 s]
Raw data (loadavg): 1.01 0.81 0.39 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 34358 56 0 0 25 0 11 0 418956465 873951232 30915 4294967295 134512640 134569956 3221224400 3221214744 1131219581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 30915 13073 16 0 213351 0
vsize: 853468
[startup+380.019 s]
Raw data (loadavg): 1.00 0.82 0.40 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 35302 56 0 0 25 0 11 0 418956465 873951232 31052 4294967295 134512640 134569956 3221224400 3221214744 1131219761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31052 13073 16 0 213351 0
vsize: 853468
[startup+390.019 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 36258 57 0 0 25 0 11 0 418956465 873951232 31183 4294967295 134512640 134569956 3221224400 3221214744 1131399167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31183 13073 16 0 213351 0
vsize: 853468
[startup+400.02 s]
Raw data (loadavg): 1.00 0.83 0.41 2/64 25441
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 37215 57 0 0 25 0 11 0 418956465 873951232 31329 4294967295 134512640 134569956 3221224400 3221214648 1131189557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31329 13073 16 0 213351 0
vsize: 853468
[startup+410.022 s]
Raw data (loadavg): 1.08 0.85 0.42 3/67 25481
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 38182 58 0 0 25 0 11 0 418956465 873951232 31442 4294967295 134512640 134569956 3221224400 3221214552 1131304330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 31442 13073 16 0 213351 0
vsize: 853468
[startup+420.022 s]
Raw data (loadavg): 1.14 0.87 0.43 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 39149 58 0 0 25 0 11 0 418956465 873951232 31526 4294967295 134512640 134569956 3221224400 3221214648 1131189879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31526 13073 16 0 213351 0
vsize: 853468
[startup+430.023 s]
Raw data (loadavg): 1.12 0.87 0.44 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 40117 59 0 0 25 0 11 0 418956465 873951232 31618 4294967295 134512640 134569956 3221224400 3221214640 1131802495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31618 13073 16 0 213351 0
vsize: 853468
[startup+440.024 s]
Raw data (loadavg): 1.10 0.88 0.45 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 41084 59 0 0 25 0 11 0 418956465 873951232 31715 4294967295 134512640 134569956 3221224400 3221214744 1131221813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31715 13073 16 0 213351 0
vsize: 853468
[startup+450.025 s]
Raw data (loadavg): 1.08 0.88 0.45 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 42051 59 0 0 25 0 11 0 418956465 873951232 31797 4294967295 134512640 134569956 3221224400 3221214588 1131705872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31797 13073 16 0 213351 0
vsize: 853468
[startup+460.025 s]
Raw data (loadavg): 1.07 0.89 0.46 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 43017 59 0 0 25 0 11 0 418956465 873951232 31866 4294967295 134512640 134569956 3221224400 3221214744 1131220854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31866 13073 16 0 213351 0
vsize: 853468
[startup+470.026 s]
Raw data (loadavg): 1.06 0.89 0.46 2/64 25494
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 43975 59 0 0 25 0 11 0 418956465 873951232 31966 4294967295 134512640 134569956 3221224400 3221213920 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 31966 13073 16 0 213351 0
vsize: 853468
[startup+480.025 s]
Raw data (loadavg): 1.05 0.89 0.47 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 44940 60 0 0 25 0 11 0 418956465 873951232 32044 4294967295 134512640 134569956 3221224400 3221214452 1131705872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 32044 13073 16 0 213351 0
vsize: 853468
[startup+490.026 s]
Raw data (loadavg): 1.04 0.89 0.47 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 45913 60 0 0 25 0 11 0 418956465 873951232 32083 4294967295 134512640 134569956 3221224400 3221214504 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32083 13073 16 0 213351 0
vsize: 853468
[startup+500.027 s]
Raw data (loadavg): 1.04 0.90 0.48 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 46876 61 0 0 25 0 11 0 418956465 873951232 32156 4294967295 134512640 134569956 3221224400 3221214552 1131907709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32156 13073 16 0 213351 0
vsize: 853468
[startup+510.027 s]
Raw data (loadavg): 1.03 0.90 0.48 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 47849 61 0 0 25 0 11 0 418956465 873951232 32255 4294967295 134512640 134569956 3221224400 3221214456 1131705820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32255 13073 16 0 213351 0
vsize: 853468
[startup+520.027 s]
Raw data (loadavg): 1.02 0.90 0.49 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 48831 61 0 0 25 0 11 0 418956465 873951232 32289 4294967295 134512640 134569956 3221224400 3221214744 1131397012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32289 13073 16 0 213351 0
vsize: 853468
[startup+530.027 s]
Raw data (loadavg): 1.02 0.91 0.49 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 49795 61 0 0 25 0 11 0 418956465 873951232 32401 4294967295 134512640 134569956 3221224400 3221214588 1131705872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32401 13073 16 0 213351 0
vsize: 853468
[startup+540.027 s]
Raw data (loadavg): 1.02 0.91 0.50 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 50744 62 0 0 25 0 11 0 418956465 873951232 32543 4294967295 134512640 134569956 3221224400 3221214096 1131802682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 32543 13073 16 0 213351 0
vsize: 853468
[startup+550.028 s]
Raw data (loadavg): 1.01 0.91 0.50 2/64 25496
Raw data (stat): 25431 (java) S 25430 25285 25284 0 -1 0 18112 0 1 0 51700 62 0 0 25 0 11 0 418956465 873951232 32652 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 32652 13073 16 0 213351 0
vsize: 853468
[startup+560.029 s]
Raw data (loadavg): 1.01 0.91 0.51 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 52653 62 0 0 25 0 11 0 418956465 873951232 32788 4294967295 134512640 134569956 3221224400 3221214680 1131405603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 32788 13073 16 0 213351 0
vsize: 853468
[startup+570.03 s]
Raw data (loadavg): 1.01 0.92 0.51 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 53606 63 0 0 25 0 11 0 418956465 873951232 32908 4294967295 134512640 134569956 3221224400 3221214928 1131699725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 32908 13073 16 0 213351 0
vsize: 853468
[startup+580.03 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 25496
Raw data (stat): 25431 (java) S 25430 25285 25284 0 -1 0 18112 0 1 0 54574 63 0 0 25 0 11 0 418956465 873951232 33010 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33010 13073 16 0 213351 0
vsize: 853468
[startup+590.031 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 55542 63 0 0 25 0 11 0 418956465 873951232 33096 4294967295 134512640 134569956 3221224400 3221214184 1131704136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33096 13073 16 0 213351 0
vsize: 853468
[startup+600.03 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 56495 63 0 0 25 0 11 0 418956465 873951232 33216 4294967295 134512640 134569956 3221224400 3221214648 1131189474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 33216 13073 16 0 213351 0
vsize: 853468
[startup+610.031 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 57448 63 0 0 25 0 11 0 418956465 873951232 33338 4294967295 134512640 134569956 3221224400 3221214744 1131220868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33338 13073 16 0 213351 0
vsize: 853468
[startup+620.033 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 58415 63 0 0 25 0 11 0 418956465 873951232 33404 4294967295 134512640 134569956 3221224400 3221214744 1131219605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33404 13073 16 0 213351 0
vsize: 853468
[startup+630.033 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 59364 63 0 0 24 0 11 0 418956465 873951232 33494 4294967295 134512640 134569956 3221224400 3221214048 1131705848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33494 13073 16 0 213351 0
vsize: 853468
[startup+640.034 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 60331 63 0 0 25 0 11 0 418956465 873951232 33591 4294967295 134512640 134569956 3221224400 3221214744 1131219846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33591 13073 16 0 213351 0
vsize: 853468
[startup+650.034 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 61297 64 0 0 25 0 11 0 418956465 873951232 33701 4294967295 134512640 134569956 3221224400 3221214360 1131809208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33701 13073 16 0 213351 0
vsize: 853468
[startup+660.034 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 62264 64 0 0 25 0 11 0 418956465 873951232 33788 4294967295 134512640 134569956 3221224400 3221214648 1131189958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 33788 13073 16 0 213351 0
vsize: 853468
[startup+670.035 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 63215 64 0 0 25 0 11 0 418956465 873951232 33924 4294967295 134512640 134569956 3221224400 3221214744 1131221813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 33924 13073 16 0 213351 0
vsize: 853468
[startup+680.035 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 64169 65 0 0 25 0 11 0 418956465 873951232 34052 4294967295 134512640 134569956 3221224400 3221214648 1131189852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34052 13073 16 0 213351 0
vsize: 853468
[startup+690.035 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 65141 65 0 0 25 0 11 0 418956465 873951232 34140 4294967295 134512640 134569956 3221224400 3221214744 1131219923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34140 13073 16 0 213351 0
vsize: 853468
[startup+700.036 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 66112 65 0 0 25 0 11 0 418956465 873951232 34200 4294967295 134512640 134569956 3221224400 3221214680 1131401898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34200 13073 16 0 213351 0
vsize: 853468
[startup+710.038 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 67088 66 0 0 25 0 11 0 418956465 873951232 34254 4294967295 134512640 134569956 3221224400 3221214616 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 34254 13073 16 0 213351 0
vsize: 853468
[startup+720.038 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 68055 66 0 0 24 0 11 0 418956465 873951232 34330 4294967295 134512640 134569956 3221224400 3221214280 1131704138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34330 13073 16 0 213351 0
vsize: 853468
[startup+730.038 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 69021 66 0 0 25 0 11 0 418956465 873951232 34440 4294967295 134512640 134569956 3221224400 3221214232 1131808703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34440 13073 16 0 213351 0
vsize: 853468
[startup+740.039 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 25496
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 69987 66 0 0 25 0 11 0 418956465 873951232 34510 4294967295 134512640 134569956 3221224400 3221213912 1131705824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34510 13073 16 0 213351 0
vsize: 853468
[startup+750.039 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 25496
Raw data (stat): 25431 (java) S 25430 25285 25284 0 -1 0 18112 0 1 0 70959 67 0 0 25 0 11 0 418956465 873951232 34552 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34552 13073 16 0 213351 0
vsize: 853468
[startup+760.04 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 71910 67 0 0 25 0 11 0 418956465 873951232 34631 4294967295 134512640 134569956 3221224400 3221214184 1131705848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34631 13073 16 0 213351 0
vsize: 853468
[startup+770.041 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 72853 68 0 0 25 0 11 0 418956465 873951232 34726 4294967295 134512640 134569956 3221224400 3221214592 1131705812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34726 13073 16 0 213351 0
vsize: 853468
[startup+780.042 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 73800 68 0 0 25 0 11 0 418956465 873951232 34955 4294967295 134512640 134569956 3221224400 3221214744 1131219768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 34955 13073 16 0 213351 0
vsize: 853468
[startup+790.042 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 74760 69 0 0 25 0 11 0 418956465 873951232 35080 4294967295 134512640 134569956 3221224400 3221214592 1131705937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 35080 13073 16 0 213351 0
vsize: 853468
[startup+800.042 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 25498
Raw data (stat): 25431 (java) S 25430 25285 25284 0 -1 0 18112 0 1 0 75707 69 0 0 25 0 11 0 418956465 873951232 35206 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35206 13073 16 0 213351 0
vsize: 853468
[startup+810.043 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 76662 69 0 0 25 0 11 0 418956465 873951232 35348 4294967295 134512640 134569956 3221224400 3221214744 1131406302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35348 13073 16 0 213351 0
vsize: 853468
[startup+820.043 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 77612 70 0 0 25 0 11 0 418956465 873951232 35492 4294967295 134512640 134569956 3221224400 3221214180 1131705872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35492 13073 16 0 213351 0
vsize: 853468
[startup+830.043 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 78563 70 0 0 25 0 11 0 418956465 873951232 35614 4294967295 134512640 134569956 3221224400 3221214504 1131805764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35614 13073 16 0 213351 0
vsize: 853468
[startup+840.043 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 79523 70 0 0 25 0 11 0 418956465 873951232 35720 4294967295 134512640 134569956 3221224400 3221214648 1131190251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35720 13073 16 0 213351 0
vsize: 853468
[startup+850.045 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 80480 70 0 0 25 0 11 0 418956465 873951232 35840 4294967295 134512640 134569956 3221224400 3221214368 1131803069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35840 13073 16 0 213351 0
vsize: 853468
[startup+860.046 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 81437 71 0 0 25 0 11 0 418956465 873951232 35974 4294967295 134512640 134569956 3221224400 3221214648 1131190416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 35974 13073 16 0 213351 0
vsize: 853468
[startup+870.046 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 82407 71 0 0 25 0 11 0 418956465 873951232 36048 4294967295 134512640 134569956 3221224400 3221214232 1131803085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36048 13073 16 0 213351 0
vsize: 853468
[startup+880.046 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 83383 71 0 0 24 0 11 0 418956465 873951232 36115 4294967295 134512640 134569956 3221224400 3221214200 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36115 13073 16 0 213351 0
vsize: 853468
[startup+890.047 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 84363 72 0 0 25 0 11 0 418956465 873951232 36160 4294967295 134512640 134569956 3221224400 3221214744 1131219768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36160 13073 16 0 213351 0
vsize: 853468
[startup+900.047 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 85344 72 0 0 25 0 11 0 418956465 873951232 36210 4294967295 134512640 134569956 3221224400 3221214648 1131189653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 36210 13073 16 0 213351 0
vsize: 853468
[startup+910.048 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 86326 73 0 0 25 0 11 0 418956465 873951232 36252 4294967295 134512640 134569956 3221224400 3221214456 1131705848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36252 13073 16 0 213351 0
vsize: 853468
[startup+920.05 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 87308 73 0 0 25 0 11 0 418956465 873951232 36292 4294967295 134512640 134569956 3221224400 3221214360 1131705047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36292 13073 16 0 213351 0
vsize: 853468
[startup+930.05 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 88289 73 0 0 25 0 11 0 418956465 873951232 36334 4294967295 134512640 134569956 3221224400 3221214504 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36334 13073 16 0 213351 0
vsize: 853468
[startup+940.05 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 89266 73 0 0 25 0 11 0 418956465 873951232 36400 4294967295 134512640 134569956 3221224400 3221214744 1131220847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36400 13073 16 0 213351 0
vsize: 853468
[startup+950.051 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 90249 73 0 0 25 0 11 0 418956465 873951232 36435 4294967295 134512640 134569956 3221224400 3221214744 1131406876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36435 13073 16 0 213351 0
vsize: 853468
[startup+960.051 s]
Raw data (loadavg): 1.08 0.98 0.67 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 91226 74 0 0 25 0 11 0 418956465 873951232 36489 4294967295 134512640 134569956 3221224400 3221214552 1131907842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36489 13073 16 0 213351 0
vsize: 853468
[startup+970.051 s]
Raw data (loadavg): 1.07 0.98 0.67 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 92196 74 0 0 25 0 11 0 418956465 873951232 36542 4294967295 134512640 134569956 3221224400 3221214744 1131219621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36542 13073 16 0 213351 0
vsize: 853468
[startup+980.052 s]
Raw data (loadavg): 1.06 0.98 0.67 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 93164 74 0 0 25 0 11 0 418956465 873951232 36616 4294967295 134512640 134569956 3221224400 3221214648 1131189966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36616 13073 16 0 213351 0
vsize: 853468
[startup+990.053 s]
Raw data (loadavg): 1.05 0.98 0.68 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 94144 74 0 0 25 0 11 0 418956465 873951232 36670 4294967295 134512640 134569956 3221224400 3221214592 1131705873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36670 13073 16 0 213351 0
vsize: 853468
[startup+1000.05 s]
Raw data (loadavg): 1.04 0.98 0.68 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 95117 75 0 0 25 0 11 0 418956465 873951232 36706 4294967295 134512640 134569956 3221224400 3221214184 1131704130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36706 13073 16 0 213351 0
vsize: 853468
[startup+1010.05 s]
Raw data (loadavg): 1.03 0.98 0.68 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 96097 75 0 0 25 0 11 0 418956465 873951232 36734 4294967295 134512640 134569956 3221224400 3221214648 1131190421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36734 13073 16 0 213351 0
vsize: 853468
[startup+1020.05 s]
Raw data (loadavg): 1.03 0.98 0.68 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 97070 75 0 0 25 0 11 0 418956465 873951232 36765 4294967295 134512640 134569956 3221224400 3221214368 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36765 13073 16 0 213351 0
vsize: 853468
[startup+1030.05 s]
Raw data (loadavg): 1.02 0.98 0.69 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 98033 75 0 0 25 0 11 0 418956465 873951232 36825 4294967295 134512640 134569956 3221224400 3221214048 1131705848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36825 13073 16 0 213351 0
vsize: 853468
[startup+1040.06 s]
Raw data (loadavg): 1.02 0.98 0.69 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 99011 76 0 0 25 0 11 0 418956465 873951232 36875 4294967295 134512640 134569956 3221224400 3221214648 1131189599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36875 13073 16 0 213351 0
vsize: 853468
[startup+1050.06 s]
Raw data (loadavg): 1.02 0.98 0.69 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 99990 76 0 0 25 0 11 0 418956465 873951232 36926 4294967295 134512640 134569956 3221224400 3221214552 1131907142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 36926 13073 16 0 213351 0
vsize: 853468
[startup+1060.06 s]
Raw data (loadavg): 1.01 0.98 0.70 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 100956 76 0 0 25 0 11 0 418956465 873951232 37018 4294967295 134512640 134569956 3221224400 3221214744 1131219761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37018 13073 16 0 213351 0
vsize: 853468
[startup+1070.06 s]
Raw data (loadavg): 1.01 0.98 0.70 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 101929 77 0 0 25 0 11 0 418956465 873951232 37106 4294967295 134512640 134569956 3221224400 3221214648 1131190104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37106 13073 16 0 213351 0
vsize: 853468
[startup+1080.06 s]
Raw data (loadavg): 1.01 0.98 0.70 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 102910 77 0 0 25 0 11 0 418956465 873951232 37152 4294967295 134512640 134569956 3221224400 3221213920 1085679379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213367 37152 13073 16 0 213351 0
vsize: 853468
[startup+1090.06 s]
Raw data (loadavg): 1.01 0.98 0.71 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 103892 77 0 0 25 0 11 0 418956465 873951232 37178 4294967295 134512640 134569956 3221224400 3221214288 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37178 13073 16 0 213351 0
vsize: 853468
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.98 0.71 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 104874 78 0 0 25 0 11 0 418956465 873951232 37191 4294967295 134512640 134569956 3221224400 3221214648 1131189636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37191 13073 16 0 213351 0
vsize: 853468
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.98 0.71 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 105851 78 0 0 25 0 11 0 418956465 873951232 37276 4294967295 134512640 134569956 3221224400 3221214648 1131189818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37276 13073 16 0 213351 0
vsize: 853468
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.98 0.71 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 106834 78 0 0 25 0 11 0 418956465 873951232 37327 4294967295 134512640 134569956 3221224400 3221213872 1131705873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37327 13073 16 0 213351 0
vsize: 853468
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.98 0.72 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 107811 79 0 0 25 0 11 0 418956465 873951232 37356 4294967295 134512640 134569956 3221224400 3221214004 1131704100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37356 13073 16 0 213351 0
vsize: 853468
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.98 0.72 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 108794 79 0 0 25 0 11 0 418956465 873951232 37404 4294967295 134512640 134569956 3221224400 3221214744 1131224519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37404 13073 16 0 213351 0
vsize: 853468
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.72 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 109770 79 0 0 25 0 11 0 418956465 873951232 37460 4294967295 134512640 134569956 3221224400 3221214500 1131705033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37460 13073 16 0 213351 0
vsize: 853468
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.73 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 110743 80 0 0 25 0 11 0 418956465 873951232 37524 4294967295 134512640 134569956 3221224400 3221214744 1131219761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37524 13073 16 0 213351 0
vsize: 853468
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.73 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 111720 80 0 0 25 0 11 0 418956465 873951232 37545 4294967295 134512640 134569956 3221224400 3221214744 1131219768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37545 13073 16 0 213351 0
vsize: 853468
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.98 0.73 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 112694 81 0 0 25 0 11 0 418956465 873951232 37566 4294967295 134512640 134569956 3221224400 3221214744 1131220854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37566 13073 16 0 213351 0
vsize: 853468
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.98 0.73 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 113681 81 0 0 25 0 11 0 418956465 873951232 37591 4294967295 134512640 134569956 3221224400 3221214648 1131190057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37591 13073 16 0 213351 0
vsize: 853468
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.73 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 114655 81 0 0 25 0 11 0 418956465 873951232 37656 4294967295 134512640 134569956 3221224400 3221214320 1131705873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37656 13073 16 0 213351 0
vsize: 853468
[startup+1210.06 s]
Raw data (loadavg): 1.00 0.98 0.74 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 115637 81 0 0 25 0 11 0 418956465 873951232 37681 4294967295 134512640 134569956 3221224400 3221214424 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37681 13073 16 0 213351 0
vsize: 853468
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.98 0.74 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 116619 82 0 0 25 0 11 0 418956465 873951232 37755 4294967295 134512640 134569956 3221224400 3221214592 1131705830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37755 13073 16 0 213351 0
vsize: 853468
[startup+1230.07 s]
Raw data (loadavg): 1.00 0.98 0.74 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 117608 82 0 0 25 0 11 0 418956465 873951232 37773 4294967295 134512640 134569956 3221224400 3221213824 1131807703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37773 13073 16 0 213351 0
vsize: 853468
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.98 0.74 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 118587 82 0 0 25 0 11 0 418956465 873951232 37815 4294967295 134512640 134569956 3221224400 3221213912 1131704136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37815 13073 16 0 213351 0
vsize: 853468
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.98 0.74 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 119559 83 0 0 25 0 11 0 418956465 873951232 37868 4294967295 134512640 134569956 3221224400 3221214648 1131189879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37868 13073 16 0 213351 0
vsize: 853468
[startup+1260.07 s]
Raw data (loadavg): 1.00 0.98 0.75 2/64 25498
Raw data (stat): 25431 (java) R 25430 25285 25284 0 -1 0 18112 0 1 0 120542 84 0 0 25 0 11 0 418956465 873951232 37918 4294967295 134512640 134569956 3221224400 3221214504 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213367 37918 13073 16 0 213351 0
vsize: 853468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.32 s]
Raw data (loadavg): 1.00 0.98 0.75 1/54 25500
Raw data (stat): 25431 (java) Z 25430 25285 25284 0 -1 1036 18112 14565 1 1 120559 85 4435 35 25 0 1 0 418956465 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.32
CPU time (s): 1251.15
CPU user time (s): 1249.94
CPU system time (s): 1.20882
CPU usage (%): 99.2727
Max. virtual memory (Kb): 855768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####