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/miplib3/normalized-mps-v2-20-10-gesa2.opb
MD5SUM	2494c95ada0b8f878d2a63b66980e2c5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	13488
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	180205740755072640
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	418848431931392
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	180205740755072640
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.170973
Number of variables	19344
Total number of constraints	1872
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	2
Maximum length of a constraint	309
Trace number 29640

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 09:52:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21043 boxname=wulflinc21 idbench=1031 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  2494c95ada0b8f878d2a63b66980e2c5  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-gesa2.opb
IDLAUNCH: 21043
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        268156 kB
Buffers:         33520 kB
Cached:         701832 kB
SwapCached:       1020 kB
Active:          44592 kB
Inactive:       692980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        267904 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            23240 kB
Committed_AS:    63916 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:12:58 (client local time) WITH STATUS 143 IN 1247.15 SECONDS
stats: 21043 7 1247.15 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/wulflinc21/normalized-mps-v2-20-10-gesa2.opb
c reading problem ... done. Time 112.025 ms.
c #vars     19344
c #constraints  1872
c starts	: 10
c conflicts	: 7497
c decisions	: 29429
c propagations	: 90746
c inspects	: 1609856
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7497
c root simplifications	: 55
s UNKNOWN
c Total CPU time (ms) : 1249.038
#### 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.99 1.00 1.00 2/55 12083
Raw data (stat): 12083 (runsolver) R 12082 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 715207516 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18007 0 1 0 877 38 0 0 25 0 10 0 715207516 857022464 20180 4294967295 134512640 134569956 3221224368 3221214416 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 20180 13086 16 0 209218 0
vsize: 836936
[startup+20.0001 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18007 0 1 0 1773 39 0 0 25 0 10 0 715207516 855478272 20410 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208857 20410 13086 16 0 208841 0
vsize: 835428
[startup+30.0007 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18007 0 1 0 2660 39 0 0 25 0 10 0 715207516 855478272 20964 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208857 20964 13086 16 0 208841 0
vsize: 835428
[startup+40.0004 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18007 0 1 0 3577 40 0 0 25 0 10 0 715207516 855478272 21291 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208857 21291 13086 16 0 208841 0
vsize: 835428
[startup+50.0011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18007 0 1 0 4497 40 0 0 25 0 10 0 715207516 855478272 21480 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208857 21480 13086 16 0 208841 0
vsize: 835428
[startup+60.0008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 5369 40 0 0 25 0 10 0 715207516 856526848 21902 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209113 21902 13086 16 0 209097 0
vsize: 836452
[startup+70.0006 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 6268 41 0 0 25 0 10 0 715207516 856526848 22067 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209113 22067 13086 16 0 209097 0
vsize: 836452
[startup+80.0013 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 7182 41 0 0 25 0 10 0 715207516 856526848 22374 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209113 22374 13086 16 0 209097 0
vsize: 836452
[startup+90.0009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 8112 42 0 0 20 0 10 0 715207516 856526848 22499 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209113 22499 13086 16 0 209097 0
vsize: 836452
[startup+100.002 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 9033 42 0 0 25 0 10 0 715207516 856526848 22614 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209113 22614 13086 16 0 209097 0
vsize: 836452
[startup+110.003 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12092
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18018 0 1 0 9955 42 0 0 25 0 10 0 715207516 856526848 22794 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209113 22794 13086 16 0 209097 0
vsize: 836452
[startup+120.002 s]
Raw data (loadavg): 1.20 1.05 1.01 3/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18061 0 1 0 10767 44 0 0 25 0 11 0 715207516 859152384 24556 4294967295 134512640 134569956 3221224368 3221214544 1131442610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 24556 13086 16 0 209738 0
vsize: 839016
[startup+130.002 s]
Raw data (loadavg): 1.17 1.05 1.01 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18062 0 1 0 11675 44 0 0 25 0 11 0 715207516 859152384 24456 4294967295 134512640 134569956 3221224368 3221214632 1131432359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24456 13086 16 0 209738 0
vsize: 839016
[startup+140.001 s]
Raw data (loadavg): 1.14 1.05 1.01 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18063 0 1 0 12612 44 0 0 25 0 11 0 715207516 859152384 24933 4294967295 134512640 134569956 3221224368 3221214560 1131360386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 24933 13086 16 0 209738 0
vsize: 839016
[startup+150.002 s]
Raw data (loadavg): 1.12 1.05 1.01 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 13550 44 0 0 25 0 11 0 715207516 859152384 25362 4294967295 134512640 134569956 3221224368 3221214612 1131237091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25362 13086 16 0 209738 0
vsize: 839016
[startup+160.002 s]
Raw data (loadavg): 1.10 1.05 1.01 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 14489 44 0 0 25 0 11 0 715207516 859152384 25808 4294967295 134512640 134569956 3221224368 3221214632 1131432509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 25808 13086 16 0 209738 0
vsize: 839016
[startup+170.002 s]
Raw data (loadavg): 1.08 1.04 1.01 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 15429 44 0 0 25 0 11 0 715207516 859152384 26179 4294967295 134512640 134569956 3221224368 3221214512 1131275240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26179 13086 16 0 209738 0
vsize: 839016
[startup+180.002 s]
Raw data (loadavg): 1.07 1.04 1.01 2/65 12093
Raw data (stat): 12083 (java) S 12082 32363 32362 0 -1 0 18064 0 1 0 16360 45 0 0 25 0 11 0 715207516 859152384 26530 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 26530 13086 16 0 209738 0
vsize: 839016
[startup+190.002 s]
Raw data (loadavg): 1.06 1.04 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 17299 45 0 0 25 0 11 0 715207516 859152384 27017 4294967295 134512640 134569956 3221224368 3221213712 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 27017 13086 16 0 209738 0
vsize: 839016
[startup+200.002 s]
Raw data (loadavg): 1.05 1.04 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 18256 45 0 0 25 0 11 0 715207516 859152384 27286 4294967295 134512640 134569956 3221224368 3221214472 1131574583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 27286 13086 16 0 209738 0
vsize: 839016
[startup+210.003 s]
Raw data (loadavg): 1.04 1.04 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 19211 45 0 0 25 0 11 0 715207516 859152384 27573 4294967295 134512640 134569956 3221224368 3221214560 1131259758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 27573 13086 16 0 209738 0
vsize: 839016
[startup+220.003 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 20168 45 0 0 25 0 11 0 715207516 859152384 27869 4294967295 134512640 134569956 3221224368 3221214560 1131434662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 27869 13086 16 0 209738 0
vsize: 839016
[startup+230.003 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 21147 46 0 0 25 0 11 0 715207516 859152384 27938 4294967295 134512640 134569956 3221224368 3221213904 1131641980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 27938 13086 16 0 209738 0
vsize: 839016
[startup+240.002 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 22136 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214208 1131672191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+250.003 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 23127 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214560 1131360801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+260.002 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 24127 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221213684 1131666956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+270.002 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 25117 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214352 1131671876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+280.003 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 26108 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214496 1131671868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+290.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 27098 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214288 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+300.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 28098 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221213768 1085679267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+310.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 29088 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221214516 1131666256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+320.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 30079 46 0 0 25 0 11 0 715207516 859152384 28009 4294967295 134512640 134569956 3221224368 3221213800 1131643079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28009 13086 16 0 209738 0
vsize: 839016
[startup+330.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 31078 47 0 0 25 0 11 0 715207516 859152384 28015 4294967295 134512640 134569956 3221224368 3221213868 1131666256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28015 13086 16 0 209738 0
vsize: 839016
[startup+340.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 32068 47 0 0 25 0 11 0 715207516 859152384 28015 4294967295 134512640 134569956 3221224368 3221214304 1131666284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28015 13086 16 0 209738 0
vsize: 839016
[startup+350.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 33057 47 0 0 25 0 11 0 715207516 859152384 28018 4294967295 134512640 134569956 3221224368 3221213896 1131641992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28018 13086 16 0 209738 0
vsize: 839016
[startup+360.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 34057 47 0 0 25 0 11 0 715207516 859152384 28018 4294967295 134512640 134569956 3221224368 3221214280 1131672315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28018 13086 16 0 209738 0
vsize: 839016
[startup+370.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 35047 47 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221213932 1131641993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+380.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 36037 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214312 1131672528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+390.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 37037 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214456 1131672315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+400.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 38028 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214164 1131672541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+410.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 39017 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214608 1131273322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+420.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 40008 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214248 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+430.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 40998 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221213728 1085679356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+440.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 41988 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221213976 1131666232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+450.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 42978 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214176 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+460.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 43978 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214656 1131672456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+470.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12093
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 44968 48 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221213728 1131666319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+480.002 s]
Raw data (loadavg): 1.16 1.04 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 45957 49 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221214224 1131672315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+490.002 s]
Raw data (loadavg): 1.13 1.04 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 46957 49 0 0 25 0 11 0 715207516 859152384 28091 4294967295 134512640 134569956 3221224368 3221213856 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28091 13086 16 0 209738 0
vsize: 839016
[startup+500.003 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 47947 49 0 0 25 0 11 0 715207516 859152384 28159 4294967295 134512640 134569956 3221224368 3221214032 1131666257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28159 13086 16 0 209738 0
vsize: 839016
[startup+510.003 s]
Raw data (loadavg): 1.10 1.03 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 48938 49 0 0 25 0 11 0 715207516 859152384 28230 4294967295 134512640 134569956 3221224368 3221213560 1131641980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28230 13086 16 0 209738 0
vsize: 839016
[startup+520.002 s]
Raw data (loadavg): 1.08 1.03 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 49929 49 0 0 25 0 11 0 715207516 859152384 28302 4294967295 134512640 134569956 3221224368 3221214520 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28302 13086 16 0 209738 0
vsize: 839016
[startup+530.002 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 12146
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 50928 49 0 0 25 0 11 0 715207516 859152384 28302 4294967295 134512640 134569956 3221224368 3221214008 1131671708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28302 13086 16 0 209738 0
vsize: 839016
[startup+540.002 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12148
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 51919 50 0 0 25 0 11 0 715207516 859152384 28375 4294967295 134512640 134569956 3221224368 3221214648 1131666967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28375 13086 16 0 209738 0
vsize: 839016
[startup+550.002 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 12148
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 52912 50 0 0 25 0 11 0 715207516 859152384 28448 4294967295 134512640 134569956 3221224368 3221214752 1131680241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28448 13086 16 0 209738 0
vsize: 839016
[startup+560.002 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 53911 50 0 0 25 0 11 0 715207516 859152384 28448 4294967295 134512640 134569956 3221224368 3221214536 1131666257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28448 13086 16 0 209738 0
vsize: 839016
[startup+570.001 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 54911 50 0 0 25 0 11 0 715207516 859152384 28448 4294967295 134512640 134569956 3221224368 3221214656 1131672322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28448 13086 16 0 209738 0
vsize: 839016
[startup+580.001 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 55904 50 0 0 25 0 11 0 715207516 859152384 28544 4294967295 134512640 134569956 3221224368 3221213784 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28544 13086 16 0 209738 0
vsize: 839016
[startup+590.002 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 56891 50 0 0 25 0 11 0 715207516 859152384 28690 4294967295 134512640 134569956 3221224368 3221214520 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28690 13086 16 0 209738 0
vsize: 839016
[startup+600.002 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 57885 50 0 0 25 0 11 0 715207516 859152384 28727 4294967295 134512640 134569956 3221224368 3221214296 1131672500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28727 13086 16 0 209738 0
vsize: 839016
[startup+610.001 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 58881 50 0 0 25 0 11 0 715207516 859152384 28770 4294967295 134512640 134569956 3221224368 3221214712 1131391736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28770 13086 16 0 209738 0
vsize: 839016
[startup+620.001 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 59871 50 0 0 25 0 11 0 715207516 859152384 28884 4294967295 134512640 134569956 3221224368 3221214360 1131593892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28884 13086 16 0 209738 0
vsize: 839016
[startup+630.001 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 60853 51 0 0 25 0 11 0 715207516 859152384 28917 4294967295 134512640 134569956 3221224368 3221214376 1131318287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28917 13086 16 0 209738 0
vsize: 839016
[startup+640 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 61828 51 0 0 25 0 11 0 715207516 859152384 28919 4294967295 134512640 134569956 3221224368 3221214472 1131442865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 28919 13086 16 0 209738 0
vsize: 839016
[startup+650.002 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 62795 51 0 0 25 0 11 0 715207516 859152384 29023 4294967295 134512640 134569956 3221224368 3221213888 1131666196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 29023 13086 16 0 209738 0
vsize: 839016
[startup+660.002 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 63762 51 0 0 24 0 11 0 715207516 859152384 29354 4294967295 134512640 134569956 3221224368 3221214464 1131360710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 29354 13086 16 0 209738 0
vsize: 839016
[startup+670.001 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 64741 51 0 0 25 0 11 0 715207516 859152384 29537 4294967295 134512640 134569956 3221224368 3221214148 1131666953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 29537 13086 16 0 209738 0
vsize: 839016
[startup+680.001 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 65710 51 0 0 25 0 11 0 715207516 859152384 29807 4294967295 134512640 134569956 3221224368 3221214248 1131666232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 29807 13086 16 0 209738 0
vsize: 839016
[startup+690.001 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 66680 51 0 0 25 0 11 0 715207516 859152384 29973 4294967295 134512640 134569956 3221224368 3221213868 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 29973 13086 16 0 209738 0
vsize: 839016
[startup+700.001 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 67641 52 0 0 25 0 11 0 715207516 859152384 30143 4294967295 134512640 134569956 3221224368 3221213968 1131671636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30143 13086 16 0 209738 0
vsize: 839016
[startup+710.002 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 68611 52 0 0 25 0 11 0 715207516 859152384 30327 4294967295 134512640 134569956 3221224368 3221214592 1131443412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30327 13086 16 0 209738 0
vsize: 839016
[startup+720.001 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 69569 52 0 0 25 0 11 0 715207516 859152384 30633 4294967295 134512640 134569956 3221224368 3221214496 1131361220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30633 13086 16 0 209738 0
vsize: 839016
[startup+730.002 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 70539 52 0 0 25 0 11 0 715207516 859152384 30722 4294967295 134512640 134569956 3221224368 3221214504 1131275083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30722 13086 16 0 209738 0
vsize: 839016
[startup+740.001 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 71508 52 0 0 25 0 11 0 715207516 859152384 30881 4294967295 134512640 134569956 3221224368 3221214504 1131275043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30881 13086 16 0 209738 0
vsize: 839016
[startup+750.002 s]
Raw data (loadavg): 1.09 1.04 1.01 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 72466 52 0 0 25 0 11 0 715207516 859152384 31089 4294967295 134512640 134569956 3221224368 3221214104 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31089 13086 16 0 209738 0
vsize: 839016
[startup+760.003 s]
Raw data (loadavg): 1.08 1.04 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 73433 52 0 0 25 0 11 0 715207516 859152384 31294 4294967295 134512640 134569956 3221224368 3221214120 1131666149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31294 13086 16 0 209738 0
vsize: 839016
[startup+770.003 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18064 0 1 0 74402 52 0 0 25 0 11 0 715207516 859152384 31447 4294967295 134512640 134569956 3221224368 3221214040 1131672508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31447 13086 16 0 209738 0
vsize: 839016
[startup+780.003 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) S 12082 32363 32362 0 -1 0 18065 0 1 0 75377 52 0 0 25 0 11 0 715207516 859152384 31612 4294967295 134512640 134569956 3221224368 3221213144 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31612 13086 16 0 209738 0
vsize: 839016
[startup+790.003 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 76348 53 0 0 25 0 11 0 715207516 859152384 31765 4294967295 134512640 134569956 3221224368 3221214040 1131672528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31765 13086 16 0 209738 0
vsize: 839016
[startup+800.003 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 77315 53 0 0 25 0 11 0 715207516 859152384 31972 4294967295 134512640 134569956 3221224368 3221214392 1131672034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 31972 13086 16 0 209738 0
vsize: 839016
[startup+810.003 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 78283 53 0 0 25 0 11 0 715207516 859152384 32170 4294967295 134512640 134569956 3221224368 3221214168 1131641980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32170 13086 16 0 209738 0
vsize: 839016
[startup+820.003 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12150
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 79251 53 0 0 25 0 11 0 715207516 859152384 32333 4294967295 134512640 134569956 3221224368 3221213612 1131666192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32333 13086 16 0 209738 0
vsize: 839016
[startup+830.004 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 80219 53 0 0 25 0 11 0 715207516 859152384 32536 4294967295 134512640 134569956 3221224368 3221213904 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32536 13086 16 0 209738 0
vsize: 839016
[startup+840.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 81197 53 0 0 25 0 11 0 715207516 859152384 32663 4294967295 134512640 134569956 3221224368 3221213800 1131641992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32663 13086 16 0 209738 0
vsize: 839016
[startup+850.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 82165 53 0 0 25 0 11 0 715207516 859152384 32835 4294967295 134512640 134569956 3221224368 3221214600 1131530959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32835 13086 16 0 209738 0
vsize: 839016
[startup+860.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 83134 53 0 0 25 0 11 0 715207516 859152384 33035 4294967295 134512640 134569956 3221224368 3221214136 1131643237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33035 13086 16 0 209738 0
vsize: 839016
[startup+870.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 84095 53 0 0 25 0 11 0 715207516 859152384 33139 4294967295 134512640 134569956 3221224368 3221214320 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33139 13086 16 0 209738 0
vsize: 839016
[startup+880.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 85055 53 0 0 25 0 11 0 715207516 859152384 33247 4294967295 134512640 134569956 3221224368 3221214784 1131679964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33247 13086 16 0 209738 0
vsize: 839016
[startup+890.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 86016 53 0 0 25 0 11 0 715207516 859152384 33397 4294967295 134512640 134569956 3221224368 3221214600 1131530959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33397 13086 16 0 209738 0
vsize: 839016
[startup+900.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 86975 53 0 0 25 0 11 0 715207516 859152384 33500 4294967295 134512640 134569956 3221224368 3221214564 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33500 13086 16 0 209738 0
vsize: 839016
[startup+910.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 87935 53 0 0 25 0 11 0 715207516 859152384 33629 4294967295 134512640 134569956 3221224368 3221214600 1131530959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33629 13086 16 0 209738 0
vsize: 839016
[startup+920.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 88904 53 0 0 25 0 11 0 715207516 859152384 33836 4294967295 134512640 134569956 3221224368 3221214592 1131442613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33836 13086 16 0 209738 0
vsize: 839016
[startup+930.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 89866 54 0 0 25 0 11 0 715207516 859152384 33836 4294967295 134512640 134569956 3221224368 3221214492 1131259104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33836 13086 16 0 209738 0
vsize: 839016
[startup+940.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 90824 54 0 0 25 0 11 0 715207516 859152384 33994 4294967295 134512640 134569956 3221224368 3221214592 1131443383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33994 13086 16 0 209738 0
vsize: 839016
[startup+950.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 91782 54 0 0 25 0 11 0 715207516 859152384 34117 4294967295 134512640 134569956 3221224368 3221213292 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34117 13086 16 0 209738 0
vsize: 839016
[startup+960.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 92751 54 0 0 25 0 11 0 715207516 859152384 34202 4294967295 134512640 134569956 3221224368 3221214256 1131672028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34202 13086 16 0 209738 0
vsize: 839016
[startup+970.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 93709 54 0 0 25 0 11 0 715207516 859152384 34313 4294967295 134512640 134569956 3221224368 3221214616 1131672528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34313 13086 16 0 209738 0
vsize: 839016
[startup+980.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 94667 54 0 0 25 0 11 0 715207516 859152384 34446 4294967295 134512640 134569956 3221224368 3221213384 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34446 13086 16 0 209738 0
vsize: 839016
[startup+990.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 95635 55 0 0 25 0 11 0 715207516 859152384 34532 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34532 13086 16 0 209738 0
vsize: 839016
[startup+1000 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 96594 55 0 0 25 0 11 0 715207516 859152384 34673 4294967295 134512640 134569956 3221224368 3221214496 1131360813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34673 13086 16 0 209738 0
vsize: 839016
[startup+1010 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 97562 55 0 0 25 0 11 0 715207516 859152384 34766 4294967295 134512640 134569956 3221224368 3221214328 1131672456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34766 13086 16 0 209738 0
vsize: 839016
[startup+1020 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 98521 55 0 0 25 0 11 0 715207516 859152384 34902 4294967295 134512640 134569956 3221224368 3221214688 1131672315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34902 13086 16 0 209738 0
vsize: 839016
[startup+1030 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 99489 55 0 0 25 0 11 0 715207516 859152384 34998 4294967295 134512640 134569956 3221224368 3221214472 1131672528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34998 13086 16 0 209738 0
vsize: 839016
[startup+1040 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 100447 55 0 0 25 0 11 0 715207516 859152384 35108 4294967295 134512640 134569956 3221224368 3221213756 1131666192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35108 13086 16 0 209738 0
vsize: 839016
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 101415 55 0 0 25 0 11 0 715207516 859152384 35237 4294967295 134512640 134569956 3221224368 3221214616 1131672028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35237 13086 16 0 209738 0
vsize: 839016
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 102384 55 0 0 25 0 11 0 715207516 859152384 35350 4294967295 134512640 134569956 3221224368 3221214496 1131666257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35350 13086 16 0 209738 0
vsize: 839016
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 103352 55 0 0 25 0 11 0 715207516 859152384 35458 4294967295 134512640 134569956 3221224368 3221213616 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35458 13086 16 0 209738 0
vsize: 839016
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 104320 55 0 0 25 0 11 0 715207516 859152384 35589 4294967295 134512640 134569956 3221224368 3221214496 1131360854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35589 13086 16 0 209738 0
vsize: 839016
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 105298 55 0 0 25 0 11 0 715207516 859152384 35685 4294967295 134512640 134569956 3221224368 3221214784 1131680543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35685 13086 16 0 209738 0
vsize: 839016
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 106266 55 0 0 25 0 11 0 715207516 859152384 35796 4294967295 134512640 134569956 3221224368 3221213600 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 35796 13086 16 0 209738 0
vsize: 839016
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 107233 55 0 0 25 0 11 0 715207516 859152384 35932 4294967295 134512640 134569956 3221224368 3221214264 1085679502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35932 13086 16 0 209738 0
vsize: 839016
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 108201 55 0 0 25 0 11 0 715207516 859152384 36069 4294967295 134512640 134569956 3221224368 3221214276 1131666256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36069 13086 16 0 209738 0
vsize: 839016
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 109169 56 0 0 25 0 11 0 715207516 859152384 36178 4294967295 134512640 134569956 3221224368 3221214472 1131398678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36178 13086 16 0 209738 0
vsize: 839016
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 110136 56 0 0 25 0 11 0 715207516 859152384 36293 4294967295 134512640 134569956 3221224368 3221213672 1131672540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36293 13086 16 0 209738 0
vsize: 839016
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 111105 56 0 0 25 0 11 0 715207516 859152384 36429 4294967295 134512640 134569956 3221224368 3221214192 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36429 13086 16 0 209738 0
vsize: 839016
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 112073 56 0 0 25 0 11 0 715207516 859152384 36552 4294967295 134512640 134569956 3221224368 3221214608 1131361239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36552 13086 16 0 209738 0
vsize: 839016
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 113031 56 0 0 25 0 11 0 715207516 859152384 36637 4294967295 134512640 134569956 3221224368 3221214680 1131666965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36637 13086 16 0 209738 0
vsize: 839016
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 114000 56 0 0 25 0 11 0 715207516 859152384 36725 4294967295 134512640 134569956 3221224368 3221213776 1131666306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36725 13086 16 0 209738 0
vsize: 839016
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 114969 56 0 0 25 0 11 0 715207516 859152384 36816 4294967295 134512640 134569956 3221224368 3221214680 1131672034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36816 13086 16 0 209738 0
vsize: 839016
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 115937 56 0 0 25 0 11 0 715207516 859152384 36903 4294967295 134512640 134569956 3221224368 3221214048 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36903 13086 16 0 209738 0
vsize: 839016
[startup+1210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 116895 56 0 0 25 0 11 0 715207516 859152384 37037 4294967295 134512640 134569956 3221224368 3221213992 1131666124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 37037 13086 16 0 209738 0
vsize: 839016
[startup+1220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 117864 56 0 0 25 0 11 0 715207516 859152384 37104 4294967295 134512640 134569956 3221224368 3221213896 1131671454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 37104 13086 16 0 209738 0
vsize: 839016
[startup+1230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 118831 56 0 0 25 0 11 0 715207516 859152384 37278 4294967295 134512640 134569956 3221224368 3221214248 1131666967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 37278 13086 16 0 209738 0
vsize: 839016
[startup+1240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 119799 56 0 0 25 0 11 0 715207516 859152384 37411 4294967295 134512640 134569956 3221224368 3221214264 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 37411 13086 16 0 209738 0
vsize: 839016
[startup+1250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12152
Raw data (stat): 12083 (java) R 12082 32363 32362 0 -1 0 18065 0 1 0 120778 56 0 0 25 0 11 0 715207516 859152384 37466 4294967295 134512640 134569956 3221224368 3221214600 1131533005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 37466 13086 16 0 209738 0
vsize: 839016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12154
Raw data (stat): 12083 (java) Z 12082 32363 32362 0 -1 1036 18065 17788 1 0 120783 56 3834 39 25 0 1 0 715207516 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.13
CPU time (s): 1247.15
CPU user time (s): 1246.18
CPU system time (s): 0.967852
CPU usage (%): 99.7617
Max. virtual memory (Kb): 839016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####