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/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM	b8424149645ffb0af409a9e7aef74685
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	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	68
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	257
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	81558
Total number of constraints	240469
Number of constraints which are clauses	235865
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4604
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 29299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 06:11:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20681 boxname=wulflinc12 idbench=271 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 20681
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        413624 kB
Buffers:         38320 kB
Cached:         561076 kB
SwapCached:        568 kB
Active:         135664 kB
Inactive:       466120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        413372 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13520 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:34:19 (client local time) WITH STATUS 143 IN 1381.95 SECONDS
stats: 20681 7 1381.95 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/wulflinc12/normalized-cache-ibm-q-full.all.ucl.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) : 1379.415
#### 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.92 0.98 0.98 2/54 9363
Raw data (stat): 9363 (runsolver) R 9362 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778389099 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 794 39 0 0 25 0 10 0 778389099 855605248 20932 4294967295 134512640 134569956 3221224368 3221214492 1074489759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208888 20932 13086 16 0 208872 0
vsize: 835552
[startup+20.0017 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 1643 40 0 0 25 0 10 0 778389099 855412736 22075 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 22075 13086 16 0 208825 0
vsize: 835364
[startup+30.0025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 2499 40 0 0 25 0 10 0 778389099 855412736 22795 4294967295 134512640 134569956 3221224368 3221214524 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 22795 13086 16 0 208825 0
vsize: 835364
[startup+40.0104 s]
Raw data (loadavg): 1.01 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 3359 40 0 0 25 0 10 0 778389099 855412736 23383 4294967295 134512640 134569956 3221224368 3221214444 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 23383 13086 16 0 208825 0
vsize: 835364
[startup+50.0151 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 4213 41 0 0 25 0 10 0 778389099 855412736 23874 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 23874 13086 16 0 208825 0
vsize: 835364
[startup+60.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 5071 41 0 0 25 0 10 0 778389099 855412736 24343 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 24343 13086 16 0 208825 0
vsize: 835364
[startup+70.0158 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 5920 41 0 0 25 0 10 0 778389099 855412736 24917 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 24917 13086 16 0 208825 0
vsize: 835364
[startup+80.0196 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 6771 41 0 0 25 0 10 0 778389099 855412736 25322 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 25322 13086 16 0 208825 0
vsize: 835364
[startup+90.0194 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 7626 42 0 0 25 0 10 0 778389099 855412736 25701 4294967295 134512640 134569956 3221224368 3221214752 1131256193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 25701 13086 16 0 208825 0
vsize: 835364
[startup+100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 8474 42 0 0 21 0 10 0 778389099 855412736 26066 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 26066 13086 16 0 208825 0
vsize: 835364
[startup+110.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 9314 42 0 0 15 0 10 0 778389099 855412736 26427 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 26427 13086 16 0 208825 0
vsize: 835364
[startup+120.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 10161 43 0 0 17 0 10 0 778389099 855412736 26908 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 26908 13086 16 0 208825 0
vsize: 835364
[startup+130.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 11008 43 0 0 21 0 10 0 778389099 855412736 27236 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 27236 13086 16 0 208825 0
vsize: 835364
[startup+140.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 11855 43 0 0 18 0 10 0 778389099 855412736 27584 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 27584 13086 16 0 208825 0
vsize: 835364
[startup+150.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 12699 43 0 0 19 0 10 0 778389099 855412736 27884 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 27884 13086 16 0 208825 0
vsize: 835364
[startup+160.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 13550 43 0 0 18 0 10 0 778389099 855412736 28208 4294967295 134512640 134569956 3221224368 3221214404 1077371648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 28208 13086 16 0 208825 0
vsize: 835364
[startup+170.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 14401 43 0 0 16 0 10 0 778389099 855412736 28521 4294967295 134512640 134569956 3221224368 3221214452 1131298211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 28521 13086 16 0 208825 0
vsize: 835364
[startup+180.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 15255 44 0 0 15 0 10 0 778389099 855412736 28816 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 28816 13086 16 0 208825 0
vsize: 835364
[startup+190.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 16119 44 0 0 16 0 10 0 778389099 855412736 29088 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 29088 13086 16 0 208825 0
vsize: 835364
[startup+200.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 16977 44 0 0 16 0 10 0 778389099 855412736 29367 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 29367 13086 16 0 208825 0
vsize: 835364
[startup+210.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 17829 44 0 0 16 0 10 0 778389099 855412736 29714 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 29714 13086 16 0 208825 0
vsize: 835364
[startup+220.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 18688 45 0 0 16 0 10 0 778389099 855412736 29974 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 29974 13086 16 0 208825 0
vsize: 835364
[startup+230.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 19555 45 0 0 16 0 10 0 778389099 855412736 30318 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 30318 13086 16 0 208825 0
vsize: 835364
[startup+240.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 20422 46 0 0 16 0 10 0 778389099 855412736 30567 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 30567 13086 16 0 208825 0
vsize: 835364
[startup+250.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 21290 46 0 0 16 0 10 0 778389099 855412736 30802 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 30802 13086 16 0 208825 0
vsize: 835364
[startup+260.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 22155 46 0 0 16 0 10 0 778389099 855412736 31034 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 31034 13086 16 0 208825 0
vsize: 835364
[startup+270.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 23022 46 0 0 16 0 10 0 778389099 855412736 31273 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 31273 13086 16 0 208825 0
vsize: 835364
[startup+280.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 23891 46 0 0 16 0 10 0 778389099 855412736 31500 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 31500 13086 16 0 208825 0
vsize: 835364
[startup+290.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 24761 46 0 0 16 0 10 0 778389099 855412736 31723 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 31723 13086 16 0 208825 0
vsize: 835364
[startup+300.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 25631 47 0 0 16 0 10 0 778389099 855412736 31933 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 31933 13086 16 0 208825 0
vsize: 835364
[startup+310.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 26500 47 0 0 16 0 10 0 778389099 855412736 32144 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 32144 13086 16 0 208825 0
vsize: 835364
[startup+320.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 27367 48 0 0 16 0 10 0 778389099 855412736 32355 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 32355 13086 16 0 208825 0
vsize: 835364
[startup+330.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 28235 48 0 0 15 0 10 0 778389099 855412736 32575 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 32575 13086 16 0 208825 0
vsize: 835364
[startup+340.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 29107 48 0 0 16 0 10 0 778389099 855412736 32783 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 32783 13086 16 0 208825 0
vsize: 835364
[startup+350.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 29980 49 0 0 16 0 10 0 778389099 855412736 32987 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 32987 13086 16 0 208825 0
vsize: 835364
[startup+360.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 30854 49 0 0 16 0 10 0 778389099 855412736 33185 4294967295 134512640 134569956 3221224368 3221214540 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 33185 13086 16 0 208825 0
vsize: 835364
[startup+370.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 31722 50 0 0 16 0 10 0 778389099 855412736 33385 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 33385 13086 16 0 208825 0
vsize: 835364
[startup+380.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 32590 50 0 0 16 0 10 0 778389099 855412736 33650 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 33650 13086 16 0 208825 0
vsize: 835364
[startup+390.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 33455 51 0 0 16 0 10 0 778389099 855412736 33839 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 33839 13086 16 0 208825 0
vsize: 835364
[startup+400.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 34331 51 0 0 16 0 10 0 778389099 855412736 34147 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 34147 13086 16 0 208825 0
vsize: 835364
[startup+410.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 35198 51 0 0 15 0 10 0 778389099 855412736 34341 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 34341 13086 16 0 208825 0
vsize: 835364
[startup+420.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 36073 51 0 0 16 0 10 0 778389099 855412736 34523 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 34523 13086 16 0 208825 0
vsize: 835364
[startup+430.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 36948 52 0 0 16 0 10 0 778389099 855412736 34704 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 34704 13086 16 0 208825 0
vsize: 835364
[startup+440.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 37816 52 0 0 16 0 10 0 778389099 855412736 34890 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 34890 13086 16 0 208825 0
vsize: 835364
[startup+450.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 38693 53 0 0 16 0 10 0 778389099 855412736 35070 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 35070 13086 16 0 208825 0
vsize: 835364
[startup+460.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 39570 53 0 0 16 0 10 0 778389099 855412736 35239 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 35239 13086 16 0 208825 0
vsize: 835364
[startup+470.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 40439 54 0 0 15 0 10 0 778389099 855412736 35425 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 35425 13086 16 0 208825 0
vsize: 835364
[startup+480.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 41319 54 0 0 16 0 10 0 778389099 855412736 35587 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 35587 13086 16 0 208825 0
vsize: 835364
[startup+490.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 42198 55 0 0 16 0 10 0 778389099 855412736 35750 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 35750 13086 16 0 208825 0
vsize: 835364
[startup+500.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 43069 55 0 0 16 0 10 0 778389099 855412736 35924 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 35924 13086 16 0 208825 0
vsize: 835364
[startup+510.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 43948 55 0 0 16 0 10 0 778389099 855412736 36093 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 36093 13086 16 0 208825 0
vsize: 835364
[startup+520.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 44827 55 0 0 16 0 10 0 778389099 855412736 36255 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 36255 13086 16 0 208825 0
vsize: 835364
[startup+530.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 45698 56 0 0 16 0 10 0 778389099 855412736 36428 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 36428 13086 16 0 208825 0
vsize: 835364
[startup+540.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 46578 57 0 0 16 0 10 0 778389099 855412736 36587 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 36587 13086 16 0 208825 0
vsize: 835364
[startup+550.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 47451 57 0 0 16 0 10 0 778389099 855412736 36740 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 36740 13086 16 0 208825 0
vsize: 835364
[startup+560.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 48331 57 0 0 16 0 10 0 778389099 855412736 36903 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 36903 13086 16 0 208825 0
vsize: 835364
[startup+570.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 49210 57 0 0 16 0 10 0 778389099 855412736 37056 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37056 13086 16 0 208825 0
vsize: 835364
[startup+580.094 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 50091 57 0 0 16 0 10 0 778389099 855412736 37214 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 37214 13086 16 0 208825 0
vsize: 835364
[startup+590.097 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 50964 58 0 0 16 0 10 0 778389099 855412736 37375 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37375 13086 16 0 208825 0
vsize: 835364
[startup+600.099 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 51846 58 0 0 16 0 10 0 778389099 855412736 37519 4294967295 134512640 134569956 3221224368 3221214468 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37519 13086 16 0 208825 0
vsize: 835364
[startup+610.099 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 52726 59 0 0 16 0 10 0 778389099 855412736 37664 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37664 13086 16 0 208825 0
vsize: 835364
[startup+620.099 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 53598 59 0 0 16 0 10 0 778389099 855412736 37817 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37817 13086 16 0 208825 0
vsize: 835364
[startup+630.101 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 54478 60 0 0 16 0 10 0 778389099 855412736 37959 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 37959 13086 16 0 208825 0
vsize: 835364
[startup+640.101 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 55358 60 0 0 16 0 10 0 778389099 855412736 38101 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38101 13086 16 0 208825 0
vsize: 835364
[startup+650.102 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 56230 61 0 0 15 0 10 0 778389099 855412736 38250 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38250 13086 16 0 208825 0
vsize: 835364
[startup+660.103 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 57109 61 0 0 16 0 10 0 778389099 855412736 38391 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38391 13086 16 0 208825 0
vsize: 835364
[startup+670.103 s]
Raw data (loadavg): 1.00 1.00 0.99 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 57988 61 0 0 16 0 10 0 778389099 855412736 38531 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38531 13086 16 0 208825 0
vsize: 835364
[startup+680.104 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 58860 61 0 0 16 0 10 0 778389099 855412736 38680 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38680 13086 16 0 208825 0
vsize: 835364
[startup+690.104 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 59739 62 0 0 16 0 10 0 778389099 855412736 38817 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 38817 13086 16 0 208825 0
vsize: 835364
[startup+700.111 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 60620 62 0 0 16 0 10 0 778389099 855412736 38953 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 38953 13086 16 0 208825 0
vsize: 835364
[startup+710.114 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 61492 62 0 0 16 0 10 0 778389099 855412736 39096 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 39096 13086 16 0 208825 0
vsize: 835364
[startup+720.114 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 62372 63 0 0 16 0 10 0 778389099 855412736 39233 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 39233 13086 16 0 208825 0
vsize: 835364
[startup+730.117 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 63251 63 0 0 16 0 10 0 778389099 855412736 39366 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 39366 13086 16 0 208825 0
vsize: 835364
[startup+740.121 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 64138 64 0 0 16 0 10 0 778389099 855412736 40171 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 40171 13086 16 0 208825 0
vsize: 835364
[startup+750.122 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 65029 64 0 0 16 0 10 0 778389099 855412736 40171 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 40171 13086 16 0 208825 0
vsize: 835364
[startup+760.123 s]
Raw data (loadavg): 1.17 1.04 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 65902 65 0 0 16 0 10 0 778389099 855412736 40255 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 40255 13086 16 0 208825 0
vsize: 835364
[startup+770.124 s]
Raw data (loadavg): 1.14 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 66774 65 0 0 16 0 10 0 778389099 855412736 40387 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 40387 13086 16 0 208825 0
vsize: 835364
[startup+780.127 s]
Raw data (loadavg): 1.12 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 67646 65 0 0 16 0 10 0 778389099 855412736 40514 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 40514 13086 16 0 208825 0
vsize: 835364
[startup+790.131 s]
Raw data (loadavg): 1.10 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 68513 65 0 0 16 0 10 0 778389099 855412736 40642 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 40642 13086 16 0 208825 0
vsize: 835364
[startup+800.135 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 69388 66 0 0 16 0 10 0 778389099 855412736 40769 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 40769 13086 16 0 208825 0
vsize: 835364
[startup+810.136 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 70265 66 0 0 16 0 10 0 778389099 855412736 40890 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 40890 13086 16 0 208825 0
vsize: 835364
[startup+820.136 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 71142 66 0 0 16 0 10 0 778389099 855412736 41008 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 41008 13086 16 0 208825 0
vsize: 835364
[startup+830.139 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 72009 66 0 0 15 0 10 0 778389099 855412736 41143 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 41143 13086 16 0 208825 0
vsize: 835364
[startup+840.14 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 72881 67 0 0 16 0 10 0 778389099 855412736 41254 4294967295 134512640 134569956 3221224368 3221214184 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 41254 13086 16 0 208825 0
vsize: 835364
[startup+850.141 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 73755 67 0 0 16 0 10 0 778389099 855412736 41374 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 41374 13086 16 0 208825 0
vsize: 835364
[startup+860.143 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 74631 68 0 0 16 0 10 0 778389099 855412736 41529 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 41529 13086 16 0 208825 0
vsize: 835364
[startup+870.143 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 75502 68 0 0 16 0 10 0 778389099 855412736 41627 4294967295 134512640 134569956 3221224368 3221213708 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 41627 13086 16 0 208825 0
vsize: 835364
[startup+880.149 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 76374 68 0 0 16 0 10 0 778389099 855412736 41780 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 41780 13086 16 0 208825 0
vsize: 835364
[startup+890.152 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 77252 68 0 0 16 0 10 0 778389099 855412736 41892 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 41892 13086 16 0 208825 0
vsize: 835364
[startup+900.155 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 78131 69 0 0 16 0 10 0 778389099 855412736 42018 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 42018 13086 16 0 208825 0
vsize: 835364
[startup+910.159 s]
Raw data (loadavg): 1.16 1.05 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 79008 69 0 0 16 0 10 0 778389099 855412736 42103 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42103 13086 16 0 208825 0
vsize: 835364
[startup+920.159 s]
Raw data (loadavg): 1.14 1.05 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 79873 69 0 0 15 0 10 0 778389099 855412736 42260 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42260 13086 16 0 208825 0
vsize: 835364
[startup+930.161 s]
Raw data (loadavg): 1.12 1.05 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 80748 70 0 0 16 0 10 0 778389099 855412736 42385 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42385 13086 16 0 208825 0
vsize: 835364
[startup+940.161 s]
Raw data (loadavg): 1.10 1.05 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 81624 70 0 0 16 0 10 0 778389099 855412736 42510 4294967295 134512640 134569956 3221224368 3221214472 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42510 13086 16 0 208825 0
vsize: 835364
[startup+950.162 s]
Raw data (loadavg): 1.08 1.05 1.01 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 82502 71 0 0 16 0 10 0 778389099 855412736 42593 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42593 13086 16 0 208825 0
vsize: 835364
[startup+960.166 s]
Raw data (loadavg): 1.07 1.04 1.01 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 83375 71 0 0 16 0 10 0 778389099 855412736 42724 4294967295 134512640 134569956 3221224368 3221213708 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42724 13086 16 0 208825 0
vsize: 835364
[startup+970.169 s]
Raw data (loadavg): 1.06 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 84249 72 0 0 16 0 10 0 778389099 855412736 42861 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42861 13086 16 0 208825 0
vsize: 835364
[startup+980.169 s]
Raw data (loadavg): 1.05 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 85130 72 0 0 16 0 10 0 778389099 855412736 42948 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 42948 13086 16 0 208825 0
vsize: 835364
[startup+990.172 s]
Raw data (loadavg): 1.04 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 86008 73 0 0 16 0 10 0 778389099 855412736 43090 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 43090 13086 16 0 208825 0
vsize: 835364
[startup+1000.18 s]
Raw data (loadavg): 1.03 1.04 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 86885 73 0 0 16 0 10 0 778389099 855412736 43179 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 43179 13086 16 0 208825 0
vsize: 835364
[startup+1010.18 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 87767 73 0 0 16 0 10 0 778389099 855412736 43288 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 43288 13086 16 0 208825 0
vsize: 835364
[startup+1020.18 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 88645 73 0 0 16 0 10 0 778389099 855412736 43390 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 43390 13086 16 0 208825 0
vsize: 835364
[startup+1030.19 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 89516 74 0 0 16 0 10 0 778389099 855412736 43514 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 43514 13086 16 0 208825 0
vsize: 835364
[startup+1040.19 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 90402 74 0 0 16 0 10 0 778389099 855412736 43669 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 43669 13086 16 0 208825 0
vsize: 835364
[startup+1050.19 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 91288 75 0 0 16 0 10 0 778389099 855412736 43738 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 43738 13086 16 0 208825 0
vsize: 835364
[startup+1060.19 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 92162 75 0 0 16 0 10 0 778389099 855412736 43867 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 43867 13086 16 0 208825 0
vsize: 835364
[startup+1070.19 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 93048 75 0 0 16 0 10 0 778389099 855412736 44013 4294967295 134512640 134569956 3221224368 3221214468 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 44013 13086 16 0 208825 0
vsize: 835364
[startup+1080.19 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 93933 76 0 0 16 0 10 0 778389099 855412736 44107 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44107 13086 16 0 208825 0
vsize: 835364
[startup+1090.2 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 94813 76 0 0 16 0 10 0 778389099 855412736 44193 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44193 13086 16 0 208825 0
vsize: 835364
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 95692 76 0 0 16 0 10 0 778389099 855412736 44277 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44277 13086 16 0 208825 0
vsize: 835364
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 96575 77 0 0 16 0 10 0 778389099 855412736 44444 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44444 13086 16 0 208825 0
vsize: 835364
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 97457 77 0 0 16 0 10 0 778389099 855412736 44522 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44522 13086 16 0 208825 0
vsize: 835364
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 98342 77 0 0 16 0 10 0 778389099 855412736 44625 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44625 13086 16 0 208825 0
vsize: 835364
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 99221 78 0 0 16 0 10 0 778389099 855412736 44779 4294967295 134512640 134569956 3221224368 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44779 13086 16 0 208825 0
vsize: 835364
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 100109 79 0 0 16 0 10 0 778389099 855412736 44895 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 44895 13086 16 0 208825 0
vsize: 835364
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 100992 79 0 0 16 0 10 0 778389099 855412736 45006 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45006 13086 16 0 208825 0
vsize: 835364
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 101880 80 0 0 16 0 10 0 778389099 855412736 45104 4294967295 134512640 134569956 3221224368 3221214472 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45104 13086 16 0 208825 0
vsize: 835364
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 102771 80 0 0 16 0 10 0 778389099 855412736 45202 4294967295 134512640 134569956 3221224368 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45202 13086 16 0 208825 0
vsize: 835364
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 103652 81 0 0 16 0 10 0 778389099 855412736 45326 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45326 13086 16 0 208825 0
vsize: 835364
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 104544 81 0 0 16 0 10 0 778389099 855412736 45422 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45422 13086 16 0 208825 0
vsize: 835364
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 105431 81 0 0 16 0 10 0 778389099 855412736 45531 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45531 13086 16 0 208825 0
vsize: 835364
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 106323 82 0 0 16 0 10 0 778389099 855412736 45653 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45653 13086 16 0 208825 0
vsize: 835364
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 107212 82 0 0 16 0 10 0 778389099 855412736 45741 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45741 13086 16 0 208825 0
vsize: 835364
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 108099 83 0 0 16 0 10 0 778389099 855412736 45861 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45861 13086 16 0 208825 0
vsize: 835364
[startup+1250.22 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 108993 83 0 0 16 0 10 0 778389099 855412736 45919 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 45919 13086 16 0 208825 0
vsize: 835364
[startup+1260.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 109883 84 0 0 16 0 10 0 778389099 855412736 46029 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46029 13086 16 0 208825 0
vsize: 835364
[startup+1270.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 110774 84 0 0 16 0 10 0 778389099 855412736 46145 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46145 13086 16 0 208825 0
vsize: 835364
[startup+1280.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 111662 85 0 0 15 0 10 0 778389099 855412736 46287 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46287 13086 16 0 208825 0
vsize: 835364
[startup+1290.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 112562 85 0 0 16 0 10 0 778389099 855412736 46385 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46385 13086 16 0 208825 0
vsize: 835364
[startup+1300.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 113456 85 0 0 17 0 10 0 778389099 855412736 46466 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46466 13086 16 0 208825 0
vsize: 835364
[startup+1310.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) S 9362 32284 32283 0 -1 0 18040 0 1 0 114349 85 0 0 16 0 10 0 778389099 855412736 46551 4294967295 134512640 134569956 3221224368 3221213780 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46551 13086 16 0 208825 0
vsize: 835364
[startup+1320.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 115245 86 0 0 16 0 10 0 778389099 855412736 46683 4294967295 134512640 134569956 3221224368 3221214716 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46683 13086 16 0 208825 0
vsize: 835364
[startup+1330.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 116136 86 0 0 16 0 10 0 778389099 855412736 46800 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46800 13086 16 0 208825 0
vsize: 835364
[startup+1340.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 117035 86 0 0 16 0 10 0 778389099 855412736 46897 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208841 46897 13086 16 0 208825 0
vsize: 835364
[startup+1350.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 117930 87 0 0 16 0 10 0 778389099 855412736 46954 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 46954 13086 16 0 208825 0
vsize: 835364
[startup+1360.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 118824 87 0 0 16 0 10 0 778389099 855412736 47112 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 47112 13086 16 0 208825 0
vsize: 835364
[startup+1370.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 119724 87 0 0 16 0 10 0 778389099 855412736 47202 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 47202 13086 16 0 208825 0
vsize: 835364
[startup+1380.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 9372
Raw data (stat): 9363 (java) R 9362 32284 32283 0 -1 0 18040 0 1 0 120622 87 0 0 16 0 10 0 778389099 855412736 47742 4294967295 134512640 134569956 3221224368 3221214708 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208841 47742 13086 16 0 208825 0
vsize: 835364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1380.44 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9374
Raw data (stat): 9363 (java) Z 9362 32284 32283 0 -1 1036 18040 30065 1 0 120626 87 17391 89 16 0 1 0 778389099 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): 1380.44
CPU time (s): 1381.95
CPU user time (s): 1380.18
CPU system time (s): 1.77373
CPU usage (%): 100.109
Max. virtual memory (Kb): 835552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####