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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
MD5SUM	503b63cdbe2445afec2ea38c5efde5e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4990860
Optimality of the best value was proved	NO
Number of terms in the objective function	3720
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	679702048135
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	679702048135
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1225.37
Number of variables	3720
Total number of constraints	142
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	142
Minimum length of a constraint	31
Maximum length of a constraint	360
Trace number 13676

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-20 21:23:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14244 boxname=wulflinc12 idbench=1096 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  503b63cdbe2445afec2ea38c5efde5e4  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran10x12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran10x12.opb
IDLAUNCH: 14244
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        509208 kB
Buffers:         35444 kB
Cached:         466868 kB
SwapCached:          4 kB
Active:         208448 kB
Inactive:       296684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        508956 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14656 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:43:34 (client local time) WITH STATUS 143 IN 1224.98 SECONDS
stats: 14244 7 1224.98 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-ran10x12.opb
c reading problem 
c [nbvar=3720]
c [nbconstr=142]
c time 8.311
c #vars     3720
c #clauses  165
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=7499503
c Current CPU time (ms) : 24.374
c starts	: 1
c conflicts	: 7
c decisions	: 1915
c propagations	: 9155
c inspects	: 9741
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 8
#### 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.55 0.77 0.84 2/54 13825
Raw data (stat): 13825 (runsolver) R 13824 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481424001 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.0011 s]
Raw data (loadavg): 0.78 0.81 0.85 3/64 13835
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18057 0 1 0 791 40 0 0 25 0 11 0 481424001 861597696 20730 4294967295 134512640 134569956 3221224400 3221214540 1130887353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 20730 13073 16 0 210335 0
vsize: 841404
[startup+20.002 s]
Raw data (loadavg): 0.81 0.82 0.85 2/64 13835
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18060 0 1 0 1616 40 0 0 25 0 11 0 481424001 861564928 21460 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 21460 13073 16 0 210327 0
vsize: 841372
[startup+30.0033 s]
Raw data (loadavg): 0.84 0.82 0.85 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18060 4 1 0 2533 41 0 0 25 0 11 0 481424001 861564928 21649 4294967295 134512640 134569956 3221224400 3221214808 1131279896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 21649 13073 16 0 210327 0
vsize: 841372
[startup+40.0116 s]
Raw data (loadavg): 0.87 0.83 0.85 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 3444 41 0 0 25 0 11 0 481424001 861564928 22134 4294967295 134512640 134569956 3221224400 3221214640 1131330178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 22134 13073 16 0 210327 0
vsize: 841372
[startup+50.0225 s]
Raw data (loadavg): 0.89 0.83 0.85 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 4406 41 0 0 24 0 11 0 481424001 861564928 22502 4294967295 134512640 134569956 3221224400 3221214808 1131280596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22502 13073 16 0 210327 0
vsize: 841372
[startup+60.0314 s]
Raw data (loadavg): 0.90 0.84 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 5383 41 0 0 25 0 11 0 481424001 861564928 22619 4294967295 134512640 134569956 3221224400 3221214848 1131205137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22619 13073 16 0 210327 0
vsize: 841372
[startup+70.0401 s]
Raw data (loadavg): 0.92 0.84 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 6365 42 0 0 25 0 11 0 481424001 861564928 22708 4294967295 134512640 134569956 3221224400 3221214808 1131279302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22708 13073 16 0 210327 0
vsize: 841372
[startup+80.0413 s]
Raw data (loadavg): 0.93 0.85 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 7356 42 0 0 25 0 11 0 481424001 861564928 22719 4294967295 134512640 134569956 3221224400 3221214464 1131301020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22719 13073 16 0 210327 0
vsize: 841372
[startup+90.0468 s]
Raw data (loadavg): 0.94 0.85 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 8350 43 0 0 25 0 11 0 481424001 861564928 22733 4294967295 134512640 134569956 3221224400 3221214456 1131300995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22733 13073 16 0 210327 0
vsize: 841372
[startup+100.047 s]
Raw data (loadavg): 0.95 0.86 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 9342 43 0 0 25 0 11 0 481424001 861564928 22741 4294967295 134512640 134569956 3221224400 3221214456 1131301091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22741 13073 16 0 210327 0
vsize: 841372
[startup+110.047 s]
Raw data (loadavg): 0.96 0.86 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 10333 43 0 0 25 0 11 0 481424001 861564928 22763 4294967295 134512640 134569956 3221224400 3221214896 1131347093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22763 13073 16 0 210327 0
vsize: 841372
[startup+120.05 s]
Raw data (loadavg): 0.96 0.86 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 11322 44 0 0 25 0 11 0 481424001 861564928 22765 4294967295 134512640 134569956 3221224400 3221214808 1131279835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22765 13073 16 0 210327 0
vsize: 841372
[startup+130.05 s]
Raw data (loadavg): 0.97 0.87 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 12310 44 0 0 25 0 11 0 481424001 861564928 22765 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22765 13073 16 0 210327 0
vsize: 841372
[startup+140.051 s]
Raw data (loadavg): 0.97 0.87 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 13302 45 0 0 25 0 11 0 481424001 861564928 22810 4294967295 134512640 134569956 3221224400 3221214848 1131205283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22810 13073 16 0 210327 0
vsize: 841372
[startup+150.052 s]
Raw data (loadavg): 0.98 0.88 0.86 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 14294 45 0 0 25 0 11 0 481424001 861564928 22824 4294967295 134512640 134569956 3221224400 3221214808 1131279775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22824 13073 16 0 210327 0
vsize: 841372
[startup+160.052 s]
Raw data (loadavg): 0.98 0.88 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 15282 46 0 0 25 0 11 0 481424001 861564928 22835 4294967295 134512640 134569956 3221224400 3221214752 1131300995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22835 13073 16 0 210327 0
vsize: 841372
[startup+170.052 s]
Raw data (loadavg): 0.98 0.88 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 16261 46 0 0 25 0 11 0 481424001 861564928 22852 4294967295 134512640 134569956 3221224400 3221214456 1131300995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 22852 13073 16 0 210327 0
vsize: 841372
[startup+180.053 s]
Raw data (loadavg): 0.98 0.89 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 17242 47 0 0 24 0 11 0 481424001 861564928 22860 4294967295 134512640 134569956 3221224400 3221214464 1131301277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22860 13073 16 0 210327 0
vsize: 841372
[startup+190.053 s]
Raw data (loadavg): 0.99 0.89 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 18224 47 0 0 25 0 11 0 481424001 861564928 22869 4294967295 134512640 134569956 3221224400 3221214568 1131479219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22869 13073 16 0 210327 0
vsize: 841372
[startup+200.054 s]
Raw data (loadavg): 0.99 0.89 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 19215 47 0 0 25 0 11 0 481424001 861564928 22955 4294967295 134512640 134569956 3221224400 3221214464 1131301368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22955 13073 16 0 210327 0
vsize: 841372
[startup+210.054 s]
Raw data (loadavg): 0.99 0.89 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 20202 47 0 0 25 0 11 0 481424001 861564928 22955 4294967295 134512640 134569956 3221224400 3221214856 1131370632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22955 13073 16 0 210327 0
vsize: 841372
[startup+220.054 s]
Raw data (loadavg): 0.99 0.90 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 21177 48 0 0 25 0 11 0 481424001 861564928 22957 4294967295 134512640 134569956 3221224400 3221214552 1131538961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22957 13073 16 0 210327 0
vsize: 841372
[startup+230.055 s]
Raw data (loadavg): 0.99 0.90 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 22155 48 0 0 25 0 11 0 481424001 861564928 22957 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22957 13073 16 0 210327 0
vsize: 841372
[startup+240.056 s]
Raw data (loadavg): 0.99 0.90 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 23124 48 0 0 25 0 11 0 481424001 861564928 22957 4294967295 134512640 134569956 3221224400 3221214892 1131280835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 22957 13073 16 0 210327 0
vsize: 841372
[startup+250.056 s]
Raw data (loadavg): 0.99 0.91 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 24099 48 0 0 25 0 11 0 481424001 861564928 23192 4294967295 134512640 134569956 3221224400 3221214560 1131301870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23192 13073 16 0 210327 0
vsize: 841372
[startup+260.058 s]
Raw data (loadavg): 0.99 0.91 0.87 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 25091 48 0 0 25 0 11 0 481424001 861564928 23192 4294967295 134512640 134569956 3221224400 3221214552 1131539800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23192 13073 16 0 210327 0
vsize: 841372
[startup+270.058 s]
Raw data (loadavg): 0.99 0.91 0.88 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 26080 49 0 0 25 0 11 0 481424001 861564928 23192 4294967295 134512640 134569956 3221224400 3221214560 1131301099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23192 13073 16 0 210327 0
vsize: 841372
[startup+280.058 s]
Raw data (loadavg): 1.07 0.93 0.88 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 27063 49 0 0 25 0 11 0 481424001 861564928 23226 4294967295 134512640 134569956 3221224400 3221214744 1131413917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23226 13073 16 0 210327 0
vsize: 841372
[startup+290.06 s]
Raw data (loadavg): 1.06 0.93 0.88 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 28041 49 0 0 25 0 11 0 481424001 861564928 23240 4294967295 134512640 134569956 3221224400 3221214808 1131279269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23240 13073 16 0 210327 0
vsize: 841372
[startup+300.06 s]
Raw data (loadavg): 1.05 0.93 0.88 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 29025 50 0 0 25 0 11 0 481424001 861564928 23374 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23374 13073 16 0 210327 0
vsize: 841372
[startup+310.061 s]
Raw data (loadavg): 1.04 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 30018 50 0 0 25 0 11 0 481424001 861564928 23412 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23412 13073 16 0 210327 0
vsize: 841372
[startup+320.061 s]
Raw data (loadavg): 1.04 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 31011 50 0 0 25 0 11 0 481424001 861564928 23420 4294967295 134512640 134569956 3221224400 3221214808 1131279840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23420 13073 16 0 210327 0
vsize: 841372
[startup+330.062 s]
Raw data (loadavg): 1.03 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 32005 50 0 0 25 0 11 0 481424001 861564928 23431 4294967295 134512640 134569956 3221224400 3221214808 1131280021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23431 13073 16 0 210327 0
vsize: 841372
[startup+340.062 s]
Raw data (loadavg): 1.03 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 32998 51 0 0 25 0 11 0 481424001 861564928 23443 4294967295 134512640 134569956 3221224400 3221214656 1131359592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23443 13073 16 0 210327 0
vsize: 841372
[startup+350.063 s]
Raw data (loadavg): 1.02 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 33990 51 0 0 25 0 11 0 481424001 861564928 23465 4294967295 134512640 134569956 3221224400 3221214808 1131279878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23465 13073 16 0 210327 0
vsize: 841372
[startup+360.064 s]
Raw data (loadavg): 1.02 0.94 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 34983 52 0 0 25 0 11 0 481424001 861564928 23484 4294967295 134512640 134569956 3221224400 3221214808 1131279644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23484 13073 16 0 210327 0
vsize: 841372
[startup+370.065 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 35977 52 0 0 25 0 11 0 481424001 861564928 23497 4294967295 134512640 134569956 3221224400 3221214808 1131279850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23497 13073 16 0 210327 0
vsize: 841372
[startup+380.065 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 36970 52 0 0 25 0 11 0 481424001 861564928 23522 4294967295 134512640 134569956 3221224400 3221214808 1131280610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23522 13073 16 0 210327 0
vsize: 841372
[startup+390.066 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 37964 53 0 0 25 0 11 0 481424001 861564928 23533 4294967295 134512640 134569956 3221224400 3221214808 1131280496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23533 13073 16 0 210327 0
vsize: 841372
[startup+400.066 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 38958 53 0 0 25 0 11 0 481424001 861564928 23552 4294967295 134512640 134569956 3221224400 3221214808 1131279860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23552 13073 16 0 210327 0
vsize: 841372
[startup+410.068 s]
Raw data (loadavg): 1.01 0.95 0.89 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 39952 54 0 0 25 0 11 0 481424001 861564928 23558 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23558 13073 16 0 210327 0
vsize: 841372
[startup+420.068 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 40944 54 0 0 25 0 11 0 481424001 861564928 23565 4294967295 134512640 134569956 3221224400 3221214848 1131205234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23565 13073 16 0 210327 0
vsize: 841372
[startup+430.069 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 41936 54 0 0 25 0 11 0 481424001 861564928 23586 4294967295 134512640 134569956 3221224400 3221214848 1131205148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23586 13073 16 0 210327 0
vsize: 841372
[startup+440.07 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18062 4 1 0 42930 54 0 0 25 0 11 0 481424001 861564928 23636 4294967295 134512640 134569956 3221224400 3221214896 1131346934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23636 13073 16 0 210327 0
vsize: 841372
[startup+450.071 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 43921 55 0 0 25 0 11 0 481424001 861564928 23658 4294967295 134512640 134569956 3221224400 3221214808 1131280205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23658 13073 16 0 210327 0
vsize: 841372
[startup+460.072 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 44912 55 0 0 25 0 11 0 481424001 861564928 23670 4294967295 134512640 134569956 3221224400 3221214892 1131280835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23670 13073 16 0 210327 0
vsize: 841372
[startup+470.072 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 45905 55 0 0 25 0 11 0 481424001 861564928 23688 4294967295 134512640 134569956 3221224400 3221214848 1131205113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23688 13073 16 0 210327 0
vsize: 841372
[startup+480.072 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 46898 55 0 0 25 0 11 0 481424001 861564928 23720 4294967295 134512640 134569956 3221224400 3221214808 1131279908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23720 13073 16 0 210327 0
vsize: 841372
[startup+490.073 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 47892 55 0 0 25 0 11 0 481424001 861564928 23740 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23740 13073 16 0 210327 0
vsize: 841372
[startup+500.074 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 48886 55 0 0 25 0 11 0 481424001 861564928 23752 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23752 13073 16 0 210327 0
vsize: 841372
[startup+510.075 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 49878 56 0 0 25 0 11 0 481424001 861564928 23761 4294967295 134512640 134569956 3221224400 3221214808 1131279700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23761 13073 16 0 210327 0
vsize: 841372
[startup+520.075 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 50871 56 0 0 25 0 11 0 481424001 861564928 23775 4294967295 134512640 134569956 3221224400 3221214808 1131279358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23775 13073 16 0 210327 0
vsize: 841372
[startup+530.076 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 51863 56 0 0 25 0 11 0 481424001 861564928 23791 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23791 13073 16 0 210327 0
vsize: 841372
[startup+540.077 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 52855 56 0 0 25 0 11 0 481424001 861564928 23809 4294967295 134512640 134569956 3221224400 3221214808 1131279644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23809 13073 16 0 210327 0
vsize: 841372
[startup+550.078 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 53837 56 0 0 25 0 11 0 481424001 861564928 23840 4294967295 134512640 134569956 3221224400 3221214808 1131280822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23840 13073 16 0 210327 0
vsize: 841372
[startup+560.079 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 54827 57 0 0 25 0 11 0 481424001 861564928 23859 4294967295 134512640 134569956 3221224400 3221214896 1131347806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23859 13073 16 0 210327 0
vsize: 841372
[startup+570.081 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 55819 57 0 0 25 0 11 0 481424001 861564928 23926 4294967295 134512640 134569956 3221224400 3221214808 1131279821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23926 13073 16 0 210327 0
vsize: 841372
[startup+580.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 56811 57 0 0 25 0 11 0 481424001 861564928 23946 4294967295 134512640 134569956 3221224400 3221214892 1131280835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23946 13073 16 0 210327 0
vsize: 841372
[startup+590.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 57804 57 0 0 25 0 11 0 481424001 861564928 23972 4294967295 134512640 134569956 3221224400 3221214848 1131205148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23972 13073 16 0 210327 0
vsize: 841372
[startup+600.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 58796 57 0 0 25 0 11 0 481424001 861564928 23992 4294967295 134512640 134569956 3221224400 3221214848 1131205125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23992 13073 16 0 210327 0
vsize: 841372
[startup+610.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 59789 57 0 0 25 0 11 0 481424001 861564928 24002 4294967295 134512640 134569956 3221224400 3221214808 1131279932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24002 13073 16 0 210327 0
vsize: 841372
[startup+620.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 60781 58 0 0 25 0 11 0 481424001 861564928 24021 4294967295 134512640 134569956 3221224400 3221214808 1131279878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24021 13073 16 0 210327 0
vsize: 841372
[startup+630.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 61773 58 0 0 25 0 11 0 481424001 861564928 24051 4294967295 134512640 134569956 3221224400 3221214848 1131205117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24051 13073 16 0 210327 0
vsize: 841372
[startup+640.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 62763 58 0 0 25 0 11 0 481424001 861564928 24066 4294967295 134512640 134569956 3221224400 3221214808 1131279700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24066 13073 16 0 210327 0
vsize: 841372
[startup+650.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 63754 58 0 0 25 0 11 0 481424001 861564928 24097 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24097 13073 16 0 210327 0
vsize: 841372
[startup+660.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 64746 58 0 0 25 0 11 0 481424001 861564928 24136 4294967295 134512640 134569956 3221224400 3221214472 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24136 13073 16 0 210327 0
vsize: 841372
[startup+670.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 65737 59 0 0 25 0 11 0 481424001 861564928 24152 4294967295 134512640 134569956 3221224400 3221214896 1131347774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24152 13073 16 0 210327 0
vsize: 841372
[startup+680.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 66729 59 0 0 25 0 11 0 481424001 861564928 24174 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24174 13073 16 0 210327 0
vsize: 841372
[startup+690.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 67720 59 0 0 25 0 11 0 481424001 861564928 24211 4294967295 134512640 134569956 3221224400 3221214808 1131280603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24211 13073 16 0 210327 0
vsize: 841372
[startup+700.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 68711 59 0 0 25 0 11 0 481424001 861564928 24223 4294967295 134512640 134569956 3221224400 3221214464 1131540406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24223 13073 16 0 210327 0
vsize: 841372
[startup+710.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 69702 60 0 0 25 0 11 0 481424001 861564928 24250 4294967295 134512640 134569956 3221224400 3221214896 1131347791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24250 13073 16 0 210327 0
vsize: 841372
[startup+720.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 70695 60 0 0 25 0 11 0 481424001 861564928 24282 4294967295 134512640 134569956 3221224400 3221214848 1131205281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24282 13073 16 0 210327 0
vsize: 841372
[startup+730.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 71687 60 0 0 25 0 11 0 481424001 861564928 24304 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24304 13073 16 0 210327 0
vsize: 841372
[startup+740.102 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 72679 60 0 0 25 0 11 0 481424001 861564928 24319 4294967295 134512640 134569956 3221224400 3221214896 1131346949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24319 13073 16 0 210327 0
vsize: 841372
[startup+750.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 73671 60 0 0 25 0 11 0 481424001 861564928 24339 4294967295 134512640 134569956 3221224400 3221214808 1131280575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24339 13073 16 0 210327 0
vsize: 841372
[startup+760.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 74663 61 0 0 25 0 11 0 481424001 861564928 24362 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24362 13073 16 0 210327 0
vsize: 841372
[startup+770.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 75655 61 0 0 25 0 11 0 481424001 861564928 24392 4294967295 134512640 134569956 3221224400 3221214936 1131207193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24392 13073 16 0 210327 0
vsize: 841372
[startup+780.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 76648 61 0 0 25 0 11 0 481424001 861564928 24411 4294967295 134512640 134569956 3221224400 3221214808 1131279642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24411 13073 16 0 210327 0
vsize: 841372
[startup+790.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 77641 61 0 0 25 0 11 0 481424001 861564928 24423 4294967295 134512640 134569956 3221224400 3221214848 1131205148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24423 13073 16 0 210327 0
vsize: 841372
[startup+800.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 78633 61 0 0 25 0 11 0 481424001 861564928 24433 4294967295 134512640 134569956 3221224400 3221214808 1131279788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24433 13073 16 0 210327 0
vsize: 841372
[startup+810.106 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 79625 61 0 0 25 0 11 0 481424001 861564928 24450 4294967295 134512640 134569956 3221224400 3221214808 1131279276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24450 13073 16 0 210327 0
vsize: 841372
[startup+820.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 80616 61 0 0 25 0 11 0 481424001 861564928 24465 4294967295 134512640 134569956 3221224400 3221214808 1131279943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24465 13073 16 0 210327 0
vsize: 841372
[startup+830.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 81608 61 0 0 25 0 11 0 481424001 861564928 24491 4294967295 134512640 134569956 3221224400 3221214576 1131608375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24491 13073 16 0 210327 0
vsize: 841372
[startup+840.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 82599 61 0 0 25 0 11 0 481424001 861564928 24509 4294967295 134512640 134569956 3221224400 3221214808 1131279276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24509 13073 16 0 210327 0
vsize: 841372
[startup+850.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 83589 61 0 0 25 0 11 0 481424001 861564928 24536 4294967295 134512640 134569956 3221224400 3221214808 1131279405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24536 13073 16 0 210327 0
vsize: 841372
[startup+860.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 84580 61 0 0 25 0 11 0 481424001 861564928 24567 4294967295 134512640 134569956 3221224400 3221214808 1131279670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 24567 13073 16 0 210327 0
vsize: 841372
[startup+870.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 85574 61 0 0 25 0 11 0 481424001 861564928 24576 4294967295 134512640 134569956 3221224400 3221214464 1131538976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24576 13073 16 0 210327 0
vsize: 841372
[startup+880.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 86562 62 0 0 25 0 11 0 481424001 861564928 24590 4294967295 134512640 134569956 3221224400 3221214464 1131539617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24590 13073 16 0 210327 0
vsize: 841372
[startup+890.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 87543 62 0 0 25 0 11 0 481424001 861564928 24615 4294967295 134512640 134569956 3221224400 3221214808 1131279878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24615 13073 16 0 210327 0
vsize: 841372
[startup+900.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 88511 62 0 0 25 0 11 0 481424001 861564928 24645 4294967295 134512640 134569956 3221224400 3221214896 1131346949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24645 13073 16 0 210327 0
vsize: 841372
[startup+910.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) S 13824 25285 25284 0 -1 0 18063 4 1 0 89471 62 0 0 25 0 11 0 481424001 861564928 24747 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24747 13073 16 0 210327 0
vsize: 841372
[startup+920.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 90450 62 0 0 25 0 11 0 481424001 861564928 24916 4294967295 134512640 134569956 3221224400 3221214808 1131279273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24916 13073 16 0 210327 0
vsize: 841372
[startup+930.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 91440 62 0 0 25 0 11 0 481424001 861564928 24993 4294967295 134512640 134569956 3221224400 3221214808 1131279297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 24993 13073 16 0 210327 0
vsize: 841372
[startup+940.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 92429 62 0 0 25 0 11 0 481424001 861564928 25012 4294967295 134512640 134569956 3221224400 3221214808 1131279670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25012 13073 16 0 210327 0
vsize: 841372
[startup+950.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 93419 62 0 0 25 0 11 0 481424001 861564928 25033 4294967295 134512640 134569956 3221224400 3221214896 1131346761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25033 13073 16 0 210327 0
vsize: 841372
[startup+960.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 94408 62 0 0 25 0 11 0 481424001 861564928 25049 4294967295 134512640 134569956 3221224400 3221214808 1131279714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25049 13073 16 0 210327 0
vsize: 841372
[startup+970.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 95399 62 0 0 25 0 11 0 481424001 861564928 25094 4294967295 134512640 134569956 3221224400 3221214808 1131280618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25094 13073 16 0 210327 0
vsize: 841372
[startup+980.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 96391 62 0 0 25 0 11 0 481424001 861564928 25123 4294967295 134512640 134569956 3221224400 3221214808 1131280483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25123 13073 16 0 210327 0
vsize: 841372
[startup+990.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 97384 62 0 0 25 0 11 0 481424001 861564928 25144 4294967295 134512640 134569956 3221224400 3221214896 1131347200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25144 13073 16 0 210327 0
vsize: 841372
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 98376 62 0 0 25 0 11 0 481424001 861564928 25146 4294967295 134512640 134569956 3221224400 3221214808 1131280529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25146 13073 16 0 210327 0
vsize: 841372
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 99368 63 0 0 25 0 11 0 481424001 861564928 25167 4294967295 134512640 134569956 3221224400 3221214808 1131279257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25167 13073 16 0 210327 0
vsize: 841372
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 100358 63 0 0 25 0 11 0 481424001 861564928 25180 4294967295 134512640 134569956 3221224400 3221214808 1131279685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25180 13073 16 0 210327 0
vsize: 841372
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 101350 63 0 0 25 0 11 0 481424001 861564928 25208 4294967295 134512640 134569956 3221224400 3221214472 1131301510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25208 13073 16 0 210327 0
vsize: 841372
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 102345 63 0 0 25 0 11 0 481424001 861564928 25223 4294967295 134512640 134569956 3221224400 3221214472 1131301272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25223 13073 16 0 210327 0
vsize: 841372
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 103341 63 0 0 25 0 11 0 481424001 861564928 25253 4294967295 134512640 134569956 3221224400 3221214472 1131301132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25253 13073 16 0 210327 0
vsize: 841372
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 104337 63 0 0 25 0 11 0 481424001 861564928 25256 4294967295 134512640 134569956 3221224400 3221214576 1131608336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25256 13073 16 0 210327 0
vsize: 841372
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 105334 64 0 0 25 0 11 0 481424001 861564928 25261 4294967295 134512640 134569956 3221224400 3221214464 1131539692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25261 13073 16 0 210327 0
vsize: 841372
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 106331 64 0 0 25 0 11 0 481424001 861564928 25261 4294967295 134512640 134569956 3221224400 3221214472 1131300926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25261 13073 16 0 210327 0
vsize: 841372
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 107329 64 0 0 25 0 11 0 481424001 861564928 25261 4294967295 134512640 134569956 3221224400 3221214644 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25261 13073 16 0 210327 0
vsize: 841372
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 108326 64 0 0 25 0 11 0 481424001 861564928 25261 4294967295 134512640 134569956 3221224400 3221214464 1131539800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25261 13073 16 0 210327 0
vsize: 841372
[startup+1110.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 109316 64 0 0 25 0 11 0 481424001 861564928 25262 4294967295 134512640 134569956 3221224400 3221214808 1131279265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25262 13073 16 0 210327 0
vsize: 841372
[startup+1120.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 110304 64 0 0 25 0 11 0 481424001 861564928 25262 4294967295 134512640 134569956 3221224400 3221214808 1131280195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25262 13073 16 0 210327 0
vsize: 841372
[startup+1130.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 111301 64 0 0 25 0 11 0 481424001 861564928 25282 4294967295 134512640 134569956 3221224400 3221214808 1131279341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 25282 13073 16 0 210327 0
vsize: 841372
[startup+1140.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 112289 64 0 0 25 0 11 0 481424001 863662080 25932 4294967295 134512640 134569956 3221224400 3221214808 1131280826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210855 25932 13073 16 0 210839 0
vsize: 843420
[startup+1150.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 113277 64 0 0 25 0 11 0 481424001 862613504 25777 4294967295 134512640 134569956 3221224400 3221214808 1131279413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25777 13073 16 0 210583 0
vsize: 842396
[startup+1160.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 114265 64 0 0 25 0 11 0 481424001 862613504 25814 4294967295 134512640 134569956 3221224400 3221214808 1131279932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25814 13073 16 0 210583 0
vsize: 842396
[startup+1170.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 115256 65 0 0 25 0 11 0 481424001 862613504 25845 4294967295 134512640 134569956 3221224400 3221214808 1131279352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25845 13073 16 0 210583 0
vsize: 842396
[startup+1180.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 116246 65 0 0 25 0 11 0 481424001 862613504 25875 4294967295 134512640 134569956 3221224400 3221214848 1131205148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25875 13073 16 0 210583 0
vsize: 842396
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 117238 65 0 0 25 0 11 0 481424001 862613504 25895 4294967295 134512640 134569956 3221224400 3221214808 1131279752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25895 13073 16 0 210583 0
vsize: 842396
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 118229 65 0 0 25 0 11 0 481424001 862613504 25909 4294967295 134512640 134569956 3221224400 3221214848 1131205120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25909 13073 16 0 210583 0
vsize: 842396
[startup+1210.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 119221 65 0 0 25 0 11 0 481424001 862613504 25961 4294967295 134512640 134569956 3221224400 3221214808 1131280483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25961 13073 16 0 210583 0
vsize: 842396
[startup+1220.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 13836
Raw data (stat): 13825 (java) R 13824 25285 25284 0 -1 0 18063 4 1 0 120213 65 0 0 25 0 11 0 481424001 862613504 25964 4294967295 134512640 134569956 3221224400 3221214808 1131280826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210599 25964 13073 16 0 210583 0
vsize: 842396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.36 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 13838
Raw data (stat): 13825 (java) Z 13824 25285 25284 0 -1 1036 18063 9298 1 0 120216 65 2180 35 25 0 1 0 481424001 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.36
CPU time (s): 1224.98
CPU user time (s): 1223.97
CPU system time (s): 1.00885
CPU usage (%): 100.379
Max. virtual memory (Kb): 843420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####