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.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 29381

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 07:04:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20773 boxname=wulflinc8 idbench=363 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc8/normalized-ppp:1-13.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-ppp:1-13.opb
IDLAUNCH: 20773
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        320480 kB
Buffers:         37580 kB
Cached:         650036 kB
SwapCached:          0 kB
Active:          78356 kB
Inactive:       616184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        320228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14084 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:25:46 (client local time) WITH STATUS 143 IN 1303.94 SECONDS
stats: 20773 7 1303.94 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/wulflinc8/normalized-ppp:1-13.opb
c reading problem ... done. Time 13.219 ms.
c #vars     4632
c #constraints  31138
c starts	: 10
c conflicts	: 7994
c decisions	: 22205
c propagations	: 255117
c inspects	: 5225405
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7994
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1299.105
#### 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.96 1.00 1.00 2/54 15549
Raw data (stat): 15549 (runsolver) R 15548 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 765146690 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.0035 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 15558
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18039 0 1 0 816 41 0 0 25 0 10 0 765146690 856379392 20599 4294967295 134512640 134569956 3221224384 3221213640 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209077 20599 13086 16 0 209061 0
vsize: 836308
[startup+20.0043 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18081 0 1 0 1529 42 0 0 24 0 11 0 765146690 860053504 27411 4294967295 134512640 134569956 3221224384 3221214376 1131492623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209974 27411 13086 16 0 209958 0
vsize: 839896
[startup+30.005 s]
Raw data (loadavg): 1.20 1.06 1.01 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 2485 42 0 0 25 0 11 0 765146690 858972160 27133 4294967295 134512640 134569956 3221224384 3221214576 1131247374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 27133 13086 16 0 209694 0
vsize: 838840
[startup+40.0053 s]
Raw data (loadavg): 1.17 1.06 1.01 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 3395 42 0 0 25 0 11 0 765146690 858972160 27470 4294967295 134512640 134569956 3221224384 3221214560 1131370353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 27470 13086 16 0 209694 0
vsize: 838840
[startup+50.0071 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 4324 43 0 0 25 0 11 0 765146690 858972160 27890 4294967295 134512640 134569956 3221224384 3221214288 1078022145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 27890 13086 16 0 209694 0
vsize: 838840
[startup+60.0098 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 5253 43 0 0 25 0 11 0 765146690 858972160 28456 4294967295 134512640 134569956 3221224384 3221214544 1131366322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209710 28456 13086 16 0 209694 0
vsize: 838840
[startup+70.0102 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 15559
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 6189 43 0 0 25 0 11 0 765146690 858972160 28878 4294967295 134512640 134569956 3221224384 3221214440 1131210979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 28878 13086 16 0 209694 0
vsize: 838840
[startup+80.0109 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 7105 44 0 0 25 0 11 0 765146690 858972160 29411 4294967295 134512640 134569956 3221224384 3221214200 1131245227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 29411 13086 16 0 209694 0
vsize: 838840
[startup+90.0106 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 8020 44 0 0 25 0 11 0 765146690 858972160 30115 4294967295 134512640 134569956 3221224384 3221214744 1131383318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209710 30115 13086 16 0 209694 0
vsize: 838840
[startup+100.012 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 8945 44 0 0 25 0 11 0 765146690 858972160 30318 4294967295 134512640 134569956 3221224384 3221214624 1131210979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 30318 13086 16 0 209694 0
vsize: 838840
[startup+110.013 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 9887 45 0 0 25 0 11 0 765146690 858972160 30601 4294967295 134512640 134569956 3221224384 3221214560 1131247782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 30601 13086 16 0 209694 0
vsize: 838840
[startup+120.013 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 10801 45 0 0 25 0 11 0 765146690 858972160 30973 4294967295 134512640 134569956 3221224384 3221214664 1131412236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 30973 13086 16 0 209694 0
vsize: 838840
[startup+130.014 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 11726 45 0 0 24 0 11 0 765146690 858972160 31232 4294967295 134512640 134569956 3221224384 3221214664 1131413192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31232 13086 16 0 209694 0
vsize: 838840
[startup+140.015 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 12663 46 0 0 25 0 11 0 765146690 858972160 31453 4294967295 134512640 134569956 3221224384 3221214440 1131210979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31453 13086 16 0 209694 0
vsize: 838840
[startup+150.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 13597 46 0 0 25 0 11 0 765146690 858972160 31589 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31589 13086 16 0 209694 0
vsize: 838840
[startup+160.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 14528 46 0 0 25 0 11 0 765146690 858972160 31739 4294967295 134512640 134569956 3221224384 3221214560 1131247761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31739 13086 16 0 209694 0
vsize: 838840
[startup+170.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 15458 46 0 0 25 0 11 0 765146690 858972160 31889 4294967295 134512640 134569956 3221224384 3221214856 1131578224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31889 13086 16 0 209694 0
vsize: 838840
[startup+180.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 16403 46 0 0 25 0 11 0 765146690 858972160 31992 4294967295 134512640 134569956 3221224384 3221214544 1131366294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 31992 13086 16 0 209694 0
vsize: 838840
[startup+190.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 17339 47 0 0 25 0 11 0 765146690 858972160 32201 4294967295 134512640 134569956 3221224384 3221214664 1131412180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32201 13086 16 0 209694 0
vsize: 838840
[startup+200.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 18279 47 0 0 25 0 11 0 765146690 858972160 32397 4294967295 134512640 134569956 3221224384 3221214664 1131413104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32397 13086 16 0 209694 0
vsize: 838840
[startup+210.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 19231 47 0 0 25 0 11 0 765146690 858972160 32534 4294967295 134512640 134569956 3221224384 3221214664 1131411140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32534 13086 16 0 209694 0
vsize: 838840
[startup+220.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 20176 47 0 0 25 0 11 0 765146690 858972160 32696 4294967295 134512640 134569956 3221224384 3221214512 1131370970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32696 13086 16 0 209694 0
vsize: 838840
[startup+230.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 21127 47 0 0 25 0 11 0 765146690 858972160 32793 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32793 13086 16 0 209694 0
vsize: 838840
[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 22072 47 0 0 25 0 11 0 765146690 858972160 32920 4294967295 134512640 134569956 3221224384 3221214560 1131248240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 32920 13086 16 0 209694 0
vsize: 838840
[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 23015 48 0 0 25 0 11 0 765146690 858972160 33050 4294967295 134512640 134569956 3221224384 3221214560 1131247665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33050 13086 16 0 209694 0
vsize: 838840
[startup+260.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 23958 48 0 0 25 0 11 0 765146690 858972160 33187 4294967295 134512640 134569956 3221224384 3221214664 1131413504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33187 13086 16 0 209694 0
vsize: 838840
[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 24910 48 0 0 25 0 11 0 765146690 858972160 33292 4294967295 134512640 134569956 3221224384 3221214492 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33292 13086 16 0 209694 0
vsize: 838840
[startup+280.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 25854 49 0 0 25 0 11 0 765146690 858972160 33432 4294967295 134512640 134569956 3221224384 3221214560 1131247362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33432 13086 16 0 209694 0
vsize: 838840
[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 26800 50 0 0 25 0 11 0 765146690 858972160 33564 4294967295 134512640 134569956 3221224384 3221214560 1131247551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33564 13086 16 0 209694 0
vsize: 838840
[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 27755 50 0 0 25 0 11 0 765146690 858972160 33677 4294967295 134512640 134569956 3221224384 3221214312 1131486078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33677 13086 16 0 209694 0
vsize: 838840
[startup+310.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 28701 50 0 0 25 0 11 0 765146690 858972160 33813 4294967295 134512640 134569956 3221224384 3221214560 1131248292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33813 13086 16 0 209694 0
vsize: 838840
[startup+320.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 29634 50 0 0 25 0 11 0 765146690 858972160 33940 4294967295 134512640 134569956 3221224384 3221214544 1131366275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 33940 13086 16 0 209694 0
vsize: 838840
[startup+330.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 30554 51 0 0 25 0 11 0 765146690 858972160 34197 4294967295 134512640 134569956 3221224384 3221214512 1131206580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 34197 13086 16 0 209694 0
vsize: 838840
[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 31489 51 0 0 25 0 11 0 765146690 858972160 34446 4294967295 134512640 134569956 3221224384 3221214440 1131210830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 34446 13086 16 0 209694 0
vsize: 838840
[startup+350.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 32413 51 0 0 25 0 11 0 765146690 858972160 34708 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 34708 13086 16 0 209694 0
vsize: 838840
[startup+360.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 33353 51 0 0 25 0 11 0 765146690 858972160 35022 4294967295 134512640 134569956 3221224384 3221214664 1131410941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 35022 13086 16 0 209694 0
vsize: 838840
[startup+370.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 34288 51 0 0 25 0 11 0 765146690 858972160 35255 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 35255 13086 16 0 209694 0
vsize: 838840
[startup+380.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 35220 52 0 0 25 0 11 0 765146690 858972160 35568 4294967295 134512640 134569956 3221224384 3221214544 1131369266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 35568 13086 16 0 209694 0
vsize: 838840
[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 36146 52 0 0 25 0 11 0 765146690 858972160 36154 4294967295 134512640 134569956 3221224384 3221214544 1131366275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 36154 13086 16 0 209694 0
vsize: 838840
[startup+400.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 37082 52 0 0 25 0 11 0 765146690 858972160 36649 4294967295 134512640 134569956 3221224384 3221214664 1131413411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 36649 13086 16 0 209694 0
vsize: 838840
[startup+410.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 38011 52 0 0 25 0 11 0 765146690 858972160 36888 4294967295 134512640 134569956 3221224384 3221214432 1131391438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 36888 13086 16 0 209694 0
vsize: 838840
[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 38941 52 0 0 25 0 11 0 765146690 858972160 37168 4294967295 134512640 134569956 3221224384 3221214512 1131370896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 37168 13086 16 0 209694 0
vsize: 838840
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 39870 53 0 0 25 0 11 0 765146690 858972160 37437 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 37437 13086 16 0 209694 0
vsize: 838840
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 40799 53 0 0 25 0 11 0 765146690 858972160 37665 4294967295 134512640 134569956 3221224384 3221214440 1131210830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 37665 13086 16 0 209694 0
vsize: 838840
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 41728 53 0 0 25 0 11 0 765146690 858972160 37927 4294967295 134512640 134569956 3221224384 3221214560 1131247325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 37927 13086 16 0 209694 0
vsize: 838840
[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 42643 53 0 0 25 0 11 0 765146690 858972160 38393 4294967295 134512640 134569956 3221224384 3221214512 1131370931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 38393 13086 16 0 209694 0
vsize: 838840
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 43560 54 0 0 25 0 11 0 765146690 858972160 38775 4294967295 134512640 134569956 3221224384 3221214516 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 38775 13086 16 0 209694 0
vsize: 838840
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 44487 54 0 0 25 0 11 0 765146690 858972160 39082 4294967295 134512640 134569956 3221224384 3221214544 1131366307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 39082 13086 16 0 209694 0
vsize: 838840
[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 45429 54 0 0 25 0 11 0 765146690 858972160 39232 4294967295 134512640 134569956 3221224384 3221214540 1131370376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 39232 13086 16 0 209694 0
vsize: 838840
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 46347 55 0 0 25 0 11 0 765146690 858972160 39454 4294967295 134512640 134569956 3221224384 3221214664 1131411140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 39454 13086 16 0 209694 0
vsize: 838840
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 47273 55 0 0 25 0 11 0 765146690 858972160 39808 4294967295 134512640 134569956 3221224384 3221214432 1131392698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 39808 13086 16 0 209694 0
vsize: 838840
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 48204 55 0 0 25 0 11 0 765146690 858972160 40128 4294967295 134512640 134569956 3221224384 3221214428 1131516872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 40128 13086 16 0 209694 0
vsize: 838840
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 49138 56 0 0 25 0 11 0 765146690 858972160 40389 4294967295 134512640 134569956 3221224384 3221214544 1131369190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 40389 13086 16 0 209694 0
vsize: 838840
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 50062 56 0 0 25 0 11 0 765146690 858972160 40714 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 40714 13086 16 0 209694 0
vsize: 838840
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 51001 56 0 0 25 0 11 0 765146690 858972160 40968 4294967295 134512640 134569956 3221224384 3221214480 1131340507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 40968 13086 16 0 209694 0
vsize: 838840
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 51929 57 0 0 25 0 11 0 765146690 858972160 41202 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 41202 13086 16 0 209694 0
vsize: 838840
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 52855 57 0 0 25 0 11 0 765146690 858972160 41457 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 41457 13086 16 0 209694 0
vsize: 838840
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 53781 58 0 0 25 0 11 0 765146690 858972160 41701 4294967295 134512640 134569956 3221224384 3221214560 1131247417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 41701 13086 16 0 209694 0
vsize: 838840
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 54708 58 0 0 25 0 11 0 765146690 858972160 41949 4294967295 134512640 134569956 3221224384 3221214544 1131366440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 41949 13086 16 0 209694 0
vsize: 838840
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 55634 58 0 0 25 0 11 0 765146690 858972160 42200 4294967295 134512640 134569956 3221224384 3221214664 1131414893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 42200 13086 16 0 209694 0
vsize: 838840
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 56561 58 0 0 25 0 11 0 765146690 858972160 42380 4294967295 134512640 134569956 3221224384 3221214560 1131247333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 42380 13086 16 0 209694 0
vsize: 838840
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 57487 59 0 0 25 0 11 0 765146690 858972160 42606 4294967295 134512640 134569956 3221224384 3221214852 1131204640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 42606 13086 16 0 209694 0
vsize: 838840
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 58413 59 0 0 25 0 11 0 765146690 858972160 42803 4294967295 134512640 134569956 3221224384 3221214560 1131247832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 42803 13086 16 0 209694 0
vsize: 838840
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 59340 60 0 0 25 0 11 0 765146690 858972160 43010 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 43010 13086 16 0 209694 0
vsize: 838840
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 60267 60 0 0 25 0 11 0 765146690 858972160 43201 4294967295 134512640 134569956 3221224384 3221214520 1131270658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 43201 13086 16 0 209694 0
vsize: 838840
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 61195 60 0 0 25 0 11 0 765146690 858972160 43387 4294967295 134512640 134569956 3221224384 3221214560 1131247803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 43387 13086 16 0 209694 0
vsize: 838840
[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 62122 60 0 0 25 0 11 0 765146690 858972160 43546 4294967295 134512640 134569956 3221224384 3221214560 1131247537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 43546 13086 16 0 209694 0
vsize: 838840
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 63038 61 0 0 25 0 11 0 765146690 858972160 43736 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 43736 13086 16 0 209694 0
vsize: 838840
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 63951 61 0 0 25 0 11 0 765146690 858972160 44018 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 44018 13086 16 0 209694 0
vsize: 838840
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 64865 61 0 0 25 0 11 0 765146690 858972160 44228 4294967295 134512640 134569956 3221224384 3221214560 1131247803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 44228 13086 16 0 209694 0
vsize: 838840
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 65774 61 0 0 25 0 11 0 765146690 858972160 44462 4294967295 134512640 134569956 3221224384 3221214560 1131247803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 44462 13086 16 0 209694 0
vsize: 838840
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 66695 61 0 0 25 0 11 0 765146690 858972160 44768 4294967295 134512640 134569956 3221224384 3221214728 1131359456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 44768 13086 16 0 209694 0
vsize: 838840
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 67609 61 0 0 25 0 11 0 765146690 858972160 45064 4294967295 134512640 134569956 3221224384 3221214540 1131270496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 45064 13086 16 0 209694 0
vsize: 838840
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 68526 61 0 0 25 0 11 0 765146690 858972160 45307 4294967295 134512640 134569956 3221224384 3221214480 1131237306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 45307 13086 16 0 209694 0
vsize: 838840
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 69445 62 0 0 25 0 11 0 765146690 858972160 45511 4294967295 134512640 134569956 3221224384 3221214664 1131412222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 45511 13086 16 0 209694 0
vsize: 838840
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 70363 63 0 0 25 0 11 0 765146690 858972160 45749 4294967295 134512640 134569956 3221224384 3221214560 1131247408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 45749 13086 16 0 209694 0
vsize: 838840
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 71283 63 0 0 25 0 11 0 765146690 858972160 45878 4294967295 134512640 134569956 3221224384 3221214560 1131247471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 45878 13086 16 0 209694 0
vsize: 838840
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 72202 63 0 0 25 0 11 0 765146690 858972160 46100 4294967295 134512640 134569956 3221224384 3221214664 1131410963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 46100 13086 16 0 209694 0
vsize: 838840
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 73118 63 0 0 25 0 11 0 765146690 858972160 46311 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 46311 13086 16 0 209694 0
vsize: 838840
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 74046 64 0 0 25 0 11 0 765146690 858972160 46557 4294967295 134512640 134569956 3221224384 3221214440 1131210979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 46557 13086 16 0 209694 0
vsize: 838840
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 74981 64 0 0 25 0 11 0 765146690 858972160 46715 4294967295 134512640 134569956 3221224384 3221214664 1131411268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 46715 13086 16 0 209694 0
vsize: 838840
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 75906 64 0 0 25 0 11 0 765146690 858972160 46882 4294967295 134512640 134569956 3221224384 3221214728 1131358620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 46882 13086 16 0 209694 0
vsize: 838840
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 76840 65 0 0 25 0 11 0 765146690 858972160 47003 4294967295 134512640 134569956 3221224384 3221214440 1131211102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47003 13086 16 0 209694 0
vsize: 838840
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 77771 65 0 0 25 0 11 0 765146690 858972160 47129 4294967295 134512640 134569956 3221224384 3221214560 1131247803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47129 13086 16 0 209694 0
vsize: 838840
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 78700 65 0 0 25 0 11 0 765146690 858972160 47266 4294967295 134512640 134569956 3221224384 3221214544 1131366348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47266 13086 16 0 209694 0
vsize: 838840
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 79618 65 0 0 24 0 11 0 765146690 858972160 47465 4294967295 134512640 134569956 3221224384 3221214664 1131411080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47465 13086 16 0 209694 0
vsize: 838840
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 80550 65 0 0 25 0 11 0 765146690 858972160 47605 4294967295 134512640 134569956 3221224384 3221214432 1131393524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47605 13086 16 0 209694 0
vsize: 838840
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 81483 66 0 0 25 0 11 0 765146690 858972160 47778 4294967295 134512640 134569956 3221224384 3221214664 1131411212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47778 13086 16 0 209694 0
vsize: 838840
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 82408 66 0 0 25 0 11 0 765146690 858972160 47965 4294967295 134512640 134569956 3221224384 3221214512 1131370896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 47965 13086 16 0 209694 0
vsize: 838840
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 83343 66 0 0 25 0 11 0 765146690 858972160 48110 4294967295 134512640 134569956 3221224384 3221214560 1131248061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48110 13086 16 0 209694 0
vsize: 838840
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 84275 66 0 0 25 0 11 0 765146690 858972160 48234 4294967295 134512640 134569956 3221224384 3221214560 1131247529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48234 13086 16 0 209694 0
vsize: 838840
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 85195 67 0 0 25 0 11 0 765146690 858972160 48386 4294967295 134512640 134569956 3221224384 3221214440 1131211200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48386 13086 16 0 209694 0
vsize: 838840
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 86113 67 0 0 25 0 11 0 765146690 858972160 48537 4294967295 134512640 134569956 3221224384 3221214560 1131248270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48537 13086 16 0 209694 0
vsize: 838840
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 87039 67 0 0 25 0 11 0 765146690 858972160 48736 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48736 13086 16 0 209694 0
vsize: 838840
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 87973 68 0 0 25 0 11 0 765146690 858972160 48914 4294967295 134512640 134569956 3221224384 3221214520 1131270646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 48914 13086 16 0 209694 0
vsize: 838840
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 88908 69 0 0 25 0 11 0 765146690 858972160 49086 4294967295 134512640 134569956 3221224384 3221214664 1131415888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49086 13086 16 0 209694 0
vsize: 838840
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 89846 69 0 0 25 0 11 0 765146690 858972160 49234 4294967295 134512640 134569956 3221224384 3221214560 1131248368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49234 13086 16 0 209694 0
vsize: 838840
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 90783 69 0 0 25 0 11 0 765146690 858972160 49370 4294967295 134512640 134569956 3221224384 3221214664 1131415863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49370 13086 16 0 209694 0
vsize: 838840
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 91719 70 0 0 25 0 11 0 765146690 858972160 49482 4294967295 134512640 134569956 3221224384 3221214560 1131247761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49482 13086 16 0 209694 0
vsize: 838840
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 92652 70 0 0 25 0 11 0 765146690 858972160 49627 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49627 13086 16 0 209694 0
vsize: 838840
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 93595 71 0 0 25 0 11 0 765146690 858972160 49733 4294967295 134512640 134569956 3221224384 3221214664 1131411098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49733 13086 16 0 209694 0
vsize: 838840
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 94533 71 0 0 25 0 11 0 765146690 858972160 49867 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49867 13086 16 0 209694 0
vsize: 838840
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 95473 71 0 0 25 0 11 0 765146690 858972160 49984 4294967295 134512640 134569956 3221224384 3221214432 1131391941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 49984 13086 16 0 209694 0
vsize: 838840
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 96414 72 0 0 25 0 11 0 765146690 858972160 50111 4294967295 134512640 134569956 3221224384 3221214664 1131415873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50111 13086 16 0 209694 0
vsize: 838840
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 97348 72 0 0 25 0 11 0 765146690 858972160 50230 4294967295 134512640 134569956 3221224384 3221214128 1131294471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50230 13086 16 0 209694 0
vsize: 838840
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 98291 72 0 0 25 0 11 0 765146690 858972160 50364 4294967295 134512640 134569956 3221224384 3221214560 1131248301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50364 13086 16 0 209694 0
vsize: 838840
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 99229 72 0 0 25 0 11 0 765146690 858972160 50478 4294967295 134512640 134569956 3221224384 3221214664 1131412196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50478 13086 16 0 209694 0
vsize: 838840
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 100173 72 0 0 25 0 11 0 765146690 858972160 50599 4294967295 134512640 134569956 3221224384 3221214560 1131248283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50599 13086 16 0 209694 0
vsize: 838840
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 101111 72 0 0 25 0 11 0 765146690 858972160 50725 4294967295 134512640 134569956 3221224384 3221214788 1131253728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50725 13086 16 0 209694 0
vsize: 838840
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 102055 73 0 0 25 0 11 0 765146690 858972160 50823 4294967295 134512640 134569956 3221224384 3221214664 1131412240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50823 13086 16 0 209694 0
vsize: 838840
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 102995 73 0 0 25 0 11 0 765146690 858972160 50917 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 50917 13086 16 0 209694 0
vsize: 838840
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 103931 73 0 0 25 0 11 0 765146690 858972160 51069 4294967295 134512640 134569956 3221224384 3221214560 1131247832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51069 13086 16 0 209694 0
vsize: 838840
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 104873 74 0 0 25 0 11 0 765146690 858972160 51182 4294967295 134512640 134569956 3221224384 3221214544 1131366416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51182 13086 16 0 209694 0
vsize: 838840
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 105814 74 0 0 25 0 11 0 765146690 858972160 51289 4294967295 134512640 134569956 3221224384 3221214560 1131248032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51289 13086 16 0 209694 0
vsize: 838840
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 106745 74 0 0 25 0 11 0 765146690 858972160 51426 4294967295 134512640 134569956 3221224384 3221214492 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51426 13086 16 0 209694 0
vsize: 838840
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 107686 74 0 0 25 0 11 0 765146690 858972160 51540 4294967295 134512640 134569956 3221224384 3221214560 1131247333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51540 13086 16 0 209694 0
vsize: 838840
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 108617 74 0 0 25 0 11 0 765146690 858972160 51669 4294967295 134512640 134569956 3221224384 3221214664 1131411147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51669 13086 16 0 209694 0
vsize: 838840
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 109559 75 0 0 25 0 11 0 765146690 858972160 51793 4294967295 134512640 134569956 3221224384 3221214560 1131247683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51793 13086 16 0 209694 0
vsize: 838840
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 110499 76 0 0 25 0 11 0 765146690 858972160 51926 4294967295 134512640 134569956 3221224384 3221214520 1131270679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 51926 13086 16 0 209694 0
vsize: 838840
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 111435 76 0 0 25 0 11 0 765146690 858972160 52035 4294967295 134512640 134569956 3221224384 3221214560 1131247984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 52035 13086 16 0 209694 0
vsize: 838840
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) S 15548 3132 3131 0 -1 0 18082 0 1 0 112364 76 0 0 25 0 11 0 765146690 858972160 52141 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 52141 13086 16 0 209694 0
vsize: 838840
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 113290 76 0 0 25 0 11 0 765146690 858972160 52252 4294967295 134512640 134569956 3221224384 3221214664 1131414758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 52252 13086 16 0 209694 0
vsize: 838840
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 114208 77 0 0 25 0 11 0 765146690 858972160 52434 4294967295 134512640 134569956 3221224384 3221214828 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 52434 13086 16 0 209694 0
vsize: 838840
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 115119 77 0 0 25 0 11 0 765146690 858972160 52758 4294967295 134512640 134569956 3221224384 3221214560 1131247759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 52758 13086 16 0 209694 0
vsize: 838840
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 116016 77 0 0 25 0 11 0 765146690 858972160 53050 4294967295 134512640 134569956 3221224384 3221214560 1131247803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 53050 13086 16 0 209694 0
vsize: 838840
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 116937 77 0 0 25 0 11 0 765146690 858972160 53293 4294967295 134512640 134569956 3221224384 3221214664 1131411251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 53293 13086 16 0 209694 0
vsize: 838840
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 117861 77 0 0 25 0 11 0 765146690 858972160 53509 4294967295 134512640 134569956 3221224384 3221214520 1131370329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 53509 13086 16 0 209694 0
vsize: 838840
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 118786 78 0 0 25 0 11 0 765146690 858972160 53752 4294967295 134512640 134569956 3221224384 3221214560 1131247871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 53752 13086 16 0 209694 0
vsize: 838840
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 119701 78 0 0 25 0 11 0 765146690 858972160 53994 4294967295 134512640 134569956 3221224384 3221214544 1131366361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 53994 13086 16 0 209694 0
vsize: 838840
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15561
Raw data (stat): 15549 (java) R 15548 3132 3131 0 -1 0 18082 0 1 0 120617 79 0 0 25 0 11 0 765146690 858972160 54152 4294967295 134512640 134569956 3221224384 3221214664 1131413192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209710 54152 13086 16 0 209694 0
vsize: 838840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 15563
Raw data (stat): 15549 (java) Z 15548 3132 3131 0 -1 1036 18082 37713 1 0 120622 79 9610 82 25 0 1 0 765146690 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1300.23
CPU time (s): 1303.94
CPU user time (s): 1302.33
CPU system time (s): 1.61875
CPU usage (%): 100.286
Max. virtual memory (Kb): 839896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####