PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc06.opb
MD5SUM	a9bcf0b6d0323d251b7b3500c52602fc
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	206346968982065664
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	22661639986845859840
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.3378
Number of variables	34058
Total number of constraints	932
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	112
Number of constraints which are nor clauses,nor cardinality constraints	820
Minimum length of a constraint	1
Maximum length of a constraint	8981
Trace number 15118

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 02:57:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18573 boxname=wulflinc4 idbench=1429 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a9bcf0b6d0323d251b7b3500c52602fc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc06.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc06.opb
IDLAUNCH: 18573
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        791052 kB
Buffers:         32372 kB
Cached:         188152 kB
SwapCached:          0 kB
Active:          30884 kB
Inactive:       192488 kB
HighTotal:      131008 kB
HighFree:        13552 kB
LowTotal:       903652 kB
LowFree:        777500 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14612 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 03:18:01 (client local time) WITH STATUS 143 IN 1257.45 SECONDS
stats: 18573 7 1257.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc06.opb
c reading problem 
c [nbvar=34058]
c [nbconstr=932]
c time 339.068
c #vars     34058
c #clauses  1070
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 31231
Raw data (stat): 31231 (runsolver) R 31230 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483427023 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17941 0 69 0 629 43 0 0 25 0 10 0 483427023 854958080 19423 4294967295 134512640 134569956 3221224400 3221214604 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208730 19423 13073 16 0 208714 0
vsize: 834920
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17941 0 69 0 1534 44 0 0 25 0 10 0 483427023 854478848 19930 4294967295 134512640 134569956 3221224400 3221214488 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208613 19930 13073 16 0 208597 0
vsize: 834452
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 17942 0 69 0 2413 44 0 0 23 0 10 0 483427023 854446080 20491 4294967295 134512640 134569956 3221224400 3221213672 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 20491 13073 16 0 208589 0
vsize: 834420
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 3328 45 0 0 25 0 10 0 483427023 854446080 20769 4294967295 134512640 134569956 3221224400 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 20769 13073 16 0 208589 0
vsize: 834420
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 4252 45 0 0 25 0 10 0 483427023 854446080 21009 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21009 13073 16 0 208589 0
vsize: 834420
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 5161 45 0 0 25 0 10 0 483427023 854446080 21159 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21159 13073 16 0 208589 0
vsize: 834420
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 6072 46 0 0 25 0 10 0 483427023 854446080 21285 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21285 13073 16 0 208589 0
vsize: 834420
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 6997 46 0 0 25 0 10 0 483427023 854446080 21528 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21528 13073 16 0 208589 0
vsize: 834420
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 7918 47 0 0 25 0 10 0 483427023 854446080 21639 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208605 21639 13073 16 0 208589 0
vsize: 834420
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 8837 48 0 0 25 0 10 0 483427023 854446080 21753 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21753 13073 16 0 208589 0
vsize: 834420
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 9763 48 0 0 25 0 10 0 483427023 854446080 21905 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21905 13073 16 0 208589 0
vsize: 834420
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 17942 0 69 0 10693 48 0 0 25 0 10 0 483427023 854446080 21999 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 21999 13073 16 0 208589 0
vsize: 834420
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 11619 49 0 0 25 0 10 0 483427023 854446080 22092 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22092 13073 16 0 208589 0
vsize: 834420
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 12547 49 0 0 25 0 10 0 483427023 854446080 22182 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22182 13073 16 0 208589 0
vsize: 834420
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 13476 50 0 0 25 0 10 0 483427023 854446080 22268 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208605 22268 13073 16 0 208589 0
vsize: 834420
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 14399 50 0 0 25 0 10 0 483427023 854446080 22349 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22349 13073 16 0 208589 0
vsize: 834420
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 31240
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 17942 0 69 0 15317 50 0 0 25 0 10 0 483427023 854446080 22433 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22433 13073 16 0 208589 0
vsize: 834420
[startup+180.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 16231 53 0 0 25 0 10 0 483427023 854446080 22555 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208605 22555 13073 16 0 208589 0
vsize: 834420
[startup+190.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 17130 53 0 0 25 0 10 0 483427023 854446080 22641 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22641 13073 16 0 208589 0
vsize: 834420
[startup+200.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 18033 54 0 0 25 0 10 0 483427023 854446080 22774 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 22774 13073 16 0 208589 0
vsize: 834420
[startup+210.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 18956 54 0 0 24 0 10 0 483427023 854446080 23013 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23013 13073 16 0 208589 0
vsize: 834420
[startup+220.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 17942 0 69 0 19882 55 0 0 25 0 10 0 483427023 854446080 23083 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23083 13073 16 0 208589 0
vsize: 834420
[startup+230.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 20809 55 0 0 25 0 10 0 483427023 854446080 23156 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23156 13073 16 0 208589 0
vsize: 834420
[startup+240.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 21732 55 0 0 25 0 10 0 483427023 854446080 23225 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23225 13073 16 0 208589 0
vsize: 834420
[startup+250.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 31293
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 22655 56 0 0 25 0 10 0 483427023 854446080 23294 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23294 13073 16 0 208589 0
vsize: 834420
[startup+260.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 23577 56 0 0 25 0 10 0 483427023 854446080 23361 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23361 13073 16 0 208589 0
vsize: 834420
[startup+270.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 24498 57 0 0 25 0 10 0 483427023 854446080 23426 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23426 13073 16 0 208589 0
vsize: 834420
[startup+280.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 25420 58 0 0 24 0 10 0 483427023 854446080 23492 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23492 13073 16 0 208589 0
vsize: 834420
[startup+290.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 26342 58 0 0 25 0 10 0 483427023 854446080 23550 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23550 13073 16 0 208589 0
vsize: 834420
[startup+300.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 27253 59 0 0 24 0 10 0 483427023 854446080 23612 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23612 13073 16 0 208589 0
vsize: 834420
[startup+310.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 28163 59 0 0 25 0 10 0 483427023 854446080 23698 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23698 13073 16 0 208589 0
vsize: 834420
[startup+320.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 29074 59 0 0 25 0 10 0 483427023 854446080 23785 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23785 13073 16 0 208589 0
vsize: 834420
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 29983 60 0 0 25 0 10 0 483427023 854446080 23869 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208605 23869 13073 16 0 208589 0
vsize: 834420
[startup+340.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 31295
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17942 0 69 0 30888 60 0 0 25 0 10 0 483427023 854446080 23952 4294967295 134512640 134569956 3221224400 3221214800 1130918339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208605 23952 13073 16 0 208589 0
vsize: 834420
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17971 0 69 0 31809 61 0 0 25 0 11 0 483427023 856629248 27412 4294967295 134512640 134569956 3221224400 3221214704 1131227845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209138 27412 13073 16 0 209122 0
vsize: 836552
[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17971 0 69 0 32796 61 0 0 25 0 11 0 483427023 855937024 27284 4294967295 134512640 134569956 3221224400 3221214608 1131296775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208969 27284 13073 16 0 208953 0
vsize: 835876
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17971 0 69 0 33780 61 0 0 24 0 11 0 483427023 855937024 27284 4294967295 134512640 134569956 3221224400 3221214608 1131296627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208969 27284 13073 16 0 208953 0
vsize: 835876
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17971 0 69 0 34765 61 0 0 25 0 11 0 483427023 855937024 27298 4294967295 134512640 134569956 3221224400 3221214704 1131228196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208969 27298 13073 16 0 208953 0
vsize: 835876
[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 17971 0 69 0 35750 61 0 0 25 0 11 0 483427023 855937024 27309 4294967295 134512640 134569956 3221224400 3221214768 1131349924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208969 27309 13073 16 0 208953 0
vsize: 835876
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18008 0 70 0 36680 62 0 0 25 0 11 0 483427023 860540928 28501 4294967295 134512640 134569956 3221224400 3221214720 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 28501 13073 16 0 210077 0
vsize: 840372
[startup+410.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18009 0 70 0 37670 62 0 0 25 0 11 0 483427023 859017216 28147 4294967295 134512640 134569956 3221224400 3221214592 1131290265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209721 28147 13073 16 0 209705 0
vsize: 838884
[startup+420.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 38655 62 0 0 25 0 11 0 483427023 858984448 28145 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28145 13073 16 0 209697 0
vsize: 838852
[startup+430.029 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 39651 63 0 0 25 0 11 0 483427023 858984448 28147 4294967295 134512640 134569956 3221224400 3221214608 1131487442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28147 13073 16 0 209697 0
vsize: 838852
[startup+440.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 40646 63 0 0 25 0 11 0 483427023 858984448 28152 4294967295 134512640 134569956 3221224400 3221214848 1131401194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28152 13073 16 0 209697 0
vsize: 838852
[startup+450.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 41639 63 0 0 25 0 11 0 483427023 858984448 28160 4294967295 134512640 134569956 3221224400 3221214664 1131561229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28160 13073 16 0 209697 0
vsize: 838852
[startup+460.031 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 42633 63 0 0 25 0 11 0 483427023 858984448 28163 4294967295 134512640 134569956 3221224400 3221214704 1131433459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28163 13073 16 0 209697 0
vsize: 838852
[startup+470.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 43629 63 0 0 25 0 11 0 483427023 858984448 28167 4294967295 134512640 134569956 3221224400 3221214608 1131486772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28167 13073 16 0 209697 0
vsize: 838852
[startup+480.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 44624 63 0 0 25 0 11 0 483427023 858984448 28176 4294967295 134512640 134569956 3221224400 3221214592 1131290265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28176 13073 16 0 209697 0
vsize: 838852
[startup+490.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 45621 64 0 0 25 0 11 0 483427023 858984448 28178 4294967295 134512640 134569956 3221224400 3221214600 1131290152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28178 13073 16 0 209697 0
vsize: 838852
[startup+500.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 46617 64 0 0 25 0 11 0 483427023 858984448 28180 4294967295 134512640 134569956 3221224400 3221214696 1131434798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28180 13073 16 0 209697 0
vsize: 838852
[startup+510.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 47614 64 0 0 25 0 11 0 483427023 858984448 28182 4294967295 134512640 134569956 3221224400 3221214704 1131433312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28182 13073 16 0 209697 0
vsize: 838852
[startup+520.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 48610 65 0 0 25 0 11 0 483427023 858984448 28182 4294967295 134512640 134569956 3221224400 3221214704 1131433312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28182 13073 16 0 209697 0
vsize: 838852
[startup+530.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 49607 65 0 0 25 0 11 0 483427023 858984448 28182 4294967295 134512640 134569956 3221224400 3221214592 1131290263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28182 13073 16 0 209697 0
vsize: 838852
[startup+540.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 50603 65 0 0 25 0 11 0 483427023 858984448 28225 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28225 13073 16 0 209697 0
vsize: 838852
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31296
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18010 0 70 0 51600 66 0 0 25 0 11 0 483427023 858984448 28225 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28225 13073 16 0 209697 0
vsize: 838852
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 52596 66 0 0 25 0 11 0 483427023 858984448 28228 4294967295 134512640 134569956 3221224400 3221214704 1131433459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28228 13073 16 0 209697 0
vsize: 838852
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 53593 66 0 0 25 0 11 0 483427023 858984448 28229 4294967295 134512640 134569956 3221224400 3221214608 1131487602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28229 13073 16 0 209697 0
vsize: 838852
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 54590 66 0 0 25 0 11 0 483427023 858984448 28232 4294967295 134512640 134569956 3221224400 3221214608 1131486539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28232 13073 16 0 209697 0
vsize: 838852
[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 55584 66 0 0 25 0 11 0 483427023 858984448 28232 4294967295 134512640 134569956 3221224400 3221214592 1131290307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28232 13073 16 0 209697 0
vsize: 838852
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 56579 67 0 0 25 0 11 0 483427023 858984448 28242 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28242 13073 16 0 209697 0
vsize: 838852
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 57571 67 0 0 25 0 11 0 483427023 858984448 28242 4294967295 134512640 134569956 3221224400 3221214592 1131290596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28242 13073 16 0 209697 0
vsize: 838852
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 58567 67 0 0 25 0 11 0 483427023 858984448 28242 4294967295 134512640 134569956 3221224400 3221214704 1131433459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28242 13073 16 0 209697 0
vsize: 838852
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 59562 67 0 0 25 0 11 0 483427023 858984448 28242 4294967295 134512640 134569956 3221224400 3221214704 1131433459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28242 13073 16 0 209697 0
vsize: 838852
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 60551 67 0 0 25 0 11 0 483427023 858984448 28244 4294967295 134512640 134569956 3221224400 3221214704 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28244 13073 16 0 209697 0
vsize: 838852
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 61543 67 0 0 25 0 11 0 483427023 858984448 28244 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28244 13073 16 0 209697 0
vsize: 838852
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 62530 68 0 0 25 0 11 0 483427023 858984448 28244 4294967295 134512640 134569956 3221224400 3221214608 1131486539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28244 13073 16 0 209697 0
vsize: 838852
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 63523 68 0 0 25 0 11 0 483427023 858984448 28290 4294967295 134512640 134569956 3221224400 3221214608 1131486736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28290 13073 16 0 209697 0
vsize: 838852
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 64511 68 0 0 24 0 11 0 483427023 858984448 28290 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28290 13073 16 0 209697 0
vsize: 838852
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 65500 68 0 0 25 0 11 0 483427023 858984448 28290 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28290 13073 16 0 209697 0
vsize: 838852
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 66489 69 0 0 25 0 11 0 483427023 858984448 28290 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28290 13073 16 0 209697 0
vsize: 838852
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 67476 69 0 0 25 0 11 0 483427023 858984448 28334 4294967295 134512640 134569956 3221224400 3221214608 1131485916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28334 13073 16 0 209697 0
vsize: 838852
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 68467 69 0 0 25 0 11 0 483427023 858984448 28378 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28378 13073 16 0 209697 0
vsize: 838852
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 69460 69 0 0 25 0 11 0 483427023 858984448 28423 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28423 13073 16 0 209697 0
vsize: 838852
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 70448 69 0 0 25 0 11 0 483427023 858984448 28467 4294967295 134512640 134569956 3221224400 3221214608 1131488229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28467 13073 16 0 209697 0
vsize: 838852
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 71441 70 0 0 25 0 11 0 483427023 858984448 28513 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28513 13073 16 0 209697 0
vsize: 838852
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 72434 70 0 0 25 0 11 0 483427023 858984448 28513 4294967295 134512640 134569956 3221224400 3221214592 1131290265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28513 13073 16 0 209697 0
vsize: 838852
[startup+770.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 73426 70 0 0 25 0 11 0 483427023 858984448 28557 4294967295 134512640 134569956 3221224400 3221214696 1131434784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28557 13073 16 0 209697 0
vsize: 838852
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 74420 71 0 0 25 0 11 0 483427023 858984448 28557 4294967295 134512640 134569956 3221224400 3221214704 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28557 13073 16 0 209697 0
vsize: 838852
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 75413 71 0 0 25 0 11 0 483427023 858984448 28557 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28557 13073 16 0 209697 0
vsize: 838852
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 76405 71 0 0 25 0 11 0 483427023 858984448 28557 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28557 13073 16 0 209697 0
vsize: 838852
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 77397 72 0 0 25 0 11 0 483427023 858984448 28557 4294967295 134512640 134569956 3221224400 3221214608 1131486539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28557 13073 16 0 209697 0
vsize: 838852
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 78388 72 0 0 25 0 11 0 483427023 858984448 28608 4294967295 134512640 134569956 3221224400 3221214704 1131433451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28608 13073 16 0 209697 0
vsize: 838852
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 79375 72 0 0 25 0 11 0 483427023 858984448 28608 4294967295 134512640 134569956 3221224400 3221214592 1131290709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28608 13073 16 0 209697 0
vsize: 838852
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 80365 72 0 0 25 0 11 0 483427023 858984448 28653 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28653 13073 16 0 209697 0
vsize: 838852
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 81356 72 0 0 25 0 11 0 483427023 858984448 28653 4294967295 134512640 134569956 3221224400 3221214600 1131290471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28653 13073 16 0 209697 0
vsize: 838852
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 82345 73 0 0 25 0 11 0 483427023 858984448 28653 4294967295 134512640 134569956 3221224400 3221214608 1131486573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28653 13073 16 0 209697 0
vsize: 838852
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 83331 73 0 0 25 0 11 0 483427023 858984448 28653 4294967295 134512640 134569956 3221224400 3221214696 1131434826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28653 13073 16 0 209697 0
vsize: 838852
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 84321 73 0 0 25 0 11 0 483427023 858984448 28697 4294967295 134512640 134569956 3221224400 3221214592 1131290041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28697 13073 16 0 209697 0
vsize: 838852
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 85311 73 0 0 25 0 11 0 483427023 858984448 28741 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 28741 13073 16 0 209697 0
vsize: 838852
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 86300 73 0 0 25 0 11 0 483427023 858984448 28786 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28786 13073 16 0 209697 0
vsize: 838852
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 87291 73 0 0 25 0 11 0 483427023 858984448 28786 4294967295 134512640 134569956 3221224400 3221214704 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28786 13073 16 0 209697 0
vsize: 838852
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 88283 74 0 0 25 0 11 0 483427023 858984448 28876 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28876 13073 16 0 209697 0
vsize: 838852
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 89273 74 0 0 25 0 11 0 483427023 858984448 28876 4294967295 134512640 134569956 3221224400 3221214592 1131290143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28876 13073 16 0 209697 0
vsize: 838852
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 90264 74 0 0 25 0 11 0 483427023 858984448 28929 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28929 13073 16 0 209697 0
vsize: 838852
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 91255 75 0 0 25 0 11 0 483427023 858984448 28929 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28929 13073 16 0 209697 0
vsize: 838852
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 92247 75 0 0 25 0 11 0 483427023 858984448 28929 4294967295 134512640 134569956 3221224400 3221214704 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28929 13073 16 0 209697 0
vsize: 838852
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 93238 75 0 0 25 0 11 0 483427023 858984448 28929 4294967295 134512640 134569956 3221224400 3221214744 1131440895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28929 13073 16 0 209697 0
vsize: 838852
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 94226 76 0 0 25 0 11 0 483427023 858984448 28929 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28929 13073 16 0 209697 0
vsize: 838852
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 95210 76 0 0 25 0 11 0 483427023 858984448 28975 4294967295 134512640 134569956 3221224400 3221214600 1131291298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 28975 13073 16 0 209697 0
vsize: 838852
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 96190 76 0 0 24 0 11 0 483427023 858984448 29021 4294967295 134512640 134569956 3221224400 3221214704 1131433324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29021 13073 16 0 209697 0
vsize: 838852
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 97182 76 0 0 25 0 11 0 483427023 858984448 29066 4294967295 134512640 134569956 3221224400 3221214704 1131433459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29066 13073 16 0 209697 0
vsize: 838852
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 98172 77 0 0 25 0 11 0 483427023 858984448 29066 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29066 13073 16 0 209697 0
vsize: 838852
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 99160 77 0 0 25 0 11 0 483427023 858984448 29066 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29066 13073 16 0 209697 0
vsize: 838852
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 100144 77 0 0 25 0 11 0 483427023 858984448 29066 4294967295 134512640 134569956 3221224400 3221214696 1131434917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29066 13073 16 0 209697 0
vsize: 838852
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 101132 77 0 0 25 0 11 0 483427023 858984448 29066 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29066 13073 16 0 209697 0
vsize: 838852
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 18011 0 70 0 102116 77 0 0 25 0 11 0 483427023 858984448 29124 4294967295 134512640 134569956 3221224400 3221213192 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29124 13073 16 0 209697 0
vsize: 838852
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 103102 77 0 0 25 0 11 0 483427023 858984448 29210 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29210 13073 16 0 209697 0
vsize: 838852
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 104092 78 0 0 25 0 11 0 483427023 858984448 29255 4294967295 134512640 134569956 3221224400 3221214608 1131485921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29255 13073 16 0 209697 0
vsize: 838852
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 105082 78 0 0 25 0 11 0 483427023 858984448 29255 4294967295 134512640 134569956 3221224400 3221214600 1131290326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29255 13073 16 0 209697 0
vsize: 838852
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 106068 78 0 0 25 0 11 0 483427023 858984448 29310 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 29310 13073 16 0 209697 0
vsize: 838852
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) S 31230 5897 5896 0 -1 0 18011 0 70 0 107056 78 0 0 25 0 11 0 483427023 858984448 29356 4294967295 134512640 134569956 3221224400 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29356 13073 16 0 209697 0
vsize: 838852
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 108046 78 0 0 25 0 11 0 483427023 858984448 29401 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29401 13073 16 0 209697 0
vsize: 838852
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 109038 79 0 0 25 0 11 0 483427023 858984448 29401 4294967295 134512640 134569956 3221224400 3221214704 1131433468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29401 13073 16 0 209697 0
vsize: 838852
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 110025 79 0 0 25 0 11 0 483427023 858984448 29408 4294967295 134512640 134569956 3221224400 3221214828 1131546153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29408 13073 16 0 209697 0
vsize: 838852
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 111014 79 0 0 25 0 11 0 483427023 858984448 29453 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29453 13073 16 0 209697 0
vsize: 838852
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 111998 79 0 0 24 0 11 0 483427023 858984448 29498 4294967295 134512640 134569956 3221224400 3221214704 1131433324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29498 13073 16 0 209697 0
vsize: 838852
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 112988 79 0 0 25 0 11 0 483427023 858984448 29498 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29498 13073 16 0 209697 0
vsize: 838852
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 113976 80 0 0 25 0 11 0 483427023 858984448 29543 4294967295 134512640 134569956 3221224400 3221214592 1131290265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29543 13073 16 0 209697 0
vsize: 838852
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 114966 80 0 0 25 0 11 0 483427023 858984448 29543 4294967295 134512640 134569956 3221224400 3221214644 1131553568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29543 13073 16 0 209697 0
vsize: 838852
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 115952 80 0 0 25 0 11 0 483427023 858984448 29587 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29587 13073 16 0 209697 0
vsize: 838852
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 116940 81 0 0 25 0 11 0 483427023 858984448 29594 4294967295 134512640 134569956 3221224400 3221214608 1131486554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29594 13073 16 0 209697 0
vsize: 838852
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 117925 81 0 0 24 0 11 0 483427023 858984448 29646 4294967295 134512640 134569956 3221224400 3221214704 1131433328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29646 13073 16 0 209697 0
vsize: 838852
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 118914 82 0 0 25 0 11 0 483427023 858984448 29646 4294967295 134512640 134569956 3221224400 3221214704 1131433457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29646 13073 16 0 209697 0
vsize: 838852
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 119902 82 0 0 25 0 11 0 483427023 858984448 29736 4294967295 134512640 134569956 3221224400 3221214704 1131433324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29736 13073 16 0 209697 0
vsize: 838852
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 31298
Raw data (stat): 31231 (java) R 31230 5897 5896 0 -1 0 18011 0 70 0 120891 82 0 0 25 0 11 0 483427023 858984448 29781 4294967295 134512640 134569956 3221224400 3221214704 1131433331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 29781 13073 16 0 209697 0
vsize: 838852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 31300
Raw data (stat): 31231 (java) Z 31230 5897 5896 0 -1 1036 18011 14531 70 0 120892 87 4717 47 25 0 1 0 483427023 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.14
CPU time (s): 1257.45
CPU user time (s): 1256.1
CPU system time (s): 1.35379
CPU usage (%): 100.585
Max. virtual memory (Kb): 840372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####