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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	675
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	95
Trace number 18516

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        382376 kB
Buffers:         35468 kB
Cached:         594376 kB
SwapCached:        176 kB
Active:         271172 kB
Inactive:       361492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        382124 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            13900 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:39:18 (client local time) WITH STATUS 143 IN 1242.94 SECONDS
stats: 17897 7 1242.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-pk1.opb
c reading problem 
c [nbvar=675]
c [nbconstr=100]
c time 2.034
c #vars     675
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
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 10321
Raw data (stat): 10321 (runsolver) R 10320 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487883993 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.24 1.05 0.95 4/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18099 0 1 0 570 39 0 0 25 0 11 0 487883993 876785664 23990 4294967295 134512640 134569956 3221224400 3221214612 1130905166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214059 23990 13073 16 0 214043 0
vsize: 856236
[startup+20.002 s]
Raw data (loadavg): 1.51 1.11 0.97 3/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18119 0 1 0 1242 40 0 0 25 0 11 0 487883993 882053120 25806 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215345 25806 13073 16 0 215329 0
vsize: 861380
[startup+30.0021 s]
Raw data (loadavg): 1.50 1.13 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18124 0 1 0 2187 40 0 0 25 0 11 0 487883993 875945984 25247 4294967295 134512640 134569956 3221224400 3221214608 1131373046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 25247 13073 16 0 213838 0
vsize: 855416
[startup+40.0017 s]
Raw data (loadavg): 1.43 1.12 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 3106 40 0 0 25 0 11 0 487883993 875945984 25887 4294967295 134512640 134569956 3221224400 3221214552 1131265741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 25887 13073 16 0 213838 0
vsize: 855416
[startup+50.0018 s]
Raw data (loadavg): 1.36 1.12 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 4026 40 0 0 25 0 11 0 487883993 875945984 26031 4294967295 134512640 134569956 3221224400 3221214552 1131266066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 26031 13073 16 0 213838 0
vsize: 855416
[startup+60.0021 s]
Raw data (loadavg): 1.30 1.11 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 4937 40 0 0 25 0 11 0 487883993 875945984 26245 4294967295 134512640 134569956 3221224400 3221214672 1131196054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 26245 13073 16 0 213838 0
vsize: 855416
[startup+70.0026 s]
Raw data (loadavg): 1.26 1.11 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 5875 40 0 0 24 0 11 0 487883993 875945984 26665 4294967295 134512640 134569956 3221224400 3221214352 1131586027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 26665 13073 16 0 213838 0
vsize: 855416
[startup+80.0028 s]
Raw data (loadavg): 1.22 1.10 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 6832 40 0 0 25 0 11 0 487883993 875945984 26822 4294967295 134512640 134569956 3221224400 3221214768 1131326560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 26822 13073 16 0 213838 0
vsize: 855416
[startup+90.003 s]
Raw data (loadavg): 1.18 1.10 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 7782 40 0 0 25 0 11 0 487883993 875945984 26965 4294967295 134512640 134569956 3221224400 3221214672 1131195709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 26965 13073 16 0 213838 0
vsize: 855416
[startup+100.003 s]
Raw data (loadavg): 1.15 1.10 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 8729 40 0 0 25 0 11 0 487883993 875945984 27068 4294967295 134512640 134569956 3221224400 3221214672 1131195709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 27068 13073 16 0 213838 0
vsize: 855416
[startup+110.004 s]
Raw data (loadavg): 1.13 1.09 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 9673 40 0 0 25 0 11 0 487883993 875945984 27267 4294967295 134512640 134569956 3221224400 3221214656 1131595848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 27267 13073 16 0 213838 0
vsize: 855416
[startup+120.004 s]
Raw data (loadavg): 1.11 1.09 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 10622 41 0 0 25 0 11 0 487883993 875945984 27466 4294967295 134512640 134569956 3221224400 3221214616 1131596802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 27466 13073 16 0 213838 0
vsize: 855416
[startup+130.004 s]
Raw data (loadavg): 1.09 1.08 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 11572 41 0 0 25 0 11 0 487883993 875945984 27643 4294967295 134512640 134569956 3221224400 3221214656 1131247283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 27643 13073 16 0 213838 0
vsize: 855416
[startup+140.005 s]
Raw data (loadavg): 1.08 1.08 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 12508 41 0 0 25 0 11 0 487883993 875945984 27793 4294967295 134512640 134569956 3221224400 3221214768 1131328485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 27793 13073 16 0 213838 0
vsize: 855416
[startup+150.005 s]
Raw data (loadavg): 1.07 1.08 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 13443 41 0 0 25 0 11 0 487883993 875945984 28011 4294967295 134512640 134569956 3221224400 3221214768 1131327431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28011 13073 16 0 213838 0
vsize: 855416
[startup+160.006 s]
Raw data (loadavg): 1.06 1.08 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 14387 41 0 0 25 0 11 0 487883993 875945984 28208 4294967295 134512640 134569956 3221224400 3221214672 1131196210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28208 13073 16 0 213838 0
vsize: 855416
[startup+170.006 s]
Raw data (loadavg): 1.05 1.07 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 15348 41 0 0 25 0 11 0 487883993 875945984 28438 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28438 13073 16 0 213838 0
vsize: 855416
[startup+180.006 s]
Raw data (loadavg): 1.04 1.07 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 16312 41 0 0 25 0 11 0 487883993 875945984 28575 4294967295 134512640 134569956 3221224400 3221214672 1131195869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28575 13073 16 0 213838 0
vsize: 855416
[startup+190.007 s]
Raw data (loadavg): 1.03 1.07 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 17275 41 0 0 25 0 11 0 487883993 875945984 28736 4294967295 134512640 134569956 3221224400 3221214656 1131247276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28736 13073 16 0 213838 0
vsize: 855416
[startup+200.007 s]
Raw data (loadavg): 1.03 1.06 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 18238 41 0 0 25 0 11 0 487883993 875945984 28876 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 28876 13073 16 0 213838 0
vsize: 855416
[startup+210.008 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 19200 41 0 0 25 0 11 0 487883993 875945984 29015 4294967295 134512640 134569956 3221224400 3221214552 1131317098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29015 13073 16 0 213838 0
vsize: 855416
[startup+220.009 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 20165 41 0 0 25 0 11 0 487883993 875945984 29157 4294967295 134512640 134569956 3221224400 3221214672 1131196305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29157 13073 16 0 213838 0
vsize: 855416
[startup+230.008 s]
Raw data (loadavg): 1.02 1.06 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 21129 41 0 0 25 0 11 0 487883993 875945984 29273 4294967295 134512640 134569956 3221224400 3221214672 1131196285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29273 13073 16 0 213838 0
vsize: 855416
[startup+240.009 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 22093 41 0 0 25 0 11 0 487883993 875945984 29399 4294967295 134512640 134569956 3221224400 3221214768 1131327607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29399 13073 16 0 213838 0
vsize: 855416
[startup+250.01 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 23061 42 0 0 25 0 11 0 487883993 875945984 29485 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29485 13073 16 0 213838 0
vsize: 855416
[startup+260.01 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 24019 42 0 0 19 0 11 0 487883993 875945984 29712 4294967295 134512640 134569956 3221224400 3221214656 1131247387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29712 13073 16 0 213838 0
vsize: 855416
[startup+270.011 s]
Raw data (loadavg): 1.01 1.05 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 24982 42 0 0 25 0 11 0 487883993 875945984 29792 4294967295 134512640 134569956 3221224400 3221214768 1131326617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29792 13073 16 0 213838 0
vsize: 855416
[startup+280.011 s]
Raw data (loadavg): 1.00 1.05 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 25945 42 0 0 25 0 11 0 487883993 875945984 29922 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 29922 13073 16 0 213838 0
vsize: 855416
[startup+290.011 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 26918 42 0 0 25 0 11 0 487883993 875945984 30086 4294967295 134512640 134569956 3221224400 3221214672 1131196065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30086 13073 16 0 213838 0
vsize: 855416
[startup+300.012 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 27889 42 0 0 25 0 11 0 487883993 875945984 30170 4294967295 134512640 134569956 3221224400 3221213820 1077378842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30170 13073 16 0 213838 0
vsize: 855416
[startup+310.013 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 28859 42 0 0 25 0 11 0 487883993 875945984 30239 4294967295 134512640 134569956 3221224400 3221214768 1131326367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30239 13073 16 0 213838 0
vsize: 855416
[startup+320.013 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 29829 42 0 0 25 0 11 0 487883993 875945984 30436 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30436 13073 16 0 213838 0
vsize: 855416
[startup+330.013 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 30804 42 0 0 25 0 11 0 487883993 875945984 30528 4294967295 134512640 134569956 3221224400 3221214672 1131196624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30528 13073 16 0 213838 0
vsize: 855416
[startup+340.014 s]
Raw data (loadavg): 1.00 1.04 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 31782 42 0 0 25 0 11 0 487883993 875945984 30756 4294967295 134512640 134569956 3221224400 3221214672 1131196347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30756 13073 16 0 213838 0
vsize: 855416
[startup+350.013 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 32764 43 0 0 25 0 11 0 487883993 875945984 30834 4294967295 134512640 134569956 3221224400 3221214768 1131327747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30834 13073 16 0 213838 0
vsize: 855416
[startup+360.014 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 33742 43 0 0 25 0 11 0 487883993 875945984 30882 4294967295 134512640 134569956 3221224400 3221214672 1131195721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30882 13073 16 0 213838 0
vsize: 855416
[startup+370.015 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 34716 43 0 0 24 0 11 0 487883993 875945984 30966 4294967295 134512640 134569956 3221224400 3221214768 1131327538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 30966 13073 16 0 213838 0
vsize: 855416
[startup+380.015 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 35694 43 0 0 25 0 11 0 487883993 875945984 31005 4294967295 134512640 134569956 3221224400 3221214768 1131327393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31005 13073 16 0 213838 0
vsize: 855416
[startup+390.016 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 36672 43 0 0 24 0 11 0 487883993 875945984 31240 4294967295 134512640 134569956 3221224400 3221214768 1131336736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31240 13073 16 0 213838 0
vsize: 855416
[startup+400.017 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 37655 43 0 0 25 0 11 0 487883993 875945984 31273 4294967295 134512640 134569956 3221224400 3221214672 1131195709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31273 13073 16 0 213838 0
vsize: 855416
[startup+410.017 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 38634 43 0 0 25 0 11 0 487883993 875945984 31316 4294967295 134512640 134569956 3221224400 3221214672 1131195816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31316 13073 16 0 213838 0
vsize: 855416
[startup+420.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 39614 43 0 0 25 0 11 0 487883993 875945984 31410 4294967295 134512640 134569956 3221224400 3221214768 1131327604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31410 13073 16 0 213838 0
vsize: 855416
[startup+430.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 40592 43 0 0 25 0 11 0 487883993 875945984 31463 4294967295 134512640 134569956 3221224400 3221214768 1131327468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31463 13073 16 0 213838 0
vsize: 855416
[startup+440.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 41570 43 0 0 25 0 11 0 487883993 875945984 31542 4294967295 134512640 134569956 3221224400 3221214672 1131196025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31542 13073 16 0 213838 0
vsize: 855416
[startup+450.018 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 42546 43 0 0 24 0 11 0 487883993 875945984 31620 4294967295 134512640 134569956 3221224400 3221214672 1131196112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31620 13073 16 0 213838 0
vsize: 855416
[startup+460.019 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 43518 43 0 0 25 0 11 0 487883993 875945984 31732 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31732 13073 16 0 213838 0
vsize: 855416
[startup+470.018 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 44490 44 0 0 25 0 11 0 487883993 875945984 31840 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 31840 13073 16 0 213838 0
vsize: 855416
[startup+480.018 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 45459 44 0 0 25 0 11 0 487883993 875945984 32115 4294967295 134512640 134569956 3221224400 3221214672 1131197174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32115 13073 16 0 213838 0
vsize: 855416
[startup+490.019 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 46435 44 0 0 24 0 11 0 487883993 875945984 32273 4294967295 134512640 134569956 3221224400 3221214672 1131196353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32273 13073 16 0 213838 0
vsize: 855416
[startup+500.019 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 47414 44 0 0 25 0 11 0 487883993 875945984 32319 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32319 13073 16 0 213838 0
vsize: 855416
[startup+510.02 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 48396 44 0 0 25 0 11 0 487883993 875945984 32476 4294967295 134512640 134569956 3221224400 3221214768 1131327586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32476 13073 16 0 213838 0
vsize: 855416
[startup+520.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 49375 44 0 0 25 0 11 0 487883993 875945984 32539 4294967295 134512640 134569956 3221224400 3221214768 1131327558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32539 13073 16 0 213838 0
vsize: 855416
[startup+530.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 50356 44 0 0 25 0 11 0 487883993 875945984 32579 4294967295 134512640 134569956 3221224400 3221214672 1131196068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32579 13073 16 0 213838 0
vsize: 855416
[startup+540.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 51335 44 0 0 25 0 11 0 487883993 875945984 32649 4294967295 134512640 134569956 3221224400 3221214304 1131596945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 32649 13073 16 0 213838 0
vsize: 855416
[startup+550.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 52317 44 0 0 25 0 11 0 487883993 875945984 32698 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32698 13073 16 0 213838 0
vsize: 855416
[startup+560.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 53295 45 0 0 25 0 11 0 487883993 875945984 32753 4294967295 134512640 134569956 3221224400 3221214672 1131196032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32753 13073 16 0 213838 0
vsize: 855416
[startup+570.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 54274 46 0 0 24 0 11 0 487883993 875945984 32793 4294967295 134512640 134569956 3221224400 3221214720 1131391115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32793 13073 16 0 213838 0
vsize: 855416
[startup+580.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 55254 46 0 0 25 0 11 0 487883993 875945984 32832 4294967295 134512640 134569956 3221224400 3221214672 1131196347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32832 13073 16 0 213838 0
vsize: 855416
[startup+590.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 56232 46 0 0 25 0 11 0 487883993 875945984 32941 4294967295 134512640 134569956 3221224400 3221214656 1131247283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32941 13073 16 0 213838 0
vsize: 855416
[startup+600.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 57212 46 0 0 25 0 11 0 487883993 875945984 32981 4294967295 134512640 134569956 3221224400 3221214208 1131596849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 32981 13073 16 0 213838 0
vsize: 855416
[startup+610.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 58186 47 0 0 25 0 11 0 487883993 875945984 33023 4294967295 134512640 134569956 3221224400 3221214672 1131197174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33023 13073 16 0 213838 0
vsize: 855416
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 59163 47 0 0 25 0 11 0 487883993 875945984 33110 4294967295 134512640 134569956 3221224400 3221214672 1131195749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33110 13073 16 0 213838 0
vsize: 855416
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 60136 47 0 0 25 0 11 0 487883993 875945984 33167 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33167 13073 16 0 213838 0
vsize: 855416
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 61105 47 0 0 25 0 11 0 487883993 875945984 33346 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33346 13073 16 0 213838 0
vsize: 855416
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 62059 48 0 0 25 0 11 0 487883993 875945984 33386 4294967295 134512640 134569956 3221224400 3221214768 1131337689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 33386 13073 16 0 213838 0
vsize: 855416
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 63007 48 0 0 25 0 11 0 487883993 875945984 33523 4294967295 134512640 134569956 3221224400 3221214768 1131326630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33523 13073 16 0 213838 0
vsize: 855416
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 63957 49 0 0 25 0 11 0 487883993 875945984 33643 4294967295 134512640 134569956 3221224400 3221214768 1131326383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 33643 13073 16 0 213838 0
vsize: 855416
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 64918 49 0 0 25 0 11 0 487883993 875945984 34198 4294967295 134512640 134569956 3221224400 3221214672 1131195915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34198 13073 16 0 213838 0
vsize: 855416
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 65890 50 0 0 25 0 11 0 487883993 875945984 34271 4294967295 134512640 134569956 3221224400 3221214672 1131197036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34271 13073 16 0 213838 0
vsize: 855416
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 66857 50 0 0 25 0 11 0 487883993 875945984 34412 4294967295 134512640 134569956 3221224400 3221214672 1131196347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34412 13073 16 0 213838 0
vsize: 855416
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 67826 50 0 0 25 0 11 0 487883993 875945984 34514 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34514 13073 16 0 213838 0
vsize: 855416
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 68793 51 0 0 25 0 11 0 487883993 875945984 34794 4294967295 134512640 134569956 3221224400 3221214768 1131326617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34794 13073 16 0 213838 0
vsize: 855416
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 69760 51 0 0 25 0 11 0 487883993 875945984 34942 4294967295 134512640 134569956 3221224400 3221214672 1131195986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 34942 13073 16 0 213838 0
vsize: 855416
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 70725 52 0 0 25 0 11 0 487883993 875945984 35121 4294967295 134512640 134569956 3221224400 3221214672 1131196874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35121 13073 16 0 213838 0
vsize: 855416
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 71696 52 0 0 25 0 11 0 487883993 875945984 35309 4294967295 134512640 134569956 3221224400 3221214672 1131195801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35309 13073 16 0 213838 0
vsize: 855416
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 72670 52 0 0 25 0 11 0 487883993 875945984 35534 4294967295 134512640 134569956 3221224400 3221214704 1131265615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35534 13073 16 0 213838 0
vsize: 855416
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 73648 53 0 0 25 0 11 0 487883993 875945984 35631 4294967295 134512640 134569956 3221224400 3221214672 1131196082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35631 13073 16 0 213838 0
vsize: 855416
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 74624 53 0 0 25 0 11 0 487883993 875945984 35724 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35724 13073 16 0 213838 0
vsize: 855416
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 75601 53 0 0 24 0 11 0 487883993 875945984 35778 4294967295 134512640 134569956 3221224400 3221214672 1131195717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35778 13073 16 0 213838 0
vsize: 855416
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 76580 54 0 0 25 0 11 0 487883993 875945984 35867 4294967295 134512640 134569956 3221224400 3221214768 1131327607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35867 13073 16 0 213838 0
vsize: 855416
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 77558 54 0 0 25 0 11 0 487883993 875945984 35916 4294967295 134512640 134569956 3221224400 3221214464 1131394391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35916 13073 16 0 213838 0
vsize: 855416
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 78538 54 0 0 25 0 11 0 487883993 875945984 35974 4294967295 134512640 134569956 3221224400 3221214792 1131452188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 35974 13073 16 0 213838 0
vsize: 855416
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 79514 54 0 0 25 0 11 0 487883993 875945984 36052 4294967295 134512640 134569956 3221224400 3221214672 1131196287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36052 13073 16 0 213838 0
vsize: 855416
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 80492 55 0 0 25 0 11 0 487883993 875945984 36096 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36096 13073 16 0 213838 0
vsize: 855416
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 81465 55 0 0 24 0 11 0 487883993 875945984 36164 4294967295 134512640 134569956 3221224400 3221214672 1131196238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36164 13073 16 0 213838 0
vsize: 855416
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 82440 55 0 0 25 0 11 0 487883993 875945984 36260 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36260 13073 16 0 213838 0
vsize: 855416
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 83413 55 0 0 24 0 11 0 487883993 875945984 36387 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36387 13073 16 0 213838 0
vsize: 855416
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 84390 56 0 0 25 0 11 0 487883993 875945984 36468 4294967295 134512640 134569956 3221224400 3221214768 1131326553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36468 13073 16 0 213838 0
vsize: 855416
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 85367 56 0 0 25 0 11 0 487883993 875945984 36540 4294967295 134512640 134569956 3221224400 3221214472 1131596868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36540 13073 16 0 213838 0
vsize: 855416
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 86341 56 0 0 25 0 11 0 487883993 875945984 36659 4294967295 134512640 134569956 3221224400 3221214768 1131326556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36659 13073 16 0 213838 0
vsize: 855416
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 87316 57 0 0 25 0 11 0 487883993 875945984 36724 4294967295 134512640 134569956 3221224400 3221214768 1131328583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36724 13073 16 0 213838 0
vsize: 855416
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 88288 57 0 0 25 0 11 0 487883993 875945984 36821 4294967295 134512640 134569956 3221224400 3221214768 1131326549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36821 13073 16 0 213838 0
vsize: 855416
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 89265 57 0 0 25 0 11 0 487883993 875945984 36918 4294967295 134512640 134569956 3221224400 3221214768 1131336683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 36918 13073 16 0 213838 0
vsize: 855416
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 90236 57 0 0 24 0 11 0 487883993 875945984 37012 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37012 13073 16 0 213838 0
vsize: 855416
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 91209 57 0 0 25 0 11 0 487883993 875945984 37073 4294967295 134512640 134569956 3221224400 3221214672 1131196185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37073 13073 16 0 213838 0
vsize: 855416
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 92175 58 0 0 25 0 11 0 487883993 875945984 37226 4294967295 134512640 134569956 3221224400 3221214672 1131195721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37226 13073 16 0 213838 0
vsize: 855416
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 93136 58 0 0 24 0 11 0 487883993 875945984 37297 4294967295 134512640 134569956 3221224400 3221214768 1131326617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37297 13073 16 0 213838 0
vsize: 855416
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 94103 58 0 0 25 0 11 0 487883993 875945984 37521 4294967295 134512640 134569956 3221224400 3221214672 1131195808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37521 13073 16 0 213838 0
vsize: 855416
[startup+990.139 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) S 10320 30701 30700 0 -1 0 18125 0 1 0 95086 59 0 0 25 0 11 0 487883993 875945984 37865 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37865 13073 16 0 213838 0
vsize: 855416
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 96062 59 0 0 25 0 11 0 487883993 875945984 37933 4294967295 134512640 134569956 3221224400 3221214672 1131196305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 37933 13073 16 0 213838 0
vsize: 855416
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.98 3/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 97041 59 0 0 25 0 11 0 487883993 875945984 38001 4294967295 134512640 134569956 3221224400 3221214672 1131196210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38001 13073 16 0 213838 0
vsize: 855416
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 98012 59 0 0 24 0 11 0 487883993 875945984 38045 4294967295 134512640 134569956 3221224400 3221214672 1131196238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38045 13073 16 0 213838 0
vsize: 855416
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 98986 59 0 0 25 0 11 0 487883993 875945984 38132 4294967295 134512640 134569956 3221224400 3221214704 1131265420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38132 13073 16 0 213838 0
vsize: 855416
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 99961 59 0 0 25 0 11 0 487883993 875945984 38257 4294967295 134512640 134569956 3221224400 3221214768 1131328457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38257 13073 16 0 213838 0
vsize: 855416
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 100930 60 0 0 25 0 11 0 487883993 875945984 38315 4294967295 134512640 134569956 3221224400 3221214768 1131327528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38315 13073 16 0 213838 0
vsize: 855416
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 101902 60 0 0 25 0 11 0 487883993 875945984 38403 4294967295 134512640 134569956 3221224400 3221214768 1131326617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38403 13073 16 0 213838 0
vsize: 855416
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 102872 60 0 0 25 0 11 0 487883993 875945984 38582 4294967295 134512640 134569956 3221224400 3221214768 1131327768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 38582 13073 16 0 213838 0
vsize: 855416
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 103842 60 0 0 24 0 11 0 487883993 875945984 38701 4294967295 134512640 134569956 3221224400 3221214672 1131195713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38701 13073 16 0 213838 0
vsize: 855416
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 104810 61 0 0 25 0 11 0 487883993 875945984 38796 4294967295 134512640 134569956 3221224400 3221214616 1131596892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38796 13073 16 0 213838 0
vsize: 855416
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 105780 61 0 0 25 0 11 0 487883993 875945984 38896 4294967295 134512640 134569956 3221224400 3221214672 1131195717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 38896 13073 16 0 213838 0
vsize: 855416
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 106748 61 0 0 24 0 11 0 487883993 875945984 39219 4294967295 134512640 134569956 3221224400 3221214672 1131195709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213854 39219 13073 16 0 213838 0
vsize: 855416
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 107725 61 0 0 25 0 11 0 487883993 875945984 39270 4294967295 134512640 134569956 3221224400 3221214656 1131592727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39270 13073 16 0 213838 0
vsize: 855416
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 108700 62 0 0 25 0 11 0 487883993 875945984 39322 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39322 13073 16 0 213838 0
vsize: 855416
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 109670 62 0 0 25 0 11 0 487883993 875945984 39376 4294967295 134512640 134569956 3221224400 3221214672 1131196154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39376 13073 16 0 213838 0
vsize: 855416
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 110641 62 0 0 25 0 11 0 487883993 875945984 39510 4294967295 134512640 134569956 3221224400 3221214768 1131327351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39510 13073 16 0 213838 0
vsize: 855416
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 111617 62 0 0 25 0 11 0 487883993 875945984 39611 4294967295 134512640 134569956 3221224400 3221214768 1131336551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39611 13073 16 0 213838 0
vsize: 855416
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 112591 62 0 0 24 0 11 0 487883993 875945984 39784 4294967295 134512640 134569956 3221224400 3221214808 1131606176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39784 13073 16 0 213838 0
vsize: 855416
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 113570 62 0 0 25 0 11 0 487883993 875945984 39826 4294967295 134512640 134569956 3221224400 3221214672 1131196125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39826 13073 16 0 213838 0
vsize: 855416
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 114553 62 0 0 25 0 11 0 487883993 875945984 39849 4294967295 134512640 134569956 3221224400 3221214672 1131195801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39849 13073 16 0 213838 0
vsize: 855416
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 115526 62 0 0 25 0 11 0 487883993 875945984 39881 4294967295 134512640 134569956 3221224400 3221214672 1131196277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39881 13073 16 0 213838 0
vsize: 855416
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 116501 62 0 0 25 0 11 0 487883993 875945984 39951 4294967295 134512640 134569956 3221224400 3221214768 1131326549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39951 13073 16 0 213838 0
vsize: 855416
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 117475 62 0 0 25 0 11 0 487883993 875945984 39979 4294967295 134512640 134569956 3221224400 3221213988 1131597760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 39979 13073 16 0 213838 0
vsize: 855416
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 118446 62 0 0 24 0 11 0 487883993 875945984 40056 4294967295 134512640 134569956 3221224400 3221214432 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 40056 13073 16 0 213838 0
vsize: 855416
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 119425 62 0 0 25 0 11 0 487883993 875945984 40109 4294967295 134512640 134569956 3221224400 3221214656 1131597781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 40109 13073 16 0 213838 0
vsize: 855416
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10331
Raw data (stat): 10321 (java) R 10320 30701 30700 0 -1 0 18125 0 1 0 120404 62 0 0 25 0 11 0 487883993 875945984 40163 4294967295 134512640 134569956 3221224400 3221214672 1131196351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213854 40163 13073 16 0 213838 0
vsize: 855416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 10333
Raw data (stat): 10321 (java) Z 10320 30701 30700 0 -1 1036 18125 16340 1 0 120405 62 3772 52 25 0 1 0 487883993 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.27
CPU time (s): 1242.94
CPU user time (s): 1241.78
CPU system time (s): 1.15782
CPU usage (%): 99.4136
Max. virtual memory (Kb): 861380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####