PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 29567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 09:05:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20969 boxname=wulflinc25 idbench=957 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 20969
/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:        433584 kB
Buffers:         28856 kB
Cached:         548012 kB
SwapCached:        588 kB
Active:          83296 kB
Inactive:       495808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        433332 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16224 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:26:13 (client local time) WITH STATUS 143 IN 1247.44 SECONDS
stats: 20969 7 1247.44 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-mps-v2-20-10-air04.opb
c reading problem ... done. Time 32.631 ms.
c #vars     8904
c #constraints  1646
c starts	: 4
c conflicts	: 666
c decisions	: 62092
c propagations	: 629394
c inspects	: 227946
c learned literals	: 1
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 664
c root simplifications	: 72
s UNKNOWN
c Total CPU time (ms) : 1249.167
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 12272
Raw data (stat): 12272 (runsolver) R 12271 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837676211 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.0051 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 12283
Raw data (stat): 12272 (java) S 12271 1586 1585 0 -1 0 18035 0 1 0 880 37 0 0 25 0 10 0 837676211 854134784 19341 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208529 19341 13086 16 0 208513 0
vsize: 834116
[startup+20.005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12283
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18036 0 1 0 1779 37 0 0 25 0 10 0 837676211 854921216 20010 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208721 20010 13086 16 0 208705 0
vsize: 834884
[startup+30.0062 s]
Raw data (loadavg): 1.11 1.02 1.01 4/63 12283
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18055 0 1 0 2660 38 0 0 25 0 10 0 837676211 856481792 20901 4294967295 134512640 134569956 3221224368 3221214460 1130894840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209102 20901 13086 16 0 209086 0
vsize: 836408
[startup+40.0063 s]
Raw data (loadavg): 1.24 1.05 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18097 0 1 0 3395 40 0 0 25 0 11 0 837676211 859828224 26327 4294967295 134512640 134569956 3221224368 3221214560 1131384364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209919 26327 13086 16 0 209903 0
vsize: 839676
[startup+50.0068 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18097 0 1 0 4364 40 0 0 25 0 11 0 837676211 859828224 26213 4294967295 134512640 134569956 3221224368 3221214520 1130918104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209919 26213 13086 16 0 209903 0
vsize: 839676
[startup+60.0119 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 5323 40 0 0 25 0 11 0 837676211 859828224 26223 4294967295 134512640 134569956 3221224368 3221214752 1131403292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209919 26223 13086 16 0 209903 0
vsize: 839676
[startup+70.0193 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 6260 40 0 0 25 0 11 0 837676211 859828224 26223 4294967295 134512640 134569956 3221224368 3221214552 1131392055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209919 26223 13086 16 0 209903 0
vsize: 839676
[startup+80.0196 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 7207 40 0 0 25 0 11 0 837676211 858906624 26191 4294967295 134512640 134569956 3221224368 3221214752 1131403106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 26191 13086 16 0 209678 0
vsize: 838776
[startup+90.0198 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 8142 40 0 0 25 0 11 0 837676211 858906624 26516 4294967295 134512640 134569956 3221224368 3221214544 1131384127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 26516 13086 16 0 209678 0
vsize: 838776
[startup+100.02 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 9062 41 0 0 25 0 11 0 837676211 858906624 26880 4294967295 134512640 134569956 3221224368 3221214648 1131453306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 26880 13086 16 0 209678 0
vsize: 838776
[startup+110.02 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18098 0 1 0 9999 41 0 0 25 0 11 0 837676211 858906624 27056 4294967295 134512640 134569956 3221224368 3221214544 1131384189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 27056 13086 16 0 209678 0
vsize: 838776
[startup+120.021 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 10931 41 0 0 25 0 11 0 837676211 858906624 27253 4294967295 134512640 134569956 3221224368 3221214544 1131384348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 27253 13086 16 0 209678 0
vsize: 838776
[startup+130.021 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 11868 41 0 0 25 0 11 0 837676211 862052352 28094 4294967295 134512640 134569956 3221224368 3221214564 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210462 28094 13086 16 0 210446 0
vsize: 841848
[startup+140.021 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 12806 41 0 0 25 0 11 0 837676211 859955200 27995 4294967295 134512640 134569956 3221224368 3221214512 1131579261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 27995 13086 16 0 209934 0
vsize: 839800
[startup+150.022 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 13750 41 0 0 25 0 11 0 837676211 859955200 27820 4294967295 134512640 134569956 3221224368 3221214544 1131383985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 27820 13086 16 0 209934 0
vsize: 839800
[startup+160.023 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 14665 41 0 0 25 0 11 0 837676211 859955200 28043 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 28043 13086 16 0 209934 0
vsize: 839800
[startup+170.022 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 15591 41 0 0 25 0 11 0 837676211 859955200 28238 4294967295 134512640 134569956 3221224368 3221214552 1131391986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 28238 13086 16 0 209934 0
vsize: 839800
[startup+180.022 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 16519 41 0 0 25 0 11 0 837676211 859955200 28414 4294967295 134512640 134569956 3221224368 3221214544 1131384088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 28414 13086 16 0 209934 0
vsize: 839800
[startup+190.023 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 17450 41 0 0 25 0 11 0 837676211 859955200 28624 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209950 28624 13086 16 0 209934 0
vsize: 839800
[startup+200.023 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 18388 41 0 0 25 0 11 0 837676211 858906624 28433 4294967295 134512640 134569956 3221224368 3221214608 1131245209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 28433 13086 16 0 209678 0
vsize: 838776
[startup+210.023 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 19326 41 0 0 25 0 11 0 837676211 858906624 28662 4294967295 134512640 134569956 3221224368 3221214624 1131476254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 28662 13086 16 0 209678 0
vsize: 838776
[startup+220.023 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 20282 41 0 0 25 0 11 0 837676211 858906624 28938 4294967295 134512640 134569956 3221224368 3221214752 1131402360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 28938 13086 16 0 209678 0
vsize: 838776
[startup+230.024 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 21243 41 0 0 25 0 11 0 837676211 858906624 29107 4294967295 134512640 134569956 3221224368 3221214544 1131384189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29107 13086 16 0 209678 0
vsize: 838776
[startup+240.024 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 22199 42 0 0 25 0 11 0 837676211 858906624 29153 4294967295 134512640 134569956 3221224368 3221214656 1131260381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29153 13086 16 0 209678 0
vsize: 838776
[startup+250.024 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 23168 42 0 0 25 0 11 0 837676211 858906624 29153 4294967295 134512640 134569956 3221224368 3221214752 1131403244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29153 13086 16 0 209678 0
vsize: 838776
[startup+260.025 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 24117 42 0 0 25 0 11 0 837676211 858906624 29153 4294967295 134512640 134569956 3221224368 3221214652 1131210409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29153 13086 16 0 209678 0
vsize: 838776
[startup+270.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) S 12271 1586 1585 0 -1 0 18099 0 1 0 25070 42 0 0 25 0 11 0 837676211 858906624 29153 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29153 13086 16 0 209678 0
vsize: 838776
[startup+280.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 26024 42 0 0 25 0 11 0 837676211 858906624 29228 4294967295 134512640 134569956 3221224368 3221214724 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29228 13086 16 0 209678 0
vsize: 838776
[startup+290.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 26963 42 0 0 24 0 11 0 837676211 858906624 29435 4294967295 134512640 134569956 3221224368 3221214656 1131591869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29435 13086 16 0 209678 0
vsize: 838776
[startup+300.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 27915 42 0 0 25 0 11 0 837676211 858906624 29470 4294967295 134512640 134569956 3221224368 3221214624 1131476208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29470 13086 16 0 209678 0
vsize: 838776
[startup+310.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 28859 42 0 0 25 0 11 0 837676211 858906624 29579 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29579 13086 16 0 209678 0
vsize: 838776
[startup+320.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 29813 42 0 0 25 0 11 0 837676211 858906624 29813 4294967295 134512640 134569956 3221224368 3221214632 1131210615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29813 13086 16 0 209678 0
vsize: 838776
[startup+330.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 30776 42 0 0 25 0 11 0 837676211 858906624 29813 4294967295 134512640 134569956 3221224368 3221214560 1131260478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29813 13086 16 0 209678 0
vsize: 838776
[startup+340.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 31740 42 0 0 25 0 11 0 837676211 858906624 29927 4294967295 134512640 134569956 3221224368 3221214656 1131591520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 29927 13086 16 0 209678 0
vsize: 838776
[startup+350.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 32714 42 0 0 25 0 11 0 837676211 858906624 30296 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30296 13086 16 0 209678 0
vsize: 838776
[startup+360.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 33709 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+370.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 34706 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214560 1131575749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+380.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 35702 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214604 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+390.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 36698 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214656 1131591543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 37694 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214604 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+410.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 38690 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214560 1131260386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+420.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 39684 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214544 1131383713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+430.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 40653 42 0 0 25 0 11 0 837676211 858906624 30360 4294967295 134512640 134569956 3221224368 3221214812 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30360 13086 16 0 209678 0
vsize: 838776
[startup+440.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 41611 42 0 0 25 0 11 0 837676211 858906624 30391 4294967295 134512640 134569956 3221224368 3221214812 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30391 13086 16 0 209678 0
vsize: 838776
[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 42556 42 0 0 25 0 11 0 837676211 858906624 30391 4294967295 134512640 134569956 3221224368 3221214560 1131260634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30391 13086 16 0 209678 0
vsize: 838776
[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 43499 42 0 0 25 0 11 0 837676211 858906624 30391 4294967295 134512640 134569956 3221224368 3221214648 1131454376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30391 13086 16 0 209678 0
vsize: 838776
[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 44422 43 0 0 25 0 11 0 837676211 858906624 30456 4294967295 134512640 134569956 3221224368 3221214648 1131453229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30456 13086 16 0 209678 0
vsize: 838776
[startup+480.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 45356 43 0 0 25 0 11 0 837676211 858906624 30646 4294967295 134512640 134569956 3221224368 3221214544 1131384113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30646 13086 16 0 209678 0
vsize: 838776
[startup+490.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) S 12271 1586 1585 0 -1 0 18099 0 1 0 46258 43 0 0 25 0 11 0 837676211 858906624 30928 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 30928 13086 16 0 209678 0
vsize: 838776
[startup+500.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 47185 43 0 0 25 0 11 0 837676211 858906624 31246 4294967295 134512640 134569956 3221224368 3221214624 1131476214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 31246 13086 16 0 209678 0
vsize: 838776
[startup+510.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 48139 43 0 0 25 0 11 0 837676211 858906624 31246 4294967295 134512640 134569956 3221224368 3221214544 1131383933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 31246 13086 16 0 209678 0
vsize: 838776
[startup+520.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 49076 43 0 0 25 0 11 0 837676211 858906624 31304 4294967295 134512640 134569956 3221224368 3221214656 1131261298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 31304 13086 16 0 209678 0
vsize: 838776
[startup+530.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 50014 43 0 0 25 0 11 0 837676211 858906624 31478 4294967295 134512640 134569956 3221224368 3221214656 1131591911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 31478 13086 16 0 209678 0
vsize: 838776
[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 50952 43 0 0 25 0 11 0 837676211 858906624 31606 4294967295 134512640 134569956 3221224368 3221214656 1131260564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 31606 13086 16 0 209678 0
vsize: 838776
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 51911 43 0 0 25 0 11 0 837676211 858906624 31824 4294967295 134512640 134569956 3221224368 3221214632 1131475689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 31824 13086 16 0 209678 0
vsize: 838776
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 52867 44 0 0 25 0 11 0 837676211 858906624 32023 4294967295 134512640 134569956 3221224368 3221214512 1131580935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 32023 13086 16 0 209678 0
vsize: 838776
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 53838 44 0 0 25 0 11 0 837676211 858906624 32023 4294967295 134512640 134569956 3221224368 3221214656 1131260476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32023 13086 16 0 209678 0
vsize: 838776
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 54790 44 0 0 25 0 11 0 837676211 858906624 32082 4294967295 134512640 134569956 3221224368 3221214656 1131591964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32082 13086 16 0 209678 0
vsize: 838776
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 55752 45 0 0 25 0 11 0 837676211 858906624 32205 4294967295 134512640 134569956 3221224368 3221214624 1131476214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 32205 13086 16 0 209678 0
vsize: 838776
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 56724 45 0 0 25 0 11 0 837676211 858906624 32351 4294967295 134512640 134569956 3221224368 3221214656 1131591964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32351 13086 16 0 209678 0
vsize: 838776
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 57700 45 0 0 25 0 11 0 837676211 858906624 32351 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32351 13086 16 0 209678 0
vsize: 838776
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 58678 45 0 0 25 0 11 0 837676211 858906624 32442 4294967295 134512640 134569956 3221224368 3221214560 1131260476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32442 13086 16 0 209678 0
vsize: 838776
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 59663 45 0 0 25 0 11 0 837676211 858906624 32442 4294967295 134512640 134569956 3221224368 3221214628 1131399328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32442 13086 16 0 209678 0
vsize: 838776
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 60652 45 0 0 25 0 11 0 837676211 858906624 32589 4294967295 134512640 134569956 3221224368 3221214628 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32589 13086 16 0 209678 0
vsize: 838776
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 61650 45 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214624 1131476214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 62647 46 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214512 1131580825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 63643 46 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214512 1131580976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 64640 47 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214560 1131260665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 65638 47 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214656 1131591911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 66635 47 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214648 1131370331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 67632 48 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214624 1131476214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 68629 48 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214632 1131210577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 69626 48 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214624 1131476242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 70623 48 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214408 1131383805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 71621 49 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214624 1131476214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 72618 49 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214608 1131245204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 73615 49 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214560 1131260542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 74613 49 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214628 1131399328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 75610 49 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214656 1131591911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 76607 50 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214392 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 77579 50 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214752 1131402764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 78540 50 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214512 1131580825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 79506 51 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214656 1131591983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 80473 51 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214560 1131261314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 81438 51 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214736 1131491929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 82391 52 0 0 25 0 11 0 837676211 858906624 32590 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32590 13086 16 0 209678 0
vsize: 838776
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 83341 52 0 0 24 0 11 0 837676211 858906624 32779 4294967295 134512640 134569956 3221224368 3221214752 1131402486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32779 13086 16 0 209678 0
vsize: 838776
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 84309 52 0 0 25 0 11 0 837676211 858906624 32811 4294967295 134512640 134569956 3221224368 3221214632 1131210529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 32811 13086 16 0 209678 0
vsize: 838776
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 85258 52 0 0 25 0 11 0 837676211 858906624 33027 4294967295 134512640 134569956 3221224368 3221214512 1131580781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33027 13086 16 0 209678 0
vsize: 838776
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 86215 52 0 0 25 0 11 0 837676211 858906624 33027 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33027 13086 16 0 209678 0
vsize: 838776
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 87179 52 0 0 25 0 11 0 837676211 858906624 33027 4294967295 134512640 134569956 3221224368 3221214752 1131402360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33027 13086 16 0 209678 0
vsize: 838776
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 88141 53 0 0 25 0 11 0 837676211 858906624 33027 4294967295 134512640 134569956 3221224368 3221214604 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33027 13086 16 0 209678 0
vsize: 838776
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 89106 53 0 0 25 0 11 0 837676211 858906624 33169 4294967295 134512640 134569956 3221224368 3221214656 1131591863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33169 13086 16 0 209678 0
vsize: 838776
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 90064 53 0 0 25 0 11 0 837676211 858906624 33278 4294967295 134512640 134569956 3221224368 3221214512 1131581706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33278 13086 16 0 209678 0
vsize: 838776
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 91035 53 0 0 25 0 11 0 837676211 858906624 33442 4294967295 134512640 134569956 3221224368 3221214656 1131591863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33442 13086 16 0 209678 0
vsize: 838776
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 92009 54 0 0 25 0 11 0 837676211 858906624 33524 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33524 13086 16 0 209678 0
vsize: 838776
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 92991 54 0 0 25 0 11 0 837676211 858906624 33524 4294967295 134512640 134569956 3221224368 3221214656 1131591964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33524 13086 16 0 209678 0
vsize: 838776
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 93978 54 0 0 25 0 11 0 837676211 858906624 33525 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33525 13086 16 0 209678 0
vsize: 838776
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 94956 54 0 0 25 0 11 0 837676211 858906624 33625 4294967295 134512640 134569956 3221224368 3221214560 1131260123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33625 13086 16 0 209678 0
vsize: 838776
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 95949 55 0 0 25 0 11 0 837676211 858906624 33707 4294967295 134512640 134569956 3221224368 3221214632 1131210554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33707 13086 16 0 209678 0
vsize: 838776
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 96944 55 0 0 25 0 11 0 837676211 858906624 33710 4294967295 134512640 134569956 3221224368 3221214656 1131591683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33710 13086 16 0 209678 0
vsize: 838776
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 97941 55 0 0 25 0 11 0 837676211 858906624 33713 4294967295 134512640 134569956 3221224368 3221214544 1131384396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33713 13086 16 0 209678 0
vsize: 838776
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 98913 55 0 0 25 0 11 0 837676211 858906624 33713 4294967295 134512640 134569956 3221224368 3221214512 1131579198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33713 13086 16 0 209678 0
vsize: 838776
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 99891 56 0 0 25 0 11 0 837676211 858906624 33713 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33713 13086 16 0 209678 0
vsize: 838776
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 100873 56 0 0 25 0 11 0 837676211 858906624 33729 4294967295 134512640 134569956 3221224368 3221214612 1131360531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33729 13086 16 0 209678 0
vsize: 838776
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18099 0 1 0 101855 57 0 0 25 0 11 0 837676211 858906624 33729 4294967295 134512640 134569956 3221224368 3221214560 1131261335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 33729 13086 16 0 209678 0
vsize: 838776
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 102838 57 0 0 25 0 11 0 837676211 858906624 33730 4294967295 134512640 134569956 3221224368 3221214560 1131260476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33730 13086 16 0 209678 0
vsize: 838776
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 103821 57 0 0 25 0 11 0 837676211 858906624 33730 4294967295 134512640 134569956 3221224368 3221214512 1131579179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 33730 13086 16 0 209678 0
vsize: 838776
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 104802 58 0 0 25 0 11 0 837676211 858906624 33858 4294967295 134512640 134569956 3221224368 3221214512 1131579959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33858 13086 16 0 209678 0
vsize: 838776
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 105796 58 0 0 25 0 11 0 837676211 858906624 33887 4294967295 134512640 134569956 3221224368 3221214560 1131260476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 33887 13086 16 0 209678 0
vsize: 838776
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 106792 58 0 0 25 0 11 0 837676211 858906624 33887 4294967295 134512640 134569956 3221224368 3221214512 1131579179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33887 13086 16 0 209678 0
vsize: 838776
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 107790 59 0 0 25 0 11 0 837676211 858906624 33900 4294967295 134512640 134569956 3221224368 3221214560 1131260589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33900 13086 16 0 209678 0
vsize: 838776
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 108787 59 0 0 25 0 11 0 837676211 858906624 33900 4294967295 134512640 134569956 3221224368 3221214656 1131591956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33900 13086 16 0 209678 0
vsize: 838776
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 109777 59 0 0 25 0 11 0 837676211 858906624 33900 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33900 13086 16 0 209678 0
vsize: 838776
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 110755 59 0 0 25 0 11 0 837676211 858906624 33900 4294967295 134512640 134569956 3221224368 3221214512 1131580935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33900 13086 16 0 209678 0
vsize: 838776
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 111733 60 0 0 25 0 11 0 837676211 858906624 33912 4294967295 134512640 134569956 3221224368 3221214512 1131580815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33912 13086 16 0 209678 0
vsize: 838776
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) S 12271 1586 1585 0 -1 0 18100 0 1 0 112712 60 0 0 25 0 11 0 837676211 858906624 33912 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33912 13086 16 0 209678 0
vsize: 838776
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 113696 60 0 0 25 0 11 0 837676211 858906624 33912 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33912 13086 16 0 209678 0
vsize: 838776
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 114674 60 0 0 25 0 11 0 837676211 858906624 33912 4294967295 134512640 134569956 3221224368 3221214512 1131579627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33912 13086 16 0 209678 0
vsize: 838776
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 115655 61 0 0 25 0 11 0 837676211 858906624 33931 4294967295 134512640 134569956 3221224368 3221214560 1131260610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 33931 13086 16 0 209678 0
vsize: 838776
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 116642 62 0 0 25 0 11 0 837676211 858906624 34013 4294967295 134512640 134569956 3221224368 3221214656 1131591911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 34013 13086 16 0 209678 0
vsize: 838776
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 117631 62 0 0 25 0 11 0 837676211 858906624 34107 4294967295 134512640 134569956 3221224368 3221214560 1131261335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 34107 13086 16 0 209678 0
vsize: 838776
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 118628 62 0 0 25 0 11 0 837676211 858906624 34107 4294967295 134512640 134569956 3221224368 3221214512 1131580861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 34107 13086 16 0 209678 0
vsize: 838776
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 119625 62 0 0 25 0 11 0 837676211 858906624 34121 4294967295 134512640 134569956 3221224368 3221214560 1131260649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 34121 13086 16 0 209678 0
vsize: 838776
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12284
Raw data (stat): 12272 (java) R 12271 1586 1585 0 -1 0 18100 0 1 0 120621 62 0 0 25 0 11 0 837676211 858906624 34121 4294967295 134512640 134569956 3221224368 3221214512 1131579179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 34121 13086 16 0 209678 0
vsize: 838776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12286
Raw data (stat): 12272 (java) Z 12271 1586 1585 0 -1 1036 18100 14526 1 0 120626 62 4018 35 25 0 1 0 837676211 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.26
CPU time (s): 1247.44
CPU user time (s): 1246.45
CPU system time (s): 0.98285
CPU usage (%): 99.7739
Max. virtual memory (Kb): 841848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####