PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb
MD5SUM	18f1d450b3ce1b90a2f0f08d0288db4f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9818
Biggest coefficient in the objective function	22009559908352000000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	1485172925553747165184
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	22009559908352000000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	1485172925553747165184
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.089985
Number of variables	9818
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	270
Trace number 16741

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        817380 kB
Buffers:         21528 kB
Cached:         167256 kB
SwapCached:        596 kB
Active:          77700 kB
Inactive:       114628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817128 kB
SwapTotal:     2097892 kB
SwapFree:      2097284 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6628 kB
Slab:            19264 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:42:28 (client local time) WITH STATUS 143 IN 1235.68 SECONDS
stats: 12736 7 1235.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-modglob.opb
c reading problem 
c [nbvar=9818]
c [nbconstr=389]
c time 32.146
c #vars     9818
c #clauses  385
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.88 0.94 0.92 1/55 25204
Raw data (stat): 25204 (runsolver) D 25203 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543609892 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.90 0.94 0.92 2/64 25213
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 17982 0 1 0 861 39 0 0 25 0 10 0 543609892 853569536 19210 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 19210 13073 16 0 208375 0
vsize: 833564
[startup+20.0017 s]
Raw data (loadavg): 0.91 0.94 0.92 2/64 25213
Raw data (stat): 25204 (java) S 25203 20838 20837 0 -1 0 17982 0 1 0 1752 40 0 0 25 0 10 0 543609892 854618112 19900 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208647 19900 13073 16 0 208631 0
vsize: 834588
[startup+30.0216 s]
Raw data (loadavg): 1.08 0.98 0.93 4/64 25213
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 17989 0 1 0 2645 40 0 0 25 0 10 0 543609892 858324992 21026 4294967295 134512640 134569956 3221224400 3221214408 1130916184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209552 21026 13073 16 0 209536 0
vsize: 838208
[startup+40.0494 s]
Raw data (loadavg): 1.15 0.99 0.94 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18028 0 1 0 3545 41 0 0 25 0 11 0 543609892 858808320 23144 4294967295 134512640 134569956 3221224400 3221214784 1131359673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209670 23144 13073 16 0 209654 0
vsize: 838680
[startup+50.0531 s]
Raw data (loadavg): 1.28 1.03 0.95 4/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18067 0 1 0 4451 42 0 0 25 0 11 0 543609892 861536256 23848 4294967295 134512640 134569956 3221224400 3221214744 1130883218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210336 23848 13073 16 0 210320 0
vsize: 841344
[startup+60.057 s]
Raw data (loadavg): 1.24 1.03 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18068 0 1 0 5366 42 0 0 25 0 11 0 543609892 859922432 23554 4294967295 134512640 134569956 3221224400 3221214664 1131377200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23554 13073 16 0 209926 0
vsize: 839768
[startup+70.0575 s]
Raw data (loadavg): 1.20 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 6355 42 0 0 25 0 11 0 543609892 859922432 23557 4294967295 134512640 134569956 3221224400 3221214768 1131654996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23557 13073 16 0 209926 0
vsize: 839768
[startup+80.0578 s]
Raw data (loadavg): 1.17 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 7342 42 0 0 25 0 11 0 543609892 859922432 23577 4294967295 134512640 134569956 3221224400 3221214768 1131655006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23577 13073 16 0 209926 0
vsize: 839768
[startup+90.0577 s]
Raw data (loadavg): 1.14 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 8326 42 0 0 25 0 11 0 543609892 859922432 23577 4294967295 134512640 134569956 3221224400 3221214704 1131484798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23577 13073 16 0 209926 0
vsize: 839768
[startup+100.057 s]
Raw data (loadavg): 1.12 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 9310 42 0 0 25 0 11 0 543609892 859922432 23577 4294967295 134512640 134569956 3221224400 3221214152 1131280922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23577 13073 16 0 209926 0
vsize: 839768
[startup+110.058 s]
Raw data (loadavg): 1.10 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 10290 42 0 0 25 0 11 0 543609892 859922432 23663 4294967295 134512640 134569956 3221224400 3221214808 1131399056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23663 13073 16 0 209926 0
vsize: 839768
[startup+120.059 s]
Raw data (loadavg): 1.09 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) S 25203 20838 20837 0 -1 0 18069 0 1 0 11265 42 0 0 25 0 11 0 543609892 859922432 23756 4294967295 134512640 134569956 3221224400 3221213136 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23756 13073 16 0 209926 0
vsize: 839768
[startup+130.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/65 25214
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 12241 42 0 0 25 0 11 0 543609892 859922432 23900 4294967295 134512640 134569956 3221224400 3221214752 1131394606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 23900 13073 16 0 209926 0
vsize: 839768
[startup+140.06 s]
Raw data (loadavg): 1.06 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 13214 42 0 0 25 0 11 0 543609892 859922432 24072 4294967295 134512640 134569956 3221224400 3221214768 1131655123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24072 13073 16 0 209926 0
vsize: 839768
[startup+150.06 s]
Raw data (loadavg): 1.05 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 14188 43 0 0 25 0 11 0 543609892 859922432 24145 4294967295 134512640 134569956 3221224400 3221214612 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24145 13073 16 0 209926 0
vsize: 839768
[startup+160.061 s]
Raw data (loadavg): 1.12 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 15160 43 0 0 25 0 11 0 543609892 859922432 24262 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24262 13073 16 0 209926 0
vsize: 839768
[startup+170.061 s]
Raw data (loadavg): 1.10 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 16132 43 0 0 25 0 11 0 543609892 859922432 24464 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24464 13073 16 0 209926 0
vsize: 839768
[startup+180.061 s]
Raw data (loadavg): 1.08 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 17114 43 0 0 25 0 11 0 543609892 859922432 24612 4294967295 134512640 134569956 3221224400 3221214768 1131654999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24612 13073 16 0 209926 0
vsize: 839768
[startup+190.062 s]
Raw data (loadavg): 1.07 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 18085 43 0 0 25 0 11 0 543609892 859922432 24794 4294967295 134512640 134569956 3221224400 3221214164 1131668176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 24794 13073 16 0 209926 0
vsize: 839768
[startup+200.061 s]
Raw data (loadavg): 1.06 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 19066 43 0 0 25 0 11 0 543609892 859922432 24883 4294967295 134512640 134569956 3221224400 3221214768 1131655131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 24883 13073 16 0 209926 0
vsize: 839768
[startup+210.062 s]
Raw data (loadavg): 1.05 1.03 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 20037 43 0 0 25 0 11 0 543609892 859922432 25072 4294967295 134512640 134569956 3221224400 3221214648 1131260124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25072 13073 16 0 209926 0
vsize: 839768
[startup+220.062 s]
Raw data (loadavg): 1.04 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 21018 43 0 0 25 0 11 0 543609892 859922432 25217 4294967295 134512640 134569956 3221224400 3221214592 1131683958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25217 13073 16 0 209926 0
vsize: 839768
[startup+230.063 s]
Raw data (loadavg): 1.03 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 21989 43 0 0 25 0 11 0 543609892 859922432 25333 4294967295 134512640 134569956 3221224400 3221214208 1131683900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25333 13073 16 0 209926 0
vsize: 839768
[startup+240.064 s]
Raw data (loadavg): 1.03 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 22961 43 0 0 25 0 11 0 543609892 859922432 25513 4294967295 134512640 134569956 3221224400 3221214768 1131654996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25513 13073 16 0 209926 0
vsize: 839768
[startup+250.063 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 23941 43 0 0 25 0 11 0 543609892 859922432 25637 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25637 13073 16 0 209926 0
vsize: 839768
[startup+260.064 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 24912 43 0 0 24 0 11 0 543609892 859922432 25760 4294967295 134512640 134569956 3221224400 3221214560 1131554703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25760 13073 16 0 209926 0
vsize: 839768
[startup+270.063 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 25891 43 0 0 25 0 11 0 543609892 859922432 25888 4294967295 134512640 134569956 3221224400 3221214768 1131655006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25888 13073 16 0 209926 0
vsize: 839768
[startup+280.064 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 26863 43 0 0 25 0 11 0 543609892 859922432 26045 4294967295 134512640 134569956 3221224400 3221214808 1131399158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26045 13073 16 0 209926 0
vsize: 839768
[startup+290.065 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 27835 43 0 0 25 0 11 0 543609892 859922432 26169 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 26169 13073 16 0 209926 0
vsize: 839768
[startup+300.064 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 28808 43 0 0 25 0 11 0 543609892 859922432 26234 4294967295 134512640 134569956 3221224400 3221214688 1131260143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26234 13073 16 0 209926 0
vsize: 839768
[startup+310.065 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 29781 44 0 0 25 0 11 0 543609892 859922432 26283 4294967295 134512640 134569956 3221224400 3221214680 1131267678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 26283 13073 16 0 209926 0
vsize: 839768
[startup+320.065 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 30745 44 0 0 25 0 11 0 543609892 859922432 26412 4294967295 134512640 134569956 3221224400 3221214768 1131654976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26412 13073 16 0 209926 0
vsize: 839768
[startup+330.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 31719 44 0 0 25 0 11 0 543609892 859922432 26482 4294967295 134512640 134569956 3221224400 3221214768 1131655113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26482 13073 16 0 209926 0
vsize: 839768
[startup+340.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 32686 44 0 0 25 0 11 0 543609892 859922432 26482 4294967295 134512640 134569956 3221224400 3221214680 1131267575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26482 13073 16 0 209926 0
vsize: 839768
[startup+350.065 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 33667 44 0 0 25 0 11 0 543609892 859922432 26535 4294967295 134512640 134569956 3221224400 3221214768 1131655131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26535 13073 16 0 209926 0
vsize: 839768
[startup+360.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 34647 44 0 0 25 0 11 0 543609892 859922432 26711 4294967295 134512640 134569956 3221224400 3221214680 1131267706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26711 13073 16 0 209926 0
vsize: 839768
[startup+370.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 35628 44 0 0 25 0 11 0 543609892 859922432 26826 4294967295 134512640 134569956 3221224400 3221214120 1131669293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26826 13073 16 0 209926 0
vsize: 839768
[startup+380.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 36608 44 0 0 25 0 11 0 543609892 859922432 26925 4294967295 134512640 134569956 3221224400 3221214848 1131429344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 26925 13073 16 0 209926 0
vsize: 839768
[startup+390.067 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 37580 44 0 0 25 0 11 0 543609892 859922432 27083 4294967295 134512640 134569956 3221224400 3221214848 1131429627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27083 13073 16 0 209926 0
vsize: 839768
[startup+400.066 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 38561 44 0 0 25 0 11 0 543609892 859922432 27155 4294967295 134512640 134569956 3221224400 3221214768 1131655014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27155 13073 16 0 209926 0
vsize: 839768
[startup+410.067 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 39540 44 0 0 25 0 11 0 543609892 859922432 27257 4294967295 134512640 134569956 3221224400 3221214760 1131657782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27257 13073 16 0 209926 0
vsize: 839768
[startup+420.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 40511 44 0 0 25 0 11 0 543609892 859922432 27426 4294967295 134512640 134569956 3221224400 3221214808 1131398460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27426 13073 16 0 209926 0
vsize: 839768
[startup+430.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25216
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 41491 44 0 0 25 0 11 0 543609892 859922432 27493 4294967295 134512640 134569956 3221224400 3221214712 1131443548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27493 13073 16 0 209926 0
vsize: 839768
[startup+440.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 42472 44 0 0 25 0 11 0 543609892 859922432 27562 4294967295 134512640 134569956 3221224400 3221214720 1131660500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27562 13073 16 0 209926 0
vsize: 839768
[startup+450.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 43443 44 0 0 25 0 11 0 543609892 859922432 27704 4294967295 134512640 134569956 3221224400 3221214360 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27704 13073 16 0 209926 0
vsize: 839768
[startup+460.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 44423 45 0 0 25 0 11 0 543609892 859922432 27821 4294967295 134512640 134569956 3221224400 3221214768 1131654988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27821 13073 16 0 209926 0
vsize: 839768
[startup+470.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 45403 45 0 0 25 0 11 0 543609892 859922432 27923 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 27923 13073 16 0 209926 0
vsize: 839768
[startup+480.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 46383 45 0 0 25 0 11 0 543609892 859922432 28011 4294967295 134512640 134569956 3221224400 3221214104 1131667541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28011 13073 16 0 209926 0
vsize: 839768
[startup+490.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 47354 45 0 0 25 0 11 0 543609892 859922432 28102 4294967295 134512640 134569956 3221224400 3221214768 1131496804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28102 13073 16 0 209926 0
vsize: 839768
[startup+500.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 48335 45 0 0 25 0 11 0 543609892 859922432 28193 4294967295 134512640 134569956 3221224400 3221214348 1131668240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 28193 13073 16 0 209926 0
vsize: 839768
[startup+510.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 49315 45 0 0 25 0 11 0 543609892 859922432 28284 4294967295 134512640 134569956 3221224400 3221214584 1131667541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28284 13073 16 0 209926 0
vsize: 839768
[startup+520.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 50286 45 0 0 25 0 11 0 543609892 859922432 28384 4294967295 134512640 134569956 3221224400 3221214768 1131654976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28384 13073 16 0 209926 0
vsize: 839768
[startup+530.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 51267 45 0 0 25 0 11 0 543609892 859922432 28453 4294967295 134512640 134569956 3221224400 3221214656 1131259881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28453 13073 16 0 209926 0
vsize: 839768
[startup+540.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 52247 45 0 0 25 0 11 0 543609892 859922432 28540 4294967295 134512640 134569956 3221224400 3221214680 1131267592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28540 13073 16 0 209926 0
vsize: 839768
[startup+550.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 53227 45 0 0 25 0 11 0 543609892 859922432 28636 4294967295 134512640 134569956 3221224400 3221214400 1131685264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 28636 13073 16 0 209926 0
vsize: 839768
[startup+560.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 54205 45 0 0 25 0 11 0 543609892 859922432 28743 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 28743 13073 16 0 209926 0
vsize: 839768
[startup+570.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 55183 46 0 0 25 0 11 0 543609892 859922432 28864 4294967295 134512640 134569956 3221224400 3221214592 1131688236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 28864 13073 16 0 209926 0
vsize: 839768
[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 56161 46 0 0 25 0 11 0 543609892 859922432 28954 4294967295 134512640 134569956 3221224400 3221214848 1131429519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 28954 13073 16 0 209926 0
vsize: 839768
[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 57141 47 0 0 25 0 11 0 543609892 859922432 29031 4294967295 134512640 134569956 3221224400 3221214568 1131267466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29031 13073 16 0 209926 0
vsize: 839768
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 58112 47 0 0 25 0 11 0 543609892 859922432 29090 4294967295 134512640 134569956 3221224400 3221214552 1131450567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29090 13073 16 0 209926 0
vsize: 839768
[startup+610.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 59074 47 0 0 24 0 11 0 543609892 859922432 29142 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29142 13073 16 0 209926 0
vsize: 839768
[startup+620.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 60046 47 0 0 25 0 11 0 543609892 859922432 29198 4294967295 134512640 134569956 3221224400 3221214400 1131235793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29198 13073 16 0 209926 0
vsize: 839768
[startup+630.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 61019 47 0 0 25 0 11 0 543609892 859922432 29198 4294967295 134512640 134569956 3221224400 3221214752 1131642884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29198 13073 16 0 209926 0
vsize: 839768
[startup+640.082 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 61992 48 0 0 25 0 11 0 543609892 859922432 29253 4294967295 134512640 134569956 3221224400 3221214448 1131480860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29253 13073 16 0 209926 0
vsize: 839768
[startup+650.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 62959 48 0 0 25 0 11 0 543609892 859922432 29405 4294967295 134512640 134569956 3221224400 3221214768 1131655113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29405 13073 16 0 209926 0
vsize: 839768
[startup+660.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 63937 48 0 0 25 0 11 0 543609892 859922432 29545 4294967295 134512640 134569956 3221224400 3221214700 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29545 13073 16 0 209926 0
vsize: 839768
[startup+670.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 64915 48 0 0 25 0 11 0 543609892 859922432 29774 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29774 13073 16 0 209926 0
vsize: 839768
[startup+680.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 65904 48 0 0 25 0 11 0 543609892 859922432 29909 4294967295 134512640 134569956 3221224400 3221214768 1131654988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29909 13073 16 0 209926 0
vsize: 839768
[startup+690.083 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 66892 49 0 0 25 0 11 0 543609892 859922432 29971 4294967295 134512640 134569956 3221224400 3221214608 1131530926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29971 13073 16 0 209926 0
vsize: 839768
[startup+700.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 67883 49 0 0 25 0 11 0 543609892 859922432 29996 4294967295 134512640 134569956 3221224400 3221214808 1131399760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 29996 13073 16 0 209926 0
vsize: 839768
[startup+710.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 68872 50 0 0 25 0 11 0 543609892 859922432 30038 4294967295 134512640 134569956 3221224400 3221214768 1131654976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30038 13073 16 0 209926 0
vsize: 839768
[startup+720.104 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 69864 50 0 0 24 0 11 0 543609892 859922432 30068 4294967295 134512640 134569956 3221224400 3221214656 1131260412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30068 13073 16 0 209926 0
vsize: 839768
[startup+730.125 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25218
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 70858 51 0 0 25 0 11 0 543609892 859922432 30097 4294967295 134512640 134569956 3221224400 3221214448 1131481176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30097 13073 16 0 209926 0
vsize: 839768
[startup+740.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 71848 51 0 0 25 0 11 0 543609892 859922432 30120 4294967295 134512640 134569956 3221224400 3221214520 1131465348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30120 13073 16 0 209926 0
vsize: 839768
[startup+750.125 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 72841 51 0 0 25 0 11 0 543609892 859922432 30137 4294967295 134512640 134569956 3221224400 3221214560 1131481910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30137 13073 16 0 209926 0
vsize: 839768
[startup+760.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 73833 51 0 0 25 0 11 0 543609892 859922432 30153 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30153 13073 16 0 209926 0
vsize: 839768
[startup+770.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 74826 52 0 0 25 0 11 0 543609892 859922432 30172 4294967295 134512640 134569956 3221224400 3221214768 1131654984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30172 13073 16 0 209926 0
vsize: 839768
[startup+780.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 75817 52 0 0 25 0 11 0 543609892 859922432 30196 4294967295 134512640 134569956 3221224400 3221214776 1131358584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30196 13073 16 0 209926 0
vsize: 839768
[startup+790.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 76808 52 0 0 25 0 11 0 543609892 859922432 30219 4294967295 134512640 134569956 3221224400 3221214704 1131484790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30219 13073 16 0 209926 0
vsize: 839768
[startup+800.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 77800 52 0 0 25 0 11 0 543609892 859922432 30244 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30244 13073 16 0 209926 0
vsize: 839768
[startup+810.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 78791 52 0 0 25 0 11 0 543609892 859922432 30260 4294967295 134512640 134569956 3221224400 3221214072 1131669440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30260 13073 16 0 209926 0
vsize: 839768
[startup+820.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 79785 52 0 0 25 0 11 0 543609892 859922432 30273 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30273 13073 16 0 209926 0
vsize: 839768
[startup+830.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 80776 52 0 0 25 0 11 0 543609892 859922432 30291 4294967295 134512640 134569956 3221224400 3221214768 1131495460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30291 13073 16 0 209926 0
vsize: 839768
[startup+840.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 81768 52 0 0 25 0 11 0 543609892 859922432 30330 4294967295 134512640 134569956 3221224400 3221214648 1131538436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30330 13073 16 0 209926 0
vsize: 839768
[startup+850.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 82760 52 0 0 25 0 11 0 543609892 859922432 30355 4294967295 134512640 134569956 3221224400 3221214776 1131360624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30355 13073 16 0 209926 0
vsize: 839768
[startup+860.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 83753 52 0 0 25 0 11 0 543609892 859922432 30373 4294967295 134512640 134569956 3221224400 3221214768 1131654996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30373 13073 16 0 209926 0
vsize: 839768
[startup+870.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 84745 52 0 0 25 0 11 0 543609892 859922432 30392 4294967295 134512640 134569956 3221224400 3221214520 1131464377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30392 13073 16 0 209926 0
vsize: 839768
[startup+880.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 85739 52 0 0 25 0 11 0 543609892 859922432 30404 4294967295 134512640 134569956 3221224400 3221214648 1131535238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30404 13073 16 0 209926 0
vsize: 839768
[startup+890.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 86731 52 0 0 25 0 11 0 543609892 859922432 30425 4294967295 134512640 134569956 3221224400 3221214472 1079721468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30425 13073 16 0 209926 0
vsize: 839768
[startup+900.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 87723 52 0 0 25 0 11 0 543609892 859922432 30442 4294967295 134512640 134569956 3221224400 3221214648 1131537860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30442 13073 16 0 209926 0
vsize: 839768
[startup+910.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 88715 52 0 0 25 0 11 0 543609892 859922432 30461 4294967295 134512640 134569956 3221224400 3221213792 1085679386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30461 13073 16 0 209926 0
vsize: 839768
[startup+920.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 89709 52 0 0 25 0 11 0 543609892 859922432 30480 4294967295 134512640 134569956 3221224400 3221214680 1131267732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30480 13073 16 0 209926 0
vsize: 839768
[startup+930.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 90700 52 0 0 25 0 11 0 543609892 859922432 30504 4294967295 134512640 134569956 3221224400 3221214768 1131655002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30504 13073 16 0 209926 0
vsize: 839768
[startup+940.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 91691 52 0 0 25 0 11 0 543609892 859922432 30522 4294967295 134512640 134569956 3221224400 3221214456 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30522 13073 16 0 209926 0
vsize: 839768
[startup+950.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 92683 53 0 0 25 0 11 0 543609892 859922432 30534 4294967295 134512640 134569956 3221224400 3221214768 1131654992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30534 13073 16 0 209926 0
vsize: 839768
[startup+960.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 93674 53 0 0 25 0 11 0 543609892 859922432 30547 4294967295 134512640 134569956 3221224400 3221214636 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30547 13073 16 0 209926 0
vsize: 839768
[startup+970.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 94664 53 0 0 25 0 11 0 543609892 859922432 30563 4294967295 134512640 134569956 3221224400 3221214472 1080216949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30563 13073 16 0 209926 0
vsize: 839768
[startup+980.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 95655 53 0 0 25 0 11 0 543609892 859922432 30577 4294967295 134512640 134569956 3221224400 3221214776 1131358584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30577 13073 16 0 209926 0
vsize: 839768
[startup+990.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 96648 53 0 0 25 0 11 0 543609892 859922432 30586 4294967295 134512640 134569956 3221224400 3221214780 1131642675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30586 13073 16 0 209926 0
vsize: 839768
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 97639 53 0 0 25 0 11 0 543609892 859922432 30631 4294967295 134512640 134569956 3221224400 3221214064 1131669512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30631 13073 16 0 209926 0
vsize: 839768
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 98630 53 0 0 24 0 11 0 543609892 859922432 30659 4294967295 134512640 134569956 3221224400 3221214680 1131267678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30659 13073 16 0 209926 0
vsize: 839768
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 99624 53 0 0 25 0 11 0 543609892 859922432 30677 4294967295 134512640 134569956 3221224400 3221214448 1131481164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30677 13073 16 0 209926 0
vsize: 839768
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25220
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 100616 53 0 0 25 0 11 0 543609892 859922432 30701 4294967295 134512640 134569956 3221224400 3221214768 1131654996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30701 13073 16 0 209926 0
vsize: 839768
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 101610 53 0 0 25 0 11 0 543609892 859922432 30715 4294967295 134512640 134569956 3221224400 3221214808 1131398470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30715 13073 16 0 209926 0
vsize: 839768
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 102602 53 0 0 25 0 11 0 543609892 859922432 30738 4294967295 134512640 134569956 3221224400 3221214448 1131481271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30738 13073 16 0 209926 0
vsize: 839768
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 103594 53 0 0 25 0 11 0 543609892 859922432 30752 4294967295 134512640 134569956 3221224400 3221213848 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30752 13073 16 0 209926 0
vsize: 839768
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 104586 53 0 0 25 0 11 0 543609892 859922432 30777 4294967295 134512640 134569956 3221224400 3221214776 1131360568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30777 13073 16 0 209926 0
vsize: 839768
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 105580 53 0 0 25 0 11 0 543609892 859922432 30793 4294967295 134512640 134569956 3221224400 3221214768 1131496804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30793 13073 16 0 209926 0
vsize: 839768
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 106574 53 0 0 25 0 11 0 543609892 859922432 30809 4294967295 134512640 134569956 3221224400 3221214848 1131429347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30809 13073 16 0 209926 0
vsize: 839768
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 107567 53 0 0 25 0 11 0 543609892 859922432 30834 4294967295 134512640 134569956 3221224400 3221214848 1131429509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30834 13073 16 0 209926 0
vsize: 839768
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 108561 53 0 0 25 0 11 0 543609892 859922432 30843 4294967295 134512640 134569956 3221224400 3221214448 1131480853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30843 13073 16 0 209926 0
vsize: 839768
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 109554 53 0 0 25 0 11 0 543609892 859922432 30859 4294967295 134512640 134569956 3221224400 3221214540 1131668240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30859 13073 16 0 209926 0
vsize: 839768
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 110546 53 0 0 25 0 11 0 543609892 859922432 30871 4294967295 134512640 134569956 3221224400 3221214648 1131534896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30871 13073 16 0 209926 0
vsize: 839768
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 111538 53 0 0 25 0 11 0 543609892 859922432 30882 4294967295 134512640 134569956 3221224400 3221214848 1131429754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30882 13073 16 0 209926 0
vsize: 839768
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 112532 53 0 0 25 0 11 0 543609892 859922432 30898 4294967295 134512640 134569956 3221224400 3221214356 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30898 13073 16 0 209926 0
vsize: 839768
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 113524 54 0 0 25 0 11 0 543609892 859922432 30910 4294967295 134512640 134569956 3221224400 3221214560 1131555423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30910 13073 16 0 209926 0
vsize: 839768
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 114515 54 0 0 25 0 11 0 543609892 859922432 30928 4294967295 134512640 134569956 3221224400 3221214400 1131571725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30928 13073 16 0 209926 0
vsize: 839768
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 115509 54 0 0 25 0 11 0 543609892 859922432 30933 4294967295 134512640 134569956 3221224400 3221214520 1131465246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30933 13073 16 0 209926 0
vsize: 839768
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 116501 54 0 0 25 0 11 0 543609892 859922432 30943 4294967295 134512640 134569956 3221224400 3221214448 1131481298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30943 13073 16 0 209926 0
vsize: 839768
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 117495 54 0 0 25 0 11 0 543609892 859922432 30953 4294967295 134512640 134569956 3221224400 3221214464 1131530797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209942 30953 13073 16 0 209926 0
vsize: 839768
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 118487 55 0 0 25 0 11 0 543609892 859922432 30983 4294967295 134512640 134569956 3221224400 3221214448 1131481142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 30983 13073 16 0 209926 0
vsize: 839768
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 119481 55 0 0 25 0 11 0 543609892 859922432 31008 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 31008 13073 16 0 209926 0
vsize: 839768
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 25222
Raw data (stat): 25204 (java) R 25203 20838 20837 0 -1 0 18069 0 1 0 120474 55 0 0 25 0 11 0 543609892 859922432 31028 4294967295 134512640 134569956 3221224400 3221214584 1131341925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 31028 13073 16 0 209926 0
vsize: 839768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 25224
Raw data (stat): 25204 (java) Z 25203 20838 20837 0 -1 1036 18069 15061 1 0 120476 55 3001 35 25 0 1 0 543609892 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.21
CPU time (s): 1235.68
CPU user time (s): 1234.78
CPU system time (s): 0.905862
CPU usage (%): 100.445
Max. virtual memory (Kb): 841344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####