PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM	cb52c3dd346b4d656b5e715b686fba39
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8401
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.27
Number of variables	10724
Total number of constraints	12778
Number of constraints which are clauses	140
Number of constraints which are cardinality constraints (but not clauses)	12255
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 21272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 23:14:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13607 boxname=wulflinc4 idbench=1047 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb
IDLAUNCH: 13607
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        585528 kB
Buffers:         32012 kB
Cached:         395344 kB
SwapCached:        364 kB
Active:         108196 kB
Inactive:       321624 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        585276 kB
SwapTotal:     2097136 kB
SwapFree:      2096356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6404 kB
Slab:            13656 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:34:42 (client local time) WITH STATUS 143 IN 1223.56 SECONDS
stats: 13607 7 1223.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb
c reading problem 
c [nbvar=10724]
c [nbconstr=12778]
c time 46.966
c #vars     10724
c #clauses  2045
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=10203
c Current CPU time (ms) : 238.02
c starts	: 6
c conflicts	: 1617
c decisions	: 235131
c propagations	: 901282
c inspects	: 597927
c learned literals	: 0
c learned binary clauses	: 8
c learned ternary clauses	: 0
c learned clauses	: 1617
c root simplifications	: 361
#### 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.67 0.89 0.89 2/54 19648
Raw data (stat): 19648 (runsolver) R 19647 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490729989 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.0013 s]
Raw data (loadavg): 0.72 0.90 0.89 2/63 19657
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 17980 0 1 0 884 38 0 0 25 0 10 0 490729989 853860352 19217 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 19217 13073 16 0 208446 0
vsize: 833848
[startup+20.0016 s]
Raw data (loadavg): 0.76 0.90 0.89 2/63 19657
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 17980 0 1 0 1774 39 0 0 25 0 10 0 490729989 853868544 19726 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208464 19726 13073 16 0 208448 0
vsize: 833856
[startup+30.0031 s]
Raw data (loadavg): 0.96 0.94 0.90 4/63 19657
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18009 0 1 0 2599 39 0 0 25 0 10 0 490729989 868143104 23280 4294967295 134512640 134569956 3221224400 3221214352 1131261223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211949 23284 13073 16 0 211933 0
vsize: 847796
[startup+40.0038 s]
Raw data (loadavg): 1.27 1.00 0.92 2/63 19657
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18012 0 1 0 3306 40 0 0 25 0 10 0 490729989 885030912 27837 4294967295 134512640 134569956 3221224400 3221214532 1130916001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216072 27837 13073 16 0 216056 0
vsize: 864288
[startup+50.0042 s]
Raw data (loadavg): 1.39 1.04 0.93 3/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18078 0 1 0 4153 41 0 0 25 0 11 0 490729989 884330496 27919 4294967295 134512640 134569956 3221224400 3221214680 1131652990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215901 27919 13073 16 0 215885 0
vsize: 863604
[startup+60.0047 s]
Raw data (loadavg): 1.40 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 5021 41 0 0 25 0 11 0 490729989 884330496 29436 4294967295 134512640 134569956 3221224400 3221214432 1131261319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215901 29436 13073 16 0 215885 0
vsize: 863604
[startup+70.0055 s]
Raw data (loadavg): 1.34 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 5987 41 0 0 25 0 11 0 490729989 884330496 29369 4294967295 134512640 134569956 3221224400 3221214736 1131806177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215901 29369 13073 16 0 215885 0
vsize: 863604
[startup+80.0067 s]
Raw data (loadavg): 1.29 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 6941 41 0 0 25 0 11 0 490729989 884330496 29369 4294967295 134512640 134569956 3221224400 3221214808 1131649015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215901 29369 13073 16 0 215885 0
vsize: 863604
[startup+90.0071 s]
Raw data (loadavg): 1.24 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 7878 42 0 0 24 0 11 0 490729989 887476224 30243 4294967295 134512640 134569956 3221224400 3221214736 1131803474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216669 30243 13073 16 0 216653 0
vsize: 866676
[startup+100.007 s]
Raw data (loadavg): 1.28 1.06 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 8823 42 0 0 25 0 11 0 490729989 885379072 30027 4294967295 134512640 134569956 3221224400 3221214616 1131708801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30027 13073 16 0 216141 0
vsize: 864628
[startup+110.007 s]
Raw data (loadavg): 1.24 1.06 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 9779 42 0 0 25 0 11 0 490729989 885379072 30027 4294967295 134512640 134569956 3221224400 3221214808 1131648863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30027 13073 16 0 216141 0
vsize: 864628
[startup+120.009 s]
Raw data (loadavg): 1.20 1.06 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 10722 42 0 0 25 0 11 0 490729989 885379072 30143 4294967295 134512640 134569956 3221224400 3221214808 1131648852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30143 13073 16 0 216141 0
vsize: 864628
[startup+130.009 s]
Raw data (loadavg): 1.17 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 11661 42 0 0 24 0 11 0 490729989 885379072 30302 4294967295 134512640 134569956 3221224400 3221214808 1131648759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30302 13073 16 0 216141 0
vsize: 864628
[startup+140.01 s]
Raw data (loadavg): 1.14 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 12612 43 0 0 25 0 11 0 490729989 885379072 30457 4294967295 134512640 134569956 3221224400 3221214768 1131730687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30457 13073 16 0 216141 0
vsize: 864628
[startup+150.01 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 13557 43 0 0 25 0 11 0 490729989 885379072 30593 4294967295 134512640 134569956 3221224400 3221214640 1131421665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30593 13073 16 0 216141 0
vsize: 864628
[startup+160.011 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 14503 43 0 0 25 0 11 0 490729989 885379072 30749 4294967295 134512640 134569956 3221224400 3221214768 1131725884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30749 13073 16 0 216141 0
vsize: 864628
[startup+170.011 s]
Raw data (loadavg): 1.08 1.05 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 15458 44 0 0 25 0 11 0 490729989 885379072 30859 4294967295 134512640 134569956 3221224400 3221214720 1131978316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30859 13073 16 0 216141 0
vsize: 864628
[startup+180.013 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 16428 44 0 0 25 0 11 0 490729989 885379072 30935 4294967295 134512640 134569956 3221224400 3221214720 1131978316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 30935 13073 16 0 216141 0
vsize: 864628
[startup+190.015 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 17380 45 0 0 24 0 11 0 490729989 885379072 31056 4294967295 134512640 134569956 3221224400 3221214640 1131421625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31056 13073 16 0 216141 0
vsize: 864628
[startup+200.014 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 18326 45 0 0 25 0 11 0 490729989 885379072 31225 4294967295 134512640 134569956 3221224400 3221214624 1131688226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31225 13073 16 0 216141 0
vsize: 864628
[startup+210.014 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 19281 45 0 0 25 0 11 0 490729989 885379072 31344 4294967295 134512640 134569956 3221224400 3221214640 1131421802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31344 13073 16 0 216141 0
vsize: 864628
[startup+220.015 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 20228 46 0 0 25 0 11 0 490729989 885379072 31501 4294967295 134512640 134569956 3221224400 3221214640 1131421625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31501 13073 16 0 216141 0
vsize: 864628
[startup+230.016 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 19658
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18080 0 1 0 21176 46 0 0 25 0 11 0 490729989 885379072 31656 4294967295 134512640 134569956 3221224400 3221214720 1131978304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31656 13073 16 0 216141 0
vsize: 864628
[startup+240.016 s]
Raw data (loadavg): 1.18 1.06 0.95 4/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 22103 47 0 0 25 0 11 0 490729989 888188928 32449 4294967295 134512640 134569956 3221224400 3221214144 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216843 32449 13073 16 0 216827 0
vsize: 867372
[startup+250.017 s]
Raw data (loadavg): 1.16 1.06 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 23094 47 0 0 25 0 11 0 490729989 885379072 31827 4294967295 134512640 134569956 3221224400 3221214552 1131893058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 31827 13073 16 0 216141 0
vsize: 864628
[startup+260.017 s]
Raw data (loadavg): 1.13 1.06 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 24094 47 0 0 25 0 11 0 490729989 885379072 31827 4294967295 134512640 134569956 3221224400 3221214408 1131987793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 31827 13073 16 0 216141 0
vsize: 864628
[startup+270.017 s]
Raw data (loadavg): 1.11 1.06 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 25085 47 0 0 25 0 11 0 490729989 885379072 31847 4294967295 134512640 134569956 3221224400 3221213992 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 31847 13073 16 0 216141 0
vsize: 864628
[startup+280.018 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 26068 47 0 0 25 0 11 0 490729989 885379072 31890 4294967295 134512640 134569956 3221224400 3221214032 1131987713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31890 13073 16 0 216141 0
vsize: 864628
[startup+290.019 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 19659
Raw data (stat): 19648 (java) S 19647 5897 5896 0 -1 0 18092 4 1 0 27048 47 0 0 25 0 11 0 490729989 885379072 31942 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 31942 13073 16 0 216141 0
vsize: 864628
[startup+300.019 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 28030 48 0 0 25 0 11 0 490729989 885379072 32230 4294967295 134512640 134569956 3221224400 3221214736 1131801211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32230 13073 16 0 216141 0
vsize: 864628
[startup+310.02 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 29019 48 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221213992 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+320.019 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 30018 48 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214176 1131987793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+330.02 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 31009 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214168 1131892856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+340.02 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 32009 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214552 1131895623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+350.02 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 32999 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214376 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+360.021 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 34000 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214000 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+370.022 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 34990 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214072 1131893920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+380.022 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 35990 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214080 1131982511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+390.023 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 36980 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214088 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+400.024 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 37980 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214416 1085679356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+410.024 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 38979 49 0 0 25 0 11 0 490729989 885379072 32465 4294967295 134512640 134569956 3221224400 3221214224 1131982448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32465 13073 16 0 216141 0
vsize: 864628
[startup+420.024 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 39968 49 0 0 25 0 11 0 490729989 885379072 32478 4294967295 134512640 134569956 3221224400 3221214544 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32478 13073 16 0 216141 0
vsize: 864628
[startup+430.025 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 40958 49 0 0 25 0 11 0 490729989 885379072 32504 4294967295 134512640 134569956 3221224400 3221214216 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32504 13073 16 0 216141 0
vsize: 864628
[startup+440.026 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 41958 49 0 0 25 0 11 0 490729989 885379072 32504 4294967295 134512640 134569956 3221224400 3221214208 1131987732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32504 13073 16 0 216141 0
vsize: 864628
[startup+450.025 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 42947 49 0 0 25 0 11 0 490729989 885379072 32529 4294967295 134512640 134569956 3221224400 3221214512 1131987744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32529 13073 16 0 216141 0
vsize: 864628
[startup+460.025 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 43947 49 0 0 25 0 11 0 490729989 885379072 32529 4294967295 134512640 134569956 3221224400 3221214136 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32529 13073 16 0 216141 0
vsize: 864628
[startup+470.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 44936 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214416 1131987793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32557 13073 16 0 216141 0
vsize: 864628
[startup+480.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 45936 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214512 1131987793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32557 13073 16 0 216141 0
vsize: 864628
[startup+490.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 46925 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214424 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32557 13073 16 0 216141 0
vsize: 864628
[startup+500.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 47925 49 0 0 25 0 11 0 490729989 885379072 32557 4294967295 134512640 134569956 3221224400 3221214328 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32557 13073 16 0 216141 0
vsize: 864628
[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 48914 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214648 1131636117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+520.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 49904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214416 1131987754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+530.029 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 50904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214648 1131636117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+540.029 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 51904 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214616 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+550.029 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 52893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214324 1131987792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 53893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214416 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+570.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 54893 50 0 0 25 0 11 0 490729989 885379072 32596 4294967295 134512640 134569956 3221224400 3221214240 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32596 13073 16 0 216141 0
vsize: 864628
[startup+580.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 55882 50 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214608 1131987650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+590.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 56882 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214228 1131987792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+600.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 57882 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214192 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+610.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 58871 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214320 1131987793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+620.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 59870 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214552 1131893208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+630.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 60861 51 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214456 1131896164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+640.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 61860 52 0 0 25 0 11 0 490729989 885379072 32652 4294967295 134512640 134569956 3221224400 3221214296 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32652 13073 16 0 216141 0
vsize: 864628
[startup+650.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 19659
Raw data (stat): 19648 (java) S 19647 5897 5896 0 -1 0 18092 4 1 0 62853 52 0 0 25 0 11 0 490729989 885379072 32666 4294967295 134512640 134569956 3221224400 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32666 13073 16 0 216141 0
vsize: 864628
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 63850 52 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214512 1131987772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32668 13073 16 0 216141 0
vsize: 864628
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 64850 52 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214376 1131982496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32668 13073 16 0 216141 0
vsize: 864628
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 65839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214608 1131987768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32668 13073 16 0 216141 0
vsize: 864628
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 66839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214640 1131422500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32668 13073 16 0 216141 0
vsize: 864628
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 67839 53 0 0 25 0 11 0 490729989 885379072 32668 4294967295 134512640 134569956 3221224400 3221214512 1131987850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32668 13073 16 0 216141 0
vsize: 864628
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 68828 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 69829 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 70820 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214184 1131987740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 71819 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214196 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 72820 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214424 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 73810 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 74801 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214720 1131978408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 75801 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214752 1131893058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 76792 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214704 1131987772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 77793 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214808 1131648759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 78783 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214752 1131896329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 79783 53 0 0 25 0 11 0 490729989 885379072 32870 4294967295 134512640 134569956 3221224400 3221214328 1131987772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32870 13073 16 0 216141 0
vsize: 864628
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 80773 53 0 0 25 0 11 0 490729989 885379072 32898 4294967295 134512640 134569956 3221224400 3221214280 1131982524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32898 13073 16 0 216141 0
vsize: 864628
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 81774 53 0 0 25 0 11 0 490729989 885379072 32898 4294967295 134512640 134569956 3221224400 3221214520 1085679738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32898 13073 16 0 216141 0
vsize: 864628
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 82764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214744 1131636119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32906 13073 16 0 216141 0
vsize: 864628
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 83764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214456 1131894519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32906 13073 16 0 216141 0
vsize: 864628
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 84764 53 0 0 25 0 11 0 490729989 885379072 32906 4294967295 134512640 134569956 3221224400 3221214752 1131896438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32906 13073 16 0 216141 0
vsize: 864628
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 85754 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214464 1131892856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32908 13073 16 0 216141 0
vsize: 864628
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 86754 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214368 1131893176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 32908 13073 16 0 216141 0
vsize: 864628
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 87744 54 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214624 1131425748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32908 13073 16 0 216141 0
vsize: 864628
[startup+910.043 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 88744 55 0 0 25 0 11 0 490729989 885379072 32908 4294967295 134512640 134569956 3221224400 3221214552 1131636117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32908 13073 16 0 216141 0
vsize: 864628
[startup+920.044 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 89734 55 0 0 25 0 11 0 490729989 885379072 32909 4294967295 134512640 134569956 3221224400 3221214456 1131636117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32909 13073 16 0 216141 0
vsize: 864628
[startup+930.045 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 90734 55 0 0 25 0 11 0 490729989 885379072 32909 4294967295 134512640 134569956 3221224400 3221214376 1131982448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 32909 13073 16 0 216141 0
vsize: 864628
[startup+940.045 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 91724 56 0 0 25 0 11 0 490729989 885379072 33077 4294967295 134512640 134569956 3221224400 3221214752 1131892358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33077 13073 16 0 216141 0
vsize: 864628
[startup+950.047 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 92724 56 0 0 25 0 11 0 490729989 885379072 33077 4294967295 134512640 134569956 3221224400 3221214320 1131982536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33077 13073 16 0 216141 0
vsize: 864628
[startup+960.048 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 93716 56 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214704 1131987793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33235 13073 16 0 216141 0
vsize: 864628
[startup+970.049 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 94716 56 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214512 1131987857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33235 13073 16 0 216141 0
vsize: 864628
[startup+980.049 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 95715 57 0 0 25 0 11 0 490729989 885379072 33235 4294967295 134512640 134569956 3221224400 3221214656 1131896116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33235 13073 16 0 216141 0
vsize: 864628
[startup+990.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 96708 57 0 0 25 0 11 0 490729989 885379072 33273 4294967295 134512640 134569956 3221224400 3221214656 1131892361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33273 13073 16 0 216141 0
vsize: 864628
[startup+1000.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 97703 57 0 0 25 0 11 0 490729989 885379072 33296 4294967295 134512640 134569956 3221224400 3221214416 1131987768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33296 13073 16 0 216141 0
vsize: 864628
[startup+1010.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 98703 57 0 0 25 0 11 0 490729989 885379072 33296 4294967295 134512640 134569956 3221224400 3221214328 1085679321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33296 13073 16 0 216141 0
vsize: 864628
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 99696 57 0 0 25 0 11 0 490729989 885379072 33307 4294967295 134512640 134569956 3221224400 3221214808 1131648852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33307 13073 16 0 216141 0
vsize: 864628
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 100692 57 0 0 25 0 11 0 490729989 885379072 33321 4294967295 134512640 134569956 3221224400 3221214424 1131987697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33321 13073 16 0 216141 0
vsize: 864628
[startup+1040.06 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 101692 57 0 0 25 0 11 0 490729989 885379072 33321 4294967295 134512640 134569956 3221224400 3221214552 1131894522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33321 13073 16 0 216141 0
vsize: 864628
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 102685 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214416 1131983775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33338 13073 16 0 216141 0
vsize: 864628
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 103686 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214328 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33338 13073 16 0 216141 0
vsize: 864628
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 104686 57 0 0 25 0 11 0 490729989 885379072 33338 4294967295 134512640 134569956 3221224400 3221214376 1131982524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33338 13073 16 0 216141 0
vsize: 864628
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 105680 58 0 0 25 0 11 0 490729989 885379072 33350 4294967295 134512640 134569956 3221224400 3221214412 1131987728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33350 13073 16 0 216141 0
vsize: 864628
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 106680 58 0 0 25 0 11 0 490729989 885379072 33350 4294967295 134512640 134569956 3221224400 3221214328 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33350 13073 16 0 216141 0
vsize: 864628
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 107674 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214048 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33374 13073 16 0 216141 0
vsize: 864628
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 108674 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214228 1131987792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33374 13073 16 0 216141 0
vsize: 864628
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 109673 58 0 0 25 0 11 0 490729989 885379072 33374 4294967295 134512640 134569956 3221224400 3221214328 1131987793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33374 13073 16 0 216141 0
vsize: 864628
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 110667 58 0 0 25 0 11 0 490729989 885379072 33398 4294967295 134512640 134569956 3221224400 3221214744 1131892896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33398 13073 16 0 216141 0
vsize: 864628
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 111661 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214656 1131893181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33415 13073 16 0 216141 0
vsize: 864628
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 112661 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214376 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33415 13073 16 0 216141 0
vsize: 864628
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 113660 58 0 0 25 0 11 0 490729989 885379072 33415 4294967295 134512640 134569956 3221224400 3221214560 1131892358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33415 13073 16 0 216141 0
vsize: 864628
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 114655 58 0 0 25 0 11 0 490729989 885379072 33436 4294967295 134512640 134569956 3221224400 3221214512 1131987768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33436 13073 16 0 216141 0
vsize: 864628
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 115655 58 0 0 25 0 11 0 490729989 885379072 33436 4294967295 134512640 134569956 3221224400 3221214276 1131982500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33436 13073 16 0 216141 0
vsize: 864628
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 116649 58 0 0 25 0 11 0 490729989 885379072 33449 4294967295 134512640 134569956 3221224400 3221214280 1131982524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33449 13073 16 0 216141 0
vsize: 864628
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 117643 58 0 0 25 0 11 0 490729989 885379072 33457 4294967295 134512640 134569956 3221224400 3221214704 1131987724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216157 33457 13073 16 0 216141 0
vsize: 864628
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 118637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214700 1131987728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33479 13073 16 0 216141 0
vsize: 864628
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 119637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214232 1131987772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33479 13073 16 0 216141 0
vsize: 864628
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19659
Raw data (stat): 19648 (java) R 19647 5897 5896 0 -1 0 18092 4 1 0 120637 58 0 0 25 0 11 0 490729989 885379072 33479 4294967295 134512640 134569956 3221224400 3221214192 1085679386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216157 33479 13073 16 0 216141 0
vsize: 864628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 19661
Raw data (stat): 19648 (java) Z 19647 5897 5896 0 -1 1036 18092 7309 1 0 120641 58 1638 17 25 0 1 0 490729989 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): 1230.23
CPU time (s): 1223.56
CPU user time (s): 1222.8
CPU system time (s): 0.766883
CPU usage (%): 99.4581
Max. virtual memory (Kb): 867372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####