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-fpga20_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
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	21
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.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 4206

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        918764 kB
Buffers:         32904 kB
Cached:          46856 kB
SwapCached:          4 kB
Active:          38332 kB
Inactive:        44288 kB
HighTotal:      131008 kB
HighFree:        80052 kB
LowTotal:       903652 kB
LowFree:        838712 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27660 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:12 (client local time) WITH STATUS 143 IN  SECONDS
stats: 369 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-fpga20_19_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=570]
c [nbconstr=438]
c time 2.011
c #vars     570
c #clauses  438
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.96 0.28 0.10 2/54 10760
Raw data (stat): 10760 (runsolver) R 10759 10614 10613 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 477185590 1052672 97 4294967295 134512640 135381576 3221224432 3221219872 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+9.99971 s]
Raw data (loadavg): 1.27 0.37 0.13 4/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18083 0 1 0 608 42 0 0 25 0 11 0 477185590 870490112 22875 4294967295 134512640 134569956 3221224400 3221214792 1131270601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212522 22875 13073 16 0 212506 0
vsize: 850088
[startup+20.0007 s]
Raw data (loadavg): 1.23 0.39 0.13 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 1534 42 0 0 25 0 11 0 477185590 868114432 22957 4294967295 134512640 134569956 3221224400 3221214808 1131316945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 22957 13073 16 0 211926 0
vsize: 847768
[startup+30.0008 s]
Raw data (loadavg): 1.19 0.41 0.14 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 2450 43 0 0 25 0 11 0 477185590 868114432 23841 4294967295 134512640 134569956 3221224400 3221214404 1131686864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 23841 13073 16 0 211926 0
vsize: 847768
[startup+40.0005 s]
Raw data (loadavg): 1.16 0.43 0.15 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 3375 43 0 0 25 0 11 0 477185590 868114432 24342 4294967295 134512640 134569956 3221224400 3221214648 1131240298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 24342 13073 16 0 211926 0
vsize: 847768
[startup+50.0017 s]
Raw data (loadavg): 1.14 0.45 0.16 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18084 0 1 0 4302 43 0 0 25 0 11 0 477185590 868114432 24763 4294967295 134512640 134569956 3221224400 3221214800 1131232261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 24763 13073 16 0 211926 0
vsize: 847768
[startup+60.0018 s]
Raw data (loadavg): 1.12 0.47 0.17 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 5252 43 0 0 25 0 11 0 477185590 868114432 24924 4294967295 134512640 134569956 3221224400 3221214760 1131442900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 24924 13073 16 0 211926 0
vsize: 847768
[startup+70.0026 s]
Raw data (loadavg): 1.10 0.48 0.18 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 6194 43 0 0 25 0 11 0 477185590 868114432 25085 4294967295 134512640 134569956 3221224400 3221214552 1131293187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25085 13073 16 0 211926 0
vsize: 847768
[startup+80.0033 s]
Raw data (loadavg): 1.08 0.50 0.19 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 7138 43 0 0 25 0 11 0 477185590 868114432 25166 4294967295 134512640 134569956 3221224400 3221214552 1131695873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25166 13073 16 0 211926 0
vsize: 847768
[startup+90.0026 s]
Raw data (loadavg): 1.07 0.52 0.19 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 8080 43 0 0 25 0 11 0 477185590 868114432 25241 4294967295 134512640 134569956 3221224400 3221214584 1131428809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25241 13073 16 0 211926 0
vsize: 847768
[startup+100.002 s]
Raw data (loadavg): 1.06 0.53 0.20 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 9026 43 0 0 25 0 11 0 477185590 868114432 25570 4294967295 134512640 134569956 3221224400 3221214856 1131208529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25570 13073 16 0 211926 0
vsize: 847768
[startup+110.003 s]
Raw data (loadavg): 1.05 0.55 0.21 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 9986 43 0 0 25 0 11 0 477185590 868114432 25806 4294967295 134512640 134569956 3221224400 3221214584 1131429257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25806 13073 16 0 211926 0
vsize: 847768
[startup+120.005 s]
Raw data (loadavg): 1.04 0.56 0.22 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 10951 43 0 0 25 0 11 0 477185590 868114432 25969 4294967295 134512640 134569956 3221224400 3221214456 1131695764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 25969 13073 16 0 211926 0
vsize: 847768
[startup+130.005 s]
Raw data (loadavg): 1.03 0.57 0.23 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 11917 43 0 0 25 0 11 0 477185590 868114432 26028 4294967295 134512640 134569956 3221224400 3221214684 1131370400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26028 13073 16 0 211926 0
vsize: 847768
[startup+140.004 s]
Raw data (loadavg): 1.03 0.59 0.23 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 12876 43 0 0 25 0 11 0 477185590 868114432 26112 4294967295 134512640 134569956 3221224400 3221214500 1131686800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26112 13073 16 0 211926 0
vsize: 847768
[startup+150.005 s]
Raw data (loadavg): 1.02 0.60 0.24 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 13827 43 0 0 25 0 11 0 477185590 868114432 26189 4294967295 134512640 134569956 3221224400 3221214808 1131319127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26189 13073 16 0 211926 0
vsize: 847768
[startup+160.004 s]
Raw data (loadavg): 1.02 0.61 0.25 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 14767 43 0 0 25 0 11 0 477185590 868114432 26345 4294967295 134512640 134569956 3221224400 3221214936 1131219417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26345 13073 16 0 211926 0
vsize: 847768
[startup+170.005 s]
Raw data (loadavg): 1.02 0.63 0.26 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 15707 43 0 0 25 0 11 0 477185590 868114432 26451 4294967295 134512640 134569956 3221224400 3221214592 1131371054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26451 13073 16 0 211926 0
vsize: 847768
[startup+180.006 s]
Raw data (loadavg): 1.01 0.64 0.26 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 16649 43 0 0 25 0 11 0 477185590 868114432 26591 4294967295 134512640 134569956 3221224400 3221214712 1131353771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26591 13073 16 0 211926 0
vsize: 847768
[startup+190.006 s]
Raw data (loadavg): 1.01 0.65 0.27 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 17600 43 0 0 25 0 11 0 477185590 868114432 26750 4294967295 134512640 134569956 3221224400 3221214584 1131429199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26750 13073 16 0 211926 0
vsize: 847768
[startup+200.006 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 18552 43 0 0 25 0 11 0 477185590 868114432 26995 4294967295 134512640 134569956 3221224400 3221214360 1131694513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 26995 13073 16 0 211926 0
vsize: 847768
[startup+210.007 s]
Raw data (loadavg): 1.01 0.67 0.29 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 19508 43 0 0 25 0 11 0 477185590 868114432 27178 4294967295 134512640 134569956 3221224400 3221214800 1131232253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27178 13073 16 0 211926 0
vsize: 847768
[startup+220.008 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 20455 43 0 0 25 0 11 0 477185590 868114432 27381 4294967295 134512640 134569956 3221224400 3221214656 1131416286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27381 13073 16 0 211926 0
vsize: 847768
[startup+230.008 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 21415 43 0 0 25 0 11 0 477185590 868114432 27463 4294967295 134512640 134569956 3221224400 3221214856 1131208529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27463 13073 16 0 211926 0
vsize: 847768
[startup+240.008 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 22353 43 0 0 25 0 11 0 477185590 868114432 27645 4294967295 134512640 134569956 3221224400 3221214760 1131266864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27645 13073 16 0 211926 0
vsize: 847768
[startup+250.009 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 23303 43 0 0 25 0 11 0 477185590 868114432 27710 4294967295 134512640 134569956 3221224400 3221214688 1131677413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27710 13073 16 0 211926 0
vsize: 847768
[startup+260.009 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 24262 43 0 0 25 0 11 0 477185590 868114432 27816 4294967295 134512640 134569956 3221224400 3221214040 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27816 13073 16 0 211926 0
vsize: 847768
[startup+270.01 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 25204 43 0 0 25 0 11 0 477185590 868114432 27951 4294967295 134512640 134569956 3221224400 3221214896 1131244001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 27951 13073 16 0 211926 0
vsize: 847768
[startup+280.009 s]
Raw data (loadavg): 1.00 0.74 0.33 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 26152 44 0 0 25 0 11 0 477185590 868114432 28244 4294967295 134512640 134569956 3221224400 3221214656 1131416257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28244 13073 16 0 211926 0
vsize: 847768
[startup+290.009 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 27110 44 0 0 25 0 11 0 477185590 868114432 28441 4294967295 134512640 134569956 3221224400 3221214168 1131694626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28441 13073 16 0 211926 0
vsize: 847768
[startup+300.01 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 28078 44 0 0 25 0 11 0 477185590 868114432 28546 4294967295 134512640 134569956 3221224400 3221214552 1131293231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28546 13073 16 0 211926 0
vsize: 847768
[startup+310.009 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 29051 44 0 0 25 0 11 0 477185590 868114432 28620 4294967295 134512640 134569956 3221224400 3221214656 1131426898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28620 13073 16 0 211926 0
vsize: 847768
[startup+320.01 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 30017 44 0 0 25 0 11 0 477185590 868114432 28740 4294967295 134512640 134569956 3221224400 3221214808 1131319605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28740 13073 16 0 211926 0
vsize: 847768
[startup+330.011 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 30995 44 0 0 25 0 11 0 477185590 868114432 28790 4294967295 134512640 134569956 3221224400 3221214856 1131208512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28790 13073 16 0 211926 0
vsize: 847768
[startup+340.01 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 31955 44 0 0 25 0 11 0 477185590 868114432 28881 4294967295 134512640 134569956 3221224400 3221214448 1131698638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28881 13073 16 0 211926 0
vsize: 847768
[startup+350.01 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 32913 44 0 0 25 0 11 0 477185590 868114432 28960 4294967295 134512640 134569956 3221224400 3221214040 1085679267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 28960 13073 16 0 211926 0
vsize: 847768
[startup+360.01 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 33879 44 0 0 25 0 11 0 477185590 868114432 29020 4294967295 134512640 134569956 3221224400 3221214032 1131686865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29020 13073 16 0 211926 0
vsize: 847768
[startup+370.012 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 34837 44 0 0 25 0 11 0 477185590 868114432 29127 4294967295 134512640 134569956 3221224400 3221214856 1131208509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29127 13073 16 0 211926 0
vsize: 847768
[startup+380.012 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 35804 44 0 0 25 0 11 0 477185590 868114432 29218 4294967295 134512640 134569956 3221224400 3221214472 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29218 13073 16 0 211926 0
vsize: 847768
[startup+390.012 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 36771 44 0 0 25 0 11 0 477185590 868114432 29295 4294967295 134512640 134569956 3221224400 3221214496 1131450334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29295 13073 16 0 211926 0
vsize: 847768
[startup+400.012 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 10770
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 37738 44 0 0 25 0 11 0 477185590 868114432 29452 4294967295 134512640 134569956 3221224400 3221214648 1131701490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29452 13073 16 0 211926 0
vsize: 847768
[startup+410.065 s]
Raw data (loadavg): 1.23 0.87 0.43 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 38703 58 0 0 25 0 11 0 477185590 868114432 29568 4294967295 134512640 134569956 3221224400 3221214176 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29568 13073 16 0 211926 0
vsize: 847768
[startup+420.066 s]
Raw data (loadavg): 1.19 0.88 0.44 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 39688 58 0 0 25 0 11 0 477185590 868114432 29624 4294967295 134512640 134569956 3221224400 3221214128 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29624 13073 16 0 211926 0
vsize: 847768
[startup+430.067 s]
Raw data (loadavg): 1.16 0.88 0.44 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 40659 58 0 0 24 0 11 0 477185590 868114432 29702 4294967295 134512640 134569956 3221224400 3221214808 1131319201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29702 13073 16 0 211926 0
vsize: 847768
[startup+440.067 s]
Raw data (loadavg): 1.14 0.88 0.45 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 41638 58 0 0 25 0 11 0 477185590 868114432 29766 4294967295 134512640 134569956 3221224400 3221214688 1131677465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29766 13073 16 0 211926 0
vsize: 847768
[startup+450.068 s]
Raw data (loadavg): 1.11 0.89 0.45 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 42609 58 0 0 25 0 11 0 477185590 868114432 29845 4294967295 134512640 134569956 3221224400 3221214172 1131679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29845 13073 16 0 211926 0
vsize: 847768
[startup+460.068 s]
Raw data (loadavg): 1.10 0.89 0.46 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 43582 58 0 0 25 0 11 0 477185590 868114432 29916 4294967295 134512640 134569956 3221224400 3221214216 1131686816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29916 13073 16 0 211926 0
vsize: 847768
[startup+470.069 s]
Raw data (loadavg): 1.08 0.89 0.46 2/64 10823
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 44553 58 0 0 25 0 11 0 477185590 868114432 29979 4294967295 134512640 134569956 3221224400 3221214600 1131686865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 29979 13073 16 0 211926 0
vsize: 847768
[startup+480.069 s]
Raw data (loadavg): 1.07 0.90 0.47 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 45518 58 0 0 25 0 11 0 477185590 868114432 30127 4294967295 134512640 134569956 3221224400 3221214800 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30127 13073 16 0 211926 0
vsize: 847768
[startup+490.069 s]
Raw data (loadavg): 1.06 0.90 0.47 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 46491 59 0 0 25 0 11 0 477185590 868114432 30242 4294967295 134512640 134569956 3221224400 3221214224 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30242 13073 16 0 211926 0
vsize: 847768
[startup+500.072 s]
Raw data (loadavg): 1.05 0.90 0.48 2/64 10825
Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 47475 59 0 0 25 0 11 0 477185590 868114432 30301 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30301 13073 16 0 211926 0
vsize: 847768
[startup+510.072 s]
Raw data (loadavg): 1.04 0.91 0.48 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 48459 59 0 0 25 0 11 0 477185590 868114432 30339 4294967295 134512640 134569956 3221224400 3221214504 1131686840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30339 13073 16 0 211926 0
vsize: 847768
[startup+520.072 s]
Raw data (loadavg): 1.03 0.91 0.49 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 49440 59 0 0 25 0 11 0 477185590 868114432 30393 4294967295 134512640 134569956 3221224400 3221214488 1131505606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30393 13073 16 0 211926 0
vsize: 847768
[startup+530.073 s]
Raw data (loadavg): 1.03 0.91 0.49 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 50426 59 0 0 25 0 11 0 477185590 868114432 30431 4294967295 134512640 134569956 3221224400 3221214032 1131686903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30431 13073 16 0 211926 0
vsize: 847768
[startup+540.073 s]
Raw data (loadavg): 1.02 0.91 0.50 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 51412 59 0 0 25 0 11 0 477185590 868114432 30464 4294967295 134512640 134569956 3221224400 3221214500 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30464 13073 16 0 211926 0
vsize: 847768
[startup+550.074 s]
Raw data (loadavg): 1.02 0.92 0.50 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 52399 59 0 0 25 0 11 0 477185590 868114432 30502 4294967295 134512640 134569956 3221224400 3221214896 1131243958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30502 13073 16 0 211926 0
vsize: 847768
[startup+560.074 s]
Raw data (loadavg): 1.02 0.92 0.51 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 53378 59 0 0 25 0 11 0 477185590 868114432 30551 4294967295 134512640 134569956 3221224400 3221214800 1131232669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30551 13073 16 0 211926 0
vsize: 847768
[startup+570.075 s]
Raw data (loadavg): 1.01 0.92 0.51 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 54348 59 0 0 25 0 11 0 477185590 868114432 30620 4294967295 134512640 134569956 3221224400 3221214544 1131698961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30620 13073 16 0 211926 0
vsize: 847768
[startup+580.075 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 55324 59 0 0 25 0 11 0 477185590 868114432 30677 4294967295 134512640 134569956 3221224400 3221214312 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30677 13073 16 0 211926 0
vsize: 847768
[startup+590.075 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 56316 59 0 0 25 0 11 0 477185590 868114432 30700 4294967295 134512640 134569956 3221224400 3221214640 1131700605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30700 13073 16 0 211926 0
vsize: 847768
[startup+600.076 s]
Raw data (loadavg): 1.01 0.93 0.53 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 57299 59 0 0 25 0 11 0 477185590 868114432 30744 4294967295 134512640 134569956 3221224400 3221214304 1131686844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30744 13073 16 0 211926 0
vsize: 847768
[startup+610.076 s]
Raw data (loadavg): 1.00 0.93 0.53 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 58274 59 0 0 25 0 11 0 477185590 868114432 30811 4294967295 134512640 134569956 3221224400 3221214848 1131229816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30811 13073 16 0 211926 0
vsize: 847768
[startup+620.076 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 59257 59 0 0 25 0 11 0 477185590 868114432 30848 4294967295 134512640 134569956 3221224400 3221214304 1131686865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30848 13073 16 0 211926 0
vsize: 847768
[startup+630.077 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 60219 59 0 0 25 0 11 0 477185590 868114432 30938 4294967295 134512640 134569956 3221224400 3221213964 1131679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 30938 13073 16 0 211926 0
vsize: 847768
[startup+640.076 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 61178 59 0 0 25 0 11 0 477185590 868114432 31029 4294967295 134512640 134569956 3221224400 3221214664 1131354260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 31029 13073 16 0 211926 0
vsize: 847768
[startup+650.077 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 62137 59 0 0 25 0 11 0 477185590 868114432 31110 4294967295 134512640 134569956 3221224400 3221214024 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 31110 13073 16 0 211926 0
vsize: 847768
[startup+660.077 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 63105 59 0 0 25 0 11 0 477185590 868114432 31207 4294967295 134512640 134569956 3221224400 3221214832 1131208558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31207 13073 16 0 211926 0
vsize: 847768
[startup+670.078 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 64082 59 0 0 25 0 11 0 477185590 868114432 31317 4294967295 134512640 134569956 3221224400 3221214256 1131695841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31317 13073 16 0 211926 0
vsize: 847768
[startup+680.077 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 65060 59 0 0 25 0 11 0 477185590 868114432 31395 4294967295 134512640 134569956 3221224400 3221213832 1085679434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 31395 13073 16 0 211926 0
vsize: 847768
[startup+690.078 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 66027 60 0 0 25 0 11 0 477185590 868114432 31461 4294967295 134512640 134569956 3221224400 3221214536 1131695804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31461 13073 16 0 211926 0
vsize: 847768
[startup+700.078 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 66994 60 0 0 25 0 11 0 477185590 868114432 31563 4294967295 134512640 134569956 3221224400 3221214608 1131416309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31563 13073 16 0 211926 0
vsize: 847768
[startup+710.079 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 10825
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 67961 60 0 0 25 0 11 0 477185590 868114432 31679 4294967295 134512640 134569956 3221224400 3221214640 1131700002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 31679 13073 16 0 211926 0
vsize: 847768
[startup+720.079 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 68930 60 0 0 25 0 11 0 477185590 868114432 31734 4294967295 134512640 134569956 3221224400 3221214272 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31734 13073 16 0 211926 0
vsize: 847768
[startup+730.08 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 69897 60 0 0 25 0 11 0 477185590 868114432 31807 4294967295 134512640 134569956 3221224400 3221214640 1131677345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31807 13073 16 0 211926 0
vsize: 847768
[startup+740.08 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 70877 61 0 0 25 0 11 0 477185590 868114432 31854 4294967295 134512640 134569956 3221224400 3221214256 1131700414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 31854 13073 16 0 211926 0
vsize: 847768
[startup+750.08 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 71844 61 0 0 25 0 11 0 477185590 868114432 31902 4294967295 134512640 134569956 3221224400 3221214204 1131618112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 31902 13073 16 0 211926 0
vsize: 847768
[startup+760.079 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 72813 61 0 0 25 0 11 0 477185590 868114432 32000 4294967295 134512640 134569956 3221224400 3221214608 1131293197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 32000 13073 16 0 211926 0
vsize: 847768
[startup+770.079 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 73780 62 0 0 25 0 11 0 477185590 868114432 32095 4294967295 134512640 134569956 3221224400 3221214208 1131686865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32095 13073 16 0 211926 0
vsize: 847768
[startup+780.08 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 74759 62 0 0 25 0 11 0 477185590 868114432 32171 4294967295 134512640 134569956 3221224400 3221214532 1131415456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32171 13073 16 0 211926 0
vsize: 847768
[startup+790.081 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 75729 62 0 0 25 0 11 0 477185590 868114432 32299 4294967295 134512640 134569956 3221224400 3221214680 1131275197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32299 13073 16 0 211926 0
vsize: 847768
[startup+800.081 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 76701 62 0 0 25 0 11 0 477185590 868114432 32383 4294967295 134512640 134569956 3221224400 3221214776 1131233337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32383 13073 16 0 211926 0
vsize: 847768
[startup+810.082 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10827
Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 77669 62 0 0 25 0 11 0 477185590 868114432 32462 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32462 13073 16 0 211926 0
vsize: 847768
[startup+820.081 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 78641 62 0 0 25 0 11 0 477185590 868114432 32577 4294967295 134512640 134569956 3221224400 3221214776 1131232650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32577 13073 16 0 211926 0
vsize: 847768
[startup+830.082 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 79611 63 0 0 25 0 11 0 477185590 868114432 32682 4294967295 134512640 134569956 3221224400 3221214560 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 32682 13073 16 0 211926 0
vsize: 847768
[startup+840.082 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 80595 63 0 0 25 0 11 0 477185590 868114432 32722 4294967295 134512640 134569956 3221224400 3221214872 1131243969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32722 13073 16 0 211926 0
vsize: 847768
[startup+850.083 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 81562 63 0 0 25 0 11 0 477185590 868114432 32821 4294967295 134512640 134569956 3221224400 3221214496 1131686833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 32821 13073 16 0 211926 0
vsize: 847768
[startup+860.082 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 82537 64 0 0 25 0 11 0 477185590 868114432 32913 4294967295 134512640 134569956 3221224400 3221214776 1131232900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 32913 13073 16 0 211926 0
vsize: 847768
[startup+870.083 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 83504 64 0 0 25 0 11 0 477185590 868114432 33004 4294967295 134512640 134569956 3221224400 3221214640 1131677335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 33004 13073 16 0 211926 0
vsize: 847768
[startup+880.083 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 84471 64 0 0 25 0 11 0 477185590 868114432 33087 4294967295 134512640 134569956 3221224400 3221214908 1130885126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33087 13073 16 0 211926 0
vsize: 847768
[startup+890.082 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 85445 64 0 0 25 0 11 0 477185590 868114432 33128 4294967295 134512640 134569956 3221224400 3221214024 1131686840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33128 13073 16 0 211926 0
vsize: 847768
[startup+900.082 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 86408 64 0 0 25 0 11 0 477185590 868114432 33193 4294967295 134512640 134569956 3221224400 3221214448 1131697468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33193 13073 16 0 211926 0
vsize: 847768
[startup+910.087 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10827
Raw data (stat): 10760 (java) S 10759 10614 10613 0 -1 0 18085 0 1 0 87367 64 0 0 25 0 11 0 477185590 868114432 33239 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33239 13073 16 0 211926 0
vsize: 847768
[startup+920.091 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 88331 64 0 0 25 0 11 0 477185590 868114432 33299 4294967295 134512640 134569956 3221224400 3221214120 1131686812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33299 13073 16 0 211926 0
vsize: 847768
[startup+930.091 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 89292 64 0 0 25 0 11 0 477185590 868114432 33430 4294967295 134512640 134569956 3221224400 3221214504 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33430 13073 16 0 211926 0
vsize: 847768
[startup+940.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 90263 64 0 0 25 0 11 0 477185590 868114432 33522 4294967295 134512640 134569956 3221224400 3221214492 1131686859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33522 13073 16 0 211926 0
vsize: 847768
[startup+950.091 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 91228 64 0 0 25 0 11 0 477185590 868114432 33639 4294967295 134512640 134569956 3221224400 3221214552 1078032289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33639 13073 16 0 211926 0
vsize: 847768
[startup+960.09 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 92197 64 0 0 25 0 11 0 477185590 868114432 33761 4294967295 134512640 134569956 3221224400 3221214024 1131686804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33761 13073 16 0 211926 0
vsize: 847768
[startup+970.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 93168 64 0 0 25 0 11 0 477185590 868114432 33875 4294967295 134512640 134569956 3221224400 3221214216 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33875 13073 16 0 211926 0
vsize: 847768
[startup+980.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 94143 64 0 0 25 0 11 0 477185590 868114432 33978 4294967295 134512640 134569956 3221224400 3221214608 1131427190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 33978 13073 16 0 211926 0
vsize: 847768
[startup+990.091 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 95126 64 0 0 25 0 11 0 477185590 868114432 34046 4294967295 134512640 134569956 3221224400 3221214600 1131228306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34046 13073 16 0 211926 0
vsize: 847768
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 96115 64 0 0 25 0 11 0 477185590 868114432 34098 4294967295 134512640 134569956 3221224400 3221214208 1131686876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34098 13073 16 0 211926 0
vsize: 847768
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 97105 64 0 0 25 0 11 0 477185590 868114432 34135 4294967295 134512640 134569956 3221224400 3221214164 1131618340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34135 13073 16 0 211926 0
vsize: 847768
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 98085 64 0 0 25 0 11 0 477185590 868114432 34222 4294967295 134512640 134569956 3221224400 3221214776 1131232622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34222 13073 16 0 211926 0
vsize: 847768
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 99067 64 0 0 25 0 11 0 477185590 868114432 34291 4294967295 134512640 134569956 3221224400 3221214536 1131429277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34291 13073 16 0 211926 0
vsize: 847768
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 100050 64 0 0 25 0 11 0 477185590 868114432 34357 4294967295 134512640 134569956 3221224400 3221214496 1131293120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34357 13073 16 0 211926 0
vsize: 847768
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 101036 64 0 0 25 0 11 0 477185590 868114432 34382 4294967295 134512640 134569956 3221224400 3221214160 1131697028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34382 13073 16 0 211926 0
vsize: 847768
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 102018 64 0 0 25 0 11 0 477185590 868114432 34413 4294967295 134512640 134569956 3221224400 3221214448 1131697344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 34413 13073 16 0 211926 0
vsize: 847768
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 102993 64 0 0 25 0 11 0 477185590 868114432 34460 4294967295 134512640 134569956 3221224400 3221213920 1131686833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34460 13073 16 0 211926 0
vsize: 847768
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 103974 64 0 0 25 0 11 0 477185590 868114432 34509 4294967295 134512640 134569956 3221224400 3221214408 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34509 13073 16 0 211926 0
vsize: 847768
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 104965 64 0 0 25 0 11 0 477185590 868114432 34525 4294967295 134512640 134569956 3221224400 3221213840 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34525 13073 16 0 211926 0
vsize: 847768
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 105955 64 0 0 25 0 11 0 477185590 868114432 34560 4294967295 134512640 134569956 3221224400 3221214832 1131208512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211942 34560 13073 16 0 211926 0
vsize: 847768
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 106930 64 0 0 25 0 11 0 477185590 868114432 34618 4294967295 134512640 134569956 3221224400 3221214608 1131416312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34618 13073 16 0 211926 0
vsize: 847768
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 107908 64 0 0 25 0 11 0 477185590 868114432 34668 4294967295 134512640 134569956 3221224400 3221214760 1131317389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34668 13073 16 0 211926 0
vsize: 847768
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 108887 64 0 0 25 0 11 0 477185590 868114432 34728 4294967295 134512640 134569956 3221224400 3221214072 1131618336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34728 13073 16 0 211926 0
vsize: 847768
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 109865 64 0 0 25 0 11 0 477185590 868114432 34772 4294967295 134512640 134569956 3221224400 3221214496 1131686840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34772 13073 16 0 211926 0
vsize: 847768
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 110849 65 0 0 25 0 11 0 477185590 868114432 34814 4294967295 134512640 134569956 3221224400 3221214120 1131686812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34814 13073 16 0 211926 0
vsize: 847768
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 111820 65 0 0 25 0 11 0 477185590 868114432 34864 4294967295 134512640 134569956 3221224400 3221214832 1131208536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34864 13073 16 0 211926 0
vsize: 847768
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 112796 65 0 0 25 0 11 0 477185590 868114432 34909 4294967295 134512640 134569956 3221224400 3221214776 1131232591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34909 13073 16 0 211926 0
vsize: 847768
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 113772 65 0 0 25 0 11 0 477185590 868114432 34957 4294967295 134512640 134569956 3221224400 3221214640 1131695912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 34957 13073 16 0 211926 0
vsize: 847768
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 114755 65 0 0 25 0 11 0 477185590 868114432 35004 4294967295 134512640 134569956 3221224400 3221214884 1131688384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35004 13073 16 0 211926 0
vsize: 847768
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 115743 65 0 0 25 0 11 0 477185590 868114432 35039 4294967295 134512640 134569956 3221224400 3221214888 1131494700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35039 13073 16 0 211926 0
vsize: 847768
[startup+1210.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 116725 65 0 0 25 0 11 0 477185590 868114432 35086 4294967295 134512640 134569956 3221224400 3221214448 1131698098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35086 13073 16 0 211926 0
vsize: 847768
[startup+1220.1 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 117708 65 0 0 25 0 11 0 477185590 868114432 35137 4294967295 134512640 134569956 3221224400 3221214872 1131243973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35137 13073 16 0 211926 0
vsize: 847768
[startup+1230.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 118691 65 0 0 25 0 11 0 477185590 868114432 35173 4294967295 134512640 134569956 3221224400 3221214832 1131208536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35173 13073 16 0 211926 0
vsize: 847768
[startup+1240.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 119671 65 0 0 25 0 11 0 477185590 868114432 35205 4294967295 134512640 134569956 3221224400 3221214872 1131243973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35205 13073 16 0 211926 0
vsize: 847768
[startup+1250.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10827
Raw data (stat): 10760 (java) R 10759 10614 10613 0 -1 0 18085 0 1 0 120650 65 0 0 25 0 11 0 477185590 868114432 35256 4294967295 134512640 134569956 3221224400 3221214352 1131699955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211942 35256 13073 16 0 211926 0
vsize: 847768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.23 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 10829
Raw data (stat): 10760 (java) Z 10759 10614 10613 0 -1 1036 18085 13445 1 1 120655 65 3867 37 25 0 1 0 477185590 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): 1250.23
CPU time (s): 1246.26
CPU user time (s): 1245.24
CPU system time (s): 1.02884
CPU usage (%): 99.683
Max. virtual memory (Kb): 850088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####