PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-qiu.opb
MD5SUM	d644054326940d86bc7f3576874ac5a9
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	7968
Biggest coefficient in the objective function	9098351345664
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	4803935111035752
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	9098351345664
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	4803935111035752
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.206968
Number of variables	23808
Total number of constraints	1192
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	1192
Minimum length of a constraint	31
Maximum length of a constraint	5940
Trace number 16887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-21 09:00:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12216 boxname=wulflinc12 idbench=940 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d644054326940d86bc7f3576874ac5a9  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-qiu.opb
IDLAUNCH: 12216
/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:        588456 kB
Buffers:         30092 kB
Cached:         393980 kB
SwapCached:        316 kB
Active:         105224 kB
Inactive:       321152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        588204 kB
SwapTotal:     2097136 kB
SwapFree:      2096236 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            14240 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 09:21:09 (client local time) WITH STATUS 143 IN 1218.35 SECONDS
stats: 12216 7 1218.35 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-qiu.opb
c reading problem 
c [nbvar=23808]
c [nbconstr=1192]
c time 161.843
c #vars     23808
c #clauses  1325
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.84 0.93 0.95 2/54 24344
Raw data (stat): 24344 (runsolver) R 24343 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485609958 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.0007 s]
Raw data (loadavg): 0.87 0.93 0.95 2/63 24353
Raw data (stat): 24344 (java) S 24343 25285 25284 0 -1 0 17972 0 1 0 884 40 0 0 25 0 10 0 485609958 853602304 19128 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 19128 13073 16 0 208383 0
vsize: 833596
[startup+20.0015 s]
Raw data (loadavg): 0.96 0.95 0.95 2/63 24353
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17972 0 1 0 1772 41 0 0 25 0 10 0 485609958 854769664 19943 4294967295 134512640 134569956 3221224400 3221214824 1131207754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208684 19943 13073 16 0 208668 0
vsize: 834736
[startup+30.0023 s]
Raw data (loadavg): 0.97 0.95 0.95 2/63 24353
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 2593 41 0 0 21 0 10 0 485609958 856162304 21074 4294967295 134512640 134569956 3221224400 3221214808 1131205820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209024 21074 13073 16 0 209008 0
vsize: 836096
[startup+40.0061 s]
Raw data (loadavg): 0.97 0.95 0.95 2/63 24355
Raw data (stat): 24344 (java) S 24343 25285 25284 0 -1 0 17976 0 1 0 3477 41 0 0 23 0 10 0 485609958 856162304 21314 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 21314 13073 16 0 209008 0
vsize: 836096
[startup+50.0066 s]
Raw data (loadavg): 0.97 0.95 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 4388 42 0 0 25 0 10 0 485609958 856162304 21656 4294967295 134512640 134569956 3221224400 3221214808 1131205701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209024 21656 13073 16 0 209008 0
vsize: 836096
[startup+60.0069 s]
Raw data (loadavg): 0.98 0.95 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 5302 42 0 0 25 0 10 0 485609958 856162304 21797 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209024 21797 13073 16 0 209008 0
vsize: 836096
[startup+70.0079 s]
Raw data (loadavg): 0.98 0.95 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 6223 42 0 0 25 0 10 0 485609958 856326144 22068 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22068 13073 16 0 209048 0
vsize: 836256
[startup+80.0102 s]
Raw data (loadavg): 0.98 0.95 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 7141 43 0 0 25 0 10 0 485609958 856162304 22153 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22153 13073 16 0 209008 0
vsize: 836096
[startup+90.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 8061 43 0 0 25 0 10 0 485609958 856162304 22325 4294967295 134512640 134569956 3221224400 3221214848 1131206195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22325 13073 16 0 209008 0
vsize: 836096
[startup+100.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 8986 43 0 0 25 0 10 0 485609958 856162304 22437 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22437 13073 16 0 209008 0
vsize: 836096
[startup+110.014 s]
Raw data (loadavg): 1.07 0.97 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 9913 43 0 0 25 0 10 0 485609958 856162304 22534 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22534 13073 16 0 209008 0
vsize: 836096
[startup+120.014 s]
Raw data (loadavg): 1.13 0.99 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 10838 44 0 0 25 0 10 0 485609958 856162304 22640 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22640 13073 16 0 209008 0
vsize: 836096
[startup+130.016 s]
Raw data (loadavg): 1.11 0.99 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 11758 44 0 0 24 0 10 0 485609958 856162304 22755 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22755 13073 16 0 209008 0
vsize: 836096
[startup+140.016 s]
Raw data (loadavg): 1.09 0.99 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 12683 44 0 0 25 0 10 0 485609958 856162304 22855 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22855 13073 16 0 209008 0
vsize: 836096
[startup+150.017 s]
Raw data (loadavg): 1.08 0.99 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 13609 45 0 0 25 0 10 0 485609958 856162304 22953 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 22953 13073 16 0 209008 0
vsize: 836096
[startup+160.018 s]
Raw data (loadavg): 1.07 0.99 0.96 2/63 24355
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 17976 0 1 0 14534 45 0 0 25 0 10 0 485609958 856162304 23045 4294967295 134512640 134569956 3221224400 3221214296 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209024 23045 13073 16 0 209008 0
vsize: 836096
[startup+170.018 s]
Raw data (loadavg): 1.14 1.01 0.97 4/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 15399 47 0 0 25 0 11 0 485609958 860069888 26296 4294967295 134512640 134569956 3221224400 3221214748 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 26296 13073 16 0 209962 0
vsize: 839912
[startup+180.019 s]
Raw data (loadavg): 1.11 1.01 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 16376 47 0 0 25 0 11 0 485609958 859271168 26143 4294967295 134512640 134569956 3221224400 3221214800 1131496139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 26143 13073 16 0 209767 0
vsize: 839132
[startup+190.029 s]
Raw data (loadavg): 1.10 1.01 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 17367 48 0 0 25 0 11 0 485609958 859271168 26143 4294967295 134512640 134569956 3221224400 3221214800 1131496491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 26143 13073 16 0 209767 0
vsize: 839132
[startup+200.029 s]
Raw data (loadavg): 1.08 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 18357 48 0 0 25 0 11 0 485609958 859271168 26153 4294967295 134512640 134569956 3221224400 3221214800 1131496121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 26153 13073 16 0 209767 0
vsize: 839132
[startup+210.03 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 19353 49 0 0 25 0 11 0 485609958 859271168 26171 4294967295 134512640 134569956 3221224400 3221214800 1131497605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 26171 13073 16 0 209767 0
vsize: 839132
[startup+220.031 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 20350 49 0 0 25 0 11 0 485609958 859271168 26171 4294967295 134512640 134569956 3221224400 3221214848 1131432949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209783 26171 13073 16 0 209767 0
vsize: 839132
[startup+230.032 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 21347 49 0 0 25 0 11 0 485609958 859271168 26171 4294967295 134512640 134569956 3221224400 3221214684 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 26171 13073 16 0 209767 0
vsize: 839132
[startup+240.032 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 22343 49 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214728 1131466212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+250.032 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 23340 49 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214796 1131431219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+260.033 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 24336 49 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214728 1131465528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+270.034 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 25334 50 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214752 1131484884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+280.034 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 26330 50 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214728 1131466596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+290.036 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 24356
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18049 0 1 0 27328 50 0 0 25 0 11 0 485609958 859062272 26120 4294967295 134512640 134569956 3221224400 3221214800 1131496087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26120 13073 16 0 209716 0
vsize: 838928
[startup+300.035 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 28324 50 0 0 25 0 11 0 485609958 859062272 26121 4294967295 134512640 134569956 3221224400 3221214848 1131432808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26121 13073 16 0 209716 0
vsize: 838928
[startup+310.036 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 29322 50 0 0 25 0 11 0 485609958 858865664 26085 4294967295 134512640 134569956 3221224400 3221214800 1131494887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26085 13073 16 0 209668 0
vsize: 838736
[startup+320.036 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 30317 51 0 0 25 0 11 0 485609958 858865664 26085 4294967295 134512640 134569956 3221224400 3221214800 1131475040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26085 13073 16 0 209668 0
vsize: 838736
[startup+330.038 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 31312 51 0 0 25 0 11 0 485609958 858865664 26086 4294967295 134512640 134569956 3221224400 3221214680 1131475075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26086 13073 16 0 209668 0
vsize: 838736
[startup+340.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 32308 51 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214800 1131496424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+350.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 33304 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214752 1131474901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 34301 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 35298 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214812 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 36295 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214724 1131525267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 37291 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214752 1131475075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 38288 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214776 1131484884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+410.043 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 39285 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214800 1131495617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+420.043 s]
Raw data (loadavg): 1.14 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 40280 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214800 1131495012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+430.044 s]
Raw data (loadavg): 1.12 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 41276 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214776 1131484884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+440.044 s]
Raw data (loadavg): 1.10 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 42273 52 0 0 25 0 11 0 485609958 858865664 26088 4294967295 134512640 134569956 3221224400 3221214728 1131466056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26088 13073 16 0 209668 0
vsize: 838736
[startup+450.044 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 43268 53 0 0 25 0 11 0 485609958 858865664 26089 4294967295 134512640 134569956 3221224400 3221214728 1131465123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26089 13073 16 0 209668 0
vsize: 838736
[startup+460.045 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 44263 53 0 0 25 0 11 0 485609958 858865664 26091 4294967295 134512640 134569956 3221224400 3221214800 1131475040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26091 13073 16 0 209668 0
vsize: 838736
[startup+470.046 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 45258 53 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214672 1131472110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+480.046 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 46255 53 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214744 1131198352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+490.046 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 47252 53 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214800 1131495690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+500.046 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 48248 53 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214800 1131497131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+510.047 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 49245 53 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214800 1131496491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+520.048 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 50242 54 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214732 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+530.049 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 51238 54 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214680 1131475019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+540.049 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 52235 54 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214680 1131475019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+550.049 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 53231 54 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214712 1131437750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+560.05 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 54226 55 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214800 1131497201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+570.05 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 55223 55 0 0 25 0 11 0 485609958 858865664 26094 4294967295 134512640 134569956 3221224400 3221214848 1131432808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26094 13073 16 0 209668 0
vsize: 838736
[startup+580.051 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 56217 55 0 0 25 0 11 0 485609958 858865664 26095 4294967295 134512640 134569956 3221224400 3221214848 1131432544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26095 13073 16 0 209668 0
vsize: 838736
[startup+590.051 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 57213 55 0 0 25 0 11 0 485609958 858865664 26096 4294967295 134512640 134569956 3221224400 3221214800 1131494887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26096 13073 16 0 209668 0
vsize: 838736
[startup+600.051 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 58208 55 0 0 25 0 11 0 485609958 858865664 26098 4294967295 134512640 134569956 3221224400 3221214800 1131497805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26098 13073 16 0 209668 0
vsize: 838736
[startup+610.051 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 59204 55 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214800 1131494912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+620.052 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 60201 55 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214800 1131496062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+630.053 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 61198 55 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214776 1131484884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+640.053 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 62195 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214672 1131473694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+650.053 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 63191 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214800 1131497227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+660.054 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 64188 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214672 1131473565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+670.053 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 65185 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214800 1131497944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 66181 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214800 1131494916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 67176 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214600 1131458871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+700.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 68171 56 0 0 25 0 11 0 485609958 858865664 26100 4294967295 134512640 134569956 3221224400 3221214848 1131432540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26100 13073 16 0 209668 0
vsize: 838736
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 69172 56 0 0 25 0 11 0 485609958 858865664 26105 4294967295 134512640 134569956 3221224400 3221214784 1131432558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26105 13073 16 0 209668 0
vsize: 838736
[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 70169 57 0 0 24 0 11 0 485609958 858865664 26108 4294967295 134512640 134569956 3221224400 3221214768 1131389128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26108 13073 16 0 209668 0
vsize: 838736
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 71156 57 0 0 25 0 11 0 485609958 858865664 26108 4294967295 134512640 134569956 3221224400 3221214816 1131494929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26108 13073 16 0 209668 0
vsize: 838736
[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 72145 57 0 0 25 0 11 0 485609958 858865664 26108 4294967295 134512640 134569956 3221224400 3221214784 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26108 13073 16 0 209668 0
vsize: 838736
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 73135 57 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214664 1131481482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 74132 57 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214744 1131465884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 75129 57 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214816 1131494613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 76126 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214616 1131459189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 77123 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214816 1131497039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 78120 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214816 1131496072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 79117 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214696 1131475019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+820.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 80113 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214884 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 81111 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214884 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 82108 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214848 1131432544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 83105 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214848 1131432554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 84100 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214800 1131496792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 85093 58 0 0 25 0 11 0 485609958 858865664 26143 4294967295 134512640 134569956 3221224400 3221214812 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26143 13073 16 0 209668 0
vsize: 838736
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 86088 58 0 0 25 0 11 0 485609958 858865664 26145 4294967295 134512640 134569956 3221224400 3221214728 1131465376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26145 13073 16 0 209668 0
vsize: 838736
[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 87085 58 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214648 1131481997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 88082 58 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214800 1131494972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 89078 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214788 1080203744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 90075 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214796 1131430924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 91071 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214724 1131462956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 92069 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214796 1131485536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 93066 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214596 1131539187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 94062 59 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214752 1131484884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 95057 60 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214600 1131459353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 96052 60 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214848 1131432544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 97049 60 0 0 25 0 11 0 485609958 858865664 26147 4294967295 134512640 134569956 3221224400 3221214784 1131432964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26147 13073 16 0 209668 0
vsize: 838736
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 98044 60 0 0 25 0 11 0 485609958 858865664 26149 4294967295 134512640 134569956 3221224400 3221214752 1131496719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26149 13073 16 0 209668 0
vsize: 838736
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 99039 61 0 0 25 0 11 0 485609958 858865664 26151 4294967295 134512640 134569956 3221224400 3221214772 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26151 13073 16 0 209668 0
vsize: 838736
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 100035 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214548 1131539187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 101031 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214600 1131482024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 102028 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214752 1131494972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 103025 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214752 1131496062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 104022 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214772 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 105019 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214752 1131494972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 106016 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214680 1131466093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 107012 61 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214752 1131495521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 108007 62 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214752 1131496087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 109002 62 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214664 1131437744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 109999 62 0 0 25 0 11 0 485609958 858865664 26153 4294967295 134512640 134569956 3221224400 3221214784 1131432544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26153 13073 16 0 209668 0
vsize: 838736
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 110994 62 0 0 25 0 11 0 485609958 858865664 26154 4294967295 134512640 134569956 3221224400 3221214632 1131475075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26154 13073 16 0 209668 0
vsize: 838736
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 111989 62 0 0 25 0 11 0 485609958 858865664 26156 4294967295 134512640 134569956 3221224400 3221214624 1131473694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26156 13073 16 0 209668 0
vsize: 838736
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 112985 62 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214504 1131540771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 113982 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214752 1131494972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 114978 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214752 1131497593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 115975 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214552 1131458904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 116972 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214624 1131472263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 117969 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214712 1131430986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 118966 63 0 0 25 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214552 1131458850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 24358
Raw data (stat): 24344 (java) R 24343 25285 25284 0 -1 0 18050 0 1 0 119962 64 0 0 24 0 11 0 485609958 858865664 26159 4294967295 134512640 134569956 3221224400 3221214704 1131475019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 26159 13073 16 0 209668 0
vsize: 838736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 24360
Raw data (stat): 24344 (java) Z 24343 25285 25284 0 -1 1036 18050 6528 1 0 119964 64 1776 29 25 0 1 0 485609958 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.15
CPU time (s): 1218.35
CPU user time (s): 1217.41
CPU system time (s): 0.932858
CPU usage (%): 99.8524
Max. virtual memory (Kb): 839912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####