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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
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	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 20044

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        846544 kB
Buffers:           408 kB
Cached:         162180 kB
SwapCached:          0 kB
Active:          23680 kB
Inactive:       142036 kB
HighTotal:      131008 kB
HighFree:        43372 kB
LowTotal:       903652 kB
LowFree:        803172 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7224 kB
Slab:            16480 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:21:30 (client local time) WITH STATUS 143 IN 1237.63 SECONDS
stats: 15700 7 1237.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-degen3.opb
c reading problem 
c [nbvar=36360]
c [nbconstr=1503]
c time 399.737
c #vars     36360
c #clauses  2221
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.93 0.90 2/56 1809
Raw data (stat): 1809 (runsolver) R 1808 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 432719182 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.90 0.93 0.90 2/65 1818
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17988 0 1 0 875 42 0 0 25 0 10 0 432719182 853790720 19184 4294967295 134512640 134569956 3221224400 3221214820 1130919494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208445 19184 13073 16 0 208429 0
vsize: 833780
[startup+20.0055 s]
Raw data (loadavg): 0.91 0.94 0.91 2/65 1820
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 1772 43 0 0 25 0 10 0 432719182 853757952 19687 4294967295 134512640 134569956 3221224400 3221214824 1131211020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 19687 13073 16 0 208421 0
vsize: 833748
[startup+30.0058 s]
Raw data (loadavg): 0.93 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 2672 43 0 0 25 0 10 0 432719182 853757952 20115 4294967295 134512640 134569956 3221224400 3221214824 1131213119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20115 13073 16 0 208421 0
vsize: 833748
[startup+40.0056 s]
Raw data (loadavg): 0.94 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 3599 43 0 0 25 0 10 0 432719182 853757952 20353 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20353 13073 16 0 208421 0
vsize: 833748
[startup+50.0064 s]
Raw data (loadavg): 0.95 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 4532 44 0 0 18 0 10 0 432719182 853757952 20473 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20473 13073 16 0 208421 0
vsize: 833748
[startup+60.0062 s]
Raw data (loadavg): 0.95 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 5463 44 0 0 25 0 10 0 432719182 853757952 20573 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20573 13073 16 0 208421 0
vsize: 833748
[startup+70.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 6405 44 0 0 25 0 10 0 432719182 853757952 20790 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20790 13073 16 0 208421 0
vsize: 833748
[startup+80.0081 s]
Raw data (loadavg): 0.97 0.94 0.91 2/65 1822
Raw data (stat): 1809 (java) S 1808 12452 12451 0 -1 0 17989 0 1 0 7354 44 0 0 25 0 10 0 432719182 853757952 20866 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20866 13073 16 0 208421 0
vsize: 833748
[startup+90.0075 s]
Raw data (loadavg): 0.97 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 8304 44 0 0 25 0 10 0 432719182 853757952 20937 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 20937 13073 16 0 208421 0
vsize: 833748
[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 9253 45 0 0 25 0 10 0 432719182 853757952 21004 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21004 13073 16 0 208421 0
vsize: 833748
[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 10202 45 0 0 25 0 10 0 432719182 853757952 21068 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21068 13073 16 0 208421 0
vsize: 833748
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) S 1808 12452 12451 0 -1 0 17989 0 1 0 11155 45 0 0 25 0 10 0 432719182 853757952 21124 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21124 13073 16 0 208421 0
vsize: 833748
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 12104 46 0 0 25 0 10 0 432719182 853757952 21181 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21181 13073 16 0 208421 0
vsize: 833748
[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 13054 46 0 0 25 0 10 0 432719182 853757952 21235 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21235 13073 16 0 208421 0
vsize: 833748
[startup+150.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 14003 46 0 0 24 0 10 0 432719182 853757952 21287 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21287 13073 16 0 208421 0
vsize: 833748
[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 14955 46 0 0 25 0 10 0 432719182 853757952 21335 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21335 13073 16 0 208421 0
vsize: 833748
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 15904 46 0 0 25 0 10 0 432719182 853757952 21383 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21383 13073 16 0 208421 0
vsize: 833748
[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/65 1822
Raw data (stat): 1809 (java) S 1808 12452 12451 0 -1 0 17989 0 1 0 16838 47 0 0 25 0 10 0 432719182 853757952 21428 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21428 13073 16 0 208421 0
vsize: 833748
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 17765 47 0 0 25 0 10 0 432719182 853757952 21472 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21472 13073 16 0 208421 0
vsize: 833748
[startup+200.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 18708 47 0 0 25 0 10 0 432719182 853757952 21770 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21770 13073 16 0 208421 0
vsize: 833748
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 19653 47 0 0 25 0 10 0 432719182 853757952 21812 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21812 13073 16 0 208421 0
vsize: 833748
[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 20597 48 0 0 24 0 10 0 432719182 853757952 21855 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21855 13073 16 0 208421 0
vsize: 833748
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 21545 48 0 0 25 0 10 0 432719182 853757952 21893 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21893 13073 16 0 208421 0
vsize: 833748
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1822
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 22489 48 0 0 25 0 10 0 432719182 853757952 21933 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21933 13073 16 0 208421 0
vsize: 833748
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 23436 48 0 0 25 0 10 0 432719182 853757952 21969 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 21969 13073 16 0 208421 0
vsize: 833748
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 24379 48 0 0 25 0 10 0 432719182 853757952 22007 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 22007 13073 16 0 208421 0
vsize: 833748
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 25325 49 0 0 25 0 10 0 432719182 853757952 22042 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 22042 13073 16 0 208421 0
vsize: 833748
[startup+280.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17989 0 1 0 26268 49 0 0 25 0 10 0 432719182 853757952 22078 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208437 22078 13073 16 0 208421 0
vsize: 833748
[startup+290.016 s]
Raw data (loadavg): 1.07 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 27087 49 0 0 25 0 10 0 432719182 856928256 24129 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24129 13073 16 0 209195 0
vsize: 836844
[startup+300.017 s]
Raw data (loadavg): 1.06 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 28041 49 0 0 25 0 10 0 432719182 856928256 24129 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24129 13073 16 0 209195 0
vsize: 836844
[startup+310.018 s]
Raw data (loadavg): 1.05 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 28984 49 0 0 25 0 10 0 432719182 856928256 24138 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24138 13073 16 0 209195 0
vsize: 836844
[startup+320.019 s]
Raw data (loadavg): 1.04 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 29913 50 0 0 25 0 10 0 432719182 856928256 24171 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24171 13073 16 0 209195 0
vsize: 836844
[startup+330.019 s]
Raw data (loadavg): 1.04 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 30832 50 0 0 25 0 10 0 432719182 856928256 24202 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24202 13073 16 0 209195 0
vsize: 836844
[startup+340.019 s]
Raw data (loadavg): 1.03 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 31754 50 0 0 25 0 10 0 432719182 856928256 24361 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24361 13073 16 0 209195 0
vsize: 836844
[startup+350.02 s]
Raw data (loadavg): 1.03 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 32689 50 0 0 25 0 10 0 432719182 856928256 24391 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24391 13073 16 0 209195 0
vsize: 836844
[startup+360.02 s]
Raw data (loadavg): 1.02 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 33607 51 0 0 25 0 10 0 432719182 856928256 24420 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24420 13073 16 0 209195 0
vsize: 836844
[startup+370.021 s]
Raw data (loadavg): 1.02 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 34529 51 0 0 18 0 10 0 432719182 856928256 24579 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24579 13073 16 0 209195 0
vsize: 836844
[startup+380.022 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 35471 51 0 0 25 0 10 0 432719182 856928256 24609 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 24609 13073 16 0 209195 0
vsize: 836844
[startup+390.022 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17994 0 1 0 36394 54 0 0 25 0 10 0 432719182 856928256 25456 4294967295 134512640 134569956 3221224400 3221214216 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 25456 13073 16 0 209195 0
vsize: 836844
[startup+400.023 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 17995 0 1 0 37280 60 0 0 25 0 10 0 432719182 856928256 31735 4294967295 134512640 134569956 3221224400 3221214352 1131278638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209211 31735 13073 16 0 209195 0
vsize: 836844
[startup+410.023 s]
Raw data (loadavg): 1.01 0.98 0.91 2/65 1824
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18022 0 1 0 38178 60 0 0 25 0 10 0 432719182 856928256 35229 4294967295 134512640 134569956 3221224400 3221214864 1131247420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 35229 13073 16 0 209195 0
vsize: 836844
[startup+420.024 s]
Raw data (loadavg): 1.01 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) S 1808 12452 12451 0 -1 0 18029 0 1 0 39096 60 0 0 25 0 11 0 432719182 857456640 35239 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35239 13073 16 0 209324 0
vsize: 837360
[startup+430.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 40021 61 0 0 25 0 11 0 432719182 857456640 35239 4294967295 134512640 134569956 3221224400 3221214792 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35239 13073 16 0 209324 0
vsize: 837360
[startup+440.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 40940 61 0 0 25 0 11 0 432719182 857456640 35267 4294967295 134512640 134569956 3221224400 3221214792 1131312304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35267 13073 16 0 209324 0
vsize: 837360
[startup+450.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 41892 61 0 0 25 0 11 0 432719182 857456640 35780 4294967295 134512640 134569956 3221224400 3221214832 1131315401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35780 13073 16 0 209324 0
vsize: 837360
[startup+460.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 42887 61 0 0 25 0 11 0 432719182 857456640 35784 4294967295 134512640 134569956 3221224400 3221214784 1131301764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35784 13073 16 0 209324 0
vsize: 837360
[startup+470.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 43880 61 0 0 25 0 11 0 432719182 857456640 35787 4294967295 134512640 134569956 3221224400 3221214880 1131432302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35787 13073 16 0 209324 0
vsize: 837360
[startup+480.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 44873 61 0 0 25 0 11 0 432719182 857456640 35792 4294967295 134512640 134569956 3221224400 3221214880 1131434804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35792 13073 16 0 209324 0
vsize: 837360
[startup+490.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 45867 61 0 0 25 0 11 0 432719182 857456640 35799 4294967295 134512640 134569956 3221224400 3221214880 1131433568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35799 13073 16 0 209324 0
vsize: 837360
[startup+500.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 46861 61 0 0 25 0 11 0 432719182 857456640 35808 4294967295 134512640 134569956 3221224400 3221214880 1131432085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35808 13073 16 0 209324 0
vsize: 837360
[startup+510.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 47855 61 0 0 25 0 11 0 432719182 857456640 35817 4294967295 134512640 134569956 3221224400 3221214880 1131434696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35817 13073 16 0 209324 0
vsize: 837360
[startup+520.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 48847 61 0 0 25 0 11 0 432719182 857456640 35824 4294967295 134512640 134569956 3221224400 3221214832 1131247420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35824 13073 16 0 209324 0
vsize: 837360
[startup+530.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 49838 62 0 0 25 0 11 0 432719182 857456640 35835 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35835 13073 16 0 209324 0
vsize: 837360
[startup+540.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1825
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 50831 62 0 0 25 0 11 0 432719182 857456640 35841 4294967295 134512640 134569956 3221224400 3221214880 1131435280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35841 13073 16 0 209324 0
vsize: 837360
[startup+550.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 51821 62 0 0 25 0 11 0 432719182 857456640 35855 4294967295 134512640 134569956 3221224400 3221214876 1131301941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35855 13073 16 0 209324 0
vsize: 837360
[startup+560.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 52814 62 0 0 25 0 11 0 432719182 857456640 35863 4294967295 134512640 134569956 3221224400 3221214840 1131264660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35863 13073 16 0 209324 0
vsize: 837360
[startup+570.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 53807 62 0 0 25 0 11 0 432719182 857456640 35869 4294967295 134512640 134569956 3221224400 3221214880 1131434713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35869 13073 16 0 209324 0
vsize: 837360
[startup+580.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 54800 62 0 0 25 0 11 0 432719182 857456640 35878 4294967295 134512640 134569956 3221224400 3221214792 1131312313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35878 13073 16 0 209324 0
vsize: 837360
[startup+590.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 55793 62 0 0 25 0 11 0 432719182 857456640 35885 4294967295 134512640 134569956 3221224400 3221214824 1131301808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35885 13073 16 0 209324 0
vsize: 837360
[startup+600.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 56786 62 0 0 25 0 11 0 432719182 857456640 35893 4294967295 134512640 134569956 3221224400 3221214840 1131265024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35893 13073 16 0 209324 0
vsize: 837360
[startup+610.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18029 0 1 0 57780 63 0 0 25 0 11 0 432719182 857456640 35905 4294967295 134512640 134569956 3221224400 3221214752 1131312375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209340 35905 13073 16 0 209324 0
vsize: 837360
[startup+620.035 s]
Raw data (loadavg): 1.07 1.00 0.92 3/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 58704 63 0 0 25 0 11 0 432719182 859586560 36513 4294967295 134512640 134569956 3221224400 3221214816 1131500604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209860 36513 13073 16 0 209844 0
vsize: 839440
[startup+630.035 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 59701 63 0 0 25 0 11 0 432719182 859553792 36513 4294967295 134512640 134569956 3221224400 3221214824 1131301847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 36513 13073 16 0 209836 0
vsize: 839408
[startup+640.035 s]
Raw data (loadavg): 1.13 1.02 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 60686 63 0 0 25 0 11 0 432719182 859553792 36525 4294967295 134512640 134569956 3221224400 3221214832 1131247353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36525 13073 16 0 209836 0
vsize: 839408
[startup+650.036 s]
Raw data (loadavg): 1.11 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 61671 63 0 0 25 0 11 0 432719182 859553792 36532 4294967295 134512640 134569956 3221224400 3221214824 1131301823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36532 13073 16 0 209836 0
vsize: 839408
[startup+660.036 s]
Raw data (loadavg): 1.09 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 62655 63 0 0 25 0 11 0 432719182 859553792 36542 4294967295 134512640 134569956 3221224400 3221214792 1131313150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36542 13073 16 0 209836 0
vsize: 839408
[startup+670.037 s]
Raw data (loadavg): 1.08 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 63641 63 0 0 24 0 11 0 432719182 859553792 36569 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36569 13073 16 0 209836 0
vsize: 839408
[startup+680.038 s]
Raw data (loadavg): 1.07 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 64633 63 0 0 25 0 11 0 432719182 859553792 36578 4294967295 134512640 134569956 3221224400 3221214792 1131315401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36578 13073 16 0 209836 0
vsize: 839408
[startup+690.038 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 65619 64 0 0 25 0 11 0 432719182 859553792 36588 4294967295 134512640 134569956 3221224400 3221214792 1131313150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36588 13073 16 0 209836 0
vsize: 839408
[startup+700.039 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18071 0 1 0 66606 64 0 0 25 0 11 0 432719182 859553792 36596 4294967295 134512640 134569956 3221224400 3221214848 1131480096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36596 13073 16 0 209836 0
vsize: 839408
[startup+710.038 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 67595 64 0 0 25 0 11 0 432719182 859553792 36600 4294967295 134512640 134569956 3221224400 3221214832 1131315237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36600 13073 16 0 209836 0
vsize: 839408
[startup+720.039 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 68580 64 0 0 25 0 11 0 432719182 859553792 36632 4294967295 134512640 134569956 3221224400 3221214792 1131312223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36632 13073 16 0 209836 0
vsize: 839408
[startup+730.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 69567 64 0 0 17 0 11 0 432719182 859553792 36650 4294967295 134512640 134569956 3221224400 3221214784 1131301880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36650 13073 16 0 209836 0
vsize: 839408
[startup+740.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 70556 64 0 0 25 0 11 0 432719182 859553792 36685 4294967295 134512640 134569956 3221224400 3221214368 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36685 13073 16 0 209836 0
vsize: 839408
[startup+750.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 71548 64 0 0 25 0 11 0 432719182 859553792 36690 4294967295 134512640 134569956 3221224400 3221214880 1131432099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36690 13073 16 0 209836 0
vsize: 839408
[startup+760.041 s]
Raw data (loadavg): 1.02 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 72536 65 0 0 25 0 11 0 432719182 859553792 36696 4294967295 134512640 134569956 3221224400 3221214880 1131431943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36696 13073 16 0 209836 0
vsize: 839408
[startup+770.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 73526 65 0 0 25 0 11 0 432719182 859553792 36702 4294967295 134512640 134569956 3221224400 3221214880 1131432753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36702 13073 16 0 209836 0
vsize: 839408
[startup+780.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 74513 65 0 0 25 0 11 0 432719182 859553792 36703 4294967295 134512640 134569956 3221224400 3221214880 1131435252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36703 13073 16 0 209836 0
vsize: 839408
[startup+790.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 75506 65 0 0 25 0 11 0 432719182 859553792 36720 4294967295 134512640 134569956 3221224400 3221214832 1131247420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36720 13073 16 0 209836 0
vsize: 839408
[startup+800.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 76499 65 0 0 25 0 11 0 432719182 859553792 36731 4294967295 134512640 134569956 3221224400 3221214792 1131312223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36731 13073 16 0 209836 0
vsize: 839408
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 77493 66 0 0 25 0 11 0 432719182 859553792 36742 4294967295 134512640 134569956 3221224400 3221214784 1131301856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36742 13073 16 0 209836 0
vsize: 839408
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 78486 66 0 0 25 0 11 0 432719182 859553792 36755 4294967295 134512640 134569956 3221224400 3221214880 1131434804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36755 13073 16 0 209836 0
vsize: 839408
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 79479 66 0 0 25 0 11 0 432719182 859553792 36759 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36759 13073 16 0 209836 0
vsize: 839408
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1827
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 80473 66 0 0 25 0 11 0 432719182 859553792 36763 4294967295 134512640 134569956 3221224400 3221214880 1131432281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36763 13073 16 0 209836 0
vsize: 839408
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 81465 67 0 0 25 0 11 0 432719182 859553792 36769 4294967295 134512640 134569956 3221224400 3221214880 1131434696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36769 13073 16 0 209836 0
vsize: 839408
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 82462 67 0 0 25 0 11 0 432719182 859553792 36772 4294967295 134512640 134569956 3221224400 3221214728 1131588194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 36772 13073 16 0 209836 0
vsize: 839408
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 83450 67 0 0 25 0 11 0 432719182 859553792 36776 4294967295 134512640 134569956 3221224400 3221214880 1131433510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36776 13073 16 0 209836 0
vsize: 839408
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 84437 67 0 0 25 0 11 0 432719182 859553792 36781 4294967295 134512640 134569956 3221224400 3221214872 1131247420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36781 13073 16 0 209836 0
vsize: 839408
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 85424 67 0 0 25 0 11 0 432719182 859553792 36786 4294967295 134512640 134569956 3221224400 3221214880 1131432865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36786 13073 16 0 209836 0
vsize: 839408
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 86413 67 0 0 25 0 11 0 432719182 859553792 36823 4294967295 134512640 134569956 3221224400 3221214784 1131301960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36823 13073 16 0 209836 0
vsize: 839408
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 87404 68 0 0 25 0 11 0 432719182 859553792 36835 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36835 13073 16 0 209836 0
vsize: 839408
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 88396 68 0 0 25 0 11 0 432719182 859553792 36842 4294967295 134512640 134569956 3221224400 3221214880 1131435266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36842 13073 16 0 209836 0
vsize: 839408
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 89381 69 0 0 25 0 11 0 432719182 859553792 36849 4294967295 134512640 134569956 3221224400 3221214880 1131432852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36849 13073 16 0 209836 0
vsize: 839408
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) S 1808 12452 12451 0 -1 0 18072 0 1 0 90362 69 0 0 25 0 11 0 432719182 859553792 36859 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36859 13073 16 0 209836 0
vsize: 839408
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 91340 69 0 0 25 0 11 0 432719182 859553792 36868 4294967295 134512640 134569956 3221224400 3221214876 1131315168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36868 13073 16 0 209836 0
vsize: 839408
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 92321 69 0 0 25 0 11 0 432719182 859553792 36893 4294967295 134512640 134569956 3221224400 3221214840 1131265024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36893 13073 16 0 209836 0
vsize: 839408
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 93308 69 0 0 25 0 11 0 432719182 859553792 36943 4294967295 134512640 134569956 3221224400 3221214880 1131434799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36943 13073 16 0 209836 0
vsize: 839408
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 94303 69 0 0 25 0 11 0 432719182 859553792 36991 4294967295 134512640 134569956 3221224400 3221214824 1131301817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36991 13073 16 0 209836 0
vsize: 839408
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 95298 70 0 0 25 0 11 0 432719182 859553792 36994 4294967295 134512640 134569956 3221224400 3221214840 1131265010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36994 13073 16 0 209836 0
vsize: 839408
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 96291 70 0 0 25 0 11 0 432719182 859553792 36998 4294967295 134512640 134569956 3221224400 3221214840 1131265024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 36998 13073 16 0 209836 0
vsize: 839408
[startup+1010.08 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 97286 70 0 0 25 0 11 0 432719182 859553792 37006 4294967295 134512640 134569956 3221224400 3221214792 1131312212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37006 13073 16 0 209836 0
vsize: 839408
[startup+1020.08 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 98280 70 0 0 25 0 11 0 432719182 859553792 37020 4294967295 134512640 134569956 3221224400 3221214792 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37020 13073 16 0 209836 0
vsize: 839408
[startup+1030.08 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 99275 70 0 0 25 0 11 0 432719182 859553792 37024 4294967295 134512640 134569956 3221224400 3221214824 1131301932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37024 13073 16 0 209836 0
vsize: 839408
[startup+1040.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 100269 71 0 0 25 0 11 0 432719182 859553792 37032 4294967295 134512640 134569956 3221224400 3221214744 1131519330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37032 13073 16 0 209836 0
vsize: 839408
[startup+1050.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 101261 71 0 0 25 0 11 0 432719182 859553792 37036 4294967295 134512640 134569956 3221224400 3221214880 1131432809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37036 13073 16 0 209836 0
vsize: 839408
[startup+1060.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 102252 71 0 0 25 0 11 0 432719182 859553792 37039 4294967295 134512640 134569956 3221224400 3221214672 1131467891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37039 13073 16 0 209836 0
vsize: 839408
[startup+1070.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 103238 71 0 0 25 0 11 0 432719182 859553792 37043 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37043 13073 16 0 209836 0
vsize: 839408
[startup+1080.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 104222 71 0 0 25 0 11 0 432719182 859553792 37063 4294967295 134512640 134569956 3221224400 3221214824 1131301761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37063 13073 16 0 209836 0
vsize: 839408
[startup+1090.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 105202 72 0 0 25 0 11 0 432719182 859553792 37072 4294967295 134512640 134569956 3221224400 3221214792 1131312223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37072 13073 16 0 209836 0
vsize: 839408
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 106185 72 0 0 25 0 11 0 432719182 859553792 37118 4294967295 134512640 134569956 3221224400 3221214876 1131301728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37118 13073 16 0 209836 0
vsize: 839408
[startup+1110.08 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 107168 72 0 0 24 0 11 0 432719182 859553792 37125 4294967295 134512640 134569956 3221224400 3221214880 1131435092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37125 13073 16 0 209836 0
vsize: 839408
[startup+1120.08 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 108155 72 0 0 19 0 11 0 432719182 859553792 37187 4294967295 134512640 134569956 3221224400 3221214752 1131312364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37187 13073 16 0 209836 0
vsize: 839408
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 109145 72 0 0 25 0 11 0 432719182 859553792 37191 4294967295 134512640 134569956 3221224400 3221214876 1131301728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37191 13073 16 0 209836 0
vsize: 839408
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1829
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 110129 73 0 0 25 0 11 0 432719182 859553792 37206 4294967295 134512640 134569956 3221224400 3221214784 1131301870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37206 13073 16 0 209836 0
vsize: 839408
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 111105 73 0 0 25 0 11 0 432719182 859553792 37211 4294967295 134512640 134569956 3221224400 3221214880 1131434647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37211 13073 16 0 209836 0
vsize: 839408
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 112071 73 0 0 24 0 11 0 432719182 859553792 37225 4294967295 134512640 134569956 3221224400 3221214544 1131486528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209852 37225 13073 16 0 209836 0
vsize: 839408
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 113035 74 0 0 25 0 11 0 432719182 859553792 37241 4294967295 134512640 134569956 3221224400 3221214744 1131519650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37241 13073 16 0 209836 0
vsize: 839408
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 114010 74 0 0 25 0 11 0 432719182 859553792 37367 4294967295 134512640 134569956 3221224400 3221214872 1131247420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37367 13073 16 0 209836 0
vsize: 839408
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 114988 74 0 0 25 0 11 0 432719182 859553792 37451 4294967295 134512640 134569956 3221224400 3221214792 1131315212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37451 13073 16 0 209836 0
vsize: 839408
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 115976 74 0 0 25 0 11 0 432719182 859553792 37500 4294967295 134512640 134569956 3221224400 3221214880 1131432857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37500 13073 16 0 209836 0
vsize: 839408
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 116966 74 0 0 25 0 11 0 432719182 859553792 37531 4294967295 134512640 134569956 3221224400 3221214784 1131301932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37531 13073 16 0 209836 0
vsize: 839408
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 117963 74 0 0 25 0 11 0 432719182 859553792 37532 4294967295 134512640 134569956 3221224400 3221214792 1131312581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37532 13073 16 0 209836 0
vsize: 839408
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 118959 74 0 0 25 0 11 0 432719182 859553792 37534 4294967295 134512640 134569956 3221224400 3221215028 1130891094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37534 13073 16 0 209836 0
vsize: 839408
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 1831
Raw data (stat): 1809 (java) R 1808 12452 12451 0 -1 0 18072 0 1 0 119953 74 0 0 25 0 11 0 432719182 859553792 37537 4294967295 134512640 134569956 3221224400 3221214836 1131301941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209852 37537 13073 16 0 209836 0
vsize: 839408
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 1833
Raw data (stat): 1809 (java) Z 1808 12452 12451 0 -1 1036 18072 17753 1 0 119956 74 3681 49 25 0 1 0 432719182 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): 1240.19
CPU time (s): 1237.63
CPU user time (s): 1236.39
CPU system time (s): 1.23881
CPU usage (%): 99.7933
Max. virtual memory (Kb): 839440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####