PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb
MD5SUM	7ae4c97a388259c0ddda3873687850bc
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	4547
Biggest coefficient in the objective function	23959961600
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	1807332483042
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	4006525009920
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	406053252625055
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.055991
Number of variables	6121
Total number of constraints	593
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	593
Minimum length of a constraint	8
Maximum length of a constraint	4759
Trace number 29814

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 11:47:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21210 boxname=wulflinc30 idbench=1198 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7ae4c97a388259c0ddda3873687850bc  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-boeing1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-boeing1.opb
IDLAUNCH: 21210
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        645148 kB
Buffers:         37240 kB
Cached:         328836 kB
SwapCached:        716 kB
Active:         103996 kB
Inactive:       264212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        644896 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15644 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:07:29 (client local time) WITH STATUS 143 IN 1235.47 SECONDS
stats: 21210 7 1235.47 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/wulflinc30/normalized-mps-v2-13-7-boeing1.opb
c reading problem ... done. Time 15.342 ms.
c #vars     6121
c #constraints  568
c starts	: 4
c conflicts	: 572
c decisions	: 35240
c propagations	: 62880
c inspects	: 946838
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 572
c root simplifications	: 104
s UNKNOWN
c Total CPU time (ms) : 1219.052
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.98 2/54 6941
Raw data (stat): 6941 (runsolver) R 6940 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838627618 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.0005 s]
Raw data (loadavg): 1.09 0.99 0.99 2/63 6950
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18022 0 1 0 856 38 0 0 24 0 10 0 838627618 854700032 19687 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208667 19687 13086 16 0 208651 0
vsize: 834668
[startup+20.0019 s]
Raw data (loadavg): 1.16 1.01 1.00 4/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18097 0 1 0 1689 40 0 0 25 0 11 0 838627618 860086272 22391 4294967295 134512640 134569956 3221224368 3221213700 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209982 22391 13086 16 0 209966 0
vsize: 839928
[startup+30.003 s]
Raw data (loadavg): 1.21 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18102 0 1 0 2573 40 0 0 25 0 11 0 838627618 860090368 23133 4294967295 134512640 134569956 3221224368 3221214656 1131545453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 23133 13086 16 0 209967 0
vsize: 839932
[startup+40.0029 s]
Raw data (loadavg): 1.17 1.02 1.00 3/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18104 0 1 0 3507 40 0 0 25 0 11 0 838627618 860090368 23755 4294967295 134512640 134569956 3221224368 3221214472 1131434487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 23755 13086 16 0 209967 0
vsize: 839932
[startup+50.0042 s]
Raw data (loadavg): 1.15 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 4479 40 0 0 24 0 11 0 838627618 860090368 23758 4294967295 134512640 134569956 3221224368 3221214472 1131281965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 23758 13086 16 0 209967 0
vsize: 839932
[startup+60.0044 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 5445 41 0 0 24 0 11 0 838627618 860090368 23761 4294967295 134512640 134569956 3221224368 3221214532 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 23761 13086 16 0 209967 0
vsize: 839932
[startup+70.0043 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 6414 41 0 0 25 0 11 0 838627618 860090368 23791 4294967295 134512640 134569956 3221224368 3221214552 1131480842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 23791 13086 16 0 209967 0
vsize: 839932
[startup+80.0058 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 7378 41 0 0 25 0 11 0 838627618 860090368 24063 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24063 13086 16 0 209967 0
vsize: 839932
[startup+90.0059 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 8364 42 0 0 25 0 11 0 838627618 860090368 24063 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24063 13086 16 0 209967 0
vsize: 839932
[startup+100.006 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 9347 42 0 0 25 0 11 0 838627618 860090368 24139 4294967295 134512640 134569956 3221224368 3221214536 1131232052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24139 13086 16 0 209967 0
vsize: 839932
[startup+110.007 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 10333 42 0 0 25 0 11 0 838627618 860090368 24157 4294967295 134512640 134569956 3221224368 3221214488 1131281647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24157 13086 16 0 209967 0
vsize: 839932
[startup+120.007 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 11321 42 0 0 25 0 11 0 838627618 860090368 24235 4294967295 134512640 134569956 3221224368 3221214648 1131552621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24235 13086 16 0 209967 0
vsize: 839932
[startup+130.008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 12307 43 0 0 25 0 11 0 838627618 860090368 24261 4294967295 134512640 134569956 3221224368 3221214560 1131233928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24261 13086 16 0 209967 0
vsize: 839932
[startup+140.009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 13291 44 0 0 25 0 11 0 838627618 860090368 24286 4294967295 134512640 134569956 3221224368 3221214552 1131336409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24286 13086 16 0 209967 0
vsize: 839932
[startup+150.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 14276 44 0 0 25 0 11 0 838627618 860090368 24308 4294967295 134512640 134569956 3221224368 3221214488 1131281647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24308 13086 16 0 209967 0
vsize: 839932
[startup+160.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 15266 44 0 0 25 0 11 0 838627618 860090368 24348 4294967295 134512640 134569956 3221224368 3221214648 1131552645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24348 13086 16 0 209967 0
vsize: 839932
[startup+170.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 16255 45 0 0 25 0 11 0 838627618 860090368 24388 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24388 13086 16 0 209967 0
vsize: 839932
[startup+180.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 17242 46 0 0 25 0 11 0 838627618 860090368 24411 4294967295 134512640 134569956 3221224368 3221214640 1131218759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24411 13086 16 0 209967 0
vsize: 839932
[startup+190.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 18227 46 0 0 25 0 11 0 838627618 860090368 24426 4294967295 134512640 134569956 3221224368 3221214648 1131545558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24426 13086 16 0 209967 0
vsize: 839932
[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 19211 46 0 0 25 0 11 0 838627618 860090368 24442 4294967295 134512640 134569956 3221224368 3221214552 1131338072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24442 13086 16 0 209967 0
vsize: 839932
[startup+210.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 20195 46 0 0 25 0 11 0 838627618 860090368 24483 4294967295 134512640 134569956 3221224368 3221214556 1131204912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24483 13086 16 0 209967 0
vsize: 839932
[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 21179 47 0 0 25 0 11 0 838627618 860090368 24509 4294967295 134512640 134569956 3221224368 3221214536 1131232805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24509 13086 16 0 209967 0
vsize: 839932
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 22165 47 0 0 25 0 11 0 838627618 860090368 24552 4294967295 134512640 134569956 3221224368 3221214552 1131336616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24552 13086 16 0 209967 0
vsize: 839932
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 23150 47 0 0 25 0 11 0 838627618 860090368 24574 4294967295 134512640 134569956 3221224368 3221214552 1131337503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24574 13086 16 0 209967 0
vsize: 839932
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 24136 48 0 0 25 0 11 0 838627618 860090368 24617 4294967295 134512640 134569956 3221224368 3221214436 1131647569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 24617 13086 16 0 209967 0
vsize: 839932
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 25130 48 0 0 25 0 11 0 838627618 860090368 24617 4294967295 134512640 134569956 3221224368 3221214288 1076619294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 24617 13086 16 0 209967 0
vsize: 839932
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 26117 48 0 0 25 0 11 0 838627618 860090368 24647 4294967295 134512640 134569956 3221224368 3221214552 1131338127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24647 13086 16 0 209967 0
vsize: 839932
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 27105 49 0 0 25 0 11 0 838627618 860090368 24675 4294967295 134512640 134569956 3221224368 3221214552 1131336399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 24675 13086 16 0 209967 0
vsize: 839932
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 28096 49 0 0 25 0 11 0 838627618 860090368 24675 4294967295 134512640 134569956 3221224368 3221214532 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24675 13086 16 0 209967 0
vsize: 839932
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 29085 49 0 0 24 0 11 0 838627618 860090368 24702 4294967295 134512640 134569956 3221224368 3221214644 1131218818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24702 13086 16 0 209967 0
vsize: 839932
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 30076 49 0 0 25 0 11 0 838627618 860090368 24721 4294967295 134512640 134569956 3221224368 3221214584 1131406563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 24721 13086 16 0 209967 0
vsize: 839932
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 31068 50 0 0 25 0 11 0 838627618 860090368 24740 4294967295 134512640 134569956 3221224368 3221214552 1131336421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24740 13086 16 0 209967 0
vsize: 839932
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 32056 50 0 0 25 0 11 0 838627618 860090368 24740 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24740 13086 16 0 209967 0
vsize: 839932
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 33043 50 0 0 25 0 11 0 838627618 860090368 24775 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24775 13086 16 0 209967 0
vsize: 839932
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 34031 50 0 0 25 0 11 0 838627618 860090368 24775 4294967295 134512640 134569956 3221224368 3221214560 1131233918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24775 13086 16 0 209967 0
vsize: 839932
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 35023 51 0 0 25 0 11 0 838627618 860090368 24798 4294967295 134512640 134569956 3221224368 3221214560 1131230133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24798 13086 16 0 209967 0
vsize: 839932
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 36011 51 0 0 25 0 11 0 838627618 860090368 24827 4294967295 134512640 134569956 3221224368 3221214648 1131547376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24827 13086 16 0 209967 0
vsize: 839932
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 37000 51 0 0 25 0 11 0 838627618 860090368 24849 4294967295 134512640 134569956 3221224368 3221214552 1131336955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24849 13086 16 0 209967 0
vsize: 839932
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 37977 52 0 0 25 0 11 0 838627618 860090368 24868 4294967295 134512640 134569956 3221224368 3221214648 1131552044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24868 13086 16 0 209967 0
vsize: 839932
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 38966 52 0 0 25 0 11 0 838627618 860090368 24902 4294967295 134512640 134569956 3221224368 3221214380 1131598579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24902 13086 16 0 209967 0
vsize: 839932
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 39956 53 0 0 25 0 11 0 838627618 860090368 24923 4294967295 134512640 134569956 3221224368 3221214648 1131552026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24923 13086 16 0 209967 0
vsize: 839932
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 40949 53 0 0 25 0 11 0 838627618 860090368 24923 4294967295 134512640 134569956 3221224368 3221214204 1131683684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24923 13086 16 0 209967 0
vsize: 839932
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 41940 53 0 0 25 0 11 0 838627618 860090368 24944 4294967295 134512640 134569956 3221224368 3221214488 1131281979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24944 13086 16 0 209967 0
vsize: 839932
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 42935 54 0 0 25 0 11 0 838627618 860090368 24944 4294967295 134512640 134569956 3221224368 3221214488 1131282010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24944 13086 16 0 209967 0
vsize: 839932
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 43925 54 0 0 25 0 11 0 838627618 860090368 24963 4294967295 134512640 134569956 3221224368 3221214552 1131336490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24963 13086 16 0 209967 0
vsize: 839932
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 44915 55 0 0 25 0 11 0 838627618 860090368 24977 4294967295 134512640 134569956 3221224368 3221214552 1131337043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24977 13086 16 0 209967 0
vsize: 839932
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 45907 55 0 0 25 0 11 0 838627618 860090368 24978 4294967295 134512640 134569956 3221224368 3221214552 1131336220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24978 13086 16 0 209967 0
vsize: 839932
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 46896 56 0 0 25 0 11 0 838627618 860090368 24997 4294967295 134512640 134569956 3221224368 3221214532 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 24997 13086 16 0 209967 0
vsize: 839932
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 47888 56 0 0 25 0 11 0 838627618 860090368 25018 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25018 13086 16 0 209967 0
vsize: 839932
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 48881 57 0 0 25 0 11 0 838627618 860090368 25018 4294967295 134512640 134569956 3221224368 3221214552 1131336628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25018 13086 16 0 209967 0
vsize: 839932
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 49872 57 0 0 25 0 11 0 838627618 860090368 25034 4294967295 134512640 134569956 3221224368 3221214552 1131336185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25034 13086 16 0 209967 0
vsize: 839932
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 50865 57 0 0 25 0 11 0 838627618 860090368 25034 4294967295 134512640 134569956 3221224368 3221214552 1131336771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25034 13086 16 0 209967 0
vsize: 839932
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 51857 57 0 0 25 0 11 0 838627618 860090368 25050 4294967295 134512640 134569956 3221224368 3221214488 1131281736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25050 13086 16 0 209967 0
vsize: 839932
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 52847 58 0 0 25 0 11 0 838627618 860090368 25061 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25061 13086 16 0 209967 0
vsize: 839932
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 53839 58 0 0 25 0 11 0 838627618 860090368 25065 4294967295 134512640 134569956 3221224368 3221214536 1131232150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25065 13086 16 0 209967 0
vsize: 839932
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 54829 59 0 0 25 0 11 0 838627618 860090368 25084 4294967295 134512640 134569956 3221224368 3221214648 1131552005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25084 13086 16 0 209967 0
vsize: 839932
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 55820 59 0 0 25 0 11 0 838627618 860090368 25100 4294967295 134512640 134569956 3221224368 3221214648 1131551958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25100 13086 16 0 209967 0
vsize: 839932
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 56810 59 0 0 25 0 11 0 838627618 860090368 25102 4294967295 134512640 134569956 3221224368 3221214584 1131406531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25102 13086 16 0 209967 0
vsize: 839932
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 57801 59 0 0 25 0 11 0 838627618 860090368 25120 4294967295 134512640 134569956 3221224368 3221214552 1131336447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25120 13086 16 0 209967 0
vsize: 839932
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 58792 60 0 0 25 0 11 0 838627618 860090368 25127 4294967295 134512640 134569956 3221224368 3221214472 1131434929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25127 13086 16 0 209967 0
vsize: 839932
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 59785 60 0 0 25 0 11 0 838627618 860090368 25144 4294967295 134512640 134569956 3221224368 3221214648 1131551975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25144 13086 16 0 209967 0
vsize: 839932
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 60776 60 0 0 25 0 11 0 838627618 860090368 25148 4294967295 134512640 134569956 3221224368 3221214344 1131673930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25148 13086 16 0 209967 0
vsize: 839932
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 61765 60 0 0 25 0 11 0 838627618 860090368 25167 4294967295 134512640 134569956 3221224368 3221214552 1131336347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25167 13086 16 0 209967 0
vsize: 839932
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 62754 61 0 0 25 0 11 0 838627618 860090368 25185 4294967295 134512640 134569956 3221224368 3221214536 1131232187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25185 13086 16 0 209967 0
vsize: 839932
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 63745 61 0 0 25 0 11 0 838627618 860090368 25187 4294967295 134512640 134569956 3221224368 3221214552 1131336185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25187 13086 16 0 209967 0
vsize: 839932
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 64736 61 0 0 25 0 11 0 838627618 860090368 25214 4294967295 134512640 134569956 3221224368 3221214640 1131218809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25214 13086 16 0 209967 0
vsize: 839932
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 65729 62 0 0 25 0 11 0 838627618 860090368 25226 4294967295 134512640 134569956 3221224368 3221214552 1131336405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25226 13086 16 0 209967 0
vsize: 839932
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 66719 62 0 0 25 0 11 0 838627618 860090368 25226 4294967295 134512640 134569956 3221224368 3221214648 1131552039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25226 13086 16 0 209967 0
vsize: 839932
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 67714 62 0 0 25 0 11 0 838627618 860090368 25241 4294967295 134512640 134569956 3221224368 3221214560 1131233980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25241 13086 16 0 209967 0
vsize: 839932
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 68704 62 0 0 25 0 11 0 838627618 860090368 25241 4294967295 134512640 134569956 3221224368 3221214552 1131336535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25241 13086 16 0 209967 0
vsize: 839932
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 69694 63 0 0 25 0 11 0 838627618 860090368 25258 4294967295 134512640 134569956 3221224368 3221214552 1131336561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25258 13086 16 0 209967 0
vsize: 839932
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 70684 64 0 0 25 0 11 0 838627618 860090368 25258 4294967295 134512640 134569956 3221224368 3221214552 1131336713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25258 13086 16 0 209967 0
vsize: 839932
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 71673 64 0 0 25 0 11 0 838627618 860090368 25274 4294967295 134512640 134569956 3221224368 3221214552 1131336753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25274 13086 16 0 209967 0
vsize: 839932
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 72665 64 0 0 25 0 11 0 838627618 860090368 25294 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25294 13086 16 0 209967 0
vsize: 839932
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 73655 65 0 0 25 0 11 0 838627618 860090368 25295 4294967295 134512640 134569956 3221224368 3221214552 1131336127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25295 13086 16 0 209967 0
vsize: 839932
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 74649 66 0 0 25 0 11 0 838627618 860090368 25311 4294967295 134512640 134569956 3221224368 3221214560 1131234040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25311 13086 16 0 209967 0
vsize: 839932
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6951
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 75641 67 0 0 25 0 11 0 838627618 860090368 25312 4294967295 134512640 134569956 3221224368 3221214648 1131553032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25312 13086 16 0 209967 0
vsize: 839932
[startup+780.044 s]
Raw data (loadavg): 1.08 1.02 1.01 3/67 6990
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 76628 70 0 0 25 0 11 0 838627618 860090368 25329 4294967295 134512640 134569956 3221224368 3221214552 1131336267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25329 13086 16 0 209967 0
vsize: 839932
[startup+790.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 77615 70 0 0 25 0 11 0 838627618 860090368 25330 4294967295 134512640 134569956 3221224368 3221214560 1131230136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25330 13086 16 0 209967 0
vsize: 839932
[startup+800.045 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 78605 71 0 0 25 0 11 0 838627618 860090368 25346 4294967295 134512640 134569956 3221224368 3221214552 1131336612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25346 13086 16 0 209967 0
vsize: 839932
[startup+810.045 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 79596 71 0 0 25 0 11 0 838627618 860090368 25364 4294967295 134512640 134569956 3221224368 3221214648 1131546817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25364 13086 16 0 209967 0
vsize: 839932
[startup+820.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 80587 71 0 0 25 0 11 0 838627618 860090368 25364 4294967295 134512640 134569956 3221224368 3221214648 1131547638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25364 13086 16 0 209967 0
vsize: 839932
[startup+830.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 81577 72 0 0 25 0 11 0 838627618 860090368 25379 4294967295 134512640 134569956 3221224368 3221214552 1131336799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25379 13086 16 0 209967 0
vsize: 839932
[startup+840.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 82567 72 0 0 25 0 11 0 838627618 860090368 25394 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25394 13086 16 0 209967 0
vsize: 839932
[startup+850.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7004
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 83559 73 0 0 25 0 11 0 838627618 860090368 25394 4294967295 134512640 134569956 3221224368 3221214552 1131336837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25394 13086 16 0 209967 0
vsize: 839932
[startup+860.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 84549 73 0 0 25 0 11 0 838627618 860090368 25411 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25411 13086 16 0 209967 0
vsize: 839932
[startup+870.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 85539 73 0 0 25 0 11 0 838627618 860090368 25411 4294967295 134512640 134569956 3221224368 3221214556 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25411 13086 16 0 209967 0
vsize: 839932
[startup+880.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 86531 73 0 0 25 0 11 0 838627618 860090368 25414 4294967295 134512640 134569956 3221224368 3221214648 1131546720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25414 13086 16 0 209967 0
vsize: 839932
[startup+890.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 87514 73 0 0 25 0 11 0 838627618 860090368 25434 4294967295 134512640 134569956 3221224368 3221214648 1131552020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25434 13086 16 0 209967 0
vsize: 839932
[startup+900.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 88500 74 0 0 25 0 11 0 838627618 860090368 25434 4294967295 134512640 134569956 3221224368 3221214552 1131336588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209983 25434 13086 16 0 209967 0
vsize: 839932
[startup+910.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 89480 74 0 0 25 0 11 0 838627618 860090368 25496 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25496 13086 16 0 209967 0
vsize: 839932
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 90471 74 0 0 25 0 11 0 838627618 860090368 25530 4294967295 134512640 134569956 3221224368 3221214648 1131546824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25530 13086 16 0 209967 0
vsize: 839932
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 91460 75 0 0 25 0 11 0 838627618 860090368 25548 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25548 13086 16 0 209967 0
vsize: 839932
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 92451 75 0 0 25 0 11 0 838627618 860090368 25548 4294967295 134512640 134569956 3221224368 3221214640 1131218759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25548 13086 16 0 209967 0
vsize: 839932
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 93442 75 0 0 25 0 11 0 838627618 860090368 25571 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25571 13086 16 0 209967 0
vsize: 839932
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 94437 76 0 0 25 0 11 0 838627618 860090368 25571 4294967295 134512640 134569956 3221224368 3221214648 1131550100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25571 13086 16 0 209967 0
vsize: 839932
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 95431 76 0 0 25 0 11 0 838627618 860090368 25580 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25580 13086 16 0 209967 0
vsize: 839932
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 96425 76 0 0 25 0 11 0 838627618 860090368 25580 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25580 13086 16 0 209967 0
vsize: 839932
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 97416 76 0 0 25 0 11 0 838627618 860090368 25580 4294967295 134512640 134569956 3221224368 3221214552 1131336461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25580 13086 16 0 209967 0
vsize: 839932
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 98409 76 0 0 25 0 11 0 838627618 860090368 25589 4294967295 134512640 134569956 3221224368 3221214440 1131673912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25589 13086 16 0 209967 0
vsize: 839932
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 99401 77 0 0 25 0 11 0 838627618 860090368 25591 4294967295 134512640 134569956 3221224368 3221214552 1131336779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25591 13086 16 0 209967 0
vsize: 839932
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 100395 77 0 0 25 0 11 0 838627618 860090368 25611 4294967295 134512640 134569956 3221224368 3221214552 1131336399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25611 13086 16 0 209967 0
vsize: 839932
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 101385 77 0 0 25 0 11 0 838627618 860090368 25611 4294967295 134512640 134569956 3221224368 3221214536 1131232760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25611 13086 16 0 209967 0
vsize: 839932
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 102377 78 0 0 25 0 11 0 838627618 860090368 25622 4294967295 134512640 134569956 3221224368 3221214200 1131706680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25622 13086 16 0 209967 0
vsize: 839932
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 103367 78 0 0 25 0 11 0 838627618 860090368 25622 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25622 13086 16 0 209967 0
vsize: 839932
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 104359 79 0 0 25 0 11 0 838627618 860090368 25639 4294967295 134512640 134569956 3221224368 3221214552 1131336592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25639 13086 16 0 209967 0
vsize: 839932
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 105349 79 0 0 25 0 11 0 838627618 860090368 25639 4294967295 134512640 134569956 3221224368 3221214552 1131336225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25639 13086 16 0 209967 0
vsize: 839932
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7006
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 106341 79 0 0 25 0 11 0 838627618 860090368 25658 4294967295 134512640 134569956 3221224368 3221214456 1131232055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25658 13086 16 0 209967 0
vsize: 839932
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 107334 80 0 0 25 0 11 0 838627618 860090368 25658 4294967295 134512640 134569956 3221224368 3221214644 1131336064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25658 13086 16 0 209967 0
vsize: 839932
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 108327 81 0 0 25 0 11 0 838627618 860090368 25674 4294967295 134512640 134569956 3221224368 3221214648 1131546824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25674 13086 16 0 209967 0
vsize: 839932
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 109320 81 0 0 25 0 11 0 838627618 860090368 25674 4294967295 134512640 134569956 3221224368 3221214552 1131337060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25674 13086 16 0 209967 0
vsize: 839932
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 110313 81 0 0 25 0 11 0 838627618 860090368 25684 4294967295 134512640 134569956 3221224368 3221214552 1131336484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25684 13086 16 0 209967 0
vsize: 839932
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 111305 82 0 0 25 0 11 0 838627618 860090368 25685 4294967295 134512640 134569956 3221224368 3221214648 1131545453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25685 13086 16 0 209967 0
vsize: 839932
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 112297 82 0 0 25 0 11 0 838627618 860090368 25696 4294967295 134512640 134569956 3221224368 3221214640 1131218802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25696 13086 16 0 209967 0
vsize: 839932
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 113290 82 0 0 25 0 11 0 838627618 860090368 25696 4294967295 134512640 134569956 3221224368 3221214552 1131336813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25696 13086 16 0 209967 0
vsize: 839932
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) S 6940 22056 22055 0 -1 0 18105 0 1 0 114282 82 0 0 25 0 11 0 838627618 860090368 25708 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25708 13086 16 0 209967 0
vsize: 839932
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 115275 83 0 0 25 0 11 0 838627618 860090368 25708 4294967295 134512640 134569956 3221224368 3221214304 1078032986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25708 13086 16 0 209967 0
vsize: 839932
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 116268 83 0 0 25 0 11 0 838627618 860090368 25708 4294967295 134512640 134569956 3221224368 3221214552 1131336771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25708 13086 16 0 209967 0
vsize: 839932
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 117260 83 0 0 25 0 11 0 838627618 860090368 25735 4294967295 134512640 134569956 3221224368 3221214552 1131336080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25735 13086 16 0 209967 0
vsize: 839932
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 118253 84 0 0 25 0 11 0 838627618 860090368 25735 4294967295 134512640 134569956 3221224368 3221214648 1131548435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25735 13086 16 0 209967 0
vsize: 839932
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 119244 84 0 0 25 0 11 0 838627618 860090368 25752 4294967295 134512640 134569956 3221224368 3221214648 1131545421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25752 13086 16 0 209967 0
vsize: 839932
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7008
Raw data (stat): 6941 (java) R 6940 22056 22055 0 -1 0 18105 0 1 0 120237 85 0 0 24 0 11 0 838627618 860090368 25753 4294967295 134512640 134569956 3221224368 3221214552 1131337739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209983 25753 13086 16 0 209967 0
vsize: 839932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7010
Raw data (stat): 6941 (java) Z 6940 22056 22055 0 -1 1036 18105 13194 1 0 120240 89 3173 43 25 0 1 0 838627618 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): 1220.14
CPU time (s): 1235.47
CPU user time (s): 1234.13
CPU system time (s): 1.3398
CPU usage (%): 101.257
Max. virtual memory (Kb): 839932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####