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/miplib3/normalized-mps-v2-13-7-enigma.opb
MD5SUM	438e2455c0b7b4efdea6a7e48ef2555a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	9
Biggest coefficient in the objective function	9
Number of bits for the biggest coefficient in the objective function	4
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	900207
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	9508275
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.415935
Number of variables	100
Total number of constraints	121
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	120
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	90
Trace number 15183

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-21 03:16:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18313 boxname=wulflinc30 idbench=1409 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  438e2455c0b7b4efdea6a7e48ef2555a  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-enigma.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-enigma.opb
IDLAUNCH: 18313
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        788596 kB
Buffers:         13592 kB
Cached:         201152 kB
SwapCached:          0 kB
Active:          51600 kB
Inactive:       165896 kB
HighTotal:      131008 kB
HighFree:         5208 kB
LowTotal:       903652 kB
LowFree:        783388 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            22964 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:37:01 (client local time) WITH STATUS 143 IN 1226.88 SECONDS
stats: 18313 7 1226.88 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-enigma.opb
c reading problem 
c [nbvar=100]
c [nbconstr=121]
c time 0.617
c #vars     100
c #clauses  42
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.85 0.95 0.91 2/54 10578
Raw data (stat): 10578 (runsolver) R 10577 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541765923 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.0018 s]
Raw data (loadavg): 1.26 1.04 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18088 0 1 0 589 41 0 0 24 0 11 0 541765923 862310400 20629 4294967295 134512640 134569956 3221224400 3221214776 1131286287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210525 20629 13073 16 0 210509 0
vsize: 842100
[startup+20.0021 s]
Raw data (loadavg): 1.22 1.04 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 1553 41 0 0 25 0 11 0 541765923 861261824 20941 4294967295 134512640 134569956 3221224400 3221214672 1131168114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 20941 13073 16 0 210253 0
vsize: 841076
[startup+30.0023 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 2527 41 0 0 24 0 11 0 541765923 861261824 21197 4294967295 134512640 134569956 3221224400 3221214672 1131167741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21197 13073 16 0 210253 0
vsize: 841076
[startup+40.003 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 3505 41 0 0 25 0 11 0 541765923 861261824 21336 4294967295 134512640 134569956 3221224400 3221214608 1131251726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21336 13073 16 0 210253 0
vsize: 841076
[startup+50.0035 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 4481 41 0 0 25 0 11 0 541765923 861261824 21505 4294967295 134512640 134569956 3221224400 3221214608 1131251563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21505 13073 16 0 210253 0
vsize: 841076
[startup+60.0046 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 5462 41 0 0 25 0 11 0 541765923 861261824 21671 4294967295 134512640 134569956 3221224400 3221214488 1131457421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21671 13073 16 0 210253 0
vsize: 841076
[startup+70.0055 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 6450 41 0 0 25 0 11 0 541765923 861261824 21720 4294967295 134512640 134569956 3221224400 3221214472 1131504635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21720 13073 16 0 210253 0
vsize: 841076
[startup+80.0059 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 7434 42 0 0 25 0 11 0 541765923 861261824 21800 4294967295 134512640 134569956 3221224400 3221214488 1131457427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21800 13073 16 0 210253 0
vsize: 841076
[startup+90.0062 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 8421 42 0 0 25 0 11 0 541765923 861261824 21874 4294967295 134512640 134569956 3221224400 3221214464 1080217018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21874 13073 16 0 210253 0
vsize: 841076
[startup+100.006 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 9411 42 0 0 25 0 11 0 541765923 861261824 21921 4294967295 134512640 134569956 3221224400 3221214576 1131445921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 21921 13073 16 0 210253 0
vsize: 841076
[startup+110.006 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 10394 42 0 0 25 0 11 0 541765923 861261824 22012 4294967295 134512640 134569956 3221224400 3221214672 1131168308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22012 13073 16 0 210253 0
vsize: 841076
[startup+120.008 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 11376 42 0 0 25 0 11 0 541765923 861261824 22078 4294967295 134512640 134569956 3221224400 3221214616 1131263842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22078 13073 16 0 210253 0
vsize: 841076
[startup+130.007 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 12361 42 0 0 25 0 11 0 541765923 861261824 22160 4294967295 134512640 134569956 3221224400 3221214688 1131279778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22160 13073 16 0 210253 0
vsize: 841076
[startup+140.008 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 13345 42 0 0 25 0 11 0 541765923 861261824 22206 4294967295 134512640 134569956 3221224400 3221214656 1131315520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22206 13073 16 0 210253 0
vsize: 841076
[startup+150.01 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 14333 42 0 0 25 0 11 0 541765923 861261824 22260 4294967295 134512640 134569956 3221224400 3221214528 1131456957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22260 13073 16 0 210253 0
vsize: 841076
[startup+160.019 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 15325 42 0 0 25 0 11 0 541765923 861261824 22350 4294967295 134512640 134569956 3221224400 3221214528 1079721474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 22350 13073 16 0 210253 0
vsize: 841076
[startup+170.123 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 16324 42 0 0 25 0 11 0 541765923 861261824 22412 4294967295 134512640 134569956 3221224400 3221214488 1131457423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22412 13073 16 0 210253 0
vsize: 841076
[startup+180.124 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 17308 42 0 0 25 0 11 0 541765923 861261824 22501 4294967295 134512640 134569956 3221224400 3221214520 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22501 13073 16 0 210253 0
vsize: 841076
[startup+190.124 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 18300 42 0 0 25 0 11 0 541765923 861261824 22620 4294967295 134512640 134569956 3221224400 3221214604 1131515347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22620 13073 16 0 210253 0
vsize: 841076
[startup+200.124 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 19289 42 0 0 25 0 11 0 541765923 861261824 22685 4294967295 134512640 134569956 3221224400 3221214392 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22685 13073 16 0 210253 0
vsize: 841076
[startup+210.125 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 20278 42 0 0 25 0 11 0 541765923 861261824 22770 4294967295 134512640 134569956 3221224400 3221214512 1131204271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22770 13073 16 0 210253 0
vsize: 841076
[startup+220.125 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 21267 42 0 0 25 0 11 0 541765923 861261824 22840 4294967295 134512640 134569956 3221224400 3221214488 1131457443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22840 13073 16 0 210253 0
vsize: 841076
[startup+230.125 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 22246 42 0 0 25 0 11 0 541765923 861261824 22975 4294967295 134512640 134569956 3221224400 3221214520 1131446624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 22975 13073 16 0 210253 0
vsize: 841076
[startup+240.126 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 23227 42 0 0 25 0 11 0 541765923 861261824 23066 4294967295 134512640 134569956 3221224400 3221214528 1131457937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23066 13073 16 0 210253 0
vsize: 841076
[startup+250.127 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 24213 42 0 0 25 0 11 0 541765923 861261824 23145 4294967295 134512640 134569956 3221224400 3221214608 1131251171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23145 13073 16 0 210253 0
vsize: 841076
[startup+260.128 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 25201 42 0 0 25 0 11 0 541765923 861261824 23187 4294967295 134512640 134569956 3221224400 3221214400 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23187 13073 16 0 210253 0
vsize: 841076
[startup+270.127 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 26176 42 0 0 25 0 11 0 541765923 861261824 23270 4294967295 134512640 134569956 3221224400 3221214528 1131457951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23270 13073 16 0 210253 0
vsize: 841076
[startup+280.128 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 27158 42 0 0 25 0 11 0 541765923 861261824 23334 4294967295 134512640 134569956 3221224400 3221214672 1131167745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 23334 13073 16 0 210253 0
vsize: 841076
[startup+290.128 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 28135 43 0 0 25 0 11 0 541765923 861261824 23432 4294967295 134512640 134569956 3221224400 3221214452 1080217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23432 13073 16 0 210253 0
vsize: 841076
[startup+300.128 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 29111 43 0 0 25 0 11 0 541765923 861261824 23550 4294967295 134512640 134569956 3221224400 3221214608 1131251028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23550 13073 16 0 210253 0
vsize: 841076
[startup+310.129 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 30093 43 0 0 25 0 11 0 541765923 861261824 23611 4294967295 134512640 134569956 3221224400 3221214520 1131515393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23611 13073 16 0 210253 0
vsize: 841076
[startup+320.129 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 31070 43 0 0 25 0 11 0 541765923 861261824 23709 4294967295 134512640 134569956 3221224400 3221214560 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23709 13073 16 0 210253 0
vsize: 841076
[startup+330.129 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 32046 43 0 0 25 0 11 0 541765923 861261824 23811 4294967295 134512640 134569956 3221224400 3221214736 1131176070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23811 13073 16 0 210253 0
vsize: 841076
[startup+340.129 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 33022 43 0 0 25 0 11 0 541765923 861261824 23900 4294967295 134512640 134569956 3221224400 3221214776 1131285336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 23900 13073 16 0 210253 0
vsize: 841076
[startup+350.129 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 33994 43 0 0 25 0 11 0 541765923 861261824 24030 4294967295 134512640 134569956 3221224400 3221214544 1131268695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24030 13073 16 0 210253 0
vsize: 841076
[startup+360.13 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 34966 43 0 0 24 0 11 0 541765923 861261824 24159 4294967295 134512640 134569956 3221224400 3221214568 1131251616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24159 13073 16 0 210253 0
vsize: 841076
[startup+370.131 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 35938 43 0 0 25 0 11 0 541765923 861261824 24263 4294967295 134512640 134569956 3221224400 3221214528 1131456944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24263 13073 16 0 210253 0
vsize: 841076
[startup+380.131 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 36909 43 0 0 25 0 11 0 541765923 861261824 24364 4294967295 134512640 134569956 3221224400 3221214760 1131557012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24364 13073 16 0 210253 0
vsize: 841076
[startup+390.131 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 37878 43 0 0 25 0 11 0 541765923 861261824 24495 4294967295 134512640 134569956 3221224400 3221214576 1131450752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24495 13073 16 0 210253 0
vsize: 841076
[startup+400.131 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 38848 43 0 0 25 0 11 0 541765923 861261824 24615 4294967295 134512640 134569956 3221224400 3221214472 1131504002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24615 13073 16 0 210253 0
vsize: 841076
[startup+410.132 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 39822 43 0 0 25 0 11 0 541765923 861261824 24700 4294967295 134512640 134569956 3221224400 3221214808 1131220078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24700 13073 16 0 210253 0
vsize: 841076
[startup+420.133 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 40790 43 0 0 25 0 11 0 541765923 861261824 24810 4294967295 134512640 134569956 3221224400 3221214680 1131211886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24810 13073 16 0 210253 0
vsize: 841076
[startup+430.134 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 41759 43 0 0 25 0 11 0 541765923 861261824 24919 4294967295 134512640 134569956 3221224400 3221214528 1131457256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 24919 13073 16 0 210253 0
vsize: 841076
[startup+440.134 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18089 0 1 0 42729 43 0 0 25 0 11 0 541765923 861261824 25040 4294967295 134512640 134569956 3221224400 3221214672 1131168306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25040 13073 16 0 210253 0
vsize: 841076
[startup+450.134 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 43698 43 0 0 25 0 11 0 541765923 861261824 25144 4294967295 134512640 134569956 3221224400 3221214672 1131168253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25144 13073 16 0 210253 0
vsize: 841076
[startup+460.134 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 44674 43 0 0 25 0 11 0 541765923 861261824 25246 4294967295 134512640 134569956 3221224400 3221214672 1131168324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25246 13073 16 0 210253 0
vsize: 841076
[startup+470.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 45640 43 0 0 25 0 11 0 541765923 861261824 25367 4294967295 134512640 134569956 3221224400 3221214304 1131384593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25367 13073 16 0 210253 0
vsize: 841076
[startup+480.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 46609 43 0 0 25 0 11 0 541765923 861261824 25468 4294967295 134512640 134569956 3221224400 3221214812 1130901315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25468 13073 16 0 210253 0
vsize: 841076
[startup+490.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 47577 43 0 0 25 0 11 0 541765923 861261824 25578 4294967295 134512640 134569956 3221224400 3221214492 1131384536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25578 13073 16 0 210253 0
vsize: 841076
[startup+500.135 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 48544 43 0 0 24 0 11 0 541765923 861261824 25680 4294967295 134512640 134569956 3221224400 3221214536 1131445800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25680 13073 16 0 210253 0
vsize: 841076
[startup+510.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 49516 44 0 0 25 0 11 0 541765923 861261824 25750 4294967295 134512640 134569956 3221224400 3221214608 1131250330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25750 13073 16 0 210253 0
vsize: 841076
[startup+520.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 50487 44 0 0 25 0 11 0 541765923 861261824 25856 4294967295 134512640 134569956 3221224400 3221214680 1131212195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25856 13073 16 0 210253 0
vsize: 841076
[startup+530.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 51461 44 0 0 25 0 11 0 541765923 861261824 25939 4294967295 134512640 134569956 3221224400 3221214672 1131168344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 25939 13073 16 0 210253 0
vsize: 841076
[startup+540.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 52430 44 0 0 25 0 11 0 541765923 861261824 26057 4294967295 134512640 134569956 3221224400 3221214544 1131268910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26057 13073 16 0 210253 0
vsize: 841076
[startup+550.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 53411 44 0 0 25 0 11 0 541765923 861261824 26145 4294967295 134512640 134569956 3221224400 3221214552 1079721543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26145 13073 16 0 210253 0
vsize: 841076
[startup+560.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 54389 44 0 0 25 0 11 0 541765923 861261824 26252 4294967295 134512640 134569956 3221224400 3221214608 1131280898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26252 13073 16 0 210253 0
vsize: 841076
[startup+570.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 55367 44 0 0 25 0 11 0 541765923 861261824 26347 4294967295 134512640 134569956 3221224400 3221214560 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26347 13073 16 0 210253 0
vsize: 841076
[startup+580.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 56351 44 0 0 25 0 11 0 541765923 861261824 26418 4294967295 134512640 134569956 3221224400 3221214376 1131467360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26418 13073 16 0 210253 0
vsize: 841076
[startup+590.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 57326 44 0 0 25 0 11 0 541765923 861261824 26506 4294967295 134512640 134569956 3221224400 3221214528 1131457325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26506 13073 16 0 210253 0
vsize: 841076
[startup+600.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 58306 44 0 0 25 0 11 0 541765923 861261824 26570 4294967295 134512640 134569956 3221224400 3221214528 1131508679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26570 13073 16 0 210253 0
vsize: 841076
[startup+610.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 59281 44 0 0 25 0 11 0 541765923 861261824 26674 4294967295 134512640 134569956 3221224400 3221214776 1131285271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26674 13073 16 0 210253 0
vsize: 841076
[startup+620.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 60260 44 0 0 25 0 11 0 541765923 861261824 26739 4294967295 134512640 134569956 3221224400 3221214736 1131176885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26739 13073 16 0 210253 0
vsize: 841076
[startup+630.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 61237 44 0 0 25 0 11 0 541765923 861261824 26802 4294967295 134512640 134569956 3221224400 3221214512 1131204943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26802 13073 16 0 210253 0
vsize: 841076
[startup+640.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 62215 44 0 0 25 0 11 0 541765923 861261824 26884 4294967295 134512640 134569956 3221224400 3221214600 1131390374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26884 13073 16 0 210253 0
vsize: 841076
[startup+650.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 63196 44 0 0 25 0 11 0 541765923 861261824 26945 4294967295 134512640 134569956 3221224400 3221214528 1131457286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 26945 13073 16 0 210253 0
vsize: 841076
[startup+660.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 64173 44 0 0 24 0 11 0 541765923 861261824 27018 4294967295 134512640 134569956 3221224400 3221214472 1131504814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27018 13073 16 0 210253 0
vsize: 841076
[startup+670.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 65154 44 0 0 25 0 11 0 541765923 861261824 27076 4294967295 134512640 134569956 3221224400 3221214736 1131176549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27076 13073 16 0 210253 0
vsize: 841076
[startup+680.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 66135 44 0 0 25 0 11 0 541765923 861261824 27149 4294967295 134512640 134569956 3221224400 3221214528 1131457277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27149 13073 16 0 210253 0
vsize: 841076
[startup+690.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 67117 44 0 0 25 0 11 0 541765923 861261824 27214 4294967295 134512640 134569956 3221224400 3221214428 1080217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27214 13073 16 0 210253 0
vsize: 841076
[startup+700.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 68096 44 0 0 25 0 11 0 541765923 861261824 27313 4294967295 134512640 134569956 3221224400 3221214608 1131250991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27313 13073 16 0 210253 0
vsize: 841076
[startup+710.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 69084 44 0 0 25 0 11 0 541765923 861261824 27371 4294967295 134512640 134569956 3221224400 3221214464 1080217061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27371 13073 16 0 210253 0
vsize: 841076
[startup+720.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 70068 44 0 0 25 0 11 0 541765923 861261824 27465 4294967295 134512640 134569956 3221224400 3221214472 1131504685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27465 13073 16 0 210253 0
vsize: 841076
[startup+730.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 71061 44 0 0 25 0 11 0 541765923 861261824 27548 4294967295 134512640 134569956 3221224400 3221214528 1131457314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27548 13073 16 0 210253 0
vsize: 841076
[startup+740.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 72050 44 0 0 25 0 11 0 541765923 861261824 27600 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27600 13073 16 0 210253 0
vsize: 841076
[startup+750.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 73036 44 0 0 25 0 11 0 541765923 861261824 27657 4294967295 134512640 134569956 3221224400 3221214608 1131250086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27657 13073 16 0 210253 0
vsize: 841076
[startup+760.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 74018 44 0 0 25 0 11 0 541765923 861261824 27747 4294967295 134512640 134569956 3221224400 3221214608 1131251144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27747 13073 16 0 210253 0
vsize: 841076
[startup+770.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 75007 44 0 0 25 0 11 0 541765923 861261824 27782 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27782 13073 16 0 210253 0
vsize: 841076
[startup+780.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 75985 44 0 0 25 0 11 0 541765923 861261824 27866 4294967295 134512640 134569956 3221224400 3221214472 1131504173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27866 13073 16 0 210253 0
vsize: 841076
[startup+790.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 76967 44 0 0 25 0 11 0 541765923 861261824 27930 4294967295 134512640 134569956 3221224400 3221214608 1131250948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27930 13073 16 0 210253 0
vsize: 841076
[startup+800.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 77952 44 0 0 25 0 11 0 541765923 861261824 27995 4294967295 134512640 134569956 3221224400 3221214408 1131457513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27995 13073 16 0 210253 0
vsize: 841076
[startup+810.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 78942 44 0 0 25 0 11 0 541765923 861261824 27996 4294967295 134512640 134569956 3221224400 3221214608 1131251576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 27996 13073 16 0 210253 0
vsize: 841076
[startup+820.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 79926 45 0 0 25 0 11 0 541765923 861261824 28061 4294967295 134512640 134569956 3221224400 3221214732 1131249171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28061 13073 16 0 210253 0
vsize: 841076
[startup+830.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 80915 45 0 0 25 0 11 0 541765923 861261824 28113 4294967295 134512640 134569956 3221224400 3221214432 1080217015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28113 13073 16 0 210253 0
vsize: 841076
[startup+840.149 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 81898 45 0 0 25 0 11 0 541765923 861261824 28212 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28212 13073 16 0 210253 0
vsize: 841076
[startup+850.149 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 82880 45 0 0 25 0 11 0 541765923 861261824 28258 4294967295 134512640 134569956 3221224400 3221214512 1131204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28258 13073 16 0 210253 0
vsize: 841076
[startup+860.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 83862 45 0 0 25 0 11 0 541765923 861261824 28317 4294967295 134512640 134569956 3221224400 3221214600 1131390816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28317 13073 16 0 210253 0
vsize: 841076
[startup+870.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 84847 45 0 0 25 0 11 0 541765923 861261824 28380 4294967295 134512640 134569956 3221224400 3221214488 1131457569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28380 13073 16 0 210253 0
vsize: 841076
[startup+880.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 85828 45 0 0 25 0 11 0 541765923 861261824 28447 4294967295 134512640 134569956 3221224400 3221214776 1131287786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28447 13073 16 0 210253 0
vsize: 841076
[startup+890.155 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) S 10577 11931 11930 0 -1 0 18090 0 1 0 86802 45 0 0 25 0 11 0 541765923 861261824 28529 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28529 13073 16 0 210253 0
vsize: 841076
[startup+900.155 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 87778 45 0 0 25 0 11 0 541765923 861261824 28615 4294967295 134512640 134569956 3221224400 3221214472 1131504552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28615 13073 16 0 210253 0
vsize: 841076
[startup+910.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 88762 45 0 0 25 0 11 0 541765923 861261824 28677 4294967295 134512640 134569956 3221224400 3221214528 1131457043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28677 13073 16 0 210253 0
vsize: 841076
[startup+920.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 89741 45 0 0 25 0 11 0 541765923 861261824 28755 4294967295 134512640 134569956 3221224400 3221214512 1131204783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28755 13073 16 0 210253 0
vsize: 841076
[startup+930.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 90722 45 0 0 25 0 11 0 541765923 861261824 28835 4294967295 134512640 134569956 3221224400 3221214776 1131287478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28835 13073 16 0 210253 0
vsize: 841076
[startup+940.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 91702 45 0 0 25 0 11 0 541765923 861261824 28902 4294967295 134512640 134569956 3221224400 3221214600 1131391463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28902 13073 16 0 210253 0
vsize: 841076
[startup+950.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 92686 45 0 0 25 0 11 0 541765923 861261824 28971 4294967295 134512640 134569956 3221224400 3221214604 1131566206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 28971 13073 16 0 210253 0
vsize: 841076
[startup+960.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 93671 45 0 0 25 0 11 0 541765923 861261824 29041 4294967295 134512640 134569956 3221224400 3221214552 1131446731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29041 13073 16 0 210253 0
vsize: 841076
[startup+970.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 94656 45 0 0 25 0 11 0 541765923 861261824 29102 4294967295 134512640 134569956 3221224400 3221214544 1131268906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29102 13073 16 0 210253 0
vsize: 841076
[startup+980.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 95632 45 0 0 25 0 11 0 541765923 861261824 29161 4294967295 134512640 134569956 3221224400 3221214512 1131204864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29161 13073 16 0 210253 0
vsize: 841076
[startup+990.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 96612 45 0 0 25 0 11 0 541765923 861261824 29232 4294967295 134512640 134569956 3221224400 3221214520 1079721502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29232 13073 16 0 210253 0
vsize: 841076
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 97592 45 0 0 25 0 11 0 541765923 861261824 29298 4294967295 134512640 134569956 3221224400 3221214776 1131287906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29298 13073 16 0 210253 0
vsize: 841076
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 98571 45 0 0 25 0 11 0 541765923 861261824 29378 4294967295 134512640 134569956 3221224400 3221214512 1131394978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29378 13073 16 0 210253 0
vsize: 841076
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 99554 45 0 0 25 0 11 0 541765923 861261824 29442 4294967295 134512640 134569956 3221224400 3221214776 1131286370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29442 13073 16 0 210253 0
vsize: 841076
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 100533 45 0 0 25 0 11 0 541765923 861261824 29523 4294967295 134512640 134569956 3221224400 3221214672 1131168255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29523 13073 16 0 210253 0
vsize: 841076
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 101512 45 0 0 25 0 11 0 541765923 861261824 29598 4294967295 134512640 134569956 3221224400 3221214536 1131445761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29598 13073 16 0 210253 0
vsize: 841076
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 102486 45 0 0 25 0 11 0 541765923 861261824 29679 4294967295 134512640 134569956 3221224400 3221214672 1131168285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29679 13073 16 0 210253 0
vsize: 841076
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) S 10577 11931 11930 0 -1 0 18090 0 1 0 103458 45 0 0 25 0 11 0 541765923 861261824 29787 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29787 13073 16 0 210253 0
vsize: 841076
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 104436 45 0 0 25 0 11 0 541765923 861261824 29877 4294967295 134512640 134569956 3221224400 3221214680 1131212089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29877 13073 16 0 210253 0
vsize: 841076
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 105411 45 0 0 25 0 11 0 541765923 861261824 29993 4294967295 134512640 134569956 3221224400 3221214576 1131565980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 29993 13073 16 0 210253 0
vsize: 841076
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 106390 45 0 0 25 0 11 0 541765923 861261824 30053 4294967295 134512640 134569956 3221224400 3221214472 1131504925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30053 13073 16 0 210253 0
vsize: 841076
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) S 10577 11931 11930 0 -1 0 18090 0 1 0 107372 45 0 0 25 0 11 0 541765923 861261824 30116 4294967295 134512640 134569956 3221224400 3221213488 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30116 13073 16 0 210253 0
vsize: 841076
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 108348 45 0 0 25 0 11 0 541765923 861261824 30216 4294967295 134512640 134569956 3221224400 3221214512 1131204621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30216 13073 16 0 210253 0
vsize: 841076
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 109328 45 0 0 25 0 11 0 541765923 861261824 30278 4294967295 134512640 134569956 3221224400 3221214776 1131285264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 30278 13073 16 0 210253 0
vsize: 841076
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 110307 46 0 0 25 0 11 0 541765923 861261824 30346 4294967295 134512640 134569956 3221224400 3221214392 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30346 13073 16 0 210253 0
vsize: 841076
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 111287 46 0 0 25 0 11 0 541765923 861261824 30425 4294967295 134512640 134569956 3221224400 3221214472 1131504792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30425 13073 16 0 210253 0
vsize: 841076
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 112260 46 0 0 25 0 11 0 541765923 861261824 30528 4294967295 134512640 134569956 3221224400 3221214408 1131457305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30528 13073 16 0 210253 0
vsize: 841076
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 113246 46 0 0 25 0 11 0 541765923 861261824 30587 4294967295 134512640 134569956 3221224400 3221214672 1131168244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 30587 13073 16 0 210253 0
vsize: 841076
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 114231 46 0 0 25 0 11 0 541765923 861261824 30630 4294967295 134512640 134569956 3221224400 3221214584 1131500001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30630 13073 16 0 210253 0
vsize: 841076
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 115216 46 0 0 25 0 11 0 541765923 861261824 30681 4294967295 134512640 134569956 3221224400 3221214528 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30681 13073 16 0 210253 0
vsize: 841076
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 116201 46 0 0 25 0 11 0 541765923 861261824 30736 4294967295 134512640 134569956 3221224400 3221214460 1080217184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210269 30736 13073 16 0 210253 0
vsize: 841076
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 117182 46 0 0 25 0 11 0 541765923 861261824 30784 4294967295 134512640 134569956 3221224400 3221214512 1131204307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30784 13073 16 0 210253 0
vsize: 841076
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 118167 46 0 0 25 0 11 0 541765923 861261824 30846 4294967295 134512640 134569956 3221224400 3221214608 1131251175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30846 13073 16 0 210253 0
vsize: 841076
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 119148 46 0 0 24 0 11 0 541765923 861261824 30893 4294967295 134512640 134569956 3221224400 3221214584 1131500039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30893 13073 16 0 210253 0
vsize: 841076
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10588
Raw data (stat): 10578 (java) R 10577 11931 11930 0 -1 0 18090 0 1 0 120133 46 0 0 25 0 11 0 541765923 861261824 30936 4294967295 134512640 134569956 3221224400 3221214472 1131504741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210269 30936 13073 16 0 210253 0
vsize: 841076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.45 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 10590
Raw data (stat): 10578 (java) Z 10577 11931 11930 0 -1 1036 18090 10713 1 1 120151 46 2459 30 25 0 1 0 541765923 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): 1230.45
CPU time (s): 1226.88
CPU user time (s): 1226.11
CPU system time (s): 0.766883
CPU usage (%): 99.7093
Max. virtual memory (Kb): 842100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####