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-beaconfd.opb
MD5SUM	b37a3111476ebbe5908ebdf347dfda5b
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	1920
Biggest coefficient in the objective function	57147392000
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	527520256725
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	57147392000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	527520256725
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.460929
Number of variables	5240
Total number of constraints	173
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	173
Minimum length of a constraint	20
Maximum length of a constraint	3080
Trace number 29810

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 11:44:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21206 boxname=wulflinc26 idbench=1194 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b37a3111476ebbe5908ebdf347dfda5b  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-beaconfd.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-beaconfd.opb
IDLAUNCH: 21206
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        367668 kB
Buffers:         36988 kB
Cached:         606384 kB
SwapCached:        656 kB
Active:         156756 kB
Inactive:       489248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        367416 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15156 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:04:57 (client local time) WITH STATUS 143 IN 1229.34 SECONDS
stats: 21206 7 1229.34 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/wulflinc26/normalized-mps-v2-13-7-beaconfd.opb
c reading problem ... done. Time 13.186 ms.
c #vars     5240
c #constraints  269
c starts	: 6
c conflicts	: 1529
c decisions	: 7780
c propagations	: 18536
c inspects	: 1821930
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1529
c root simplifications	: 756
s UNKNOWN
c Total CPU time (ms) : 1219.08
#### 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.94 0.97 0.99 2/54 3518
Raw data (stat): 3518 (runsolver) R 3517 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838623921 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.0013 s]
Raw data (loadavg): 1.10 1.00 1.00 2/63 3527
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18029 0 1 0 826 41 0 0 25 0 10 0 838623921 858116096 20698 4294967295 134512640 134569956 3221224368 3221214776 1131156200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209501 20698 13086 16 0 209485 0
vsize: 838004
[startup+20.0019 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 3527
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18052 0 1 0 1719 43 0 0 25 0 10 0 838623921 857120768 24715 4294967295 134512640 134569956 3221224368 3221214640 1131310925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209258 24715 13086 16 0 209242 0
vsize: 837032
[startup+30.0021 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 3527
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18052 0 1 0 2678 43 0 0 25 0 10 0 838623921 857120768 24715 4294967295 134512640 134569956 3221224368 3221214656 1131331602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209258 24715 13086 16 0 209242 0
vsize: 837032
[startup+40.0033 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) S 3517 20687 20686 0 -1 0 18068 0 1 0 3628 44 0 0 25 0 11 0 838623921 857133056 24643 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 24643 13086 16 0 209245 0
vsize: 837044
[startup+50.004 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18069 0 1 0 4579 44 0 0 25 0 11 0 838623921 858181632 25127 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 25127 13086 16 0 209501 0
vsize: 838068
[startup+60.0042 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18069 0 1 0 5556 45 0 0 24 0 11 0 838623921 857133056 25010 4294967295 134512640 134569956 3221224368 3221214680 1131345977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 25010 13086 16 0 209245 0
vsize: 837044
[startup+70.0053 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 6535 45 0 0 25 0 11 0 838623921 858181632 25354 4294967295 134512640 134569956 3221224368 3221214592 1131213244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25354 13086 16 0 209501 0
vsize: 838068
[startup+80.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 7519 45 0 0 25 0 11 0 838623921 859230208 25526 4294967295 134512640 134569956 3221224368 3221214520 1131311031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209773 25526 13086 16 0 209757 0
vsize: 839092
[startup+90.0066 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 8505 45 0 0 25 0 11 0 838623921 858181632 25423 4294967295 134512640 134569956 3221224368 3221214520 1131212792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25423 13086 16 0 209501 0
vsize: 838068
[startup+100.006 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 9488 46 0 0 24 0 11 0 838623921 858181632 25365 4294967295 134512640 134569956 3221224368 3221214632 1131200021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25365 13086 16 0 209501 0
vsize: 838068
[startup+110.007 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 10475 46 0 0 25 0 11 0 838623921 857133056 25341 4294967295 134512640 134569956 3221224368 3221214608 1131331568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 25341 13086 16 0 209245 0
vsize: 837044
[startup+120.007 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 11461 46 0 0 25 0 11 0 838623921 857133056 25369 4294967295 134512640 134569956 3221224368 3221214592 1131310993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 25369 13086 16 0 209245 0
vsize: 837044
[startup+130.007 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 12448 47 0 0 25 0 11 0 838623921 857133056 25411 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 25411 13086 16 0 209245 0
vsize: 837044
[startup+140.008 s]
Raw data (loadavg): 1.11 1.03 1.01 3/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 13436 47 0 0 25 0 11 0 838623921 859230208 25805 4294967295 134512640 134569956 3221224368 3221214608 1131331655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209773 25805 13086 16 0 209757 0
vsize: 839092
[startup+150.009 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18070 0 1 0 14420 47 0 0 25 0 11 0 838623921 859230208 25745 4294967295 134512640 134569956 3221224368 3221214592 1131311099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209773 25745 13086 16 0 209757 0
vsize: 839092
[startup+160.01 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 15401 48 0 0 24 0 11 0 838623921 858181632 25576 4294967295 134512640 134569956 3221224368 3221214592 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25576 13086 16 0 209501 0
vsize: 838068
[startup+170.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 16384 48 0 0 25 0 11 0 838623921 858181632 25629 4294967295 134512640 134569956 3221224368 3221214520 1131311054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25629 13086 16 0 209501 0
vsize: 838068
[startup+180.01 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 17370 49 0 0 25 0 11 0 838623921 858181632 25684 4294967295 134512640 134569956 3221224368 3221214592 1131311267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25684 13086 16 0 209501 0
vsize: 838068
[startup+190.01 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 18356 49 0 0 25 0 11 0 838623921 858181632 25727 4294967295 134512640 134569956 3221224368 3221214520 1131311263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25727 13086 16 0 209501 0
vsize: 838068
[startup+200.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 19341 50 0 0 25 0 11 0 838623921 858181632 25751 4294967295 134512640 134569956 3221224368 3221214520 1131311033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25751 13086 16 0 209501 0
vsize: 838068
[startup+210.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 20327 51 0 0 25 0 11 0 838623921 858181632 25781 4294967295 134512640 134569956 3221224368 3221214680 1131347774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25781 13086 16 0 209501 0
vsize: 838068
[startup+220.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 21310 51 0 0 25 0 11 0 838623921 858181632 25822 4294967295 134512640 134569956 3221224368 3221214608 1131331977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25822 13086 16 0 209501 0
vsize: 838068
[startup+230.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 22286 51 0 0 25 0 11 0 838623921 858181632 25858 4294967295 134512640 134569956 3221224368 3221214608 1131331647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25858 13086 16 0 209501 0
vsize: 838068
[startup+240.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 23258 52 0 0 25 0 11 0 838623921 858181632 25888 4294967295 134512640 134569956 3221224368 3221214592 1131213244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25888 13086 16 0 209501 0
vsize: 838068
[startup+250.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 24226 52 0 0 25 0 11 0 838623921 858181632 25940 4294967295 134512640 134569956 3221224368 3221214520 1131312465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 25940 13086 16 0 209501 0
vsize: 838068
[startup+260.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 25190 53 0 0 25 0 11 0 838623921 858181632 26054 4294967295 134512640 134569956 3221224368 3221214608 1131331770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26054 13086 16 0 209501 0
vsize: 838068
[startup+270.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 26147 53 0 0 25 0 11 0 838623921 858181632 26134 4294967295 134512640 134569956 3221224368 3221214520 1131311859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26134 13086 16 0 209501 0
vsize: 838068
[startup+280.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 27103 53 0 0 25 0 11 0 838623921 858181632 26208 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26208 13086 16 0 209501 0
vsize: 838068
[startup+290.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 28061 54 0 0 25 0 11 0 838623921 858181632 26357 4294967295 134512640 134569956 3221224368 3221214592 1131540204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26357 13086 16 0 209501 0
vsize: 838068
[startup+300.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 29017 54 0 0 25 0 11 0 838623921 858181632 26516 4294967295 134512640 134569956 3221224368 3221214520 1131311060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26516 13086 16 0 209501 0
vsize: 838068
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 29975 54 0 0 25 0 11 0 838623921 858181632 26618 4294967295 134512640 134569956 3221224368 3221214680 1131349467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26618 13086 16 0 209501 0
vsize: 838068
[startup+320.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 30934 54 0 0 25 0 11 0 838623921 858181632 26748 4294967295 134512640 134569956 3221224368 3221214520 1131312465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26748 13086 16 0 209501 0
vsize: 838068
[startup+330.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 31895 55 0 0 25 0 11 0 838623921 858181632 26887 4294967295 134512640 134569956 3221224368 3221214512 1131387928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26887 13086 16 0 209501 0
vsize: 838068
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) S 3517 20687 20686 0 -1 0 18072 0 1 0 32860 55 0 0 25 0 11 0 838623921 858181632 26981 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 26981 13086 16 0 209501 0
vsize: 838068
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 33823 55 0 0 25 0 11 0 838623921 858181632 27085 4294967295 134512640 134569956 3221224368 3221214512 1131388497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27085 13086 16 0 209501 0
vsize: 838068
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 34783 56 0 0 25 0 11 0 838623921 858181632 27207 4294967295 134512640 134569956 3221224368 3221214592 1131312468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27207 13086 16 0 209501 0
vsize: 838068
[startup+370.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 35750 56 0 0 25 0 11 0 838623921 858181632 27315 4294967295 134512640 134569956 3221224368 3221214216 1131509271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27315 13086 16 0 209501 0
vsize: 838068
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 36726 56 0 0 25 0 11 0 838623921 858181632 27424 4294967295 134512640 134569956 3221224368 3221214592 1131311231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27424 13086 16 0 209501 0
vsize: 838068
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 37709 57 0 0 25 0 11 0 838623921 858181632 27553 4294967295 134512640 134569956 3221224368 3221214680 1131345911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27553 13086 16 0 209501 0
vsize: 838068
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 38700 57 0 0 25 0 11 0 838623921 858181632 27586 4294967295 134512640 134569956 3221224368 3221214608 1131307621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27586 13086 16 0 209501 0
vsize: 838068
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 39694 58 0 0 25 0 11 0 838623921 858181632 27594 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27594 13086 16 0 209501 0
vsize: 838068
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 40688 58 0 0 25 0 11 0 838623921 858181632 27610 4294967295 134512640 134569956 3221224368 3221214680 1131344783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27610 13086 16 0 209501 0
vsize: 838068
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 41682 58 0 0 25 0 11 0 838623921 858181632 27619 4294967295 134512640 134569956 3221224368 3221214632 1131200000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27619 13086 16 0 209501 0
vsize: 838068
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 42677 58 0 0 25 0 11 0 838623921 858181632 27625 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27625 13086 16 0 209501 0
vsize: 838068
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 43671 59 0 0 25 0 11 0 838623921 858181632 27631 4294967295 134512640 134569956 3221224368 3221214680 1131347733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27631 13086 16 0 209501 0
vsize: 838068
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 44666 59 0 0 25 0 11 0 838623921 858181632 27638 4294967295 134512640 134569956 3221224368 3221214592 1131311084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27638 13086 16 0 209501 0
vsize: 838068
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 45660 59 0 0 25 0 11 0 838623921 858181632 27647 4294967295 134512640 134569956 3221224368 3221214608 1131331579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27647 13086 16 0 209501 0
vsize: 838068
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 46655 59 0 0 25 0 11 0 838623921 858181632 27654 4294967295 134512640 134569956 3221224368 3221214712 1131365598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27654 13086 16 0 209501 0
vsize: 838068
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 47649 59 0 0 25 0 11 0 838623921 858181632 27661 4294967295 134512640 134569956 3221224368 3221214592 1131212839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27661 13086 16 0 209501 0
vsize: 838068
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 48643 59 0 0 25 0 11 0 838623921 858181632 27667 4294967295 134512640 134569956 3221224368 3221214680 1131347388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27667 13086 16 0 209501 0
vsize: 838068
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 49638 59 0 0 25 0 11 0 838623921 858181632 27674 4294967295 134512640 134569956 3221224368 3221214608 1131331850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27674 13086 16 0 209501 0
vsize: 838068
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 50632 59 0 0 25 0 11 0 838623921 858181632 27680 4294967295 134512640 134569956 3221224368 3221214608 1131331568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27680 13086 16 0 209501 0
vsize: 838068
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 51626 59 0 0 25 0 11 0 838623921 858181632 27685 4294967295 134512640 134569956 3221224368 3221214608 1131331872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27685 13086 16 0 209501 0
vsize: 838068
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 52620 59 0 0 25 0 11 0 838623921 858181632 27692 4294967295 134512640 134569956 3221224368 3221214632 1131200025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27692 13086 16 0 209501 0
vsize: 838068
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 53614 59 0 0 25 0 11 0 838623921 858181632 27697 4294967295 134512640 134569956 3221224368 3221214592 1131311099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27697 13086 16 0 209501 0
vsize: 838068
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 54608 59 0 0 25 0 11 0 838623921 858181632 27702 4294967295 134512640 134569956 3221224368 3221214592 1131311695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27702 13086 16 0 209501 0
vsize: 838068
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 55602 59 0 0 25 0 11 0 838623921 858181632 27709 4294967295 134512640 134569956 3221224368 3221214520 1131212825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27709 13086 16 0 209501 0
vsize: 838068
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 56595 59 0 0 25 0 11 0 838623921 858181632 27716 4294967295 134512640 134569956 3221224368 3221214608 1131331649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27716 13086 16 0 209501 0
vsize: 838068
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 57589 59 0 0 25 0 11 0 838623921 858181632 27721 4294967295 134512640 134569956 3221224368 3221214712 1131365635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27721 13086 16 0 209501 0
vsize: 838068
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 58582 59 0 0 25 0 11 0 838623921 858181632 27727 4294967295 134512640 134569956 3221224368 3221214632 1131200000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27727 13086 16 0 209501 0
vsize: 838068
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 59576 60 0 0 25 0 11 0 838623921 858181632 27732 4294967295 134512640 134569956 3221224368 3221214632 1131200021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27732 13086 16 0 209501 0
vsize: 838068
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 60569 60 0 0 25 0 11 0 838623921 858181632 27738 4294967295 134512640 134569956 3221224368 3221214520 1131311227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27738 13086 16 0 209501 0
vsize: 838068
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 61563 60 0 0 25 0 11 0 838623921 858181632 27743 4294967295 134512640 134569956 3221224368 3221213996 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27743 13086 16 0 209501 0
vsize: 838068
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 62556 60 0 0 25 0 11 0 838623921 858181632 27749 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27749 13086 16 0 209501 0
vsize: 838068
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 63549 60 0 0 25 0 11 0 838623921 858181632 27754 4294967295 134512640 134569956 3221224368 3221214680 1131347733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27754 13086 16 0 209501 0
vsize: 838068
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 64543 60 0 0 25 0 11 0 838623921 858181632 27759 4294967295 134512640 134569956 3221224368 3221214680 1131344735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27759 13086 16 0 209501 0
vsize: 838068
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 65536 60 0 0 25 0 11 0 838623921 858181632 27765 4294967295 134512640 134569956 3221224368 3221214680 1131344717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27765 13086 16 0 209501 0
vsize: 838068
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 66528 60 0 0 25 0 11 0 838623921 858181632 27772 4294967295 134512640 134569956 3221224368 3221214608 1131331904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27772 13086 16 0 209501 0
vsize: 838068
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 67521 60 0 0 25 0 11 0 838623921 858181632 27780 4294967295 134512640 134569956 3221224368 3221213992 1131510639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27780 13086 16 0 209501 0
vsize: 838068
[startup+700.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 68514 60 0 0 25 0 11 0 838623921 858181632 27786 4294967295 134512640 134569956 3221224368 3221214592 1131311084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27786 13086 16 0 209501 0
vsize: 838068
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 69506 60 0 0 25 0 11 0 838623921 858181632 27792 4294967295 134512640 134569956 3221224368 3221214680 1131347741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27792 13086 16 0 209501 0
vsize: 838068
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 70499 60 0 0 25 0 11 0 838623921 858181632 27797 4294967295 134512640 134569956 3221224368 3221214680 1131345766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27797 13086 16 0 209501 0
vsize: 838068
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 71491 60 0 0 25 0 11 0 838623921 858181632 27803 4294967295 134512640 134569956 3221224368 3221214608 1131331586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27803 13086 16 0 209501 0
vsize: 838068
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 72484 60 0 0 25 0 11 0 838623921 858181632 27809 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27809 13086 16 0 209501 0
vsize: 838068
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 73477 60 0 0 25 0 11 0 838623921 858181632 27814 4294967295 134512640 134569956 3221224368 3221214592 1131311309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27814 13086 16 0 209501 0
vsize: 838068
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 74469 60 0 0 25 0 11 0 838623921 858181632 27819 4294967295 134512640 134569956 3221224368 3221214496 1131307011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27819 13086 16 0 209501 0
vsize: 838068
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 75460 60 0 0 25 0 11 0 838623921 858181632 27825 4294967295 134512640 134569956 3221224368 3221214048 1131510592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27825 13086 16 0 209501 0
vsize: 838068
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 76453 60 0 0 25 0 11 0 838623921 858181632 27830 4294967295 134512640 134569956 3221224368 3221214608 1131331621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27830 13086 16 0 209501 0
vsize: 838068
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 77445 60 0 0 25 0 11 0 838623921 858181632 27835 4294967295 134512640 134569956 3221224368 3221214632 1131200000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27835 13086 16 0 209501 0
vsize: 838068
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 78437 60 0 0 25 0 11 0 838623921 858181632 27845 4294967295 134512640 134569956 3221224368 3221214608 1131331963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27845 13086 16 0 209501 0
vsize: 838068
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 79430 60 0 0 25 0 11 0 838623921 858181632 27850 4294967295 134512640 134569956 3221224368 3221214680 1131348755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27850 13086 16 0 209501 0
vsize: 838068
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 80421 61 0 0 25 0 11 0 838623921 858181632 27855 4294967295 134512640 134569956 3221224368 3221214592 1131212837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27855 13086 16 0 209501 0
vsize: 838068
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 81412 61 0 0 25 0 11 0 838623921 858181632 27860 4294967295 134512640 134569956 3221224368 3221214712 1131365670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27860 13086 16 0 209501 0
vsize: 838068
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 82402 61 0 0 25 0 11 0 838623921 858181632 27865 4294967295 134512640 134569956 3221224368 3221214680 1131347476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27865 13086 16 0 209501 0
vsize: 838068
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 83392 61 0 0 25 0 11 0 838623921 858181632 27879 4294967295 134512640 134569956 3221224368 3221214520 1131311357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27879 13086 16 0 209501 0
vsize: 838068
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 84384 61 0 0 25 0 11 0 838623921 858181632 27893 4294967295 134512640 134569956 3221224368 3221214520 1131310932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27893 13086 16 0 209501 0
vsize: 838068
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 85375 61 0 0 25 0 11 0 838623921 858181632 27899 4294967295 134512640 134569956 3221224368 3221214680 1131347774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27899 13086 16 0 209501 0
vsize: 838068
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 86367 61 0 0 25 0 11 0 838623921 858181632 27904 4294967295 134512640 134569956 3221224368 3221214072 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27904 13086 16 0 209501 0
vsize: 838068
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 87358 61 0 0 25 0 11 0 838623921 858181632 27909 4294967295 134512640 134569956 3221224368 3221214680 1131349439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27909 13086 16 0 209501 0
vsize: 838068
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 88349 61 0 0 25 0 11 0 838623921 858181632 27916 4294967295 134512640 134569956 3221224368 3221214680 1131344724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27916 13086 16 0 209501 0
vsize: 838068
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 89341 61 0 0 25 0 11 0 838623921 858181632 27922 4294967295 134512640 134569956 3221224368 3221214576 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27922 13086 16 0 209501 0
vsize: 838068
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3528
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 90332 61 0 0 25 0 11 0 838623921 858181632 27928 4294967295 134512640 134569956 3221224368 3221214520 1131311707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27928 13086 16 0 209501 0
vsize: 838068
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 3531
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 91324 61 0 0 25 0 11 0 838623921 858181632 27933 4294967295 134512640 134569956 3221224368 3221214680 1131345973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27933 13086 16 0 209501 0
vsize: 838068
[startup+940.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 92311 64 0 0 25 0 11 0 838623921 858181632 27938 4294967295 134512640 134569956 3221224368 3221214520 1131311031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27938 13086 16 0 209501 0
vsize: 838068
[startup+950.043 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 93302 64 0 0 25 0 11 0 838623921 858181632 27942 4294967295 134512640 134569956 3221224368 3221214592 1131212816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27942 13086 16 0 209501 0
vsize: 838068
[startup+960.043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 94291 64 0 0 25 0 11 0 838623921 858181632 27947 4294967295 134512640 134569956 3221224368 3221214632 1131200032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27947 13086 16 0 209501 0
vsize: 838068
[startup+970.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 95282 64 0 0 25 0 11 0 838623921 858181632 27952 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27952 13086 16 0 209501 0
vsize: 838068
[startup+980.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 96271 65 0 0 25 0 11 0 838623921 858181632 27957 4294967295 134512640 134569956 3221224368 3221214680 1131348787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27957 13086 16 0 209501 0
vsize: 838068
[startup+990.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 97262 65 0 0 25 0 11 0 838623921 858181632 27961 4294967295 134512640 134569956 3221224368 3221214608 1131331610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27961 13086 16 0 209501 0
vsize: 838068
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3581
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 98253 66 0 0 25 0 11 0 838623921 858181632 27965 4294967295 134512640 134569956 3221224368 3221214608 1131331610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27965 13086 16 0 209501 0
vsize: 838068
[startup+1010.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 99242 66 0 0 25 0 11 0 838623921 858181632 27970 4294967295 134512640 134569956 3221224368 3221214520 1131311707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27970 13086 16 0 209501 0
vsize: 838068
[startup+1020.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 100232 67 0 0 25 0 11 0 838623921 858181632 27975 4294967295 134512640 134569956 3221224368 3221214592 1131311084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 27975 13086 16 0 209501 0
vsize: 838068
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 101222 67 0 0 25 0 11 0 838623921 858181632 27979 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27979 13086 16 0 209501 0
vsize: 838068
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 102213 67 0 0 25 0 11 0 838623921 858181632 27983 4294967295 134512640 134569956 3221224368 3221214608 1131306666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27983 13086 16 0 209501 0
vsize: 838068
[startup+1050.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 103201 68 0 0 25 0 11 0 838623921 858181632 27988 4294967295 134512640 134569956 3221224368 3221214520 1131311031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27988 13086 16 0 209501 0
vsize: 838068
[startup+1060.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 104192 68 0 0 25 0 11 0 838623921 858181632 27993 4294967295 134512640 134569956 3221224368 3221214520 1131311325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27993 13086 16 0 209501 0
vsize: 838068
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 105182 68 0 0 25 0 11 0 838623921 858181632 27997 4294967295 134512640 134569956 3221224368 3221213968 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 27997 13086 16 0 209501 0
vsize: 838068
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 106171 69 0 0 25 0 11 0 838623921 858181632 28001 4294967295 134512640 134569956 3221224368 3221214632 1131200000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209517 28001 13086 16 0 209501 0
vsize: 838068
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 107162 69 0 0 25 0 11 0 838623921 858181632 28006 4294967295 134512640 134569956 3221224368 3221214680 1131348413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28006 13086 16 0 209501 0
vsize: 838068
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 108150 69 0 0 25 0 11 0 838623921 858181632 28011 4294967295 134512640 134569956 3221224368 3221214592 1131312468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28011 13086 16 0 209501 0
vsize: 838068
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 109140 70 0 0 25 0 11 0 838623921 858181632 28015 4294967295 134512640 134569956 3221224368 3221214608 1131331568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28015 13086 16 0 209501 0
vsize: 838068
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 110130 70 0 0 25 0 11 0 838623921 858181632 28020 4294967295 134512640 134569956 3221224368 3221214520 1131311587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28020 13086 16 0 209501 0
vsize: 838068
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 111119 70 0 0 25 0 11 0 838623921 858181632 28024 4294967295 134512640 134569956 3221224368 3221214680 1131345700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28024 13086 16 0 209501 0
vsize: 838068
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 112108 70 0 0 25 0 11 0 838623921 858181632 28028 4294967295 134512640 134569956 3221224368 3221214608 1131332005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28028 13086 16 0 209501 0
vsize: 838068
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 113097 70 0 0 25 0 11 0 838623921 858181632 28033 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28033 13086 16 0 209501 0
vsize: 838068
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 114086 71 0 0 25 0 11 0 838623921 858181632 28039 4294967295 134512640 134569956 3221224368 3221214608 1131331904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28039 13086 16 0 209501 0
vsize: 838068
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 115074 71 0 0 25 0 11 0 838623921 858181632 28046 4294967295 134512640 134569956 3221224368 3221214520 1131212837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28046 13086 16 0 209501 0
vsize: 838068
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 116063 71 0 0 25 0 11 0 838623921 858181632 28055 4294967295 134512640 134569956 3221224368 3221214096 1131510658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28055 13086 16 0 209501 0
vsize: 838068
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 117051 71 0 0 25 0 11 0 838623921 858181632 28061 4294967295 134512640 134569956 3221224368 3221214608 1131331549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28061 13086 16 0 209501 0
vsize: 838068
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 118040 71 0 0 25 0 11 0 838623921 858181632 28069 4294967295 134512640 134569956 3221224368 3221214680 1131348517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28069 13086 16 0 209501 0
vsize: 838068
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 119030 71 0 0 25 0 11 0 838623921 858181632 28075 4294967295 134512640 134569956 3221224368 3221214592 1131311033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28075 13086 16 0 209501 0
vsize: 838068
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3518 (java) R 3517 20687 20686 0 -1 0 18072 0 1 0 120017 72 0 0 25 0 11 0 838623921 858181632 28081 4294967295 134512640 134569956 3221224368 3221214520 1131311084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209517 28081 13086 16 0 209501 0
vsize: 838068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3585
Raw data (stat): 3518 (java) Z 3517 20687 20686 0 -1 1036 18072 13574 1 0 120022 77 2792 42 25 0 1 0 838623921 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.15
CPU time (s): 1229.34
CPU user time (s): 1228.15
CPU system time (s): 1.19482
CPU usage (%): 100.753
Max. virtual memory (Kb): 839092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####