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-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2630
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	2630
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	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
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	3
Trace number 29231

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 05:46:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20613 boxname=wulflinc20 idbench=203 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1-c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1-c.opb
IDLAUNCH: 20613
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        356216 kB
Buffers:         34356 kB
Cached:         614532 kB
SwapCached:        716 kB
Active:          60852 kB
Inactive:       594788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        355964 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17216 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:07:09 (client local time) WITH STATUS 143 IN 1247.76 SECONDS
stats: 20613 7 1247.76 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-par32-1-c.opb
c reading problem ... done. Time 6.162 ms.
c #vars     2630
c #constraints  6569
c starts	: 10
c conflicts	: 10414
c decisions	: 11448
c propagations	: 7169620
c inspects	: 25707437
c learned literals	: 1
c learned binary clauses	: 27
c learned ternary clauses	: 50
c learned clauses	: 10413
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1249.134
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 1388
Raw data (stat): 1388 (runsolver) R 1387 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836466887 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0017 s]
Raw data (loadavg): 1.24 1.05 1.02 3/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18080 0 1 0 761 39 0 0 25 0 11 0 836466887 859066368 20193 4294967295 134512640 134569956 3221224384 3221214432 1130915985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 20193 13086 16 0 209717 0
vsize: 838932
[startup+20.0022 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18081 0 1 0 1660 39 0 0 25 0 11 0 836466887 858275840 21767 4294967295 134512640 134569956 3221224384 3221214760 1131426161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 21767 13086 16 0 209524 0
vsize: 838160
[startup+30.0027 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 2616 39 0 0 25 0 11 0 836466887 858275840 22561 4294967295 134512640 134569956 3221224384 3221214672 1131563657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 22561 13086 16 0 209524 0
vsize: 838160
[startup+40.0037 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 3588 39 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214764 1131399475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 22567 13086 16 0 209524 0
vsize: 838160
[startup+50.0045 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 4550 40 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214648 1131568818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 22567 13086 16 0 209524 0
vsize: 838160
[startup+60.0048 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 5510 40 0 0 25 0 11 0 836466887 858275840 22567 4294967295 134512640 134569956 3221224384 3221214648 1131563945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 22567 13086 16 0 209524 0
vsize: 838160
[startup+70.0059 s]
Raw data (loadavg): 1.16 1.05 1.02 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 6474 40 0 0 25 0 11 0 836466887 862420992 23594 4294967295 134512640 134569956 3221224384 3221214784 1131402740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210552 23594 13086 16 0 210536 0
vsize: 842208
[startup+80.0066 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 7424 40 0 0 25 0 11 0 836466887 862420992 23656 4294967295 134512640 134569956 3221224384 3221214680 1131376239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210552 23656 13086 16 0 210536 0
vsize: 842208
[startup+90.0069 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 8373 41 0 0 25 0 11 0 836466887 862420992 23754 4294967295 134512640 134569956 3221224384 3221214776 1131395287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210552 23754 13086 16 0 210536 0
vsize: 842208
[startup+100.007 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 9331 41 0 0 25 0 11 0 836466887 862420992 23839 4294967295 134512640 134569956 3221224384 3221214752 1131425740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210552 23839 13086 16 0 210536 0
vsize: 842208
[startup+110.009 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 10279 41 0 0 25 0 11 0 836466887 858275840 22935 4294967295 134512640 134569956 3221224384 3221214728 1131399535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 22935 13086 16 0 209524 0
vsize: 838160
[startup+120.01 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 11237 41 0 0 25 0 11 0 836466887 858275840 23046 4294967295 134512640 134569956 3221224384 3221214780 1131401065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23046 13086 16 0 209524 0
vsize: 838160
[startup+130.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 12186 42 0 0 25 0 11 0 836466887 858275840 23177 4294967295 134512640 134569956 3221224384 3221214752 1131426339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23177 13086 16 0 209524 0
vsize: 838160
[startup+140.01 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 13147 42 0 0 25 0 11 0 836466887 858275840 23268 4294967295 134512640 134569956 3221224384 3221214528 1131399568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23268 13086 16 0 209524 0
vsize: 838160
[startup+150.011 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 14100 42 0 0 25 0 11 0 836466887 858275840 23385 4294967295 134512640 134569956 3221224384 3221214560 1131401146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23385 13086 16 0 209524 0
vsize: 838160
[startup+160.011 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 15063 43 0 0 25 0 11 0 836466887 858275840 23471 4294967295 134512640 134569956 3221224384 3221214688 1131333413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23471 13086 16 0 209524 0
vsize: 838160
[startup+170.012 s]
Raw data (loadavg): 1.03 1.03 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 16016 43 0 0 25 0 11 0 836466887 858275840 23581 4294967295 134512640 134569956 3221224384 3221214472 1131234990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23581 13086 16 0 209524 0
vsize: 838160
[startup+180.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 16973 44 0 0 25 0 11 0 836466887 858275840 23667 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23667 13086 16 0 209524 0
vsize: 838160
[startup+190.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 17932 45 0 0 25 0 11 0 836466887 858275840 23771 4294967295 134512640 134569956 3221224384 3221214544 1131376239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23771 13086 16 0 209524 0
vsize: 838160
[startup+200.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 18887 45 0 0 25 0 11 0 836466887 858275840 23866 4294967295 134512640 134569956 3221224384 3221214656 1131333566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23866 13086 16 0 209524 0
vsize: 838160
[startup+210.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 19851 45 0 0 25 0 11 0 836466887 858275840 23930 4294967295 134512640 134569956 3221224384 3221214728 1131399599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 23930 13086 16 0 209524 0
vsize: 838160
[startup+220.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 20804 46 0 0 25 0 11 0 836466887 858275840 24003 4294967295 134512640 134569956 3221224384 3221214656 1131333287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24003 13086 16 0 209524 0
vsize: 838160
[startup+230.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1398
Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 21755 46 0 0 25 0 11 0 836466887 858275840 24075 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24075 13086 16 0 209524 0
vsize: 838160
[startup+240.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 22717 46 0 0 25 0 11 0 836466887 858275840 24193 4294967295 134512640 134569956 3221224384 3221214728 1131399524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24193 13086 16 0 209524 0
vsize: 838160
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 23669 47 0 0 25 0 11 0 836466887 858275840 24283 4294967295 134512640 134569956 3221224384 3221214792 1131426161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24283 13086 16 0 209524 0
vsize: 838160
[startup+260.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 24630 47 0 0 25 0 11 0 836466887 858275840 24359 4294967295 134512640 134569956 3221224384 3221214544 1131376458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24359 13086 16 0 209524 0
vsize: 838160
[startup+270.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 25580 47 0 0 25 0 11 0 836466887 858275840 24465 4294967295 134512640 134569956 3221224384 3221214808 1131453381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24465 13086 16 0 209524 0
vsize: 838160
[startup+280.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 26534 47 0 0 25 0 11 0 836466887 858275840 24547 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24547 13086 16 0 209524 0
vsize: 838160
[startup+290.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 27489 48 0 0 25 0 11 0 836466887 858275840 24651 4294967295 134512640 134569956 3221224384 3221214556 1131234336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24651 13086 16 0 209524 0
vsize: 838160
[startup+300.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 28437 48 0 0 25 0 11 0 836466887 858275840 24729 4294967295 134512640 134569956 3221224384 3221214648 1131563977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24729 13086 16 0 209524 0
vsize: 838160
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 29394 48 0 0 25 0 11 0 836466887 858275840 24822 4294967295 134512640 134569956 3221224384 3221214472 1131519842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24822 13086 16 0 209524 0
vsize: 838160
[startup+320.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 30352 49 0 0 25 0 11 0 836466887 858275840 24902 4294967295 134512640 134569956 3221224384 3221214780 1131375756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 24902 13086 16 0 209524 0
vsize: 838160
[startup+330.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 31299 49 0 0 25 0 11 0 836466887 858275840 25015 4294967295 134512640 134569956 3221224384 3221214544 1131376776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25015 13086 16 0 209524 0
vsize: 838160
[startup+340.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 32255 49 0 0 25 0 11 0 836466887 858275840 25097 4294967295 134512640 134569956 3221224384 3221214504 1131412828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25097 13086 16 0 209524 0
vsize: 838160
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 33200 49 0 0 25 0 11 0 836466887 858275840 25206 4294967295 134512640 134569956 3221224384 3221214544 1131375810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25206 13086 16 0 209524 0
vsize: 838160
[startup+360.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 34156 50 0 0 25 0 11 0 836466887 858275840 25299 4294967295 134512640 134569956 3221224384 3221214472 1131234990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25299 13086 16 0 209524 0
vsize: 838160
[startup+370.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 35112 50 0 0 25 0 11 0 836466887 858275840 25384 4294967295 134512640 134569956 3221224384 3221214688 1131333636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25384 13086 16 0 209524 0
vsize: 838160
[startup+380.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 36056 50 0 0 24 0 11 0 836466887 858275840 25492 4294967295 134512640 134569956 3221224384 3221214536 1131418248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25492 13086 16 0 209524 0
vsize: 838160
[startup+390.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 37011 51 0 0 25 0 11 0 836466887 858275840 25573 4294967295 134512640 134569956 3221224384 3221214544 1131375979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25573 13086 16 0 209524 0
vsize: 838160
[startup+400.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 37967 51 0 0 25 0 11 0 836466887 858275840 25656 4294967295 134512640 134569956 3221224384 3221214496 1131187036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 25656 13086 16 0 209524 0
vsize: 838160
[startup+410.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 38911 51 0 0 25 0 11 0 836466887 858275840 25810 4294967295 134512640 134569956 3221224384 3221214760 1131230856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 25810 13086 16 0 209524 0
vsize: 838160
[startup+420.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 39867 51 0 0 25 0 11 0 836466887 858275840 25912 4294967295 134512640 134569956 3221224384 3221214616 1131553759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 25912 13086 16 0 209524 0
vsize: 838160
[startup+430.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 40823 52 0 0 25 0 11 0 836466887 858275840 26006 4294967295 134512640 134569956 3221224384 3221214688 1131333081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26006 13086 16 0 209524 0
vsize: 838160
[startup+440.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 41769 52 0 0 25 0 11 0 836466887 858275840 26114 4294967295 134512640 134569956 3221224384 3221214544 1131376400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26114 13086 16 0 209524 0
vsize: 838160
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 42724 53 0 0 25 0 11 0 836466887 858275840 26206 4294967295 134512640 134569956 3221224384 3221214344 1078032473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26206 13086 16 0 209524 0
vsize: 838160
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 43679 53 0 0 25 0 11 0 836466887 858275840 26288 4294967295 134512640 134569956 3221224384 3221214784 1131402841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26288 13086 16 0 209524 0
vsize: 838160
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 44621 53 0 0 25 0 11 0 836466887 858275840 26385 4294967295 134512640 134569956 3221224384 3221214544 1131376236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26385 13086 16 0 209524 0
vsize: 838160
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 45576 54 0 0 25 0 11 0 836466887 858275840 26482 4294967295 134512640 134569956 3221224384 3221214544 1131376400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26482 13086 16 0 209524 0
vsize: 838160
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 46521 54 0 0 25 0 11 0 836466887 858275840 26610 4294967295 134512640 134569956 3221224384 3221214680 1131375788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26610 13086 16 0 209524 0
vsize: 838160
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 47478 55 0 0 25 0 11 0 836466887 858275840 26722 4294967295 134512640 134569956 3221224384 3221214784 1131402339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26722 13086 16 0 209524 0
vsize: 838160
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 48435 55 0 0 25 0 11 0 836466887 858275840 26800 4294967295 134512640 134569956 3221224384 3221214760 1131395648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26800 13086 16 0 209524 0
vsize: 838160
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 49382 55 0 0 25 0 11 0 836466887 858275840 26932 4294967295 134512640 134569956 3221224384 3221214784 1131402752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 26932 13086 16 0 209524 0
vsize: 838160
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 50341 56 0 0 25 0 11 0 836466887 858275840 27022 4294967295 134512640 134569956 3221224384 3221214776 1131395291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27022 13086 16 0 209524 0
vsize: 838160
[startup+540.03 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 51298 56 0 0 25 0 11 0 836466887 858275840 27106 4294967295 134512640 134569956 3221224384 3221214200 1131372354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 27106 13086 16 0 209524 0
vsize: 838160
[startup+550.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 52267 56 0 0 25 0 11 0 836466887 858275840 27158 4294967295 134512640 134569956 3221224384 3221214328 1131384657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27158 13086 16 0 209524 0
vsize: 838160
[startup+560.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 53256 57 0 0 25 0 11 0 836466887 858275840 27180 4294967295 134512640 134569956 3221224384 3221214528 1131399530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27180 13086 16 0 209524 0
vsize: 838160
[startup+570.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 54235 57 0 0 25 0 11 0 836466887 858275840 27213 4294967295 134512640 134569956 3221224384 3221214328 1131384657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27213 13086 16 0 209524 0
vsize: 838160
[startup+580.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 55213 58 0 0 25 0 11 0 836466887 858275840 27261 4294967295 134512640 134569956 3221224384 3221214536 1131485300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27261 13086 16 0 209524 0
vsize: 838160
[startup+590.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 56181 58 0 0 25 0 11 0 836466887 858275840 27327 4294967295 134512640 134569956 3221224384 3221213352 1131384657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27327 13086 16 0 209524 0
vsize: 838160
[startup+600.032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 57160 59 0 0 25 0 11 0 836466887 858275840 27364 4294967295 134512640 134569956 3221224384 3221214268 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27364 13086 16 0 209524 0
vsize: 838160
[startup+610.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 58139 59 0 0 25 0 11 0 836466887 858275840 27403 4294967295 134512640 134569956 3221224384 3221214672 1131466291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27403 13086 16 0 209524 0
vsize: 838160
[startup+620.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 59108 59 0 0 25 0 11 0 836466887 858275840 27458 4294967295 134512640 134569956 3221224384 3221214360 1131620762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27458 13086 16 0 209524 0
vsize: 838160
[startup+630.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 60076 60 0 0 25 0 11 0 836466887 858275840 27515 4294967295 134512640 134569956 3221224384 3221214440 1131508213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27515 13086 16 0 209524 0
vsize: 838160
[startup+640.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 61032 60 0 0 25 0 11 0 836466887 858275840 27582 4294967295 134512640 134569956 3221224384 3221214648 1131564000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27582 13086 16 0 209524 0
vsize: 838160
[startup+650.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 61987 60 0 0 25 0 11 0 836466887 858275840 27665 4294967295 134512640 134569956 3221224384 3221214784 1131402241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27665 13086 16 0 209524 0
vsize: 838160
[startup+660.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 62954 61 0 0 25 0 11 0 836466887 858275840 27723 4294967295 134512640 134569956 3221224384 3221214728 1131399543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27723 13086 16 0 209524 0
vsize: 838160
[startup+670.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 63931 62 0 0 25 0 11 0 836466887 858275840 27752 4294967295 134512640 134569956 3221224384 3221213992 1131384714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27752 13086 16 0 209524 0
vsize: 838160
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 64898 62 0 0 24 0 11 0 836466887 858275840 27826 4294967295 134512640 134569956 3221224384 3221214784 1131402520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27826 13086 16 0 209524 0
vsize: 838160
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 65887 62 0 0 25 0 11 0 836466887 858275840 27852 4294967295 134512640 134569956 3221224384 3221213740 1131384651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27852 13086 16 0 209524 0
vsize: 838160
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 66855 63 0 0 25 0 11 0 836466887 858275840 27918 4294967295 134512640 134569956 3221224384 3221213564 1131371721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27918 13086 16 0 209524 0
vsize: 838160
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 67833 63 0 0 25 0 11 0 836466887 858275840 27954 4294967295 134512640 134569956 3221224384 3221213736 1131617384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27954 13086 16 0 209524 0
vsize: 838160
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 68811 63 0 0 25 0 11 0 836466887 858275840 27989 4294967295 134512640 134569956 3221224384 3221214328 1131384663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 27989 13086 16 0 209524 0
vsize: 838160
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 69789 63 0 0 25 0 11 0 836466887 858275840 28030 4294967295 134512640 134569956 3221224384 3221213824 1131384505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28030 13086 16 0 209524 0
vsize: 838160
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 70767 64 0 0 25 0 11 0 836466887 858275840 28056 4294967295 134512640 134569956 3221224384 3221214352 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28056 13086 16 0 209524 0
vsize: 838160
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 71744 64 0 0 25 0 11 0 836466887 858275840 28147 4294967295 134512640 134569956 3221224384 3221214296 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28147 13086 16 0 209524 0
vsize: 838160
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 72722 65 0 0 25 0 11 0 836466887 858275840 28202 4294967295 134512640 134569956 3221224384 3221214736 1131293200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28202 13086 16 0 209524 0
vsize: 838160
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 73700 65 0 0 25 0 11 0 836466887 858275840 28249 4294967295 134512640 134569956 3221224384 3221214656 1131333256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28249 13086 16 0 209524 0
vsize: 838160
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 74680 66 0 0 25 0 11 0 836466887 858275840 28288 4294967295 134512640 134569956 3221224384 3221214784 1131402440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28288 13086 16 0 209524 0
vsize: 838160
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 75659 66 0 0 25 0 11 0 836466887 858275840 28324 4294967295 134512640 134569956 3221224384 3221214844 1131414057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28324 13086 16 0 209524 0
vsize: 838160
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 76638 66 0 0 25 0 11 0 836466887 858275840 28364 4294967295 134512640 134569956 3221224384 3221214728 1131399613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28364 13086 16 0 209524 0
vsize: 838160
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 77616 66 0 0 25 0 11 0 836466887 858275840 28406 4294967295 134512640 134569956 3221224384 3221214184 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28406 13086 16 0 209524 0
vsize: 838160
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1398
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 78595 67 0 0 25 0 11 0 836466887 858275840 28441 4294967295 134512640 134569956 3221224384 3221214752 1131425616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28441 13086 16 0 209524 0
vsize: 838160
[startup+830.097 s]
Raw data (loadavg): 1.08 1.02 1.01 3/67 1436
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 79578 68 0 0 25 0 11 0 836466887 858275840 28480 4294967295 134512640 134569956 3221224384 3221214360 1131620764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28480 13086 16 0 209524 0
vsize: 838160
[startup+840.097 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 80556 68 0 0 25 0 11 0 836466887 858275840 28518 4294967295 134512640 134569956 3221224384 3221213544 1085679454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28518 13086 16 0 209524 0
vsize: 838160
[startup+850.097 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 81535 68 0 0 25 0 11 0 836466887 858275840 28554 4294967295 134512640 134569956 3221224384 3221214584 1131485010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28554 13086 16 0 209524 0
vsize: 838160
[startup+860.098 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 82513 69 0 0 25 0 11 0 836466887 858275840 28599 4294967295 134512640 134569956 3221224384 3221213764 1131384600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28599 13086 16 0 209524 0
vsize: 838160
[startup+870.098 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 83490 69 0 0 25 0 11 0 836466887 858275840 28639 4294967295 134512640 134569956 3221224384 3221213928 1131372335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28639 13086 16 0 209524 0
vsize: 838160
[startup+880.098 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 84468 69 0 0 25 0 11 0 836466887 858275840 28677 4294967295 134512640 134569956 3221224384 3221214096 1131372348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28677 13086 16 0 209524 0
vsize: 838160
[startup+890.099 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 85457 70 0 0 25 0 11 0 836466887 858275840 28704 4294967295 134512640 134569956 3221224384 3221213736 1131617432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28704 13086 16 0 209524 0
vsize: 838160
[startup+900.099 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1451
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 86434 70 0 0 25 0 11 0 836466887 858275840 28746 4294967295 134512640 134569956 3221224384 3221214680 1131375788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28746 13086 16 0 209524 0
vsize: 838160
[startup+910.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 87413 71 0 0 25 0 11 0 836466887 858275840 28790 4294967295 134512640 134569956 3221224384 3221214784 1131402675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28790 13086 16 0 209524 0
vsize: 838160
[startup+920.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 88401 71 0 0 25 0 11 0 836466887 858275840 28819 4294967295 134512640 134569956 3221224384 3221214728 1131399549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28819 13086 16 0 209524 0
vsize: 838160
[startup+930.101 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 89379 71 0 0 25 0 11 0 836466887 858275840 28855 4294967295 134512640 134569956 3221224384 3221214560 1131401137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28855 13086 16 0 209524 0
vsize: 838160
[startup+940.102 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 90358 71 0 0 25 0 11 0 836466887 858275840 28889 4294967295 134512640 134569956 3221224384 3221213904 1131617388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28889 13086 16 0 209524 0
vsize: 838160
[startup+950.102 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 91346 72 0 0 25 0 11 0 836466887 858275840 28906 4294967295 134512640 134569956 3221224384 3221214264 1131372327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28906 13086 16 0 209524 0
vsize: 838160
[startup+960.101 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 92325 72 0 0 25 0 11 0 836466887 858275840 28947 4294967295 134512640 134569956 3221224384 3221214096 1131372393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 28947 13086 16 0 209524 0
vsize: 838160
[startup+970.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 93304 72 0 0 25 0 11 0 836466887 858275840 28997 4294967295 134512640 134569956 3221224384 3221214484 1131372331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 28997 13086 16 0 209524 0
vsize: 838160
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 94293 73 0 0 25 0 11 0 836466887 858275840 29024 4294967295 134512640 134569956 3221224384 3221213812 1131384742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29024 13086 16 0 209524 0
vsize: 838160
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 95282 73 0 0 25 0 11 0 836466887 858275840 29042 4294967295 134512640 134569956 3221224384 3221214784 1131402398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29042 13086 16 0 209524 0
vsize: 838160
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 96259 73 0 0 25 0 11 0 836466887 858275840 29081 4294967295 134512640 134569956 3221224384 3221214648 1131567806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29081 13086 16 0 209524 0
vsize: 838160
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 97237 74 0 0 25 0 11 0 836466887 858275840 29121 4294967295 134512640 134569956 3221224384 3221213848 1131617445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29121 13086 16 0 209524 0
vsize: 838160
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 98225 74 0 0 25 0 11 0 836466887 858275840 29137 4294967295 134512640 134569956 3221224384 3221214068 1131371712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29137 13086 16 0 209524 0
vsize: 838160
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 99203 74 0 0 25 0 11 0 836466887 858275840 29173 4294967295 134512640 134569956 3221224384 3221214648 1131563637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29173 13086 16 0 209524 0
vsize: 838160
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) S 1387 25399 25398 0 -1 0 18082 0 1 0 100183 75 0 0 25 0 11 0 836466887 858275840 29198 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29198 13086 16 0 209524 0
vsize: 838160
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 101168 75 0 0 25 0 11 0 836466887 858275840 29242 4294967295 134512640 134569956 3221224384 3221214544 1131376239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29242 13086 16 0 209524 0
vsize: 838160
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 102145 75 0 0 25 0 11 0 836466887 858275840 29277 4294967295 134512640 134569956 3221224384 3221214648 1131566343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29277 13086 16 0 209524 0
vsize: 838160
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 103134 76 0 0 25 0 11 0 836466887 858275840 29294 4294967295 134512640 134569956 3221224384 3221213880 1131384514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29294 13086 16 0 209524 0
vsize: 838160
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 104110 76 0 0 25 0 11 0 836466887 858275840 29343 4294967295 134512640 134569956 3221224384 3221213680 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29343 13086 16 0 209524 0
vsize: 838160
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 105099 76 0 0 25 0 11 0 836466887 858275840 29366 4294967295 134512640 134569956 3221224384 3221214728 1131399517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29366 13086 16 0 209524 0
vsize: 838160
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 106076 76 0 0 25 0 11 0 836466887 858275840 29404 4294967295 134512640 134569956 3221224384 3221213992 1131384604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29404 13086 16 0 209524 0
vsize: 838160
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 107064 77 0 0 25 0 11 0 836466887 858275840 29421 4294967295 134512640 134569956 3221224384 3221214648 1131569898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29421 13086 16 0 209524 0
vsize: 838160
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 108040 77 0 0 25 0 11 0 836466887 858275840 29461 4294967295 134512640 134569956 3221224384 3221214552 1131333256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 29461 13086 16 0 209524 0
vsize: 838160
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 109017 77 0 0 25 0 11 0 836466887 858275840 29499 4294967295 134512640 134569956 3221224384 3221214264 1131372147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29499 13086 16 0 209524 0
vsize: 838160
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1453
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 110005 78 0 0 25 0 11 0 836466887 858275840 29520 4294967295 134512640 134569956 3221224384 3221213904 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29520 13086 16 0 209524 0
vsize: 838160
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 110982 78 0 0 25 0 11 0 836466887 858275840 29566 4294967295 134512640 134569956 3221224384 3221214820 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29566 13086 16 0 209524 0
vsize: 838160
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 111970 78 0 0 25 0 11 0 836466887 858275840 29585 4294967295 134512640 134569956 3221224384 3221214768 1131401609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29585 13086 16 0 209524 0
vsize: 838160
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 112947 78 0 0 25 0 11 0 836466887 858275840 29629 4294967295 134512640 134569956 3221224384 3221214780 1131230764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29629 13086 16 0 209524 0
vsize: 838160
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 113935 79 0 0 25 0 11 0 836466887 858275840 29662 4294967295 134512640 134569956 3221224384 3221213736 1131617426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29662 13086 16 0 209524 0
vsize: 838160
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 114912 79 0 0 25 0 11 0 836466887 858275840 29711 4294967295 134512640 134569956 3221224384 3221214780 1131395625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29711 13086 16 0 209524 0
vsize: 838160
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 115901 79 0 0 25 0 11 0 836466887 858275840 29733 4294967295 134512640 134569956 3221224384 3221214648 1131569050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29733 13086 16 0 209524 0
vsize: 838160
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 116878 80 0 0 25 0 11 0 836466887 858275840 29784 4294967295 134512640 134569956 3221224384 3221214648 1131565179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29784 13086 16 0 209524 0
vsize: 838160
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 117856 80 0 0 25 0 11 0 836466887 858275840 29830 4294967295 134512640 134569956 3221224384 3221214160 1131384505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29830 13086 16 0 209524 0
vsize: 838160
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 118845 80 0 0 25 0 11 0 836466887 858275840 29852 4294967295 134512640 134569956 3221224384 3221213820 1131384656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29852 13086 16 0 209524 0
vsize: 838160
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 119823 80 0 0 25 0 11 0 836466887 858275840 29892 4294967295 134512640 134569956 3221224384 3221213792 1131617140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209540 29892 13086 16 0 209524 0
vsize: 838160
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1455
Raw data (stat): 1388 (java) R 1387 25399 25398 0 -1 0 18082 0 1 0 120811 81 0 0 25 0 11 0 836466887 858275840 29914 4294967295 134512640 134569956 3221224384 3221213932 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209540 29914 13086 16 0 209524 0
vsize: 838160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1457
Raw data (stat): 1388 (java) Z 1387 25399 25398 0 -1 1036 18082 10365 1 0 120816 81 3854 23 25 0 1 0 836466887 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): 1250.23
CPU time (s): 1247.76
CPU user time (s): 1246.71
CPU system time (s): 1.04884
CPU usage (%): 99.8025
Max. virtual memory (Kb): 842208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####