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/miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM	4d8544323b5554a497d5d3c2a3b0ca03
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 21634

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-22 00:32:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12905 boxname=wulflinc17 idbench=993 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4d8544323b5554a497d5d3c2a3b0ca03  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 12905
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        824824 kB
Buffers:         18756 kB
Cached:         167204 kB
SwapCached:        360 kB
Active:          31552 kB
Inactive:       156908 kB
HighTotal:      131008 kB
HighFree:        59668 kB
LowTotal:       903652 kB
LowFree:        765156 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5860 kB
Slab:            15676 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:53:04 (client local time) WITH STATUS 143 IN 1246.68 SECONDS
stats: 12905 7 1246.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-pk1.opb
c reading problem 
c [nbvar=985]
c [nbconstr=100]
c time 4.138
c #vars     985
c #clauses  60
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=1073741823
c Current CPU time (ms) : 790.349
c starts	: 7
c conflicts	: 2228
c decisions	: 4831
c propagations	: 16289
c inspects	: 1349763
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2228
c root simplifications	: 7
#### 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.57 0.83 0.87 1/55 10161
Raw data (stat): 10161 (runsolver) D 10160 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 549432371 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.63 0.84 0.87 3/64 10170
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 3650 0 83 0 101 14 0 0 18 0 10 0 549432371 853086208 3842 4294967295 134512640 134569956 3221224400 3221214184 1130894936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208273 3842 13073 16 0 208257 0
vsize: 833092
[startup+20.0114 s]
Raw data (loadavg): 1.00 0.91 0.90 3/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17987 0 84 0 718 48 0 0 25 0 11 0 549432371 869056512 22151 4294967295 134512640 134569956 3221224400 3221214768 1131277685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212172 22151 13073 16 0 212156 0
vsize: 848688
[startup+30.0208 s]
Raw data (loadavg): 1.14 0.94 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 1532 48 0 0 25 0 11 0 549432371 870207488 23333 4294967295 134512640 134569956 3221224400 3221214864 1130883192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212453 23333 13073 16 0 212437 0
vsize: 849812
[startup+40.0238 s]
Raw data (loadavg): 1.12 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 2471 49 0 0 25 0 11 0 549432371 869253120 23832 4294967295 134512640 134569956 3221224400 3221214704 1131689564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 23832 13073 16 0 212204 0
vsize: 848880
[startup+50.0282 s]
Raw data (loadavg): 1.10 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 3395 49 0 0 25 0 11 0 549432371 869253120 24308 4294967295 134512640 134569956 3221224400 3221214696 1131231809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 24308 13073 16 0 212204 0
vsize: 848880
[startup+60.0281 s]
Raw data (loadavg): 1.09 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 4310 49 0 0 25 0 11 0 549432371 869253120 24338 4294967295 134512640 134569956 3221224400 3221214696 1131232690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 24338 13073 16 0 212204 0
vsize: 848880
[startup+70.0292 s]
Raw data (loadavg): 1.07 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 5236 49 0 0 25 0 11 0 549432371 869253120 24634 4294967295 134512640 134569956 3221224400 3221214600 1131250253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 24634 13073 16 0 212204 0
vsize: 848880
[startup+80.0298 s]
Raw data (loadavg): 1.06 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 6187 50 0 0 25 0 11 0 549432371 869253120 25168 4294967295 134512640 134569956 3221224400 3221214696 1131232416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25168 13073 16 0 212204 0
vsize: 848880
[startup+90.029 s]
Raw data (loadavg): 1.05 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 7159 50 0 0 25 0 11 0 549432371 869253120 25209 4294967295 134512640 134569956 3221224400 3221214472 1131425496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25209 13073 16 0 212204 0
vsize: 848880
[startup+100.03 s]
Raw data (loadavg): 1.04 0.95 0.91 2/65 10171
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 8122 50 0 0 25 0 11 0 549432371 869253120 25289 4294967295 134512640 134569956 3221224400 3221214696 1131231986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25289 13073 16 0 212204 0
vsize: 848880
[startup+110.031 s]
Raw data (loadavg): 1.04 0.95 0.91 2/65 10173
Raw data (stat): 10161 (java) S 10160 20838 20837 0 -1 0 17990 0 84 0 9081 51 0 0 25 0 11 0 549432371 869253120 25353 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25353 13073 16 0 212204 0
vsize: 848880
[startup+120.032 s]
Raw data (loadavg): 1.03 0.95 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 10038 51 0 0 25 0 11 0 549432371 869253120 25447 4294967295 134512640 134569956 3221224400 3221214704 1131689431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25447 13073 16 0 212204 0
vsize: 848880
[startup+130.032 s]
Raw data (loadavg): 1.02 0.95 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 10997 51 0 0 25 0 11 0 549432371 869253120 25630 4294967295 134512640 134569956 3221224400 3221214792 1131284042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25630 13073 16 0 212204 0
vsize: 848880
[startup+140.031 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 11957 52 0 0 24 0 11 0 549432371 869253120 25789 4294967295 134512640 134569956 3221224400 3221214792 1131278682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25789 13073 16 0 212204 0
vsize: 848880
[startup+150.032 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 12923 52 0 0 25 0 11 0 549432371 869253120 25910 4294967295 134512640 134569956 3221224400 3221214792 1131278640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 25910 13073 16 0 212204 0
vsize: 848880
[startup+160.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 13887 52 0 0 25 0 11 0 549432371 869253120 26006 4294967295 134512640 134569956 3221224400 3221214696 1131232416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26006 13073 16 0 212204 0
vsize: 848880
[startup+170.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 14852 53 0 0 24 0 11 0 549432371 869253120 26097 4294967295 134512640 134569956 3221224400 3221214600 1131307398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26097 13073 16 0 212204 0
vsize: 848880
[startup+180.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 15820 53 0 0 25 0 11 0 549432371 869253120 26180 4294967295 134512640 134569956 3221224400 3221214696 1131231805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26180 13073 16 0 212204 0
vsize: 848880
[startup+190.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 16783 53 0 0 25 0 11 0 549432371 869253120 26299 4294967295 134512640 134569956 3221224400 3221214696 1131232416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26299 13073 16 0 212204 0
vsize: 848880
[startup+200.033 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 17749 54 0 0 25 0 11 0 549432371 869253120 26376 4294967295 134512640 134569956 3221224400 3221214600 1131250351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26376 13073 16 0 212204 0
vsize: 848880
[startup+210.033 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 18711 54 0 0 25 0 11 0 549432371 869253120 26587 4294967295 134512640 134569956 3221224400 3221214696 1131232384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26587 13073 16 0 212204 0
vsize: 848880
[startup+220.034 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 19680 54 0 0 25 0 11 0 549432371 869253120 26686 4294967295 134512640 134569956 3221224400 3221214696 1131231809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26686 13073 16 0 212204 0
vsize: 848880
[startup+230.035 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 20646 54 0 0 25 0 11 0 549432371 869253120 26811 4294967295 134512640 134569956 3221224400 3221214696 1131232175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26811 13073 16 0 212204 0
vsize: 848880
[startup+240.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 21607 55 0 0 25 0 11 0 549432371 869253120 26910 4294967295 134512640 134569956 3221224400 3221214624 1131492612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26910 13073 16 0 212204 0
vsize: 848880
[startup+250.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 22571 55 0 0 25 0 11 0 549432371 869253120 26996 4294967295 134512640 134569956 3221224400 3221214536 1131519412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 26996 13073 16 0 212204 0
vsize: 848880
[startup+260.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17990 0 84 0 23532 55 0 0 25 0 11 0 549432371 869253120 27183 4294967295 134512640 134569956 3221224400 3221214792 1131284818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27183 13073 16 0 212204 0
vsize: 848880
[startup+270.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 24497 56 0 0 25 0 11 0 549432371 869253120 27279 4294967295 134512640 134569956 3221224400 3221214696 1131232652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27279 13073 16 0 212204 0
vsize: 848880
[startup+280.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 25462 56 0 0 25 0 11 0 549432371 869253120 27363 4294967295 134512640 134569956 3221224400 3221214788 1131233043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 27363 13073 16 0 212204 0
vsize: 848880
[startup+290.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 26423 57 0 0 25 0 11 0 549432371 869253120 27456 4294967295 134512640 134569956 3221224400 3221214696 1131232468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27456 13073 16 0 212204 0
vsize: 848880
[startup+300.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 27387 57 0 0 25 0 11 0 549432371 869253120 27587 4294967295 134512640 134569956 3221224400 3221214696 1131232189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27587 13073 16 0 212204 0
vsize: 848880
[startup+310.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 28347 57 0 0 24 0 11 0 549432371 869253120 27782 4294967295 134512640 134569956 3221224400 3221214696 1131232380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27782 13073 16 0 212204 0
vsize: 848880
[startup+320.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 29313 57 0 0 25 0 11 0 549432371 869253120 27902 4294967295 134512640 134569956 3221224400 3221214696 1131232692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 27902 13073 16 0 212204 0
vsize: 848880
[startup+330.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 30278 57 0 0 25 0 11 0 549432371 869253120 28059 4294967295 134512640 134569956 3221224400 3221214696 1131231903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28059 13073 16 0 212204 0
vsize: 848880
[startup+340.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 31241 58 0 0 25 0 11 0 549432371 869253120 28150 4294967295 134512640 134569956 3221224400 3221214448 1131424385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28150 13073 16 0 212204 0
vsize: 848880
[startup+350.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 32199 58 0 0 25 0 11 0 549432371 869253120 28238 4294967295 134512640 134569956 3221224400 3221214696 1131232357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28238 13073 16 0 212204 0
vsize: 848880
[startup+360.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 33153 58 0 0 25 0 11 0 549432371 869253120 28346 4294967295 134512640 134569956 3221224400 3221214792 1131283974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28346 13073 16 0 212204 0
vsize: 848880
[startup+370.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 34110 59 0 0 25 0 11 0 549432371 869253120 28690 4294967295 134512640 134569956 3221224400 3221214792 1131278594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28690 13073 16 0 212204 0
vsize: 848880
[startup+380.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 35076 59 0 0 25 0 11 0 549432371 869253120 28776 4294967295 134512640 134569956 3221224400 3221214696 1131232035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28776 13073 16 0 212204 0
vsize: 848880
[startup+390.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 36038 59 0 0 25 0 11 0 549432371 869253120 28863 4294967295 134512640 134569956 3221224400 3221214704 1131689553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 28863 13073 16 0 212204 0
vsize: 848880
[startup+400.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10173
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 36998 60 0 0 25 0 11 0 549432371 869253120 29066 4294967295 134512640 134569956 3221224400 3221214696 1131231907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 29066 13073 16 0 212204 0
vsize: 848880
[startup+410.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 37956 61 0 0 25 0 11 0 549432371 869253120 29177 4294967295 134512640 134569956 3221224400 3221214696 1131232148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 29177 13073 16 0 212204 0
vsize: 848880
[startup+420.102 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 38919 61 0 0 25 0 11 0 549432371 869253120 29377 4294967295 134512640 134569956 3221224400 3221214696 1131231805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 29377 13073 16 0 212204 0
vsize: 848880
[startup+430.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 39884 61 0 0 25 0 11 0 549432371 869253120 29493 4294967295 134512640 134569956 3221224400 3221214224 1131702291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 29493 13073 16 0 212204 0
vsize: 848880
[startup+440.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 40849 61 0 0 25 0 11 0 549432371 869253120 29623 4294967295 134512640 134569956 3221224400 3221214696 1131231899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 29623 13073 16 0 212204 0
vsize: 848880
[startup+450.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 41814 62 0 0 25 0 11 0 549432371 869253120 29718 4294967295 134512640 134569956 3221224400 3221214792 1131277613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 29718 13073 16 0 212204 0
vsize: 848880
[startup+460.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 42777 62 0 0 25 0 11 0 549432371 869253120 29856 4294967295 134512640 134569956 3221224400 3221214596 1131517840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 29856 13073 16 0 212204 0
vsize: 848880
[startup+470.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 43743 62 0 0 25 0 11 0 549432371 869253120 29955 4294967295 134512640 134569956 3221224400 3221214792 1131284010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 29955 13073 16 0 212204 0
vsize: 848880
[startup+480.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 44702 62 0 0 25 0 11 0 549432371 869253120 30053 4294967295 134512640 134569956 3221224400 3221214696 1131231842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30053 13073 16 0 212204 0
vsize: 848880
[startup+490.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 45657 62 0 0 25 0 11 0 549432371 869253120 30193 4294967295 134512640 134569956 3221224400 3221214704 1131695495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30193 13073 16 0 212204 0
vsize: 848880
[startup+500.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 46617 62 0 0 25 0 11 0 549432371 869253120 30298 4294967295 134512640 134569956 3221224400 3221214320 1131414078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30298 13073 16 0 212204 0
vsize: 848880
[startup+510.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 47572 62 0 0 25 0 11 0 549432371 869253120 30439 4294967295 134512640 134569956 3221224400 3221214368 1131480413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30439 13073 16 0 212204 0
vsize: 848880
[startup+520.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 48529 62 0 0 25 0 11 0 549432371 869253120 30630 4294967295 134512640 134569956 3221224400 3221213988 1131517904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30630 13073 16 0 212204 0
vsize: 848880
[startup+530.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 49491 63 0 0 25 0 11 0 549432371 869253120 30956 4294967295 134512640 134569956 3221224400 3221214664 1131457825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 30956 13073 16 0 212204 0
vsize: 848880
[startup+540.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 50457 63 0 0 25 0 11 0 549432371 869253120 31166 4294967295 134512640 134569956 3221224400 3221214600 1131250485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31166 13073 16 0 212204 0
vsize: 848880
[startup+550.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 51426 63 0 0 25 0 11 0 549432371 869253120 31291 4294967295 134512640 134569956 3221224400 3221214704 1131695572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31291 13073 16 0 212204 0
vsize: 848880
[startup+560.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 52392 63 0 0 25 0 11 0 549432371 869253120 31411 4294967295 134512640 134569956 3221224400 3221214600 1131309254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31411 13073 16 0 212204 0
vsize: 848880
[startup+570.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 53357 63 0 0 25 0 11 0 549432371 869253120 31518 4294967295 134512640 134569956 3221224400 3221214704 1131689447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31518 13073 16 0 212204 0
vsize: 848880
[startup+580.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 54323 63 0 0 25 0 11 0 549432371 869253120 31675 4294967295 134512640 134569956 3221224400 3221214696 1131232219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31675 13073 16 0 212204 0
vsize: 848880
[startup+590.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 55290 63 0 0 25 0 11 0 549432371 869253120 31776 4294967295 134512640 134569956 3221224400 3221214600 1131309284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31776 13073 16 0 212204 0
vsize: 848880
[startup+600.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 56260 64 0 0 25 0 11 0 549432371 869253120 31868 4294967295 134512640 134569956 3221224400 3221214792 1131278640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31868 13073 16 0 212204 0
vsize: 848880
[startup+610.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 57224 64 0 0 25 0 11 0 549432371 869253120 31979 4294967295 134512640 134569956 3221224400 3221214696 1131231809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 31979 13073 16 0 212204 0
vsize: 848880
[startup+620.129 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 58187 64 0 0 25 0 11 0 549432371 869253120 32080 4294967295 134512640 134569956 3221224400 3221214696 1131231842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 32080 13073 16 0 212204 0
vsize: 848880
[startup+630.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 59152 64 0 0 25 0 11 0 549432371 869253120 32173 4294967295 134512640 134569956 3221224400 3221214792 1131278640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 32173 13073 16 0 212204 0
vsize: 848880
[startup+640.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 60090 64 0 0 25 0 11 0 549432371 869253120 32330 4294967295 134512640 134569956 3221224400 3221214696 1131232090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 32330 13073 16 0 212204 0
vsize: 848880
[startup+650.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 61036 64 0 0 24 0 11 0 549432371 869253120 32574 4294967295 134512640 134569956 3221224400 3221214696 1131232219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 32574 13073 16 0 212204 0
vsize: 848880
[startup+660.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 61991 64 0 0 25 0 11 0 549432371 869253120 32669 4294967295 134512640 134569956 3221224400 3221214696 1131232792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 32669 13073 16 0 212204 0
vsize: 848880
[startup+670.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 62963 65 0 0 25 0 11 0 549432371 869253120 32885 4294967295 134512640 134569956 3221224400 3221214792 1131277685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 32885 13073 16 0 212204 0
vsize: 848880
[startup+680.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 63937 65 0 0 25 0 11 0 549432371 869253120 32931 4294967295 134512640 134569956 3221224400 3221214504 1131231899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 32931 13073 16 0 212204 0
vsize: 848880
[startup+690.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 64905 65 0 0 25 0 11 0 549432371 869253120 32975 4294967295 134512640 134569956 3221224400 3221214696 1131231935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 32975 13073 16 0 212204 0
vsize: 848880
[startup+700.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10175
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 65880 65 0 0 25 0 11 0 549432371 869253120 33004 4294967295 134512640 134569956 3221224400 3221214696 1131232424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33004 13073 16 0 212204 0
vsize: 848880
[startup+710.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 66855 66 0 0 25 0 11 0 549432371 869253120 33081 4294967295 134512640 134569956 3221224400 3221214792 1131278626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33081 13073 16 0 212204 0
vsize: 848880
[startup+720.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 67834 66 0 0 25 0 11 0 549432371 869253120 33164 4294967295 134512640 134569956 3221224400 3221214696 1131232420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33164 13073 16 0 212204 0
vsize: 848880
[startup+730.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 68814 66 0 0 25 0 11 0 549432371 869253120 33175 4294967295 134512640 134569956 3221224400 3221214696 1131232293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33175 13073 16 0 212204 0
vsize: 848880
[startup+740.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 69789 67 0 0 25 0 11 0 549432371 869253120 33248 4294967295 134512640 134569956 3221224400 3221214328 1131430737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33248 13073 16 0 212204 0
vsize: 848880
[startup+750.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) S 10160 20838 20837 0 -1 0 17991 0 84 0 70766 67 0 0 25 0 11 0 549432371 869253120 33324 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33324 13073 16 0 212204 0
vsize: 848880
[startup+760.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 71744 67 0 0 25 0 11 0 549432371 869253120 33392 4294967295 134512640 134569956 3221224400 3221214696 1131232219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33392 13073 16 0 212204 0
vsize: 848880
[startup+770.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 72723 68 0 0 25 0 11 0 549432371 869253120 33432 4294967295 134512640 134569956 3221224400 3221214696 1131232384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33432 13073 16 0 212204 0
vsize: 848880
[startup+780.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 73698 68 0 0 25 0 11 0 549432371 869253120 33484 4294967295 134512640 134569956 3221224400 3221214696 1131232353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33484 13073 16 0 212204 0
vsize: 848880
[startup+790.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10177
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 0 84 0 74675 68 0 0 25 0 11 0 549432371 869253120 33518 4294967295 134512640 134569956 3221224400 3221214104 1131517905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33518 13073 16 0 212204 0
vsize: 848880
[startup+800.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 75667 68 0 0 25 0 11 0 549432371 869253120 33525 4294967295 134512640 134569956 3221224400 3221214744 1131277620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33525 13073 16 0 212204 0
vsize: 848880
[startup+810.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 76655 69 0 0 25 0 11 0 549432371 869253120 33542 4294967295 134512640 134569956 3221224400 3221214160 1131519378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33542 13073 16 0 212204 0
vsize: 848880
[startup+820.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 77638 69 0 0 25 0 11 0 549432371 869253120 33578 4294967295 134512640 134569956 3221224400 3221213960 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33578 13073 16 0 212204 0
vsize: 848880
[startup+830.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 78616 69 0 0 25 0 11 0 549432371 869253120 33623 4294967295 134512640 134569956 3221224400 3221214768 1131668273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33623 13073 16 0 212204 0
vsize: 848880
[startup+840.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 79588 69 0 0 25 0 11 0 549432371 869253120 33654 4294967295 134512640 134569956 3221224400 3221214280 1131435625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33654 13073 16 0 212204 0
vsize: 848880
[startup+850.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 80570 70 0 0 25 0 11 0 549432371 869253120 33785 4294967295 134512640 134569956 3221224400 3221214552 1131308247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 33785 13073 16 0 212204 0
vsize: 848880
[startup+860.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 81545 70 0 0 25 0 11 0 549432371 869253120 33921 4294967295 134512640 134569956 3221224400 3221214240 1131709505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33921 13073 16 0 212204 0
vsize: 848880
[startup+870.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 82533 70 0 0 25 0 11 0 549432371 869253120 33956 4294967295 134512640 134569956 3221224400 3221214280 1131428144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33956 13073 16 0 212204 0
vsize: 848880
[startup+880.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 83525 71 0 0 25 0 11 0 549432371 869253120 33985 4294967295 134512640 134569956 3221224400 3221214648 1131232366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 33985 13073 16 0 212204 0
vsize: 848880
[startup+890.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 84504 71 0 0 25 0 11 0 549432371 869253120 34097 4294967295 134512640 134569956 3221224400 3221214648 1131232252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34097 13073 16 0 212204 0
vsize: 848880
[startup+900.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) S 10160 20838 20837 0 -1 0 17991 4 84 0 85490 71 0 0 25 0 11 0 549432371 869253120 34150 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34150 13073 16 0 212204 0
vsize: 848880
[startup+910.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 86478 71 0 0 25 0 11 0 549432371 869253120 34187 4294967295 134512640 134569956 3221224400 3221214280 1131430204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 34187 13073 16 0 212204 0
vsize: 848880
[startup+920.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 87462 72 0 0 25 0 11 0 549432371 869253120 34239 4294967295 134512640 134569956 3221224400 3221214424 1131431439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34239 13073 16 0 212204 0
vsize: 848880
[startup+930.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 88449 72 0 0 25 0 11 0 549432371 869253120 34258 4294967295 134512640 134569956 3221224400 3221214648 1131232655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34258 13073 16 0 212204 0
vsize: 848880
[startup+940.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 89437 72 0 0 25 0 11 0 549432371 869253120 34279 4294967295 134512640 134569956 3221224400 3221214280 1131431784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 34279 13073 16 0 212204 0
vsize: 848880
[startup+950.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 90425 72 0 0 25 0 11 0 549432371 869253120 34293 4294967295 134512640 134569956 3221224400 3221214280 1131430850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34293 13073 16 0 212204 0
vsize: 848880
[startup+960.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 91417 72 0 0 25 0 11 0 549432371 869253120 34341 4294967295 134512640 134569956 3221224400 3221214504 1131394180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34341 13073 16 0 212204 0
vsize: 848880
[startup+970.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 92411 72 0 0 25 0 11 0 549432371 869253120 34443 4294967295 134512640 134569956 3221224400 3221214280 1131430488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34443 13073 16 0 212204 0
vsize: 848880
[startup+980.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 93402 73 0 0 25 0 11 0 549432371 869253120 34465 4294967295 134512640 134569956 3221224400 3221214160 1131519399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34465 13073 16 0 212204 0
vsize: 848880
[startup+990.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 94392 73 0 0 25 0 11 0 549432371 869253120 34559 4294967295 134512640 134569956 3221224400 3221214424 1131431302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34559 13073 16 0 212204 0
vsize: 848880
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10178
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 95385 73 0 0 24 0 11 0 549432371 869253120 34570 4294967295 134512640 134569956 3221224400 3221214280 1131430166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34570 13073 16 0 212204 0
vsize: 848880
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 96383 74 0 0 25 0 11 0 549432371 869253120 34572 4294967295 134512640 134569956 3221224400 3221214488 1131519273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 34572 13073 16 0 212204 0
vsize: 848880
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 97373 74 0 0 25 0 11 0 549432371 869253120 34593 4294967295 134512640 134569956 3221224400 3221214164 1080217097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34593 13073 16 0 212204 0
vsize: 848880
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 98367 75 0 0 25 0 11 0 549432371 869253120 34601 4294967295 134512640 134569956 3221224400 3221214480 1131500260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34601 13073 16 0 212204 0
vsize: 848880
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 99358 75 0 0 25 0 11 0 549432371 869253120 34608 4294967295 134512640 134569956 3221224400 3221214648 1131232353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34608 13073 16 0 212204 0
vsize: 848880
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 100349 76 0 0 25 0 11 0 549432371 869253120 34612 4294967295 134512640 134569956 3221224400 3221214056 1131517911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34612 13073 16 0 212204 0
vsize: 848880
[startup+1060.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 101342 76 0 0 25 0 11 0 549432371 869253120 34630 4294967295 134512640 134569956 3221224400 3221214280 1131426563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34630 13073 16 0 212204 0
vsize: 848880
[startup+1070.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 102333 76 0 0 25 0 11 0 549432371 869253120 34661 4294967295 134512640 134569956 3221224400 3221214648 1131232219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34661 13073 16 0 212204 0
vsize: 848880
[startup+1080.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 103318 77 0 0 25 0 11 0 549432371 869253120 34691 4294967295 134512640 134569956 3221224400 3221214744 1131277685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34691 13073 16 0 212204 0
vsize: 848880
[startup+1090.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 104304 77 0 0 25 0 11 0 549432371 869253120 34733 4294967295 134512640 134569956 3221224400 3221214192 1131513307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34733 13073 16 0 212204 0
vsize: 848880
[startup+1100.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 105283 77 0 0 25 0 11 0 549432371 869253120 34764 4294967295 134512640 134569956 3221224400 3221214184 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34764 13073 16 0 212204 0
vsize: 848880
[startup+1110.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 106267 77 0 0 25 0 11 0 549432371 869253120 34833 4294967295 134512640 134569956 3221224400 3221214648 1131232099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34833 13073 16 0 212204 0
vsize: 848880
[startup+1120.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 107243 77 0 0 25 0 11 0 549432371 869253120 34902 4294967295 134512640 134569956 3221224400 3221214744 1131278597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212220 34902 13073 16 0 212204 0
vsize: 848880
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 108219 78 0 0 25 0 11 0 549432371 869253120 34986 4294967295 134512640 134569956 3221224400 3221214908 1131285318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 34986 13073 16 0 212204 0
vsize: 848880
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 109206 78 0 0 25 0 11 0 549432371 869253120 35035 4294967295 134512640 134569956 3221224400 3221214744 1131277439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35035 13073 16 0 212204 0
vsize: 848880
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 110185 78 0 0 25 0 11 0 549432371 869253120 35105 4294967295 134512640 134569956 3221224400 3221214648 1131232424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35105 13073 16 0 212204 0
vsize: 848880
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 111162 78 0 0 25 0 11 0 549432371 869253120 35163 4294967295 134512640 134569956 3221224400 3221214280 1131432205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35163 13073 16 0 212204 0
vsize: 848880
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 112143 79 0 0 25 0 11 0 549432371 869253120 35251 4294967295 134512640 134569956 3221224400 3221214648 1131232416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35251 13073 16 0 212204 0
vsize: 848880
[startup+1180.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 113125 79 0 0 25 0 11 0 549432371 869253120 35312 4294967295 134512640 134569956 3221224400 3221214552 1131250334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35312 13073 16 0 212204 0
vsize: 848880
[startup+1190.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 114119 79 0 0 25 0 11 0 549432371 869253120 35359 4294967295 134512640 134569956 3221224400 3221214024 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35359 13073 16 0 212204 0
vsize: 848880
[startup+1200.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 115103 79 0 0 25 0 11 0 549432371 869253120 35430 4294967295 134512640 134569956 3221224400 3221214280 1131435668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35430 13073 16 0 212204 0
vsize: 848880
[startup+1210.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 116091 79 0 0 25 0 11 0 549432371 869253120 35464 4294967295 134512640 134569956 3221224400 3221214280 1131426876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35464 13073 16 0 212204 0
vsize: 848880
[startup+1220.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 117078 80 0 0 25 0 11 0 549432371 869253120 35502 4294967295 134512640 134569956 3221224400 3221214480 1131499034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35502 13073 16 0 212204 0
vsize: 848880
[startup+1230.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 118069 80 0 0 25 0 11 0 549432371 869253120 35535 4294967295 134512640 134569956 3221224400 3221214092 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35535 13073 16 0 212204 0
vsize: 848880
[startup+1240.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 119059 81 0 0 25 0 11 0 549432371 869253120 35568 4294967295 134512640 134569956 3221224400 3221214480 1131499120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35568 13073 16 0 212204 0
vsize: 848880
[startup+1250.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 10180
Raw data (stat): 10161 (java) R 10160 20838 20837 0 -1 0 17991 4 84 0 120049 81 0 0 25 0 11 0 549432371 869253120 35597 4294967295 134512640 134569956 3221224400 3221214560 1131356965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212220 35597 13073 16 0 212204 0
vsize: 848880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.42 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 10182
Raw data (stat): 10161 (java) Z 10160 20838 20837 0 -1 1036 17991 20861 84 0 120050 81 4480 55 25 0 1 0 549432371 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): 1250.42
CPU time (s): 1246.68
CPU user time (s): 1245.3
CPU system time (s): 1.37779
CPU usage (%): 99.7012
Max. virtual memory (Kb): 849812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####