PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.965852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30084

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 14:36:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21487 boxname=wulflinc9 idbench=1475 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 21487
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        440732 kB
Buffers:         35340 kB
Cached:         536432 kB
SwapCached:        584 kB
Active:          67144 kB
Inactive:       506816 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        440480 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            14324 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:58:45 (client local time) WITH STATUS 143 IN 1309.63 SECONDS
stats: 21487 7 1309.63 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/wulflinc9/normalized-mps-v2-13-7-n370d.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.157
#### 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.86 0.97 0.99 2/54 20822
Raw data (stat): 20822 (runsolver) R 20821 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781428818 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 869 37 0 0 25 0 10 0 781428818 853610496 19264 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 19264 13086 16 0 208385 0
vsize: 833604
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 1768 37 0 0 25 0 10 0 781428818 853610496 19773 4294967295 134512640 134569956 3221224368 3221214688 1131208065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 19773 13086 16 0 208385 0
vsize: 833604
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 2660 37 0 0 25 0 10 0 781428818 853610496 20269 4294967295 134512640 134569956 3221224368 3221214528 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 20269 13086 16 0 208385 0
vsize: 833604
[startup+40.0026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 3577 38 0 0 25 0 10 0 781428818 853610496 20683 4294967295 134512640 134569956 3221224368 3221214768 1131234209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 20683 13086 16 0 208385 0
vsize: 833604
[startup+50.0038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 4500 38 0 0 25 0 10 0 781428818 853610496 20846 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 20846 13086 16 0 208385 0
vsize: 833604
[startup+60.0046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 5417 38 0 0 25 0 10 0 781428818 853610496 20977 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 20977 13086 16 0 208385 0
vsize: 833604
[startup+70.0048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 6350 38 0 0 25 0 10 0 781428818 853610496 21180 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21180 13086 16 0 208385 0
vsize: 833604
[startup+80.0056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 7289 38 0 0 25 0 10 0 781428818 853610496 21282 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21282 13086 16 0 208385 0
vsize: 833604
[startup+90.0064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 8232 38 0 0 25 0 10 0 781428818 853610496 21369 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21369 13086 16 0 208385 0
vsize: 833604
[startup+100.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 9174 38 0 0 25 0 10 0 781428818 853610496 21455 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21455 13086 16 0 208385 0
vsize: 833604
[startup+110.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 10116 38 0 0 25 0 10 0 781428818 853610496 21535 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21535 13086 16 0 208385 0
vsize: 833604
[startup+120.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 11062 39 0 0 25 0 10 0 781428818 853610496 21607 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21607 13086 16 0 208385 0
vsize: 833604
[startup+130.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 12004 39 0 0 25 0 10 0 781428818 853610496 21679 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21679 13086 16 0 208385 0
vsize: 833604
[startup+140.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 12947 39 0 0 25 0 10 0 781428818 853610496 21745 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21745 13086 16 0 208385 0
vsize: 833604
[startup+150.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 13892 39 0 0 25 0 10 0 781428818 853610496 21810 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 21810 13086 16 0 208385 0
vsize: 833604
[startup+160.015 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 14835 39 0 0 24 0 10 0 781428818 853610496 21873 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 21873 13086 16 0 208385 0
vsize: 833604
[startup+170.015 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 15777 39 0 0 25 0 10 0 781428818 853610496 21931 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 21931 13086 16 0 208385 0
vsize: 833604
[startup+180.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 16687 39 0 0 24 0 10 0 781428818 853610496 21990 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 21990 13086 16 0 208385 0
vsize: 833604
[startup+190.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 17608 40 0 0 18 0 10 0 781428818 853610496 22301 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22301 13086 16 0 208385 0
vsize: 833604
[startup+200.019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 18546 40 0 0 25 0 10 0 781428818 853610496 22355 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22355 13086 16 0 208385 0
vsize: 833604
[startup+210.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 19487 40 0 0 25 0 10 0 781428818 853610496 22408 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22408 13086 16 0 208385 0
vsize: 833604
[startup+220.021 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 20424 41 0 0 24 0 10 0 781428818 853610496 22460 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22460 13086 16 0 208385 0
vsize: 833604
[startup+230.021 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 21365 41 0 0 25 0 10 0 781428818 853610496 22509 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22509 13086 16 0 208385 0
vsize: 833604
[startup+240.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 22301 41 0 0 25 0 10 0 781428818 853610496 22559 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22559 13086 16 0 208385 0
vsize: 833604
[startup+250.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 23240 41 0 0 25 0 10 0 781428818 853610496 22606 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22606 13086 16 0 208385 0
vsize: 833604
[startup+260.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 24176 42 0 0 25 0 10 0 781428818 853610496 22654 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22654 13086 16 0 208385 0
vsize: 833604
[startup+270.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 25111 42 0 0 24 0 10 0 781428818 853610496 22700 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22700 13086 16 0 208385 0
vsize: 833604
[startup+280.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 26050 43 0 0 25 0 10 0 781428818 853610496 22744 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22744 13086 16 0 208385 0
vsize: 833604
[startup+290.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 26984 43 0 0 24 0 10 0 781428818 853610496 22788 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22788 13086 16 0 208385 0
vsize: 833604
[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 27922 44 0 0 25 0 10 0 781428818 853610496 22830 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22830 13086 16 0 208385 0
vsize: 833604
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 28856 44 0 0 25 0 10 0 781428818 853610496 22873 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22873 13086 16 0 208385 0
vsize: 833604
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 29793 45 0 0 25 0 10 0 781428818 853610496 22913 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22913 13086 16 0 208385 0
vsize: 833604
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 30726 46 0 0 24 0 10 0 781428818 853610496 22955 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22955 13086 16 0 208385 0
vsize: 833604
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 31661 47 0 0 25 0 10 0 781428818 853610496 22994 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 22994 13086 16 0 208385 0
vsize: 833604
[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 32594 47 0 0 24 0 10 0 781428818 853610496 23035 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23035 13086 16 0 208385 0
vsize: 833604
[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 33529 47 0 0 25 0 10 0 781428818 853610496 23072 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23072 13086 16 0 208385 0
vsize: 833604
[startup+370.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 34463 48 0 0 25 0 10 0 781428818 853610496 23110 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23110 13086 16 0 208385 0
vsize: 833604
[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 35394 48 0 0 25 0 10 0 781428818 853610496 23149 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23149 13086 16 0 208385 0
vsize: 833604
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 36328 48 0 0 25 0 10 0 781428818 853610496 23185 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23185 13086 16 0 208385 0
vsize: 833604
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 37258 49 0 0 24 0 10 0 781428818 853610496 23223 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23223 13086 16 0 208385 0
vsize: 833604
[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 38191 49 0 0 25 0 10 0 781428818 853610496 23258 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23258 13086 16 0 208385 0
vsize: 833604
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 39124 49 0 0 25 0 10 0 781428818 853610496 23292 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23292 13086 16 0 208385 0
vsize: 833604
[startup+430.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 40052 50 0 0 24 0 10 0 781428818 853610496 23328 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23328 13086 16 0 208385 0
vsize: 833604
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 40984 50 0 0 25 0 10 0 781428818 853610496 23362 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23362 13086 16 0 208385 0
vsize: 833604
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 41916 51 0 0 25 0 10 0 781428818 853610496 23395 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23395 13086 16 0 208385 0
vsize: 833604
[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 42843 52 0 0 25 0 10 0 781428818 853610496 23431 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23431 13086 16 0 208385 0
vsize: 833604
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 43775 52 0 0 25 0 10 0 781428818 853610496 23463 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23463 13086 16 0 208385 0
vsize: 833604
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 44705 52 0 0 25 0 10 0 781428818 853610496 23495 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23495 13086 16 0 208385 0
vsize: 833604
[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 45631 53 0 0 25 0 10 0 781428818 853610496 23528 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23528 13086 16 0 208385 0
vsize: 833604
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 46560 53 0 0 25 0 10 0 781428818 853610496 23561 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23561 13086 16 0 208385 0
vsize: 833604
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 47489 54 0 0 25 0 10 0 781428818 853610496 23592 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23592 13086 16 0 208385 0
vsize: 833604
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 48417 54 0 0 25 0 10 0 781428818 853610496 23624 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23624 13086 16 0 208385 0
vsize: 833604
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 49341 55 0 0 24 0 10 0 781428818 853610496 23656 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23656 13086 16 0 208385 0
vsize: 833604
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 50269 55 0 0 25 0 10 0 781428818 853610496 23686 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23686 13086 16 0 208385 0
vsize: 833604
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 51197 56 0 0 25 0 10 0 781428818 853610496 23716 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23716 13086 16 0 208385 0
vsize: 833604
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 52124 56 0 0 25 0 10 0 781428818 853610496 23746 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23746 13086 16 0 208385 0
vsize: 833604
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 53051 56 0 0 25 0 10 0 781428818 853610496 23776 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23776 13086 16 0 208385 0
vsize: 833604
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 53973 56 0 0 25 0 10 0 781428818 853610496 23807 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23807 13086 16 0 208385 0
vsize: 833604
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 54899 57 0 0 25 0 10 0 781428818 853610496 23835 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23835 13086 16 0 208385 0
vsize: 833604
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 55824 57 0 0 25 0 10 0 781428818 853610496 23864 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23864 13086 16 0 208385 0
vsize: 833604
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 56749 58 0 0 25 0 10 0 781428818 853610496 23892 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23892 13086 16 0 208385 0
vsize: 833604
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 57674 58 0 0 25 0 10 0 781428818 853610496 23921 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23921 13086 16 0 208385 0
vsize: 833604
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 58598 60 0 0 25 0 10 0 781428818 853610496 23949 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23949 13086 16 0 208385 0
vsize: 833604
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 59518 60 0 0 24 0 10 0 781428818 853610496 23978 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 23978 13086 16 0 208385 0
vsize: 833604
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 60443 60 0 0 25 0 10 0 781428818 853610496 24006 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 24006 13086 16 0 208385 0
vsize: 833604
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 61367 61 0 0 25 0 10 0 781428818 853610496 24033 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 24033 13086 16 0 208385 0
vsize: 833604
[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 62285 61 0 0 25 0 10 0 781428818 853610496 24954 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 24954 13086 16 0 208385 0
vsize: 833604
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 63207 61 0 0 25 0 10 0 781428818 853610496 24954 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 24954 13086 16 0 208385 0
vsize: 833604
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 64121 62 0 0 25 0 10 0 781428818 853610496 24972 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 24972 13086 16 0 208385 0
vsize: 833604
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 65035 62 0 0 25 0 10 0 781428818 853610496 25000 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25000 13086 16 0 208385 0
vsize: 833604
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 65948 63 0 0 25 0 10 0 781428818 853610496 25026 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25026 13086 16 0 208385 0
vsize: 833604
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 66859 63 0 0 25 0 10 0 781428818 853610496 25052 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25052 13086 16 0 208385 0
vsize: 833604
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 67772 63 0 0 24 0 10 0 781428818 853610496 25078 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25078 13086 16 0 208385 0
vsize: 833604
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 68684 63 0 0 24 0 10 0 781428818 853610496 25104 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25104 13086 16 0 208385 0
vsize: 833604
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 69602 64 0 0 25 0 10 0 781428818 853610496 25128 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25128 13086 16 0 208385 0
vsize: 833604
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 70513 64 0 0 25 0 10 0 781428818 853610496 25153 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25153 13086 16 0 208385 0
vsize: 833604
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 71424 65 0 0 25 0 10 0 781428818 853610496 25178 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25178 13086 16 0 208385 0
vsize: 833604
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 72336 65 0 0 25 0 10 0 781428818 853610496 25203 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25203 13086 16 0 208385 0
vsize: 833604
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 73247 66 0 0 25 0 10 0 781428818 853610496 25228 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25228 13086 16 0 208385 0
vsize: 833604
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 74157 66 0 0 25 0 10 0 781428818 853610496 25253 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25253 13086 16 0 208385 0
vsize: 833604
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 75068 66 0 0 19 0 10 0 781428818 853610496 25278 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25278 13086 16 0 208385 0
vsize: 833604
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 75980 66 0 0 24 0 10 0 781428818 853610496 25302 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25302 13086 16 0 208385 0
vsize: 833604
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 76890 67 0 0 24 0 10 0 781428818 853610496 25326 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25326 13086 16 0 208385 0
vsize: 833604
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 77806 67 0 0 25 0 10 0 781428818 853610496 25349 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25349 13086 16 0 208385 0
vsize: 833604
[startup+850.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 78718 67 0 0 25 0 10 0 781428818 853610496 25373 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25373 13086 16 0 208385 0
vsize: 833604
[startup+860.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 79627 67 0 0 25 0 10 0 781428818 853610496 25397 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 25397 13086 16 0 208385 0
vsize: 833604
[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 80536 67 0 0 21 0 10 0 781428818 853610496 25420 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25420 13086 16 0 208385 0
vsize: 833604
[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 81443 68 0 0 20 0 10 0 781428818 853610496 25444 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25444 13086 16 0 208385 0
vsize: 833604
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 82349 68 0 0 19 0 10 0 781428818 853610496 25467 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25467 13086 16 0 208385 0
vsize: 833604
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 83263 68 0 0 25 0 10 0 781428818 853610496 25490 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25490 13086 16 0 208385 0
vsize: 833604
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 84169 69 0 0 23 0 10 0 781428818 853610496 25515 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25515 13086 16 0 208385 0
vsize: 833604
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 85074 69 0 0 21 0 10 0 781428818 853610496 25539 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25539 13086 16 0 208385 0
vsize: 833604
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 85978 69 0 0 19 0 10 0 781428818 853610496 25568 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25568 13086 16 0 208385 0
vsize: 833604
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 86889 70 0 0 24 0 10 0 781428818 853610496 25590 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25590 13086 16 0 208385 0
vsize: 833604
[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 87794 70 0 0 21 0 10 0 781428818 853610496 25620 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25620 13086 16 0 208385 0
vsize: 833604
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 88697 71 0 0 20 0 10 0 781428818 853610496 25647 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25647 13086 16 0 208385 0
vsize: 833604
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 89600 71 0 0 19 0 10 0 781428818 853610496 25671 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25671 13086 16 0 208385 0
vsize: 833604
[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 90511 71 0 0 24 0 10 0 781428818 853610496 25697 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25697 13086 16 0 208385 0
vsize: 833604
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 91414 72 0 0 21 0 10 0 781428818 853610496 25721 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25721 13086 16 0 208385 0
vsize: 833604
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 92316 73 0 0 19 0 10 0 781428818 853610496 25749 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25749 13086 16 0 208385 0
vsize: 833604
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 93226 73 0 0 23 0 10 0 781428818 853610496 25771 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25771 13086 16 0 208385 0
vsize: 833604
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 94130 73 0 0 22 0 10 0 781428818 853610496 25793 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25793 13086 16 0 208385 0
vsize: 833604
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 95032 73 0 0 20 0 10 0 781428818 853610496 25825 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25825 13086 16 0 208385 0
vsize: 833604
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 95935 74 0 0 19 0 10 0 781428818 853610496 25848 4294967295 134512640 134569956 3221224368 3221214748 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25848 13086 16 0 208385 0
vsize: 833604
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 96842 74 0 0 22 0 10 0 781428818 853610496 25874 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25874 13086 16 0 208385 0
vsize: 833604
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 97744 75 0 0 19 0 10 0 781428818 853610496 25898 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25898 13086 16 0 208385 0
vsize: 833604
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 98644 75 0 0 19 0 10 0 781428818 853610496 25924 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25924 13086 16 0 208385 0
vsize: 833604
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 99548 76 0 0 22 0 10 0 781428818 853610496 25947 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25947 13086 16 0 208385 0
vsize: 833604
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 100450 76 0 0 20 0 10 0 781428818 853610496 25968 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25968 13086 16 0 208385 0
vsize: 833604
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 101355 76 0 0 24 0 10 0 781428818 853610496 25994 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 25994 13086 16 0 208385 0
vsize: 833604
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 102256 77 0 0 21 0 10 0 781428818 853610496 26018 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26018 13086 16 0 208385 0
vsize: 833604
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 103155 77 0 0 19 0 10 0 781428818 853610496 26043 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26043 13086 16 0 208385 0
vsize: 833604
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 104061 78 0 0 22 0 10 0 781428818 853610496 26065 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26065 13086 16 0 208385 0
vsize: 833604
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 104960 78 0 0 20 0 10 0 781428818 853610496 26092 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26092 13086 16 0 208385 0
vsize: 833604
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 105861 79 0 0 24 0 10 0 781428818 853610496 26111 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26111 13086 16 0 208385 0
vsize: 833604
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 106766 79 0 0 21 0 10 0 781428818 853610496 26138 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26138 13086 16 0 208385 0
vsize: 833604
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 107665 79 0 0 19 0 10 0 781428818 853610496 26162 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26162 13086 16 0 208385 0
vsize: 833604
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 108571 80 0 0 23 0 10 0 781428818 853610496 26182 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26182 13086 16 0 208385 0
vsize: 833604
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 109469 80 0 0 21 0 10 0 781428818 853610496 26208 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26208 13086 16 0 208385 0
vsize: 833604
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 110367 80 0 0 23 0 10 0 781428818 853610496 26232 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26232 13086 16 0 208385 0
vsize: 833604
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 111268 81 0 0 21 0 10 0 781428818 853610496 26254 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26254 13086 16 0 208385 0
vsize: 833604
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 112166 81 0 0 19 0 10 0 781428818 853610496 26275 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26275 13086 16 0 208385 0
vsize: 833604
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 113070 82 0 0 23 0 10 0 781428818 853610496 26297 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26297 13086 16 0 208385 0
vsize: 833604
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 113967 82 0 0 20 0 10 0 781428818 853610496 26317 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26317 13086 16 0 208385 0
vsize: 833604
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 114871 83 0 0 24 0 10 0 781428818 853610496 26335 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26335 13086 16 0 208385 0
vsize: 833604
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 115769 83 0 0 21 0 10 0 781428818 853610496 26371 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26371 13086 16 0 208385 0
vsize: 833604
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) S 20821 3944 3943 0 -1 0 18017 0 1 0 116668 83 0 0 23 0 10 0 781428818 853610496 26386 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26386 13086 16 0 208385 0
vsize: 833604
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 117569 84 0 0 21 0 10 0 781428818 853610496 26420 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26420 13086 16 0 208385 0
vsize: 833604
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 118468 84 0 0 19 0 10 0 781428818 853610496 26434 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26434 13086 16 0 208385 0
vsize: 833604
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 119374 85 0 0 23 0 10 0 781428818 853610496 26464 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26464 13086 16 0 208385 0
vsize: 833604
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 20831
Raw data (stat): 20822 (java) R 20821 3944 3943 0 -1 0 18017 0 1 0 120274 85 0 0 21 0 10 0 781428818 853610496 26488 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 26488 13086 16 0 208385 0
vsize: 833604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20833
Raw data (stat): 20822 (java) Z 20821 3944 3943 0 -1 1036 18017 8129 1 0 120277 85 10555 43 21 0 1 0 781428818 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): 1310.17
CPU time (s): 1309.63
CPU user time (s): 1308.33
CPU system time (s): 1.2948
CPU usage (%): 99.9581
Max. virtual memory (Kb): 833604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####