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-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 29303

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        436168 kB
Buffers:         24636 kB
Cached:         549444 kB
SwapCached:        588 kB
Active:          91056 kB
Inactive:       485248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        435916 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16552 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:36:26 (client local time) WITH STATUS 143 IN 1383.43 SECONDS
stats: 20692 7 1383.43 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/wulflinc25/normalized-cache-ibm-q-unbounded.Ih1arity.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.156
#### 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.87 0.97 0.99 2/54 11214
Raw data (stat): 11214 (runsolver) R 11213 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836644411 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0004 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 784 41 0 0 25 0 10 0 836644411 854495232 21027 4294967295 134512640 134569956 3221224352 3221214564 1077635754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208617 21027 13086 16 0 208601 0
vsize: 834468
[startup+20.0007 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 1633 41 0 0 25 0 10 0 836644411 854188032 21962 4294967295 134512640 134569956 3221224352 3221214744 1131227265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 21962 13086 16 0 208526 0
vsize: 834168
[startup+30.0006 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 2491 41 0 0 25 0 10 0 836644411 854188032 22614 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 22614 13086 16 0 208526 0
vsize: 834168
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 3348 41 0 0 25 0 10 0 836644411 854188032 23226 4294967295 134512640 134569956 3221224352 3221214468 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 23226 13086 16 0 208526 0
vsize: 834168
[startup+50.0023 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 4197 42 0 0 25 0 10 0 836644411 854188032 23758 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 23758 13086 16 0 208526 0
vsize: 834168
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 5049 42 0 0 25 0 10 0 836644411 854188032 24238 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 24238 13086 16 0 208526 0
vsize: 834168
[startup+70.0021 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 5894 42 0 0 24 0 10 0 836644411 854188032 24783 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 24783 13086 16 0 208526 0
vsize: 834168
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 6754 42 0 0 25 0 10 0 836644411 854188032 25160 4294967295 134512640 134569956 3221224352 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 25160 13086 16 0 208526 0
vsize: 834168
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 7596 43 0 0 25 0 10 0 836644411 854188032 25540 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 25540 13086 16 0 208526 0
vsize: 834168
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 8440 43 0 0 25 0 10 0 836644411 854188032 25900 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 25900 13086 16 0 208526 0
vsize: 834168
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 9285 43 0 0 25 0 10 0 836644411 854188032 26253 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 26253 13086 16 0 208526 0
vsize: 834168
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 10128 43 0 0 25 0 10 0 836644411 854188032 26706 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 26706 13086 16 0 208526 0
vsize: 834168
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 10973 43 0 0 25 0 10 0 836644411 854188032 27019 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 27019 13086 16 0 208526 0
vsize: 834168
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 11828 43 0 0 25 0 10 0 836644411 854188032 27371 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 27371 13086 16 0 208526 0
vsize: 834168
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 12675 44 0 0 25 0 10 0 836644411 854188032 27672 4294967295 134512640 134569956 3221224352 3221214744 1131292889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 27672 13086 16 0 208526 0
vsize: 834168
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 13525 44 0 0 25 0 10 0 836644411 854188032 27972 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 27972 13086 16 0 208526 0
vsize: 834168
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 14383 44 0 0 25 0 10 0 836644411 854188032 28282 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 28282 13086 16 0 208526 0
vsize: 834168
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 15237 44 0 0 25 0 10 0 836644411 854188032 28585 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 28585 13086 16 0 208526 0
vsize: 834168
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 16097 44 0 0 25 0 10 0 836644411 854188032 28871 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 28871 13086 16 0 208526 0
vsize: 834168
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 16959 44 0 0 16 0 10 0 836644411 854188032 29133 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 29133 13086 16 0 208526 0
vsize: 834168
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 17822 44 0 0 21 0 10 0 836644411 854188032 29434 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 29434 13086 16 0 208526 0
vsize: 834168
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 18681 44 0 0 20 0 10 0 836644411 854188032 29692 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 29692 13086 16 0 208526 0
vsize: 834168
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 19546 44 0 0 19 0 10 0 836644411 854188032 30047 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 30047 13086 16 0 208526 0
vsize: 834168
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 20410 45 0 0 19 0 10 0 836644411 854188032 30291 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 30291 13086 16 0 208526 0
vsize: 834168
[startup+250.018 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 21276 45 0 0 17 0 10 0 836644411 854188032 30536 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 30536 13086 16 0 208526 0
vsize: 834168
[startup+260.021 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 22147 45 0 0 19 0 10 0 836644411 854188032 30769 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 30769 13086 16 0 208526 0
vsize: 834168
[startup+270.021 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 23023 45 0 0 20 0 10 0 836644411 854188032 30985 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 30985 13086 16 0 208526 0
vsize: 834168
[startup+280.021 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 23897 45 0 0 21 0 10 0 836644411 854188032 31192 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 31192 13086 16 0 208526 0
vsize: 834168
[startup+290.022 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 24769 45 0 0 21 0 10 0 836644411 854188032 31396 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 31396 13086 16 0 208526 0
vsize: 834168
[startup+300.025 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 25639 46 0 0 21 0 10 0 836644411 854188032 31618 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 31618 13086 16 0 208526 0
vsize: 834168
[startup+310.024 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 26511 46 0 0 17 0 10 0 836644411 854188032 31842 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 31842 13086 16 0 208526 0
vsize: 834168
[startup+320.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 27387 46 0 0 17 0 10 0 836644411 854188032 32040 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 32040 13086 16 0 208526 0
vsize: 834168
[startup+330.026 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 28263 46 0 0 18 0 10 0 836644411 854188032 32241 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 32241 13086 16 0 208526 0
vsize: 834168
[startup+340.025 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 29138 46 0 0 19 0 10 0 836644411 854188032 32440 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 32440 13086 16 0 208526 0
vsize: 834168
[startup+350.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 30014 46 0 0 19 0 10 0 836644411 854188032 32639 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 32639 13086 16 0 208526 0
vsize: 834168
[startup+360.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 30890 46 0 0 19 0 10 0 836644411 854188032 32831 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 32831 13086 16 0 208526 0
vsize: 834168
[startup+370.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 31767 46 0 0 20 0 10 0 836644411 854188032 33024 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 33024 13086 16 0 208526 0
vsize: 834168
[startup+380.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 32645 46 0 0 21 0 10 0 836644411 854188032 33209 4294967295 134512640 134569956 3221224352 3221214696 1131227401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 33209 13086 16 0 208526 0
vsize: 834168
[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 33516 47 0 0 22 0 10 0 836644411 854188032 33388 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 33388 13086 16 0 208526 0
vsize: 834168
[startup+400.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 34383 47 0 0 16 0 10 0 836644411 854188032 33650 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 33650 13086 16 0 208526 0
vsize: 834168
[startup+410.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 35250 48 0 0 16 0 10 0 836644411 854188032 34056 4294967295 134512640 134569956 3221224352 3221214708 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34056 13086 16 0 208526 0
vsize: 834168
[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 36134 48 0 0 17 0 10 0 836644411 854188032 34127 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34127 13086 16 0 208526 0
vsize: 834168
[startup+430.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 37011 48 0 0 19 0 10 0 836644411 854188032 34304 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34304 13086 16 0 208526 0
vsize: 834168
[startup+440.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 37889 48 0 0 20 0 10 0 836644411 854188032 34475 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34475 13086 16 0 208526 0
vsize: 834168
[startup+450.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 38770 48 0 0 20 0 10 0 836644411 854188032 34647 4294967295 134512640 134569956 3221224352 3221214708 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34647 13086 16 0 208526 0
vsize: 834168
[startup+460.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 39647 49 0 0 21 0 10 0 836644411 854188032 34808 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34808 13086 16 0 208526 0
vsize: 834168
[startup+470.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 40530 49 0 0 18 0 10 0 836644411 854188032 34975 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 34975 13086 16 0 208526 0
vsize: 834168
[startup+480.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 41413 49 0 0 18 0 10 0 836644411 854188032 35126 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35126 13086 16 0 208526 0
vsize: 834168
[startup+490.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 42292 50 0 0 21 0 10 0 836644411 854188032 35277 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35277 13086 16 0 208526 0
vsize: 834168
[startup+500.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 43171 50 0 0 22 0 10 0 836644411 854188032 35441 4294967295 134512640 134569956 3221224352 3221213700 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35441 13086 16 0 208526 0
vsize: 834168
[startup+510.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 44042 51 0 0 17 0 10 0 836644411 854188032 35615 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35615 13086 16 0 208526 0
vsize: 834168
[startup+520.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 44922 51 0 0 18 0 10 0 836644411 854188032 35776 4294967295 134512640 134569956 3221224352 3221214700 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35776 13086 16 0 208526 0
vsize: 834168
[startup+530.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 45802 52 0 0 18 0 10 0 836644411 854188032 35927 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 35927 13086 16 0 208526 0
vsize: 834168
[startup+540.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 46684 52 0 0 20 0 10 0 836644411 854188032 36080 4294967295 134512640 134569956 3221224352 3221214208 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36080 13086 16 0 208526 0
vsize: 834168
[startup+550.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 47566 52 0 0 21 0 10 0 836644411 854188032 36233 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36233 13086 16 0 208526 0
vsize: 834168
[startup+560.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 48446 53 0 0 21 0 10 0 836644411 854188032 36381 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36381 13086 16 0 208526 0
vsize: 834168
[startup+570.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 49319 53 0 0 22 0 10 0 836644411 854188032 36537 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36537 13086 16 0 208526 0
vsize: 834168
[startup+580.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 50200 53 0 0 17 0 10 0 836644411 854188032 36690 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36690 13086 16 0 208526 0
vsize: 834168
[startup+590.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 51079 54 0 0 18 0 10 0 836644411 854188032 36838 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36838 13086 16 0 208526 0
vsize: 834168
[startup+600.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 51959 54 0 0 17 0 10 0 836644411 854188032 36986 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 36986 13086 16 0 208526 0
vsize: 834168
[startup+610.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 52840 54 0 0 17 0 10 0 836644411 854188032 37133 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37133 13086 16 0 208526 0
vsize: 834168
[startup+620.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 53720 54 0 0 19 0 10 0 836644411 854188032 37275 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37275 13086 16 0 208526 0
vsize: 834168
[startup+630.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 54600 54 0 0 20 0 10 0 836644411 854188032 37420 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37420 13086 16 0 208526 0
vsize: 834168
[startup+640.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 55481 55 0 0 20 0 10 0 836644411 854188032 37558 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37558 13086 16 0 208526 0
vsize: 834168
[startup+650.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 56358 55 0 0 21 0 10 0 836644411 854188032 37698 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37698 13086 16 0 208526 0
vsize: 834168
[startup+660.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 57236 55 0 0 17 0 10 0 836644411 854188032 37834 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37834 13086 16 0 208526 0
vsize: 834168
[startup+670.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 58116 56 0 0 18 0 10 0 836644411 854188032 37972 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 37972 13086 16 0 208526 0
vsize: 834168
[startup+680.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 58996 56 0 0 19 0 10 0 836644411 854188032 38108 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38108 13086 16 0 208526 0
vsize: 834168
[startup+690.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 59876 56 0 0 21 0 10 0 836644411 854188032 38241 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38241 13086 16 0 208526 0
vsize: 834168
[startup+700.066 s]
Raw data (loadavg): 1.08 1.01 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 60756 56 0 0 21 0 10 0 836644411 854188032 38377 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38377 13086 16 0 208526 0
vsize: 834168
[startup+710.07 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 61633 56 0 0 22 0 10 0 836644411 854188032 38512 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38512 13086 16 0 208526 0
vsize: 834168
[startup+720.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 62507 57 0 0 17 0 10 0 836644411 854188032 38654 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38654 13086 16 0 208526 0
vsize: 834168
[startup+730.074 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 63387 57 0 0 17 0 10 0 836644411 854188032 38782 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 38782 13086 16 0 208526 0
vsize: 834168
[startup+740.074 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 64265 58 0 0 21 0 10 0 836644411 854188032 39619 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 39619 13086 16 0 208526 0
vsize: 834168
[startup+750.079 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 65176 58 0 0 23 0 10 0 836644411 854188032 39619 4294967295 134512640 134569956 3221224352 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 39619 13086 16 0 208526 0
vsize: 834168
[startup+760.084 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 66059 58 0 0 17 0 10 0 836644411 854188032 39643 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 39643 13086 16 0 208526 0
vsize: 834168
[startup+770.085 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 66935 59 0 0 17 0 10 0 836644411 854188032 39767 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 39767 13086 16 0 208526 0
vsize: 834168
[startup+780.085 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 67811 60 0 0 18 0 10 0 836644411 854188032 39884 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 39884 13086 16 0 208526 0
vsize: 834168
[startup+790.085 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 68687 61 0 0 18 0 10 0 836644411 854188032 40005 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40005 13086 16 0 208526 0
vsize: 834168
[startup+800.085 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 69561 61 0 0 18 0 10 0 836644411 854188032 40119 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40119 13086 16 0 208526 0
vsize: 834168
[startup+810.086 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 70433 62 0 0 17 0 10 0 836644411 854188032 40259 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40259 13086 16 0 208526 0
vsize: 834168
[startup+820.086 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 71307 62 0 0 18 0 10 0 836644411 854188032 40366 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40366 13086 16 0 208526 0
vsize: 834168
[startup+830.086 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 72179 63 0 0 17 0 10 0 836644411 854188032 40491 4294967295 134512640 134569956 3221224352 3221214208 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40491 13086 16 0 208526 0
vsize: 834168
[startup+840.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 73051 63 0 0 17 0 10 0 836644411 854188032 40613 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40613 13086 16 0 208526 0
vsize: 834168
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 73925 63 0 0 17 0 10 0 836644411 854188032 40762 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40762 13086 16 0 208526 0
vsize: 834168
[startup+860.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 74799 64 0 0 17 0 10 0 836644411 854188032 40883 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40883 13086 16 0 208526 0
vsize: 834168
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 75674 64 0 0 17 0 10 0 836644411 854188032 40978 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 40978 13086 16 0 208526 0
vsize: 834168
[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 76549 64 0 0 18 0 10 0 836644411 854188032 41097 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41097 13086 16 0 208526 0
vsize: 834168
[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 77424 64 0 0 18 0 10 0 836644411 854188032 41247 4294967295 134512640 134569956 3221224352 3221214176 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41247 13086 16 0 208526 0
vsize: 834168
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 78298 65 0 0 18 0 10 0 836644411 854188032 41335 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41335 13086 16 0 208526 0
vsize: 834168
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 79171 65 0 0 18 0 10 0 836644411 854188032 41479 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41479 13086 16 0 208526 0
vsize: 834168
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 80046 66 0 0 18 0 10 0 836644411 854188032 41610 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41610 13086 16 0 208526 0
vsize: 834168
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 80919 66 0 0 18 0 10 0 836644411 854188032 41701 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41701 13086 16 0 208526 0
vsize: 834168
[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 81794 67 0 0 18 0 10 0 836644411 854188032 41834 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41834 13086 16 0 208526 0
vsize: 834168
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 82667 67 0 0 17 0 10 0 836644411 854188032 41919 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 41919 13086 16 0 208526 0
vsize: 834168
[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 83540 68 0 0 17 0 10 0 836644411 854188032 42040 4294967295 134512640 134569956 3221224352 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42040 13086 16 0 208526 0
vsize: 834168
[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 84416 69 0 0 17 0 10 0 836644411 854188032 42157 4294967295 134512640 134569956 3221224352 3221214176 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42157 13086 16 0 208526 0
vsize: 834168
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 85295 69 0 0 18 0 10 0 836644411 854188032 42316 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42316 13086 16 0 208526 0
vsize: 834168
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 86175 69 0 0 19 0 10 0 836644411 854188032 42437 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42437 13086 16 0 208526 0
vsize: 834168
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 87050 70 0 0 18 0 10 0 836644411 854188032 42497 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42497 13086 16 0 208526 0
vsize: 834168
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 87928 70 0 0 20 0 10 0 836644411 854188032 42666 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42666 13086 16 0 208526 0
vsize: 834168
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 88810 71 0 0 20 0 10 0 836644411 854188032 42733 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42733 13086 16 0 208526 0
vsize: 834168
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 89689 71 0 0 21 0 10 0 836644411 854188032 42873 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42873 13086 16 0 208526 0
vsize: 834168
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 90570 71 0 0 22 0 10 0 836644411 854188032 42971 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 42971 13086 16 0 208526 0
vsize: 834168
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 91445 72 0 0 21 0 10 0 836644411 854188032 43044 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43044 13086 16 0 208526 0
vsize: 834168
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 92320 73 0 0 21 0 10 0 836644411 854188032 43178 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43178 13086 16 0 208526 0
vsize: 834168
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 93200 73 0 0 22 0 10 0 836644411 854188032 43297 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43297 13086 16 0 208526 0
vsize: 834168
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 94082 73 0 0 22 0 10 0 836644411 854188032 43427 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43427 13086 16 0 208526 0
vsize: 834168
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 94962 73 0 0 17 0 10 0 836644411 854188032 43544 4294967295 134512640 134569956 3221224352 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 43544 13086 16 0 208526 0
vsize: 834168
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 95847 73 0 0 18 0 10 0 836644411 854188032 43615 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43615 13086 16 0 208526 0
vsize: 834168
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 96723 74 0 0 17 0 10 0 836644411 854188032 43704 4294967295 134512640 134569956 3221224352 3221214656 1130920354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43704 13086 16 0 208526 0
vsize: 834168
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 97603 74 0 0 18 0 10 0 836644411 854188032 43859 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43859 13086 16 0 208526 0
vsize: 834168
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 98491 75 0 0 19 0 10 0 836644411 854188032 43949 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 43949 13086 16 0 208526 0
vsize: 834168
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 99376 75 0 0 20 0 10 0 836644411 854188032 44046 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44046 13086 16 0 208526 0
vsize: 834168
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 100263 76 0 0 20 0 10 0 836644411 854188032 44157 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44157 13086 16 0 208526 0
vsize: 834168
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 101147 76 0 0 22 0 10 0 836644411 854188032 44293 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44293 13086 16 0 208526 0
vsize: 834168
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 102030 76 0 0 17 0 10 0 836644411 854188032 44411 4294967295 134512640 134569956 3221224352 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44411 13086 16 0 208526 0
vsize: 834168
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 102918 76 0 0 17 0 10 0 836644411 854188032 44513 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44513 13086 16 0 208526 0
vsize: 834168
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 103809 76 0 0 19 0 10 0 836644411 854188032 44603 4294967295 134512640 134569956 3221224352 3221214176 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44603 13086 16 0 208526 0
vsize: 834168
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 104699 77 0 0 21 0 10 0 836644411 854188032 44689 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44689 13086 16 0 208526 0
vsize: 834168
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 105590 77 0 0 22 0 10 0 836644411 854188032 44805 4294967295 134512640 134569956 3221224352 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44805 13086 16 0 208526 0
vsize: 834168
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 106480 77 0 0 18 0 10 0 836644411 854188032 44909 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 44909 13086 16 0 208526 0
vsize: 834168
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 107374 78 0 0 20 0 10 0 836644411 854188032 45006 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45006 13086 16 0 208526 0
vsize: 834168
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 108267 78 0 0 22 0 10 0 836644411 854188032 45106 4294967295 134512640 134569956 3221224352 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45106 13086 16 0 208526 0
vsize: 834168
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) S 11213 1586 1585 0 -1 0 18028 0 1 0 109157 79 0 0 23 0 10 0 836644411 854188032 45196 4294967295 134512640 134569956 3221224352 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45196 13086 16 0 208526 0
vsize: 834168
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 110052 79 0 0 18 0 10 0 836644411 854188032 45271 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45271 13086 16 0 208526 0
vsize: 834168
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 110946 80 0 0 20 0 10 0 836644411 854188032 45362 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45362 13086 16 0 208526 0
vsize: 834168
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 111839 80 0 0 22 0 10 0 836644411 854188032 45485 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45485 13086 16 0 208526 0
vsize: 834168
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 112729 80 0 0 18 0 10 0 836644411 854188032 45591 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 45591 13086 16 0 208526 0
vsize: 834168
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 113629 80 0 0 22 0 10 0 836644411 854188032 45692 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 45692 13086 16 0 208526 0
vsize: 834168
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 114524 81 0 0 18 0 10 0 836644411 854188032 45786 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 45786 13086 16 0 208526 0
vsize: 834168
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 115421 81 0 0 19 0 10 0 836644411 854188032 45862 4294967295 134512640 134569956 3221224352 3221214176 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 45862 13086 16 0 208526 0
vsize: 834168
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 116320 81 0 0 22 0 10 0 836644411 854188032 45965 4294967295 134512640 134569956 3221224352 3221214080 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208542 45965 13086 16 0 208526 0
vsize: 834168
[startup+1340.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 117212 81 0 0 19 0 10 0 836644411 854188032 46091 4294967295 134512640 134569956 3221224352 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 46091 13086 16 0 208526 0
vsize: 834168
[startup+1350.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 118115 81 0 0 21 0 10 0 836644411 854188032 46142 4294967295 134512640 134569956 3221224352 3221214208 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 46142 13086 16 0 208526 0
vsize: 834168
[startup+1360.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 119010 81 0 0 19 0 10 0 836644411 854188032 46253 4294967295 134512640 134569956 3221224352 3221214708 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 46253 13086 16 0 208526 0
vsize: 834168
[startup+1370.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 119915 81 0 0 23 0 10 0 836644411 854188032 46352 4294967295 134512640 134569956 3221224352 3221214464 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 46352 13086 16 0 208526 0
vsize: 834168
[startup+1380.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 11223
Raw data (stat): 11214 (java) R 11213 1586 1585 0 -1 0 18028 0 1 0 120814 81 0 0 20 0 10 0 836644411 854188032 46466 4294967295 134512640 134569956 3221224352 3221214208 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208542 46466 13086 16 0 208526 0
vsize: 834168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1380.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11225
Raw data (stat): 11214 (java) Z 11213 1586 1585 0 -1 1036 18028 29006 1 0 120819 81 17354 87 22 0 1 0 836644411 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1380.25
CPU time (s): 1383.43
CPU user time (s): 1381.74
CPU system time (s): 1.69674
CPU usage (%): 100.23
Max. virtual memory (Kb): 834468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####