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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
MD5SUM	dd9b4ae34921e1731f1a12dcd9d29b23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1528
Optimality of the best value was proved	NO
Number of terms in the objective function	3456
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3456
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3456
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	3456
Total number of constraints	26520
Number of constraints which are clauses	26520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 4306

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        912764 kB
Buffers:         30748 kB
Cached:          57392 kB
SwapCached:         56 kB
Active:          38540 kB
Inactive:        52544 kB
HighTotal:      131008 kB
HighFree:        69608 kB
LowTotal:       903652 kB
LowFree:        843156 kB
SwapTotal:     2097892 kB
SwapFree:      2097836 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7028 kB
Slab:            25148 kB
Committed_AS:    63700 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:36:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1242 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-ii16b1.opb
c reading problem 
c [nbvar=3456]
c [nbconstr=26520]
c time 11.925
c #vars     3456
c #clauses  26520
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1686
c Current CPU time (ms) : 29.677
c starts	: 2
c conflicts	: 174
c decisions	: 1275
c propagations	: 41112
c inspects	: 186541
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 174
c root simplifications	: 2
c 
c CURRENT OPTIMUM=1685
c Current CPU time (ms) : 172.062
c starts	: 5
c conflicts	: 533
c decisions	: 5670
c propagations	: 179899
c inspects	: 712115
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 533
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1643
c Current CPU time (ms) : 545.02
c starts	: 6
c conflicts	: 620
c decisions	: 6808
c propagations	: 238072
c inspects	: 1016872
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 620
c root simplifications	: 6
#### 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): 1.03 0.99 0.76 2/55 23754
Raw data (stat): 23754 (runsolver) R 23753 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477308956 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0003 s]
Raw data (loadavg): 1.03 0.99 0.76 3/64 23763
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 17984 0 1 0 782 47 0 0 25 0 10 0 477308956 858742784 20038 4294967295 134512640 134569956 3221224416 3221214512 1131254035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209654 20038 13073 16 0 209638 0
vsize: 838616
[startup+20.0011 s]
Raw data (loadavg): 1.17 1.02 0.77 2/65 23764
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18056 0 1 0 1519 48 0 0 25 0 11 0 477308956 863236096 23347 4294967295 134512640 134569956 3221224416 3221214856 1131363388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 23347 13073 16 0 210735 0
vsize: 843004
[startup+30.0022 s]
Raw data (loadavg): 1.14 1.02 0.77 2/65 23764
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18056 0 1 0 2463 48 0 0 25 0 11 0 477308956 863236096 25186 4294967295 134512640 134569956 3221224416 3221214856 1131363319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 25186 13073 16 0 210735 0
vsize: 843004
[startup+40.0027 s]
Raw data (loadavg): 1.12 1.02 0.77 2/65 23765
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 3386 48 0 0 25 0 11 0 477308956 863236096 25367 4294967295 134512640 134569956 3221224416 3221214792 1131403864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 25367 13073 16 0 210735 0
vsize: 843004
[startup+50.0032 s]
Raw data (loadavg): 1.10 1.02 0.78 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 4318 48 0 0 25 0 11 0 477308956 863236096 25492 4294967295 134512640 134569956 3221224416 3221214728 1131373306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 25492 13073 16 0 210735 0
vsize: 843004
[startup+60.0035 s]
Raw data (loadavg): 1.16 1.03 0.78 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 5221 49 0 0 25 0 11 0 477308956 863236096 25683 4294967295 134512640 134569956 3221224416 3221214752 1131307196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 25683 13073 16 0 210735 0
vsize: 843004
[startup+70.0071 s]
Raw data (loadavg): 1.13 1.03 0.79 2/65 23767
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18057 4 1 0 6133 49 0 0 25 0 11 0 477308956 863236096 25796 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 25796 13073 16 0 210735 0
vsize: 843004
[startup+80.0097 s]
Raw data (loadavg): 1.11 1.03 0.79 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 7030 49 0 0 25 0 11 0 477308956 863236096 26043 4294967295 134512640 134569956 3221224416 3221214688 1131231798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 26043 13073 16 0 210735 0
vsize: 843004
[startup+90.0101 s]
Raw data (loadavg): 1.10 1.03 0.79 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 7945 49 0 0 25 0 11 0 477308956 863236096 26266 4294967295 134512640 134569956 3221224416 3221214664 1131232183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 26266 13073 16 0 210735 0
vsize: 843004
[startup+100.01 s]
Raw data (loadavg): 1.08 1.03 0.79 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 8875 49 0 0 25 0 11 0 477308956 863236096 26414 4294967295 134512640 134569956 3221224416 3221214720 1131373317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 26414 13073 16 0 210735 0
vsize: 843004
[startup+110.014 s]
Raw data (loadavg): 1.07 1.03 0.79 2/65 23767
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18057 4 1 0 9765 49 0 0 25 0 11 0 477308956 863236096 26639 4294967295 134512640 134569956 3221224416 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 26639 13073 16 0 210735 0
vsize: 843004
[startup+120.014 s]
Raw data (loadavg): 1.06 1.02 0.79 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 10638 49 0 0 25 0 11 0 477308956 863236096 26974 4294967295 134512640 134569956 3221224416 3221214592 1131523027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 26974 13073 16 0 210735 0
vsize: 843004
[startup+130.019 s]
Raw data (loadavg): 1.05 1.02 0.80 2/65 23767
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18057 4 1 0 11515 49 0 0 25 0 11 0 477308956 863236096 27413 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 27413 13073 16 0 210735 0
vsize: 843004
[startup+140.019 s]
Raw data (loadavg): 1.04 1.02 0.80 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 12424 49 0 0 25 0 11 0 477308956 863236096 27673 4294967295 134512640 134569956 3221224416 3221214800 1131478444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210751 27673 13073 16 0 210735 0
vsize: 843004
[startup+150.02 s]
Raw data (loadavg): 1.03 1.02 0.80 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 13331 50 0 0 25 0 11 0 477308956 863236096 27962 4294967295 134512640 134569956 3221224416 3221214800 1131482196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 27962 13073 16 0 210735 0
vsize: 843004
[startup+160.02 s]
Raw data (loadavg): 1.03 1.02 0.80 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 14235 50 0 0 25 0 11 0 477308956 863236096 28369 4294967295 134512640 134569956 3221224416 3221214800 1131479379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 28369 13073 16 0 210735 0
vsize: 843004
[startup+170.021 s]
Raw data (loadavg): 1.02 1.02 0.80 2/65 23767
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18057 4 1 0 15139 51 0 0 25 0 11 0 477308956 863236096 28541 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210751 28541 13073 16 0 210735 0
vsize: 843004
[startup+180.022 s]
Raw data (loadavg): 1.02 1.02 0.81 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 16082 51 0 0 25 0 11 0 477308956 866402304 29616 4294967295 134512640 134569956 3221224416 3221214768 1131403958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 29616 13073 16 0 211508 0
vsize: 846096
[startup+190.022 s]
Raw data (loadavg): 1.02 1.02 0.81 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 17009 51 0 0 25 0 11 0 477308956 866402304 29758 4294967295 134512640 134569956 3221224416 3221214664 1131231205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 29758 13073 16 0 211508 0
vsize: 846096
[startup+200.022 s]
Raw data (loadavg): 1.01 1.02 0.81 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 17929 51 0 0 25 0 11 0 477308956 866402304 29874 4294967295 134512640 134569956 3221224416 3221214664 1131232105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211524 29874 13073 16 0 211508 0
vsize: 846096
[startup+210.023 s]
Raw data (loadavg): 1.01 1.02 0.81 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 18861 52 0 0 25 0 11 0 477308956 866402304 30055 4294967295 134512640 134569956 3221224416 3221214768 1131403982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30055 13073 16 0 211508 0
vsize: 846096
[startup+220.023 s]
Raw data (loadavg): 1.01 1.01 0.81 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 19802 52 0 0 25 0 11 0 477308956 866402304 30161 4294967295 134512640 134569956 3221224416 3221214664 1131231416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30161 13073 16 0 211508 0
vsize: 846096
[startup+230.023 s]
Raw data (loadavg): 1.01 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 20759 52 0 0 25 0 11 0 477308956 866402304 30446 4294967295 134512640 134569956 3221224416 3221214768 1131403861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211524 30446 13073 16 0 211508 0
vsize: 846096
[startup+240.025 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 21713 52 0 0 25 0 11 0 477308956 866402304 30464 4294967295 134512640 134569956 3221224416 3221214768 1131404923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30464 13073 16 0 211508 0
vsize: 846096
[startup+250.024 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 22655 53 0 0 25 0 11 0 477308956 866402304 30474 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30474 13073 16 0 211508 0
vsize: 846096
[startup+260.025 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18058 4 1 0 23608 53 0 0 25 0 11 0 477308956 866402304 30587 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30587 13073 16 0 211508 0
vsize: 846096
[startup+270.026 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 24569 54 0 0 25 0 11 0 477308956 866402304 30714 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30714 13073 16 0 211508 0
vsize: 846096
[startup+280.026 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 25548 54 0 0 25 0 11 0 477308956 866402304 30759 4294967295 134512640 134569956 3221224416 3221214768 1131405799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30759 13073 16 0 211508 0
vsize: 846096
[startup+290.026 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 26527 54 0 0 25 0 11 0 477308956 866402304 30763 4294967295 134512640 134569956 3221224416 3221214768 1131404956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211524 30763 13073 16 0 211508 0
vsize: 846096
[startup+300.026 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 27511 54 0 0 25 0 11 0 477308956 866402304 30779 4294967295 134512640 134569956 3221224416 3221214768 1131404878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30779 13073 16 0 211508 0
vsize: 846096
[startup+310.027 s]
Raw data (loadavg): 1.00 1.01 0.83 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 28491 54 0 0 25 0 11 0 477308956 866402304 30789 4294967295 134512640 134569956 3221224416 3221214664 1131231571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30789 13073 16 0 211508 0
vsize: 846096
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 29468 54 0 0 25 0 11 0 477308956 866402304 30794 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211524 30794 13073 16 0 211508 0
vsize: 846096
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 30442 55 0 0 25 0 11 0 477308956 866402304 30795 4294967295 134512640 134569956 3221224416 3221214768 1131405802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30795 13073 16 0 211508 0
vsize: 846096
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23768
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 31406 55 0 0 25 0 11 0 477308956 866402304 30803 4294967295 134512640 134569956 3221224416 3221214768 1131405889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30803 13073 16 0 211508 0
vsize: 846096
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 32374 55 0 0 25 0 11 0 477308956 866402304 30803 4294967295 134512640 134569956 3221224416 3221214768 1131403808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30803 13073 16 0 211508 0
vsize: 846096
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18058 4 1 0 33327 55 0 0 25 0 11 0 477308956 866402304 30841 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30841 13073 16 0 211508 0
vsize: 846096
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 34290 56 0 0 25 0 11 0 477308956 866402304 30872 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30872 13073 16 0 211508 0
vsize: 846096
[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 35237 56 0 0 25 0 11 0 477308956 866402304 30909 4294967295 134512640 134569956 3221224416 3221214768 1131404936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 30909 13073 16 0 211508 0
vsize: 846096
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 36189 56 0 0 25 0 11 0 477308956 866402304 31023 4294967295 134512640 134569956 3221224416 3221214768 1131405878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31023 13073 16 0 211508 0
vsize: 846096
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 37157 57 0 0 25 0 11 0 477308956 866402304 31039 4294967295 134512640 134569956 3221224416 3221214768 1131404095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31039 13073 16 0 211508 0
vsize: 846096
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 38132 57 0 0 25 0 11 0 477308956 866402304 31102 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31102 13073 16 0 211508 0
vsize: 846096
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 39108 57 0 0 25 0 11 0 477308956 866402304 31127 4294967295 134512640 134569956 3221224416 3221214768 1131403826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31127 13073 16 0 211508 0
vsize: 846096
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 40086 58 0 0 25 0 11 0 477308956 866402304 31134 4294967295 134512640 134569956 3221224416 3221214768 1131404946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31134 13073 16 0 211508 0
vsize: 846096
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 41060 58 0 0 24 0 11 0 477308956 866402304 31147 4294967295 134512640 134569956 3221224416 3221214848 1131363587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31147 13073 16 0 211508 0
vsize: 846096
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 42041 59 0 0 25 0 11 0 477308956 866402304 31185 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31185 13073 16 0 211508 0
vsize: 846096
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 43016 59 0 0 25 0 11 0 477308956 866402304 31193 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31193 13073 16 0 211508 0
vsize: 846096
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 43995 60 0 0 25 0 11 0 477308956 866402304 31206 4294967295 134512640 134569956 3221224416 3221214768 1131403925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31206 13073 16 0 211508 0
vsize: 846096
[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 44976 60 0 0 25 0 11 0 477308956 866402304 31212 4294967295 134512640 134569956 3221224416 3221214768 1131403826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31212 13073 16 0 211508 0
vsize: 846096
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 45942 60 0 0 25 0 11 0 477308956 866402304 31225 4294967295 134512640 134569956 3221224416 3221214664 1131231239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31225 13073 16 0 211508 0
vsize: 846096
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 46900 60 0 0 25 0 11 0 477308956 866402304 31242 4294967295 134512640 134569956 3221224416 3221214664 1131231283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31242 13073 16 0 211508 0
vsize: 846096
[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 47854 61 0 0 25 0 11 0 477308956 866402304 31246 4294967295 134512640 134569956 3221224416 3221214768 1131404898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31246 13073 16 0 211508 0
vsize: 846096
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 48830 61 0 0 25 0 11 0 477308956 866402304 31394 4294967295 134512640 134569956 3221224416 3221214764 1131231180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31394 13073 16 0 211508 0
vsize: 846096
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 49814 62 0 0 24 0 11 0 477308956 866402304 31417 4294967295 134512640 134569956 3221224416 3221214768 1131406217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211524 31417 13073 16 0 211508 0
vsize: 846096
[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23770
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 50795 62 0 0 25 0 11 0 477308956 866402304 31421 4294967295 134512640 134569956 3221224416 3221214768 1131405012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211524 31421 13073 16 0 211508 0
vsize: 846096
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 51769 62 0 0 25 0 11 0 477308956 863531008 30757 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30757 13073 16 0 210807 0
vsize: 843292
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 52735 62 0 0 25 0 11 0 477308956 863531008 30765 4294967295 134512640 134569956 3221224416 3221214768 1131404956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30765 13073 16 0 210807 0
vsize: 843292
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 53688 62 0 0 24 0 11 0 477308956 863531008 30772 4294967295 134512640 134569956 3221224416 3221214768 1131403944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30772 13073 16 0 210807 0
vsize: 843292
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 54645 62 0 0 25 0 11 0 477308956 863531008 30782 4294967295 134512640 134569956 3221224416 3221214664 1131231404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30782 13073 16 0 210807 0
vsize: 843292
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 55608 62 0 0 25 0 11 0 477308956 863531008 30788 4294967295 134512640 134569956 3221224416 3221214768 1131404908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30788 13073 16 0 210807 0
vsize: 843292
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 56579 62 0 0 25 0 11 0 477308956 863531008 30947 4294967295 134512640 134569956 3221224416 3221214664 1131232140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30947 13073 16 0 210807 0
vsize: 843292
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 57560 63 0 0 25 0 11 0 477308956 863531008 30978 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210823 30978 13073 16 0 210807 0
vsize: 843292
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 58535 63 0 0 25 0 11 0 477308956 863531008 30981 4294967295 134512640 134569956 3221224416 3221214768 1131404990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 30981 13073 16 0 210807 0
vsize: 843292
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23771
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18058 4 1 0 59510 63 0 0 25 0 11 0 477308956 863531008 31006 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31006 13073 16 0 210807 0
vsize: 843292
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23771
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 60490 63 0 0 25 0 11 0 477308956 863531008 31024 4294967295 134512640 134569956 3221224416 3221214768 1131405880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31024 13073 16 0 210807 0
vsize: 843292
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 61468 63 0 0 25 0 11 0 477308956 863531008 31037 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31037 13073 16 0 210807 0
vsize: 843292
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 62451 63 0 0 25 0 11 0 477308956 863531008 31058 4294967295 134512640 134569956 3221224416 3221214768 1131404898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31058 13073 16 0 210807 0
vsize: 843292
[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 63430 63 0 0 25 0 11 0 477308956 863531008 31070 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31070 13073 16 0 210807 0
vsize: 843292
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 64407 63 0 0 25 0 11 0 477308956 863531008 31090 4294967295 134512640 134569956 3221224416 3221214768 1131403925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31090 13073 16 0 210807 0
vsize: 843292
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 65388 63 0 0 25 0 11 0 477308956 863531008 31100 4294967295 134512640 134569956 3221224416 3221214664 1131231503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31100 13073 16 0 210807 0
vsize: 843292
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 66368 63 0 0 25 0 11 0 477308956 863531008 31124 4294967295 134512640 134569956 3221224416 3221214664 1131231270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31124 13073 16 0 210807 0
vsize: 843292
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 67345 63 0 0 25 0 11 0 477308956 863531008 31147 4294967295 134512640 134569956 3221224416 3221214768 1131403925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210823 31147 13073 16 0 210807 0
vsize: 843292
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 68319 63 0 0 25 0 11 0 477308956 863531008 31164 4294967295 134512640 134569956 3221224416 3221214664 1131231205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31164 13073 16 0 210807 0
vsize: 843292
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 69297 63 0 0 25 0 11 0 477308956 863531008 31182 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31182 13073 16 0 210807 0
vsize: 843292
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 70274 63 0 0 25 0 11 0 477308956 863531008 31216 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31216 13073 16 0 210807 0
vsize: 843292
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 71253 63 0 0 25 0 11 0 477308956 863531008 31245 4294967295 134512640 134569956 3221224416 3221214768 1131403896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31245 13073 16 0 210807 0
vsize: 843292
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 72215 63 0 0 25 0 11 0 477308956 863531008 31278 4294967295 134512640 134569956 3221224416 3221214768 1131404895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31278 13073 16 0 210807 0
vsize: 843292
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 73169 63 0 0 25 0 11 0 477308956 863531008 31318 4294967295 134512640 134569956 3221224416 3221214664 1131231428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31318 13073 16 0 210807 0
vsize: 843292
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 74127 63 0 0 25 0 11 0 477308956 863531008 31381 4294967295 134512640 134569956 3221224416 3221214768 1131404741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31381 13073 16 0 210807 0
vsize: 843292
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 75102 63 0 0 25 0 11 0 477308956 863531008 31494 4294967295 134512640 134569956 3221224416 3221214768 1131405717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31494 13073 16 0 210807 0
vsize: 843292
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 76077 64 0 0 25 0 11 0 477308956 863531008 31499 4294967295 134512640 134569956 3221224416 3221214764 1131231187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31499 13073 16 0 210807 0
vsize: 843292
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 77048 64 0 0 25 0 11 0 477308956 863531008 31500 4294967295 134512640 134569956 3221224416 3221214664 1131232231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31500 13073 16 0 210807 0
vsize: 843292
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 78011 64 0 0 25 0 11 0 477308956 863531008 31503 4294967295 134512640 134569956 3221224416 3221214664 1131231290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31503 13073 16 0 210807 0
vsize: 843292
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 78971 64 0 0 25 0 11 0 477308956 863531008 31578 4294967295 134512640 134569956 3221224416 3221214664 1131232231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31578 13073 16 0 210807 0
vsize: 843292
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 79955 64 0 0 25 0 11 0 477308956 863531008 31626 4294967295 134512640 134569956 3221224416 3221214768 1131403925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31626 13073 16 0 210807 0
vsize: 843292
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 80939 64 0 0 25 0 11 0 477308956 863531008 31630 4294967295 134512640 134569956 3221224416 3221214768 1131403925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31630 13073 16 0 210807 0
vsize: 843292
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 81919 64 0 0 25 0 11 0 477308956 863531008 31632 4294967295 134512640 134569956 3221224416 3221214664 1131232068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31632 13073 16 0 210807 0
vsize: 843292
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 82905 64 0 0 25 0 11 0 477308956 863531008 31632 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31632 13073 16 0 210807 0
vsize: 843292
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 83880 64 0 0 25 0 11 0 477308956 863531008 31634 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31634 13073 16 0 210807 0
vsize: 843292
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 84842 65 0 0 25 0 11 0 477308956 863531008 31651 4294967295 134512640 134569956 3221224416 3221214768 1131403944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31651 13073 16 0 210807 0
vsize: 843292
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 85795 65 0 0 25 0 11 0 477308956 863531008 31670 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31670 13073 16 0 210807 0
vsize: 843292
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 86747 65 0 0 25 0 11 0 477308956 863531008 31706 4294967295 134512640 134569956 3221224416 3221214768 1131405772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31706 13073 16 0 210807 0
vsize: 843292
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 87714 65 0 0 25 0 11 0 477308956 863531008 31801 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31801 13073 16 0 210807 0
vsize: 843292
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 88697 65 0 0 25 0 11 0 477308956 863531008 31856 4294967295 134512640 134569956 3221224416 3221214768 1131404990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31856 13073 16 0 210807 0
vsize: 843292
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23773
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 89666 65 0 0 25 0 11 0 477308956 863531008 31861 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31861 13073 16 0 210807 0
vsize: 843292
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 90638 65 0 0 25 0 11 0 477308956 863531008 31862 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31862 13073 16 0 210807 0
vsize: 843292
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 91601 65 0 0 25 0 11 0 477308956 863531008 31881 4294967295 134512640 134569956 3221224416 3221214664 1131232278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31881 13073 16 0 210807 0
vsize: 843292
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 92577 65 0 0 24 0 11 0 477308956 863531008 31952 4294967295 134512640 134569956 3221224416 3221214664 1131231800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31952 13073 16 0 210807 0
vsize: 843292
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 93558 65 0 0 25 0 11 0 477308956 863531008 31953 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31953 13073 16 0 210807 0
vsize: 843292
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 94539 65 0 0 24 0 11 0 477308956 863531008 31982 4294967295 134512640 134569956 3221224416 3221214664 1131231895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31982 13073 16 0 210807 0
vsize: 843292
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 95520 65 0 0 25 0 11 0 477308956 863531008 31983 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31983 13073 16 0 210807 0
vsize: 843292
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 96490 65 0 0 25 0 11 0 477308956 863531008 31984 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 31984 13073 16 0 210807 0
vsize: 843292
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 97458 65 0 0 25 0 11 0 477308956 863531008 32010 4294967295 134512640 134569956 3221224416 3221214768 1131404029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32010 13073 16 0 210807 0
vsize: 843292
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 98425 65 0 0 25 0 11 0 477308956 863531008 32040 4294967295 134512640 134569956 3221224416 3221214768 1131403717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32040 13073 16 0 210807 0
vsize: 843292
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 99398 65 0 0 25 0 11 0 477308956 863531008 32078 4294967295 134512640 134569956 3221224416 3221214768 1131403717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32078 13073 16 0 210807 0
vsize: 843292
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 100365 66 0 0 25 0 11 0 477308956 863531008 32103 4294967295 134512640 134569956 3221224416 3221214664 1131231310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32103 13073 16 0 210807 0
vsize: 843292
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) S 23753 22929 22928 0 -1 0 18058 4 1 0 101321 66 0 0 25 0 11 0 477308956 863531008 32151 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32151 13073 16 0 210807 0
vsize: 843292
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 102289 66 0 0 25 0 11 0 477308956 863531008 32154 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32154 13073 16 0 210807 0
vsize: 843292
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 103248 66 0 0 24 0 11 0 477308956 863531008 32244 4294967295 134512640 134569956 3221224416 3221214768 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32244 13073 16 0 210807 0
vsize: 843292
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 104224 66 0 0 25 0 11 0 477308956 863531008 32297 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32297 13073 16 0 210807 0
vsize: 843292
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 105203 66 0 0 25 0 11 0 477308956 863531008 32302 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32302 13073 16 0 210807 0
vsize: 843292
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 106173 66 0 0 25 0 11 0 477308956 863531008 32332 4294967295 134512640 134569956 3221224416 3221214768 1131403912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32332 13073 16 0 210807 0
vsize: 843292
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 107149 66 0 0 25 0 11 0 477308956 863531008 32365 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32365 13073 16 0 210807 0
vsize: 843292
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 108125 66 0 0 25 0 11 0 477308956 863531008 32368 4294967295 134512640 134569956 3221224416 3221214768 1131403896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32368 13073 16 0 210807 0
vsize: 843292
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 109101 66 0 0 25 0 11 0 477308956 863531008 32407 4294967295 134512640 134569956 3221224416 3221214768 1131405889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32407 13073 16 0 210807 0
vsize: 843292
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 110079 66 0 0 25 0 11 0 477308956 863531008 32436 4294967295 134512640 134569956 3221224416 3221214768 1131403912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32436 13073 16 0 210807 0
vsize: 843292
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 111065 66 0 0 25 0 11 0 477308956 863531008 32452 4294967295 134512640 134569956 3221224416 3221214768 1131403717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32452 13073 16 0 210807 0
vsize: 843292
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 112046 66 0 0 25 0 11 0 477308956 863531008 32454 4294967295 134512640 134569956 3221224416 3221214768 1131404029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32454 13073 16 0 210807 0
vsize: 843292
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 113026 66 0 0 25 0 11 0 477308956 863531008 32488 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32488 13073 16 0 210807 0
vsize: 843292
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 114006 66 0 0 25 0 11 0 477308956 863531008 32496 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32496 13073 16 0 210807 0
vsize: 843292
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 114989 66 0 0 25 0 11 0 477308956 863531008 32505 4294967295 134512640 134569956 3221224416 3221214768 1131404994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32505 13073 16 0 210807 0
vsize: 843292
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 115972 66 0 0 25 0 11 0 477308956 863531008 32527 4294967295 134512640 134569956 3221224416 3221214664 1131232072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32527 13073 16 0 210807 0
vsize: 843292
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 116954 66 0 0 25 0 11 0 477308956 863531008 32549 4294967295 134512640 134569956 3221224416 3221214768 1131403864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32549 13073 16 0 210807 0
vsize: 843292
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 117926 66 0 0 25 0 11 0 477308956 863531008 32571 4294967295 134512640 134569956 3221224416 3221214768 1131404979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32571 13073 16 0 210807 0
vsize: 843292
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23775
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 118897 66 0 0 25 0 11 0 477308956 863531008 32582 4294967295 134512640 134569956 3221224416 3221214664 1131231611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32582 13073 16 0 210807 0
vsize: 843292
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23777
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 119877 67 0 0 25 0 11 0 477308956 863531008 32615 4294967295 134512640 134569956 3221224416 3221214768 1131404820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32615 13073 16 0 210807 0
vsize: 843292
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 23777
Raw data (stat): 23754 (java) R 23753 22929 22928 0 -1 0 18058 4 1 0 120860 67 0 0 25 0 11 0 477308956 863531008 32645 4294967295 134512640 134569956 3221224416 3221214664 1131232068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210823 32645 13073 16 0 210807 0
vsize: 843292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 0.91 1/55 23779
Raw data (stat): 23754 (java) Z 23753 22929 22928 0 -1 1036 18058 21083 1 0 120864 67 6184 55 25 0 1 0 477308956 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.18
CPU time (s): 1271.71
CPU user time (s): 1270.48
CPU system time (s): 1.22881
CPU usage (%): 100.915
Max. virtual memory (Kb): 846096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####