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/miplib3/normalized-mps-v2-20-10-blend2.opb
MD5SUM	16b86ac5ad712621c8050f8776cfb803
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	88
Biggest coefficient in the objective function	24014225
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	235593725
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	8935312239624192
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1346963845029350184
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.306952
Number of variables	2944
Total number of constraints	531
Number of constraints which are clauses	9
Number of constraints which are cardinality constraints (but not clauses)	310
Number of constraints which are nor clauses,nor cardinality constraints	212
Minimum length of a constraint	1
Maximum length of a constraint	2659
Trace number 21504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-22 00:06:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13243 boxname=wulflinc13 idbench=1019 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  16b86ac5ad712621c8050f8776cfb803  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-blend2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-blend2.opb
IDLAUNCH: 13243
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        683788 kB
Buffers:         14456 kB
Cached:         315020 kB
SwapCached:        392 kB
Active:          92560 kB
Inactive:       239028 kB
HighTotal:      131008 kB
HighFree:        21224 kB
LowTotal:       903652 kB
LowFree:        662564 kB
SwapTotal:     2097136 kB
SwapFree:      2095968 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            13584 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:27:13 (client local time) WITH STATUS 143 IN 1241.97 SECONDS
stats: 13243 7 1241.97 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-blend2.opb
c reading problem 
c [nbvar=2944]
c [nbconstr=531]
c time 6.699
c #vars     2944
c #clauses  303
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.93 1.00 0.97 2/54 31552
Raw data (stat): 31552 (runsolver) R 31551 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491053905 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99986 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18054 0 1 0 790 43 0 0 25 0 11 0 491053905 857108480 20973 4294967295 134512640 134569956 3221224400 3221214752 1131344840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209255 20973 13073 16 0 209239 0
vsize: 837020
[startup+20.0005 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18094 0 1 0 1619 44 0 0 25 0 11 0 491053905 859025408 21606 4294967295 134512640 134569956 3221224400 3221214776 1131344836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209723 21606 13073 16 0 209707 0
vsize: 838892
[startup+30.0019 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18095 0 1 0 2533 44 0 0 25 0 11 0 491053905 859025408 21577 4294967295 134512640 134569956 3221224400 3221214472 1131220567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209723 21577 13073 16 0 209707 0
vsize: 838892
[startup+40.0018 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 3456 44 0 0 25 0 11 0 491053905 859025408 21583 4294967295 134512640 134569956 3221224400 3221214592 1131374510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209723 21583 13073 16 0 209707 0
vsize: 838892
[startup+50.0024 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 4383 44 0 0 25 0 11 0 491053905 861884416 23047 4294967295 134512640 134569956 3221224400 3221214728 1131232701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210421 23047 13073 16 0 210405 0
vsize: 841684
[startup+60.0088 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 5360 44 0 0 25 0 11 0 491053905 859594752 22582 4294967295 134512640 134569956 3221224400 3221214552 1131393843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22582 13073 16 0 209846 0
vsize: 839448
[startup+70.0188 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 6339 45 0 0 25 0 11 0 491053905 859594752 22641 4294967295 134512640 134569956 3221224400 3221214448 1131220719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22641 13073 16 0 209846 0
vsize: 839448
[startup+80.0194 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 7323 46 0 0 25 0 11 0 491053905 859594752 22677 4294967295 134512640 134569956 3221224400 3221214456 1131220595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22677 13073 16 0 209846 0
vsize: 839448
[startup+90.0191 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 8313 46 0 0 25 0 11 0 491053905 859594752 22712 4294967295 134512640 134569956 3221224400 3221214448 1131220801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22712 13073 16 0 209846 0
vsize: 839448
[startup+100.02 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 9305 46 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+110.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 10299 47 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214536 1131506082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+120.021 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 11294 47 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+130.021 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 12288 47 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+140.02 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 13282 48 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+150.021 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 14277 48 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+160.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 15270 49 0 0 18 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+170.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 16265 49 0 0 25 0 11 0 491053905 859594752 22713 4294967295 134512640 134569956 3221224400 3221214544 1131220746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22713 13073 16 0 209846 0
vsize: 839448
[startup+180.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 17259 49 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214536 1131505935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+190.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 18254 50 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+200.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 19249 50 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214536 1131220567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+210.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 20242 50 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214536 1131220553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+220.027 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 21237 51 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214536 1131506082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+230.027 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 22230 51 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+240.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 23224 52 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+250.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 24218 52 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+260.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 25212 52 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+270.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 26206 53 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+280.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 27200 53 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 28194 54 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214536 1131506986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18096 0 1 0 29188 54 0 0 25 0 11 0 491053905 859594752 22714 4294967295 134512640 134569956 3221224400 3221214544 1131220761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22714 13073 16 0 209846 0
vsize: 839448
[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 30176 55 0 0 24 0 11 0 491053905 859594752 22716 4294967295 134512640 134569956 3221224400 3221214680 1131204877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22716 13073 16 0 209846 0
vsize: 839448
[startup+320.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 31163 55 0 0 25 0 11 0 491053905 859594752 22718 4294967295 134512640 134569956 3221224400 3221214776 1131344840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22718 13073 16 0 209846 0
vsize: 839448
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 32145 56 0 0 25 0 11 0 491053905 859594752 22718 4294967295 134512640 134569956 3221224400 3221214536 1131506128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 22718 13073 16 0 209846 0
vsize: 839448
[startup+340.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 33123 56 0 0 25 0 11 0 491053905 859594752 22818 4294967295 134512640 134569956 3221224400 3221214680 1131204622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22818 13073 16 0 209846 0
vsize: 839448
[startup+350.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 34086 57 0 0 21 0 11 0 491053905 859594752 22835 4294967295 134512640 134569956 3221224400 3221214680 1131205049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22835 13073 16 0 209846 0
vsize: 839448
[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 35046 57 0 0 25 0 11 0 491053905 859594752 22869 4294967295 134512640 134569956 3221224400 3221214536 1131504556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22869 13073 16 0 209846 0
vsize: 839448
[startup+370.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 35999 57 0 0 25 0 11 0 491053905 859594752 22978 4294967295 134512640 134569956 3221224400 3221214536 1131220550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 22978 13073 16 0 209846 0
vsize: 839448
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 36962 58 0 0 25 0 11 0 491053905 859594752 23236 4294967295 134512640 134569956 3221224400 3221214776 1131345756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23236 13073 16 0 209846 0
vsize: 839448
[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) S 31551 30701 30700 0 -1 0 18097 0 1 0 37935 58 0 0 25 0 11 0 491053905 859594752 23247 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23247 13073 16 0 209846 0
vsize: 839448
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 38909 59 0 0 25 0 11 0 491053905 859594752 23345 4294967295 134512640 134569956 3221224400 3221214536 1131505935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23345 13073 16 0 209846 0
vsize: 839448
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 39883 59 0 0 25 0 11 0 491053905 859594752 23397 4294967295 134512640 134569956 3221224400 3221214536 1131220567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23397 13073 16 0 209846 0
vsize: 839448
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 40859 60 0 0 25 0 11 0 491053905 859594752 23473 4294967295 134512640 134569956 3221224400 3221214640 1131619163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 23473 13073 16 0 209846 0
vsize: 839448
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 41843 60 0 0 25 0 11 0 491053905 859594752 23532 4294967295 134512640 134569956 3221224400 3221214536 1131220757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23532 13073 16 0 209846 0
vsize: 839448
[startup+440.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 42823 61 0 0 25 0 11 0 491053905 859594752 23578 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23578 13073 16 0 209846 0
vsize: 839448
[startup+450.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 43801 62 0 0 25 0 11 0 491053905 859594752 23626 4294967295 134512640 134569956 3221224400 3221214680 1131205025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23626 13073 16 0 209846 0
vsize: 839448
[startup+460.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 44781 62 0 0 24 0 11 0 491053905 859594752 23698 4294967295 134512640 134569956 3221224400 3221214536 1131220595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23698 13073 16 0 209846 0
vsize: 839448
[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) S 31551 30701 30700 0 -1 0 18097 0 1 0 45766 63 0 0 25 0 11 0 491053905 859594752 23721 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23721 13073 16 0 209846 0
vsize: 839448
[startup+480.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 46751 63 0 0 25 0 11 0 491053905 859594752 23746 4294967295 134512640 134569956 3221224400 3221214536 1131220781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23746 13073 16 0 209846 0
vsize: 839448
[startup+490.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 47742 63 0 0 25 0 11 0 491053905 859594752 23823 4294967295 134512640 134569956 3221224400 3221214536 1131506988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23823 13073 16 0 209846 0
vsize: 839448
[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 48737 64 0 0 25 0 11 0 491053905 859594752 23831 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23831 13073 16 0 209846 0
vsize: 839448
[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 49731 64 0 0 25 0 11 0 491053905 859594752 23842 4294967295 134512640 134569956 3221224400 3221214776 1131343764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23842 13073 16 0 209846 0
vsize: 839448
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 50721 64 0 0 25 0 11 0 491053905 859594752 23846 4294967295 134512640 134569956 3221224400 3221214544 1131220891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23846 13073 16 0 209846 0
vsize: 839448
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 51712 64 0 0 25 0 11 0 491053905 859594752 23846 4294967295 134512640 134569956 3221224400 3221214636 1131220236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23846 13073 16 0 209846 0
vsize: 839448
[startup+540.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 52706 65 0 0 25 0 11 0 491053905 859594752 23856 4294967295 134512640 134569956 3221224400 3221214544 1131220565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23856 13073 16 0 209846 0
vsize: 839448
[startup+550.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 53700 66 0 0 25 0 11 0 491053905 859594752 23883 4294967295 134512640 134569956 3221224400 3221214800 1131409872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23883 13073 16 0 209846 0
vsize: 839448
[startup+560.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 54684 66 0 0 25 0 11 0 491053905 859594752 23893 4294967295 134512640 134569956 3221224400 3221214728 1131232725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23893 13073 16 0 209846 0
vsize: 839448
[startup+570.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 55666 66 0 0 25 0 11 0 491053905 859594752 23895 4294967295 134512640 134569956 3221224400 3221214776 1131343417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 23895 13073 16 0 209846 0
vsize: 839448
[startup+580.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 56640 67 0 0 25 0 11 0 491053905 859594752 23895 4294967295 134512640 134569956 3221224400 3221214696 1131204972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23895 13073 16 0 209846 0
vsize: 839448
[startup+590.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 57608 67 0 0 24 0 11 0 491053905 859594752 23959 4294967295 134512640 134569956 3221224400 3221214536 1131220781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 23959 13073 16 0 209846 0
vsize: 839448
[startup+600.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 58580 68 0 0 25 0 11 0 491053905 859594752 24019 4294967295 134512640 134569956 3221224400 3221214544 1131220595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24019 13073 16 0 209846 0
vsize: 839448
[startup+610.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 59542 68 0 0 25 0 11 0 491053905 859594752 24110 4294967295 134512640 134569956 3221224400 3221214680 1131205061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24110 13073 16 0 209846 0
vsize: 839448
[startup+620.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 60502 69 0 0 25 0 11 0 491053905 859594752 24225 4294967295 134512640 134569956 3221224400 3221214680 1131204877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24225 13073 16 0 209846 0
vsize: 839448
[startup+630.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 61463 70 0 0 25 0 11 0 491053905 859594752 24250 4294967295 134512640 134569956 3221224400 3221214648 1131617306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24250 13073 16 0 209846 0
vsize: 839448
[startup+640.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 62422 70 0 0 25 0 11 0 491053905 859594752 24386 4294967295 134512640 134569956 3221224400 3221214640 1131619265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24386 13073 16 0 209846 0
vsize: 839448
[startup+650.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 63387 71 0 0 25 0 11 0 491053905 859594752 24550 4294967295 134512640 134569956 3221224400 3221214776 1131344854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24550 13073 16 0 209846 0
vsize: 839448
[startup+660.105 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 64354 71 0 0 25 0 11 0 491053905 859594752 24585 4294967295 134512640 134569956 3221224400 3221214776 1131343797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24585 13073 16 0 209846 0
vsize: 839448
[startup+670.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 65326 72 0 0 25 0 11 0 491053905 859594752 24721 4294967295 134512640 134569956 3221224400 3221214648 1131638012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24721 13073 16 0 209846 0
vsize: 839448
[startup+680.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 66305 72 0 0 25 0 11 0 491053905 859594752 24797 4294967295 134512640 134569956 3221224400 3221214536 1131220567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24797 13073 16 0 209846 0
vsize: 839448
[startup+690.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 67285 73 0 0 25 0 11 0 491053905 859594752 24845 4294967295 134512640 134569956 3221224400 3221214656 1131227297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24845 13073 16 0 209846 0
vsize: 839448
[startup+700.107 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 68262 73 0 0 25 0 11 0 491053905 859594752 24894 4294967295 134512640 134569956 3221224400 3221214680 1131205109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24894 13073 16 0 209846 0
vsize: 839448
[startup+710.107 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 69236 73 0 0 25 0 11 0 491053905 859594752 24952 4294967295 134512640 134569956 3221224400 3221214680 1131205049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24952 13073 16 0 209846 0
vsize: 839448
[startup+720.109 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 70209 74 0 0 25 0 11 0 491053905 859594752 24976 4294967295 134512640 134569956 3221224400 3221214536 1131220567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 24976 13073 16 0 209846 0
vsize: 839448
[startup+730.109 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 71186 75 0 0 25 0 11 0 491053905 859594752 25064 4294967295 134512640 134569956 3221224400 3221214680 1131204877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25064 13073 16 0 209846 0
vsize: 839448
[startup+740.108 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 72161 75 0 0 25 0 11 0 491053905 859594752 25154 4294967295 134512640 134569956 3221224400 3221214640 1131619157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25154 13073 16 0 209846 0
vsize: 839448
[startup+750.109 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 73139 75 0 0 25 0 11 0 491053905 859594752 25174 4294967295 134512640 134569956 3221224400 3221214680 1131205467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25174 13073 16 0 209846 0
vsize: 839448
[startup+760.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 74112 75 0 0 25 0 11 0 491053905 859594752 25257 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25257 13073 16 0 209846 0
vsize: 839448
[startup+770.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 75084 76 0 0 25 0 11 0 491053905 859594752 25287 4294967295 134512640 134569956 3221224400 3221214680 1131205109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25287 13073 16 0 209846 0
vsize: 839448
[startup+780.111 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 76047 76 0 0 25 0 11 0 491053905 859594752 25287 4294967295 134512640 134569956 3221224400 3221214760 1131363147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25287 13073 16 0 209846 0
vsize: 839448
[startup+790.112 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 77008 77 0 0 25 0 11 0 491053905 859594752 25421 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25421 13073 16 0 209846 0
vsize: 839448
[startup+800.112 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 77980 77 0 0 25 0 11 0 491053905 859594752 25557 4294967295 134512640 134569956 3221224400 3221214576 1131442875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25557 13073 16 0 209846 0
vsize: 839448
[startup+810.112 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 78964 78 0 0 25 0 11 0 491053905 859594752 25619 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25619 13073 16 0 209846 0
vsize: 839448
[startup+820.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 79950 78 0 0 25 0 11 0 491053905 859594752 25642 4294967295 134512640 134569956 3221224400 3221214680 1131205181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25642 13073 16 0 209846 0
vsize: 839448
[startup+830.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 80935 79 0 0 25 0 11 0 491053905 859594752 25642 4294967295 134512640 134569956 3221224400 3221214776 1131344854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25642 13073 16 0 209846 0
vsize: 839448
[startup+840.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 81915 79 0 0 25 0 11 0 491053905 859594752 25642 4294967295 134512640 134569956 3221224400 3221214400 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25642 13073 16 0 209846 0
vsize: 839448
[startup+850.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 82890 79 0 0 25 0 11 0 491053905 859594752 25704 4294967295 134512640 134569956 3221224400 3221214680 1131205061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25704 13073 16 0 209846 0
vsize: 839448
[startup+860.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 83846 79 0 0 25 0 11 0 491053905 859594752 25739 4294967295 134512640 134569956 3221224400 3221214728 1131232863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25739 13073 16 0 209846 0
vsize: 839448
[startup+870.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 84786 80 0 0 25 0 11 0 491053905 859594752 25765 4294967295 134512640 134569956 3221224400 3221214536 1131220715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25765 13073 16 0 209846 0
vsize: 839448
[startup+880.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 85733 80 0 0 25 0 11 0 491053905 859594752 25837 4294967295 134512640 134569956 3221224400 3221214680 1131204549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 25837 13073 16 0 209846 0
vsize: 839448
[startup+890.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 86687 80 0 0 25 0 11 0 491053905 859594752 26023 4294967295 134512640 134569956 3221224400 3221214680 1131204779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26023 13073 16 0 209846 0
vsize: 839448
[startup+900.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 87654 81 0 0 25 0 11 0 491053905 859594752 26334 4294967295 134512640 134569956 3221224400 3221214680 1131204877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26334 13073 16 0 209846 0
vsize: 839448
[startup+910.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 88635 81 0 0 25 0 11 0 491053905 859594752 26335 4294967295 134512640 134569956 3221224400 3221214728 1131232865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26335 13073 16 0 209846 0
vsize: 839448
[startup+920.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 89615 82 0 0 25 0 11 0 491053905 859594752 26406 4294967295 134512640 134569956 3221224400 3221214536 1131638012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26406 13073 16 0 209846 0
vsize: 839448
[startup+930.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 90593 82 0 0 25 0 11 0 491053905 859594752 26419 4294967295 134512640 134569956 3221224400 3221214680 1131204803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26419 13073 16 0 209846 0
vsize: 839448
[startup+940.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 91573 83 0 0 25 0 11 0 491053905 859594752 26431 4294967295 134512640 134569956 3221224400 3221214680 1131205128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26431 13073 16 0 209846 0
vsize: 839448
[startup+950.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 92550 84 0 0 24 0 11 0 491053905 859594752 26494 4294967295 134512640 134569956 3221224400 3221214640 1131619139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26494 13073 16 0 209846 0
vsize: 839448
[startup+960.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 93534 84 0 0 25 0 11 0 491053905 859594752 26508 4294967295 134512640 134569956 3221224400 3221214528 1131396416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26508 13073 16 0 209846 0
vsize: 839448
[startup+970.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 94520 85 0 0 25 0 11 0 491053905 859594752 26520 4294967295 134512640 134569956 3221224400 3221214800 1131410740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26520 13073 16 0 209846 0
vsize: 839448
[startup+980.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 95507 85 0 0 25 0 11 0 491053905 859594752 26560 4294967295 134512640 134569956 3221224400 3221214536 1131220761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26560 13073 16 0 209846 0
vsize: 839448
[startup+990.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 96495 85 0 0 25 0 11 0 491053905 859594752 26594 4294967295 134512640 134569956 3221224400 3221214680 1131205043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26594 13073 16 0 209846 0
vsize: 839448
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 97491 86 0 0 25 0 11 0 491053905 859594752 26594 4294967295 134512640 134569956 3221224400 3221214680 1131204477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26594 13073 16 0 209846 0
vsize: 839448
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 98484 86 0 0 25 0 11 0 491053905 859594752 26595 4294967295 134512640 134569956 3221224400 3221214680 1131204930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26595 13073 16 0 209846 0
vsize: 839448
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 99476 87 0 0 25 0 11 0 491053905 859594752 26595 4294967295 134512640 134569956 3221224400 3221214680 1131204581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26595 13073 16 0 209846 0
vsize: 839448
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 100460 87 0 0 25 0 11 0 491053905 859594752 26605 4294967295 134512640 134569956 3221224400 3221214776 1131346561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26605 13073 16 0 209846 0
vsize: 839448
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 101438 88 0 0 25 0 11 0 491053905 859594752 26621 4294967295 134512640 134569956 3221224400 3221214680 1131204690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26621 13073 16 0 209846 0
vsize: 839448
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 102412 88 0 0 25 0 11 0 491053905 859594752 26639 4294967295 134512640 134569956 3221224400 3221214544 1131220781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26639 13073 16 0 209846 0
vsize: 839448
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 103384 88 0 0 24 0 11 0 491053905 859594752 26672 4294967295 134512640 134569956 3221224400 3221214536 1131505138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26672 13073 16 0 209846 0
vsize: 839448
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 104364 89 0 0 25 0 11 0 491053905 859594752 26743 4294967295 134512640 134569956 3221224400 3221214544 1131220456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26743 13073 16 0 209846 0
vsize: 839448
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 105344 89 0 0 25 0 11 0 491053905 859594752 26810 4294967295 134512640 134569956 3221224400 3221214504 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26810 13073 16 0 209846 0
vsize: 839448
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 106339 89 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214544 1131220274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1100.13 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 107336 90 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214640 1131619136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1110.13 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 108332 90 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214544 1131220715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1120.13 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 109328 90 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214544 1131220378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1130.13 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 110324 91 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214536 1131220303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1140.13 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 111316 91 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214680 1131204670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1150.13 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 112304 92 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214536 1131220390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1160.13 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18097 0 1 0 113289 92 0 0 25 0 11 0 491053905 859594752 26843 4294967295 134512640 134569956 3221224400 3221214536 1131505346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209862 26843 13073 16 0 209846 0
vsize: 839448
[startup+1170.13 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 114275 93 0 0 25 0 11 0 491053905 859594752 26846 4294967295 134512640 134569956 3221224400 3221214772 1131204460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26846 13073 16 0 209846 0
vsize: 839448
[startup+1180.13 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 115256 93 0 0 25 0 11 0 491053905 859594752 26899 4294967295 134512640 134569956 3221224400 3221214680 1131205554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26899 13073 16 0 209846 0
vsize: 839448
[startup+1190.13 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 116245 93 0 0 25 0 11 0 491053905 859594752 26909 4294967295 134512640 134569956 3221224400 3221214680 1131204877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26909 13073 16 0 209846 0
vsize: 839448
[startup+1200.13 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 117234 93 0 0 25 0 11 0 491053905 859594752 26919 4294967295 134512640 134569956 3221224400 3221214776 1131345745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26919 13073 16 0 209846 0
vsize: 839448
[startup+1210.13 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 118216 93 0 0 25 0 11 0 491053905 859594752 26940 4294967295 134512640 134569956 3221224400 3221214512 1131505271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26940 13073 16 0 209846 0
vsize: 839448
[startup+1220.13 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 119201 93 0 0 25 0 11 0 491053905 859594752 26950 4294967295 134512640 134569956 3221224400 3221214488 1131444124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26950 13073 16 0 209846 0
vsize: 839448
[startup+1230.13 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 31562
Raw data (stat): 31552 (java) R 31551 30701 30700 0 -1 0 18098 0 1 0 120187 93 0 0 25 0 11 0 491053905 859594752 26969 4294967295 134512640 134569956 3221224400 3221214552 1131637966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209862 26969 13073 16 0 209846 0
vsize: 839448
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 31564
Raw data (stat): 31552 (java) Z 31551 30701 30700 0 -1 1036 18098 14678 1 0 120189 98 3862 45 23 0 1 0 491053905 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): 1230.23
CPU time (s): 1241.97
CPU user time (s): 1240.53
CPU system time (s): 1.43978
CPU usage (%): 100.954
Max. virtual memory (Kb): 841684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####