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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM	38d41fdbe49543e8928c5210e4323f00
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	760
Total number of constraints	41619
Number of constraints which are clauses	41619
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	2
Trace number 4492

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-13 17:47:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2952 boxname=wulflinc11 idbench=328 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc11/normalized-frb40-19-5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-frb40-19-5.opb
IDLAUNCH: 2952
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        921456 kB
Buffers:         33592 kB
Cached:          55044 kB
SwapCached:       4932 kB
Active:          50464 kB
Inactive:        45944 kB
HighTotal:      131008 kB
HighFree:        72184 kB
LowTotal:       903652 kB
LowFree:        849272 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11288 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:09:35 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2952 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-frb40-19-5.opb
c reading problem 
c [nbvar=760]
c [nbconstr=41619]
c time 8.072
c #vars     760
c #clauses  41619
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=0
c Current CPU time (ms) : 8.468
c starts	: 1
c conflicts	: 0
c decisions	: 760
c propagations	: 760
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1
c Current CPU time (ms) : 8.605
c starts	: 2
c conflicts	: 0
c decisions	: 1519
c propagations	: 1520
c inspects	: 193
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 13.089
c starts	: 3
c conflicts	: 18
c decisions	: 2278
c propagations	: 2469
c inspects	: 2412
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-29
c Current CPU time (ms) : 13.238
c starts	: 4
c conflicts	: 18
c decisions	: 2307
c propagations	: 3229
c inspects	: 5470
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-30
c Current CPU time (ms) : 13.754
c starts	: 5
c conflicts	: 23
c decisions	: 2341
c propagations	: 4018
c inspects	: 10008
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-31
c Current CPU time (ms) : 31.68
c starts	: 7
c conflicts	: 128
c decisions	: 2536
c propagations	: 6240
c inspects	: 56549
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 128
c root simplifications	: 7
#### 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.85 0.97 0.97 2/54 1509
Raw data (stat): 1509 (runsolver) R 1508 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419643092 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.97 4/64 1522
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18078 3 1 0 723 49 0 0 25 0 11 0 419643092 858750976 22743 4294967295 134512640 134569956 3221224416 3221214644 1130919799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209656 22743 13073 16 0 209640 0
vsize: 838624
[startup+20.0013 s]
Raw data (loadavg): 1.04 1.00 0.98 2/64 1525
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18085 3 1 0 1514 50 0 0 25 0 11 0 419643092 861282304 27512 4294967295 134512640 134569956 3221224416 3221214808 1131180855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27512 13073 16 0 210258 0
vsize: 841096
[startup+30.002 s]
Raw data (loadavg): 1.03 1.00 0.98 2/64 1525
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18086 3 1 0 2397 50 0 0 25 0 11 0 419643092 863195136 28390 4294967295 134512640 134569956 3221224416 3221214856 1131372179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210741 28390 13073 16 0 210725 0
vsize: 842964
[startup+40.0023 s]
Raw data (loadavg): 1.03 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 3269 50 0 0 25 0 11 0 419643092 862572544 28763 4294967295 134512640 134569956 3221224416 3221214600 1131215686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 28763 13073 16 0 210573 0
vsize: 842356
[startup+50.0026 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 4143 51 0 0 25 0 11 0 419643092 862572544 29142 4294967295 134512640 134569956 3221224416 3221214752 1131395356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 29142 13073 16 0 210573 0
vsize: 842356
[startup+60.0034 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 5030 51 0 0 25 0 11 0 419643092 862572544 29461 4294967295 134512640 134569956 3221224416 3221214856 1131144690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 29461 13073 16 0 210573 0
vsize: 842356
[startup+70.0046 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 5898 52 0 0 25 0 11 0 419643092 862572544 29946 4294967295 134512640 134569956 3221224416 3221214712 1131464479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 29946 13073 16 0 210573 0
vsize: 842356
[startup+80.006 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 6776 52 0 0 25 0 11 0 419643092 859582464 29632 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 29632 13073 16 0 209843 0
vsize: 839436
[startup+90.0059 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 7653 53 0 0 24 0 11 0 419643092 859582464 29926 4294967295 134512640 134569956 3221224416 3221214856 1131144722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 29926 13073 16 0 209843 0
vsize: 839436
[startup+100.006 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 8544 53 0 0 25 0 11 0 419643092 859582464 30266 4294967295 134512640 134569956 3221224416 3221214856 1131144640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 30266 13073 16 0 209843 0
vsize: 839436
[startup+110.006 s]
Raw data (loadavg): 1.09 1.02 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 9441 53 0 0 25 0 11 0 419643092 859582464 30471 4294967295 134512640 134569956 3221224416 3221214808 1131181499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 30471 13073 16 0 209843 0
vsize: 839436
[startup+120.007 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 10310 53 0 0 25 0 11 0 419643092 859582464 30748 4294967295 134512640 134569956 3221224416 3221214824 1131428432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 30748 13073 16 0 209843 0
vsize: 839436
[startup+130.008 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 11178 54 0 0 25 0 11 0 419643092 859582464 31151 4294967295 134512640 134569956 3221224416 3221214808 1131181058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 31151 13073 16 0 209843 0
vsize: 839436
[startup+140.009 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 12045 54 0 0 25 0 11 0 419643092 859582464 31418 4294967295 134512640 134569956 3221224416 3221214704 1131387998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 31418 13073 16 0 209843 0
vsize: 839436
[startup+150.009 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 12921 54 0 0 25 0 11 0 419643092 859582464 31754 4294967295 134512640 134569956 3221224416 3221214824 1131429768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 31754 13073 16 0 209843 0
vsize: 839436
[startup+160.011 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 13804 54 0 0 25 0 11 0 419643092 859582464 32047 4294967295 134512640 134569956 3221224416 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 32047 13073 16 0 209843 0
vsize: 839436
[startup+170.011 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 14688 55 0 0 25 0 11 0 419643092 859582464 32278 4294967295 134512640 134569956 3221224416 3221214808 1131180624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 32278 13073 16 0 209843 0
vsize: 839436
[startup+180.012 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 15564 55 0 0 25 0 11 0 419643092 859582464 32623 4294967295 134512640 134569956 3221224416 3221214808 1131180358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 32623 13073 16 0 209843 0
vsize: 839436
[startup+190.013 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 16444 55 0 0 25 0 11 0 419643092 859582464 32919 4294967295 134512640 134569956 3221224416 3221214856 1131144640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 32919 13073 16 0 209843 0
vsize: 839436
[startup+200.012 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 17336 55 0 0 25 0 11 0 419643092 859582464 33172 4294967295 134512640 134569956 3221224416 3221214824 1131430155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 33172 13073 16 0 209843 0
vsize: 839436
[startup+210.013 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 18208 55 0 0 25 0 11 0 419643092 859582464 33466 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 33466 13073 16 0 209843 0
vsize: 839436
[startup+220.014 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 19106 56 0 0 22 0 11 0 419643092 859582464 33799 4294967295 134512640 134569956 3221224416 3221214808 1131180461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 33799 13073 16 0 209843 0
vsize: 839436
[startup+230.015 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 19990 56 0 0 17 0 11 0 419643092 859582464 34138 4294967295 134512640 134569956 3221224416 3221214856 1131144755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 34138 13073 16 0 209843 0
vsize: 839436
[startup+240.018 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 20889 56 0 0 17 0 11 0 419643092 859582464 34245 4294967295 134512640 134569956 3221224416 3221214556 1131548768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 34245 13073 16 0 209843 0
vsize: 839436
[startup+250.019 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 21774 57 0 0 19 0 11 0 419643092 859582464 34510 4294967295 134512640 134569956 3221224416 3221214808 1131180157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 34510 13073 16 0 209843 0
vsize: 839436
[startup+260.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 22670 57 0 0 22 0 11 0 419643092 859582464 34738 4294967295 134512640 134569956 3221224416 3221214808 1131180624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 34738 13073 16 0 209843 0
vsize: 839436
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 23563 57 0 0 17 0 11 0 419643092 859582464 35017 4294967295 134512640 134569956 3221224416 3221214712 1131418130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 35017 13073 16 0 209843 0
vsize: 839436
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 24468 58 0 0 20 0 11 0 419643092 859582464 35247 4294967295 134512640 134569956 3221224416 3221214704 1131387893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 35247 13073 16 0 209843 0
vsize: 839436
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 25361 58 0 0 18 0 11 0 419643092 859582464 35423 4294967295 134512640 134569956 3221224416 3221214592 1131262922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 35423 13073 16 0 209843 0
vsize: 839436
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 26243 59 0 0 17 0 11 0 419643092 859582464 35592 4294967295 134512640 134569956 3221224416 3221214808 1131180574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 35592 13073 16 0 209843 0
vsize: 839436
[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 27123 59 0 0 17 0 11 0 419643092 859582464 35870 4294967295 134512640 134569956 3221224416 3221214904 1131362738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 35870 13073 16 0 209843 0
vsize: 839436
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 28009 59 0 0 18 0 11 0 419643092 859582464 36187 4294967295 134512640 134569956 3221224416 3221214808 1131180467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 36187 13073 16 0 209843 0
vsize: 839436
[startup+330.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 28897 59 0 0 19 0 11 0 419643092 859582464 36444 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 36444 13073 16 0 209843 0
vsize: 839436
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 29799 60 0 0 22 0 11 0 419643092 859582464 36727 4294967295 134512640 134569956 3221224416 3221214808 1131180157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 36727 13073 16 0 209843 0
vsize: 839436
[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 30701 61 0 0 24 0 11 0 419643092 859582464 36981 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 36981 13073 16 0 209843 0
vsize: 839436
[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 31614 61 0 0 18 0 11 0 419643092 859582464 37219 4294967295 134512640 134569956 3221224416 3221214808 1131180428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 37219 13073 16 0 209843 0
vsize: 839436
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 32538 62 0 0 23 0 11 0 419643092 859582464 37375 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 37375 13073 16 0 209843 0
vsize: 839436
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 33457 62 0 0 25 0 11 0 419643092 859582464 37557 4294967295 134512640 134569956 3221224416 3221214648 1131421933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 37557 13073 16 0 209843 0
vsize: 839436
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 34361 63 0 0 21 0 11 0 419643092 859582464 37761 4294967295 134512640 134569956 3221224416 3221214808 1131180574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 37761 13073 16 0 209843 0
vsize: 839436
[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 35265 63 0 0 20 0 11 0 419643092 859582464 37954 4294967295 134512640 134569956 3221224416 3221214752 1131395138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 37954 13073 16 0 209843 0
vsize: 839436
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 36163 64 0 0 17 0 11 0 419643092 859582464 38244 4294967295 134512640 134569956 3221224416 3221214808 1131180180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 38244 13073 16 0 209843 0
vsize: 839436
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 37076 64 0 0 23 0 11 0 419643092 859582464 38305 4294967295 134512640 134569956 3221224416 3221214824 1131430492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 38305 13073 16 0 209843 0
vsize: 839436
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 37978 65 0 0 20 0 11 0 419643092 859582464 38540 4294967295 134512640 134569956 3221224416 3221214752 1131395280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 38540 13073 16 0 209843 0
vsize: 839436
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 38898 65 0 0 25 0 11 0 419643092 859582464 38744 4294967295 134512640 134569956 3221224416 3221214904 1131362871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 38744 13073 16 0 209843 0
vsize: 839436
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 39815 66 0 0 25 0 11 0 419643092 859582464 38975 4294967295 134512640 134569956 3221224416 3221214128 1131144640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 38975 13073 16 0 209843 0
vsize: 839436
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 40730 66 0 0 25 0 11 0 419643092 859582464 39107 4294967295 134512640 134569956 3221224416 3221214752 1131394968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 39107 13073 16 0 209843 0
vsize: 839436
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 41636 66 0 0 25 0 11 0 419643092 859582464 39263 4294967295 134512640 134569956 3221224416 3221214808 1131181428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 39263 13073 16 0 209843 0
vsize: 839436
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 42533 67 0 0 25 0 11 0 419643092 859582464 39480 4294967295 134512640 134569956 3221224416 3221214808 1131180467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 39480 13073 16 0 209843 0
vsize: 839436
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 43435 67 0 0 25 0 11 0 419643092 859582464 39723 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 39723 13073 16 0 209843 0
vsize: 839436
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 44332 67 0 0 25 0 11 0 419643092 859582464 40015 4294967295 134512640 134569956 3221224416 3221214904 1131362738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40015 13073 16 0 209843 0
vsize: 839436
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 45243 67 0 0 25 0 11 0 419643092 859582464 40185 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40185 13073 16 0 209843 0
vsize: 839436
[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 46154 68 0 0 25 0 11 0 419643092 859582464 40433 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40433 13073 16 0 209843 0
vsize: 839436
[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 47079 68 0 0 25 0 11 0 419643092 859582464 40600 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40600 13073 16 0 209843 0
vsize: 839436
[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 48007 68 0 0 25 0 11 0 419643092 859582464 40810 4294967295 134512640 134569956 3221224416 3221214672 1131576419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40810 13073 16 0 209843 0
vsize: 839436
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 48936 69 0 0 25 0 11 0 419643092 859582464 40933 4294967295 134512640 134569956 3221224416 3221214880 1131421949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 40933 13073 16 0 209843 0
vsize: 839436
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 49861 69 0 0 25 0 11 0 419643092 859582464 41090 4294967295 134512640 134569956 3221224416 3221214808 1131181127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41090 13073 16 0 209843 0
vsize: 839436
[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 50784 70 0 0 25 0 11 0 419643092 859582464 41237 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41237 13073 16 0 209843 0
vsize: 839436
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 51699 70 0 0 25 0 11 0 419643092 859582464 41344 4294967295 134512640 134569956 3221224416 3221214808 1131180612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41344 13073 16 0 209843 0
vsize: 839436
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 52623 70 0 0 25 0 11 0 419643092 859582464 41592 4294967295 134512640 134569956 3221224416 3221214824 1131430561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41592 13073 16 0 209843 0
vsize: 839436
[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 53548 71 0 0 25 0 11 0 419643092 859582464 41754 4294967295 134512640 134569956 3221224416 3221214808 1131180924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41754 13073 16 0 209843 0
vsize: 839436
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 54478 71 0 0 25 0 11 0 419643092 859582464 41897 4294967295 134512640 134569956 3221224416 3221214808 1131180364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 41897 13073 16 0 209843 0
vsize: 839436
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 55411 71 0 0 25 0 11 0 419643092 859582464 42057 4294967295 134512640 134569956 3221224416 3221214808 1131180165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42057 13073 16 0 209843 0
vsize: 839436
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 56342 72 0 0 25 0 11 0 419643092 859582464 42209 4294967295 134512640 134569956 3221224416 3221214808 1131180165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42209 13073 16 0 209843 0
vsize: 839436
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 57273 72 0 0 25 0 11 0 419643092 859582464 42306 4294967295 134512640 134569956 3221224416 3221214904 1131362837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42306 13073 16 0 209843 0
vsize: 839436
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 58210 72 0 0 25 0 11 0 419643092 859582464 42488 4294967295 134512640 134569956 3221224416 3221214856 1131144668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42488 13073 16 0 209843 0
vsize: 839436
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 59147 73 0 0 25 0 11 0 419643092 859582464 42642 4294967295 134512640 134569956 3221224416 3221214856 1131144664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42642 13073 16 0 209843 0
vsize: 839436
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 60072 73 0 0 24 0 11 0 419643092 859582464 42786 4294967295 134512640 134569956 3221224416 3221214808 1131181145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42786 13073 16 0 209843 0
vsize: 839436
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 60993 74 0 0 25 0 11 0 419643092 859582464 42884 4294967295 134512640 134569956 3221224416 3221214808 1131180624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 42884 13073 16 0 209843 0
vsize: 839436
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 61892 74 0 0 24 0 11 0 419643092 859582464 43047 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 43047 13073 16 0 209843 0
vsize: 839436
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 62803 74 0 0 25 0 11 0 419643092 859582464 43303 4294967295 134512640 134569956 3221224416 3221214808 1131181170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 43303 13073 16 0 209843 0
vsize: 839436
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 63709 74 0 0 25 0 11 0 419643092 859582464 43538 4294967295 134512640 134569956 3221224416 3221214808 1131180751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 43538 13073 16 0 209843 0
vsize: 839436
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 64626 75 0 0 25 0 11 0 419643092 859582464 43767 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 43767 13073 16 0 209843 0
vsize: 839436
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 65531 75 0 0 25 0 11 0 419643092 859582464 43955 4294967295 134512640 134569956 3221224416 3221214856 1131144640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 43955 13073 16 0 209843 0
vsize: 839436
[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 66447 76 0 0 25 0 11 0 419643092 859582464 44024 4294967295 134512640 134569956 3221224416 3221214672 1131574600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44024 13073 16 0 209843 0
vsize: 839436
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 1526
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 67370 76 0 0 25 0 11 0 419643092 859582464 44272 4294967295 134512640 134569956 3221224416 3221214856 1131144664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44272 13073 16 0 209843 0
vsize: 839436
[startup+760.051 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 68290 77 0 0 25 0 11 0 419643092 859582464 44432 4294967295 134512640 134569956 3221224416 3221214808 1131180372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44432 13073 16 0 209843 0
vsize: 839436
[startup+770.051 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 69206 78 0 0 18 0 11 0 419643092 859582464 44563 4294967295 134512640 134569956 3221224416 3221214808 1131180951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44563 13073 16 0 209843 0
vsize: 839436
[startup+780.052 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 70129 78 0 0 25 0 11 0 419643092 859582464 44710 4294967295 134512640 134569956 3221224416 3221214808 1131180907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44710 13073 16 0 209843 0
vsize: 839436
[startup+790.053 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 71044 78 0 0 25 0 11 0 419643092 859582464 44905 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 44905 13073 16 0 209843 0
vsize: 839436
[startup+800.052 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 71956 79 0 0 24 0 11 0 419643092 859582464 45087 4294967295 134512640 134569956 3221224416 3221214856 1131144759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 45087 13073 16 0 209843 0
vsize: 839436
[startup+810.054 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 72874 79 0 0 25 0 11 0 419643092 859582464 45230 4294967295 134512640 134569956 3221224416 3221214808 1131180951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 45230 13073 16 0 209843 0
vsize: 839436
[startup+820.055 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 73788 80 0 0 25 0 11 0 419643092 859582464 45385 4294967295 134512640 134569956 3221224416 3221214808 1131181554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 45385 13073 16 0 209843 0
vsize: 839436
[startup+830.056 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 1581
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 74706 80 0 0 25 0 11 0 419643092 859582464 45591 4294967295 134512640 134569956 3221224416 3221214808 1131181499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 45591 13073 16 0 209843 0
vsize: 839436
[startup+840.055 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 75632 81 0 0 25 0 11 0 419643092 859582464 45794 4294967295 134512640 134569956 3221224416 3221214776 1131414147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 45794 13073 16 0 209843 0
vsize: 839436
[startup+850.059 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 76553 81 0 0 25 0 11 0 419643092 859582464 45928 4294967295 134512640 134569956 3221224416 3221214856 1131144704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 45928 13073 16 0 209843 0
vsize: 839436
[startup+860.059 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 1583
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 77480 82 0 0 25 0 11 0 419643092 859582464 46083 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 46083 13073 16 0 209843 0
vsize: 839436
[startup+870.059 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 78403 82 0 0 25 0 11 0 419643092 859582464 46252 4294967295 134512640 134569956 3221224416 3221214776 1131413953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 46252 13073 16 0 209843 0
vsize: 839436
[startup+880.06 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 79331 82 0 0 25 0 11 0 419643092 859582464 46407 4294967295 134512640 134569956 3221224416 3221214808 1131181435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 46407 13073 16 0 209843 0
vsize: 839436
[startup+890.061 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 80266 83 0 0 25 0 11 0 419643092 859582464 46540 4294967295 134512640 134569956 3221224416 3221214808 1131180194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 46540 13073 16 0 209843 0
vsize: 839436
[startup+900.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 81198 83 0 0 25 0 11 0 419643092 859582464 46686 4294967295 134512640 134569956 3221224416 3221214808 1131181516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 46686 13073 16 0 209843 0
vsize: 839436
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 82131 83 0 0 25 0 11 0 419643092 859582464 46823 4294967295 134512640 134569956 3221224416 3221214904 1131593512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 46823 13073 16 0 209843 0
vsize: 839436
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 83061 83 0 0 25 0 11 0 419643092 859582464 46970 4294967295 134512640 134569956 3221224416 3221214808 1131180327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 46970 13073 16 0 209843 0
vsize: 839436
[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 83994 84 0 0 25 0 11 0 419643092 859582464 47092 4294967295 134512640 134569956 3221224416 3221214824 1131428324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47092 13073 16 0 209843 0
vsize: 839436
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 84932 84 0 0 25 0 11 0 419643092 859582464 47232 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47232 13073 16 0 209843 0
vsize: 839436
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 85868 84 0 0 25 0 11 0 419643092 859582464 47374 4294967295 134512640 134569956 3221224416 3221214808 1131181428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47374 13073 16 0 209843 0
vsize: 839436
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 86801 84 0 0 25 0 11 0 419643092 859582464 47459 4294967295 134512640 134569956 3221224416 3221214808 1131180411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47459 13073 16 0 209843 0
vsize: 839436
[startup+970.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 87736 84 0 0 25 0 11 0 419643092 859582464 47611 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47611 13073 16 0 209843 0
vsize: 839436
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 88669 85 0 0 25 0 11 0 419643092 859582464 47748 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 47748 13073 16 0 209843 0
vsize: 839436
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 89604 86 0 0 25 0 11 0 419643092 859582464 47878 4294967295 134512640 134569956 3221224416 3221214808 1131180624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 47878 13073 16 0 209843 0
vsize: 839436
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 90544 86 0 0 25 0 11 0 419643092 859582464 48024 4294967295 134512640 134569956 3221224416 3221214856 1131144661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48024 13073 16 0 209843 0
vsize: 839436
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 91486 86 0 0 25 0 11 0 419643092 859582464 48170 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48170 13073 16 0 209843 0
vsize: 839436
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 92429 87 0 0 25 0 11 0 419643092 859582464 48246 4294967295 134512640 134569956 3221224416 3221214808 1131180517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48246 13073 16 0 209843 0
vsize: 839436
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 93353 87 0 0 25 0 11 0 419643092 859582464 48342 4294967295 134512640 134569956 3221224416 3221214856 1131144664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48342 13073 16 0 209843 0
vsize: 839436
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 94270 87 0 0 24 0 11 0 419643092 859582464 48441 4294967295 134512640 134569956 3221224416 3221214880 1131421949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48441 13073 16 0 209843 0
vsize: 839436
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 95186 88 0 0 25 0 11 0 419643092 859582464 48595 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48595 13073 16 0 209843 0
vsize: 839436
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 96110 88 0 0 25 0 11 0 419643092 859582464 48795 4294967295 134512640 134569956 3221224416 3221214904 1131362837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48795 13073 16 0 209843 0
vsize: 839436
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 97034 89 0 0 25 0 11 0 419643092 859582464 48947 4294967295 134512640 134569956 3221224416 3221214900 1131421966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 48947 13073 16 0 209843 0
vsize: 839436
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 97962 89 0 0 25 0 11 0 419643092 859582464 49114 4294967295 134512640 134569956 3221224416 3221214808 1131180183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49114 13073 16 0 209843 0
vsize: 839436
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1583
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 98890 90 0 0 25 0 11 0 419643092 859582464 49253 4294967295 134512640 134569956 3221224416 3221214808 1131181617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49253 13073 16 0 209843 0
vsize: 839436
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 99823 91 0 0 25 0 11 0 419643092 859582464 49450 4294967295 134512640 134569956 3221224416 3221214808 1131180157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49450 13073 16 0 209843 0
vsize: 839436
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 100754 91 0 0 25 0 11 0 419643092 859582464 49561 4294967295 134512640 134569956 3221224416 3221214904 1131362389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49561 13073 16 0 209843 0
vsize: 839436
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1585
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 101677 91 0 0 25 0 11 0 419643092 859582464 49679 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49679 13073 16 0 209843 0
vsize: 839436
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 102595 92 0 0 25 0 11 0 419643092 859582464 49813 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 49813 13073 16 0 209843 0
vsize: 839436
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 103507 92 0 0 25 0 11 0 419643092 859582464 49980 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 49980 13073 16 0 209843 0
vsize: 839436
[startup+1150.08 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 104424 92 0 0 25 0 11 0 419643092 859582464 50217 4294967295 134512640 134569956 3221224416 3221214808 1131181435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50217 13073 16 0 209843 0
vsize: 839436
[startup+1160.08 s]
Raw data (loadavg): 1.14 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 105348 93 0 0 25 0 11 0 419643092 859582464 50392 4294967295 134512640 134569956 3221224416 3221214904 1131362744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50392 13073 16 0 209843 0
vsize: 839436
[startup+1170.08 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 106279 93 0 0 25 0 11 0 419643092 859582464 50530 4294967295 134512640 134569956 3221224416 3221214808 1131181420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50530 13073 16 0 209843 0
vsize: 839436
[startup+1180.08 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 107203 94 0 0 25 0 11 0 419643092 859582464 50695 4294967295 134512640 134569956 3221224416 3221214808 1131180434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50695 13073 16 0 209843 0
vsize: 839436
[startup+1190.08 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 108127 94 0 0 25 0 11 0 419643092 859582464 50843 4294967295 134512640 134569956 3221224416 3221214856 1131144745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50843 13073 16 0 209843 0
vsize: 839436
[startup+1200.08 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 109054 94 0 0 24 0 11 0 419643092 859582464 50995 4294967295 134512640 134569956 3221224416 3221214808 1131181145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 50995 13073 16 0 209843 0
vsize: 839436
[startup+1210.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 1585
Raw data (stat): 1509 (java) S 1508 32461 32460 0 -1 0 18087 3 1 0 109985 95 0 0 25 0 11 0 419643092 859582464 51183 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51183 13073 16 0 209843 0
vsize: 839436
[startup+1220.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 110911 95 0 0 25 0 11 0 419643092 859582464 51297 4294967295 134512640 134569956 3221224416 3221214808 1131180698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51297 13073 16 0 209843 0
vsize: 839436
[startup+1230.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 111834 95 0 0 25 0 11 0 419643092 859582464 51430 4294967295 134512640 134569956 3221224416 3221214808 1131180206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51430 13073 16 0 209843 0
vsize: 839436
[startup+1240.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 112753 95 0 0 25 0 11 0 419643092 859582464 51605 4294967295 134512640 134569956 3221224416 3221214808 1131180853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51605 13073 16 0 209843 0
vsize: 839436
[startup+1250.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 113674 96 0 0 25 0 11 0 419643092 859582464 51769 4294967295 134512640 134569956 3221224416 3221214808 1131180353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51769 13073 16 0 209843 0
vsize: 839436
[startup+1260.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 114607 96 0 0 25 0 11 0 419643092 859582464 51972 4294967295 134512640 134569956 3221224416 3221214752 1131394341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 51972 13073 16 0 209843 0
vsize: 839436
[startup+1270.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 115551 97 0 0 25 0 11 0 419643092 859582464 52095 4294967295 134512640 134569956 3221224416 3221214856 1131144664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 52095 13073 16 0 209843 0
vsize: 839436
[startup+1280.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 116485 97 0 0 25 0 11 0 419643092 859582464 52136 4294967295 134512640 134569956 3221224416 3221214808 1131180165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 52136 13073 16 0 209843 0
vsize: 839436
[startup+1290.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 117410 97 0 0 25 0 11 0 419643092 859582464 52227 4294967295 134512640 134569956 3221224416 3221214900 1131180140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 52227 13073 16 0 209843 0
vsize: 839436
[startup+1300.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 118332 98 0 0 25 0 11 0 419643092 859582464 52393 4294967295 134512640 134569956 3221224416 3221214808 1131180187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 52393 13073 16 0 209843 0
vsize: 839436
[startup+1310.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 119252 98 0 0 25 0 11 0 419643092 859582464 52552 4294967295 134512640 134569956 3221224416 3221214808 1131180607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 52552 13073 16 0 209843 0
vsize: 839436
[startup+1320.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1585
Raw data (stat): 1509 (java) R 1508 32461 32460 0 -1 0 18087 3 1 0 120169 98 0 0 25 0 11 0 419643092 859582464 52663 4294967295 134512640 134569956 3221224416 3221214808 1131180669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209859 52663 13073 16 0 209843 0
vsize: 839436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.24 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 1587
Raw data (stat): 1509 (java) Z 1508 32461 32460 0 -1 1036 18087 32929 1 0 120174 98 11346 78 25 0 1 0 419643092 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): 1320.24
CPU time (s): 1316.98
CPU user time (s): 1315.21
CPU system time (s): 1.76973
CPU usage (%): 99.753
Max. virtual memory (Kb): 842964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####