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/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUM	b6007187ad037f56a5e2b97a0b86cea8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 30052

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        640648 kB
Buffers:         33796 kB
Cached:         337764 kB
SwapCached:        400 kB
Active:          65172 kB
Inactive:       308552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        640396 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14656 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:35:05 (client local time) WITH STATUS 143 IN 1244.56 SECONDS
stats: 21455 7 1244.56 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/wulflinc22/normalized-mps-v2-13-7-pk1.opb
c reading problem ... done. Time 1.827 ms.
c #vars     675
c #constraints  60
c starts	: 10
c conflicts	: 8864
c decisions	: 10488
c propagations	: 48803
c inspects	: 4731872
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8864
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1249.161
#### 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.98 0.99 2/54 4144
Raw data (stat): 4144 (runsolver) R 4143 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839514319 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 s]
Raw data (loadavg): 1.09 1.02 1.01 4/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18079 0 1 0 529 40 0 0 25 0 11 0 839514319 870760448 22662 4294967295 134512640 134569956 3221224368 3221214544 1131237868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212588 22662 13086 16 0 212572 0
vsize: 850352
[startup+20.0011 s]
Raw data (loadavg): 1.23 1.05 1.02 3/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 1395 41 0 0 25 0 11 0 839514319 869941248 23037 4294967295 134512640 134569956 3221224368 3221214588 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 23037 13086 16 0 212372 0
vsize: 849552
[startup+30.0014 s]
Raw data (loadavg): 1.27 1.06 1.02 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 2353 41 0 0 25 0 11 0 839514319 869941248 23558 4294967295 134512640 134569956 3221224368 3221214544 1131321714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 23558 13086 16 0 212372 0
vsize: 849552
[startup+40.001 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 3312 41 0 0 25 0 11 0 839514319 869941248 23929 4294967295 134512640 134569956 3221224368 3221214544 1131323131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 23929 13086 16 0 212372 0
vsize: 849552
[startup+50.0024 s]
Raw data (loadavg): 1.19 1.06 1.02 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 4267 41 0 0 25 0 11 0 839514319 869941248 24258 4294967295 134512640 134569956 3221224368 3221214528 1131339921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 24258 13086 16 0 212372 0
vsize: 849552
[startup+60.0025 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 5223 42 0 0 25 0 11 0 839514319 869941248 24425 4294967295 134512640 134569956 3221224368 3221214544 1131321789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 24425 13086 16 0 212372 0
vsize: 849552
[startup+70.0033 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 6170 42 0 0 25 0 11 0 839514319 869941248 24580 4294967295 134512640 134569956 3221224368 3221214624 1131277235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 24580 13086 16 0 212372 0
vsize: 849552
[startup+80.0045 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18082 0 1 0 7099 42 0 0 25 0 11 0 839514319 869941248 24706 4294967295 134512640 134569956 3221224368 3221214544 1131321705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 24706 13086 16 0 212372 0
vsize: 849552
[startup+90.0037 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 8034 42 0 0 25 0 11 0 839514319 869941248 24999 4294967295 134512640 134569956 3221224368 3221214568 1131238313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 24999 13086 16 0 212372 0
vsize: 849552
[startup+100.004 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 8981 42 0 0 25 0 11 0 839514319 869941248 25236 4294967295 134512640 134569956 3221224368 3221214632 1131331308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 25236 13086 16 0 212372 0
vsize: 849552
[startup+110.006 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 9927 42 0 0 25 0 11 0 839514319 869941248 25442 4294967295 134512640 134569956 3221224368 3221214544 1131324043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 25442 13086 16 0 212372 0
vsize: 849552
[startup+120.007 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 10868 42 0 0 25 0 11 0 839514319 869941248 25601 4294967295 134512640 134569956 3221224368 3221214568 1131238747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 25601 13086 16 0 212372 0
vsize: 849552
[startup+130.007 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 11804 42 0 0 24 0 11 0 839514319 869941248 25983 4294967295 134512640 134569956 3221224368 3221214568 1131238532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 25983 13086 16 0 212372 0
vsize: 849552
[startup+140.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 12745 42 0 0 25 0 11 0 839514319 869941248 26185 4294967295 134512640 134569956 3221224368 3221214184 1131613332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 26185 13086 16 0 212372 0
vsize: 849552
[startup+150.007 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 13678 42 0 0 25 0 11 0 839514319 869941248 26415 4294967295 134512640 134569956 3221224368 3221214672 1131395131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 26415 13086 16 0 212372 0
vsize: 849552
[startup+160.007 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18083 0 1 0 14619 42 0 0 25 0 11 0 839514319 869941248 26604 4294967295 134512640 134569956 3221224368 3221214672 1131394901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 26604 13086 16 0 212372 0
vsize: 849552
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 15560 43 0 0 25 0 11 0 839514319 869941248 26824 4294967295 134512640 134569956 3221224368 3221214484 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 26824 13086 16 0 212372 0
vsize: 849552
[startup+180.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 16509 43 0 0 25 0 11 0 839514319 869941248 27036 4294967295 134512640 134569956 3221224368 3221214832 1131175641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 27036 13086 16 0 212372 0
vsize: 849552
[startup+190.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 17448 43 0 0 25 0 11 0 839514319 869941248 27259 4294967295 134512640 134569956 3221224368 3221214568 1131238756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 27259 13086 16 0 212372 0
vsize: 849552
[startup+200.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 18387 43 0 0 25 0 11 0 839514319 869941248 27472 4294967295 134512640 134569956 3221224368 3221214552 1131341796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 27472 13086 16 0 212372 0
vsize: 849552
[startup+210.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 19335 43 0 0 25 0 11 0 839514319 869941248 27657 4294967295 134512640 134569956 3221224368 3221214672 1131399625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 27657 13086 16 0 212372 0
vsize: 849552
[startup+220.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 20276 43 0 0 25 0 11 0 839514319 869941248 27901 4294967295 134512640 134569956 3221224368 3221214736 1130918442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 27901 13086 16 0 212372 0
vsize: 849552
[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 21218 43 0 0 25 0 11 0 839514319 869941248 28113 4294967295 134512640 134569956 3221224368 3221214656 1131143008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 28113 13086 16 0 212372 0
vsize: 849552
[startup+240.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 22168 43 0 0 25 0 11 0 839514319 869941248 28245 4294967295 134512640 134569956 3221224368 3221214064 1130883211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 28245 13086 16 0 212372 0
vsize: 849552
[startup+250.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 23115 43 0 0 25 0 11 0 839514319 869941248 28466 4294967295 134512640 134569956 3221224368 3221214176 1131614545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 28466 13086 16 0 212372 0
vsize: 849552
[startup+260.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) S 4143 23310 23309 0 -1 0 18084 0 1 0 24070 43 0 0 25 0 11 0 839514319 869941248 28680 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 28680 13086 16 0 212372 0
vsize: 849552
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 25009 43 0 0 25 0 11 0 839514319 869941248 28894 4294967295 134512640 134569956 3221224368 3221214568 1131238386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 28894 13086 16 0 212372 0
vsize: 849552
[startup+280.014 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 25955 43 0 0 25 0 11 0 839514319 869941248 29121 4294967295 134512640 134569956 3221224368 3221214568 1131238753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 29121 13086 16 0 212372 0
vsize: 849552
[startup+290.015 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 26904 44 0 0 25 0 11 0 839514319 869941248 29487 4294967295 134512640 134569956 3221224368 3221214048 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 29487 13086 16 0 212372 0
vsize: 849552
[startup+300.016 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 27863 44 0 0 25 0 11 0 839514319 869941248 29757 4294967295 134512640 134569956 3221224368 3221214568 1131238313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 29757 13086 16 0 212372 0
vsize: 849552
[startup+310.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 28816 44 0 0 25 0 11 0 839514319 869941248 30015 4294967295 134512640 134569956 3221224368 3221214568 1131238404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 30015 13086 16 0 212372 0
vsize: 849552
[startup+320.016 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 29778 44 0 0 25 0 11 0 839514319 869941248 30322 4294967295 134512640 134569956 3221224368 3221214568 1131238440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 30322 13086 16 0 212372 0
vsize: 849552
[startup+330.017 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 30732 44 0 0 25 0 11 0 839514319 869941248 30578 4294967295 134512640 134569956 3221224368 3221214672 1131394770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 30578 13086 16 0 212372 0
vsize: 849552
[startup+340.017 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 31687 44 0 0 25 0 11 0 839514319 869941248 30804 4294967295 134512640 134569956 3221224368 3221214672 1131398051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 30804 13086 16 0 212372 0
vsize: 849552
[startup+350.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 32643 45 0 0 25 0 11 0 839514319 869941248 31064 4294967295 134512640 134569956 3221224368 3221214568 1131238836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 31064 13086 16 0 212372 0
vsize: 849552
[startup+360.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 33598 45 0 0 25 0 11 0 839514319 869941248 31261 4294967295 134512640 134569956 3221224368 3221214568 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 31261 13086 16 0 212372 0
vsize: 849552
[startup+370.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 34551 45 0 0 25 0 11 0 839514319 869941248 31494 4294967295 134512640 134569956 3221224368 3221213976 1131613344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 31494 13086 16 0 212372 0
vsize: 849552
[startup+380.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 35506 45 0 0 24 0 11 0 839514319 869941248 31759 4294967295 134512640 134569956 3221224368 3221214568 1131238257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 31759 13086 16 0 212372 0
vsize: 849552
[startup+390.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 36460 46 0 0 25 0 11 0 839514319 869941248 31894 4294967295 134512640 134569956 3221224368 3221214672 1131396356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 31894 13086 16 0 212372 0
vsize: 849552
[startup+400.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 37427 46 0 0 25 0 11 0 839514319 869941248 32023 4294967295 134512640 134569956 3221224368 3221214568 1131238700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32023 13086 16 0 212372 0
vsize: 849552
[startup+410.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 38385 47 0 0 25 0 11 0 839514319 869941248 32182 4294967295 134512640 134569956 3221224368 3221214432 1131651102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32182 13086 16 0 212372 0
vsize: 849552
[startup+420.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 39333 47 0 0 25 0 11 0 839514319 869941248 32415 4294967295 134512640 134569956 3221224368 3221214176 1131614325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32415 13086 16 0 212372 0
vsize: 849552
[startup+430.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 40289 47 0 0 25 0 11 0 839514319 869941248 32539 4294967295 134512640 134569956 3221224368 3221214648 1131330699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32539 13086 16 0 212372 0
vsize: 849552
[startup+440.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 41243 47 0 0 25 0 11 0 839514319 869941248 32723 4294967295 134512640 134569956 3221224368 3221214644 1131281088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32723 13086 16 0 212372 0
vsize: 849552
[startup+450.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 42198 47 0 0 25 0 11 0 839514319 869941248 32995 4294967295 134512640 134569956 3221224368 3221214568 1131237870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 32995 13086 16 0 212372 0
vsize: 849552
[startup+460.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 43161 48 0 0 25 0 11 0 839514319 869941248 33219 4294967295 134512640 134569956 3221224368 3221214088 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 33219 13086 16 0 212372 0
vsize: 849552
[startup+470.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 44125 48 0 0 25 0 11 0 839514319 869941248 33452 4294967295 134512640 134569956 3221224368 3221214328 1131654528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 33452 13086 16 0 212372 0
vsize: 849552
[startup+480.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 45089 48 0 0 25 0 11 0 839514319 869941248 33716 4294967295 134512640 134569956 3221224368 3221213840 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 33716 13086 16 0 212372 0
vsize: 849552
[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 46045 49 0 0 25 0 11 0 839514319 869941248 33911 4294967295 134512640 134569956 3221224368 3221214568 1131238313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 33911 13086 16 0 212372 0
vsize: 849552
[startup+500.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 47003 49 0 0 25 0 11 0 839514319 869941248 34089 4294967295 134512640 134569956 3221224368 3221214672 1131394917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 34089 13086 16 0 212372 0
vsize: 849552
[startup+510.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 47960 49 0 0 25 0 11 0 839514319 869941248 34316 4294967295 134512640 134569956 3221224368 3221214672 1131397288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 34316 13086 16 0 212372 0
vsize: 849552
[startup+520.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 48934 50 0 0 25 0 11 0 839514319 869941248 34457 4294967295 134512640 134569956 3221224368 3221214788 1131175584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 34457 13086 16 0 212372 0
vsize: 849552
[startup+530.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 49897 50 0 0 25 0 11 0 839514319 869941248 34770 4294967295 134512640 134569956 3221224368 3221214280 1131614456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 34770 13086 16 0 212372 0
vsize: 849552
[startup+540.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 50862 50 0 0 25 0 11 0 839514319 869941248 35007 4294967295 134512640 134569956 3221224368 3221214424 1131651320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 35007 13086 16 0 212372 0
vsize: 849552
[startup+550.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 51827 51 0 0 25 0 11 0 839514319 869941248 35255 4294967295 134512640 134569956 3221224368 3221214672 1131396394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 35255 13086 16 0 212372 0
vsize: 849552
[startup+560.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 52793 51 0 0 25 0 11 0 839514319 869941248 35562 4294967295 134512640 134569956 3221224368 3221214328 1131655703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 35562 13086 16 0 212372 0
vsize: 849552
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 53762 51 0 0 25 0 11 0 839514319 869941248 35757 4294967295 134512640 134569956 3221224368 3221214536 1131657845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 35757 13086 16 0 212372 0
vsize: 849552
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 54730 52 0 0 25 0 11 0 839514319 869941248 36004 4294967295 134512640 134569956 3221224368 3221214384 1131614481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 36004 13086 16 0 212372 0
vsize: 849552
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 55705 52 0 0 25 0 11 0 839514319 869941248 36202 4294967295 134512640 134569956 3221224368 3221214280 1131614481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 36202 13086 16 0 212372 0
vsize: 849552
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 56671 53 0 0 25 0 11 0 839514319 869941248 36518 4294967295 134512640 134569956 3221224368 3221214192 1085679519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 36518 13086 16 0 212372 0
vsize: 849552
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 57655 53 0 0 25 0 11 0 839514319 869941248 36633 4294967295 134512640 134569956 3221224368 3221214568 1131237932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 36633 13086 16 0 212372 0
vsize: 849552
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 58628 53 0 0 25 0 11 0 839514319 869941248 36918 4294967295 134512640 134569956 3221224368 3221213972 1131620512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 36918 13086 16 0 212372 0
vsize: 849552
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) S 4143 23310 23309 0 -1 0 18084 0 1 0 59610 54 0 0 25 0 11 0 839514319 869941248 37111 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 37111 13086 16 0 212372 0
vsize: 849552
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 60584 54 0 0 25 0 11 0 839514319 869941248 37355 4294967295 134512640 134569956 3221224368 3221214296 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 37355 13086 16 0 212372 0
vsize: 849552
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 61548 55 0 0 25 0 11 0 839514319 869941248 37678 4294967295 134512640 134569956 3221224368 3221214568 1131237921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 37678 13086 16 0 212372 0
vsize: 849552
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 62522 55 0 0 25 0 11 0 839514319 869941248 37858 4294967295 134512640 134569956 3221224368 3221214568 1131238275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 37858 13086 16 0 212372 0
vsize: 849552
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 63496 55 0 0 25 0 11 0 839514319 869941248 38030 4294967295 134512640 134569956 3221224368 3221214224 1131656869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 38030 13086 16 0 212372 0
vsize: 849552
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 64462 55 0 0 25 0 11 0 839514319 869941248 38274 4294967295 134512640 134569956 3221224368 3221214132 1131614416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 38274 13086 16 0 212372 0
vsize: 849552
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 65428 56 0 0 25 0 11 0 839514319 869941248 38501 4294967295 134512640 134569956 3221224368 3221214564 1131199372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 38501 13086 16 0 212372 0
vsize: 849552
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 66401 56 0 0 25 0 11 0 839514319 869941248 38632 4294967295 134512640 134569956 3221224368 3221214432 1131655624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 38632 13086 16 0 212372 0
vsize: 849552
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 67366 56 0 0 25 0 11 0 839514319 869941248 38881 4294967295 134512640 134569956 3221224368 3221214120 1131655500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 38881 13086 16 0 212372 0
vsize: 849552
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 68341 56 0 0 25 0 11 0 839514319 869941248 39036 4294967295 134512640 134569956 3221224368 3221214216 1131620501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 39036 13086 16 0 212372 0
vsize: 849552
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 69314 56 0 0 25 0 11 0 839514319 869941248 39282 4294967295 134512640 134569956 3221224368 3221214568 1131238509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 39282 13086 16 0 212372 0
vsize: 849552
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 70288 56 0 0 25 0 11 0 839514319 869941248 39506 4294967295 134512640 134569956 3221224368 3221214384 1131614481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 39506 13086 16 0 212372 0
vsize: 849552
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 71262 56 0 0 25 0 11 0 839514319 869941248 39734 4294967295 134512640 134569956 3221224368 3221213928 1131614456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 39734 13086 16 0 212372 0
vsize: 849552
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 72229 57 0 0 25 0 11 0 839514319 869941248 39978 4294967295 134512640 134569956 3221224368 3221214068 1131614475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 39978 13086 16 0 212372 0
vsize: 849552
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 73204 57 0 0 25 0 11 0 839514319 869941248 40222 4294967295 134512640 134569956 3221224368 3221214472 1131531887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 40222 13086 16 0 212372 0
vsize: 849552
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 74180 57 0 0 25 0 11 0 839514319 869941248 40363 4294967295 134512640 134569956 3221224368 3221214568 1131238693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 40363 13086 16 0 212372 0
vsize: 849552
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 75147 57 0 0 25 0 11 0 839514319 869941248 40585 4294967295 134512640 134569956 3221224368 3221214568 1131238471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 40585 13086 16 0 212372 0
vsize: 849552
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 76122 58 0 0 25 0 11 0 839514319 869941248 40729 4294967295 134512640 134569956 3221224368 3221213656 1131614428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 40729 13086 16 0 212372 0
vsize: 849552
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 77089 58 0 0 25 0 11 0 839514319 869941248 40974 4294967295 134512640 134569956 3221224368 3221214568 1131237861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 40974 13086 16 0 212372 0
vsize: 849552
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) S 4143 23310 23309 0 -1 0 18084 0 1 0 78059 58 0 0 25 0 11 0 839514319 869941248 41157 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 41157 13086 16 0 212372 0
vsize: 849552
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 79038 58 0 0 25 0 11 0 839514319 869941248 41290 4294967295 134512640 134569956 3221224368 3221214568 1131238126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 41290 13086 16 0 212372 0
vsize: 849552
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 80012 58 0 0 25 0 11 0 839514319 869941248 41530 4294967295 134512640 134569956 3221224368 3221214648 1131291535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 41530 13086 16 0 212372 0
vsize: 849552
[startup+850.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 81000 58 0 0 25 0 11 0 839514319 869941248 41710 4294967295 134512640 134569956 3221224368 3221214016 1131651046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 41710 13086 16 0 212372 0
vsize: 849552
[startup+860.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 81973 58 0 0 25 0 11 0 839514319 869941248 41919 4294967295 134512640 134569956 3221224368 3221213968 1131614481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 41919 13086 16 0 212372 0
vsize: 849552
[startup+870.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 82946 59 0 0 25 0 11 0 839514319 869941248 42114 4294967295 134512640 134569956 3221224368 3221214644 1131342082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 42114 13086 16 0 212372 0
vsize: 849552
[startup+880.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) S 4143 23310 23309 0 -1 0 18084 0 1 0 83925 59 0 0 25 0 11 0 839514319 869941248 42264 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 42264 13086 16 0 212372 0
vsize: 849552
[startup+890.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 84893 59 0 0 25 0 11 0 839514319 869941248 42611 4294967295 134512640 134569956 3221224368 3221214076 1131613385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 42611 13086 16 0 212372 0
vsize: 849552
[startup+900.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 85868 60 0 0 25 0 11 0 839514319 869941248 42743 4294967295 134512640 134569956 3221224368 3221214028 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 42743 13086 16 0 212372 0
vsize: 849552
[startup+910.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 86841 60 0 0 25 0 11 0 839514319 869941248 43017 4294967295 134512640 134569956 3221224368 3221214584 1131265794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 43017 13086 16 0 212372 0
vsize: 849552
[startup+920.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 87817 61 0 0 25 0 11 0 839514319 869941248 43197 4294967295 134512640 134569956 3221224368 3221214568 1131238805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 43197 13086 16 0 212372 0
vsize: 849552
[startup+930.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 88786 61 0 0 25 0 11 0 839514319 869941248 43400 4294967295 134512640 134569956 3221224368 3221214344 1085679519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 43400 13086 16 0 212372 0
vsize: 849552
[startup+940.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 89762 61 0 0 25 0 11 0 839514319 869941248 43527 4294967295 134512640 134569956 3221224368 3221214120 1131614481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 43527 13086 16 0 212372 0
vsize: 849552
[startup+950.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 90730 61 0 0 25 0 11 0 839514319 869941248 43670 4294967295 134512640 134569956 3221224368 3221214128 1131613351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 43670 13086 16 0 212372 0
vsize: 849552
[startup+960.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 91704 62 0 0 25 0 11 0 839514319 869941248 43881 4294967295 134512640 134569956 3221224368 3221214060 1131620512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 43881 13086 16 0 212372 0
vsize: 849552
[startup+970.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 92686 62 0 0 25 0 11 0 839514319 869941248 44021 4294967295 134512640 134569956 3221224368 3221214456 1131238520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 44021 13086 16 0 212372 0
vsize: 849552
[startup+980.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 93658 62 0 0 25 0 11 0 839514319 869941248 44327 4294967295 134512640 134569956 3221224368 3221214560 1131395131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 44327 13086 16 0 212372 0
vsize: 849552
[startup+990.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 94631 62 0 0 25 0 11 0 839514319 869941248 44512 4294967295 134512640 134569956 3221224368 3221214344 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 44512 13086 16 0 212372 0
vsize: 849552
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 95605 62 0 0 25 0 11 0 839514319 869941248 44725 4294967295 134512640 134569956 3221224368 3221214064 1131654344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 44725 13086 16 0 212372 0
vsize: 849552
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 96589 63 0 0 25 0 11 0 839514319 869941248 44881 4294967295 134512640 134569956 3221224368 3221214104 1131652836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 44881 13086 16 0 212372 0
vsize: 849552
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 97579 63 0 0 25 0 11 0 839514319 869941248 44906 4294967295 134512640 134569956 3221224368 3221214208 1131655804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 44906 13086 16 0 212372 0
vsize: 849552
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 98559 63 0 0 25 0 11 0 839514319 869941248 45166 4294967295 134512640 134569956 3221224368 3221214440 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 45166 13086 16 0 212372 0
vsize: 849552
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 99540 63 0 0 25 0 11 0 839514319 869941248 45354 4294967295 134512640 134569956 3221224368 3221213908 1131614480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 45354 13086 16 0 212372 0
vsize: 849552
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 100521 64 0 0 25 0 11 0 839514319 869941248 45541 4294967295 134512640 134569956 3221224368 3221213648 1131613296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 45541 13086 16 0 212372 0
vsize: 849552
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 101501 64 0 0 25 0 11 0 839514319 869941248 45684 4294967295 134512640 134569956 3221224368 3221214548 1130885147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 45684 13086 16 0 212372 0
vsize: 849552
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 102473 64 0 0 25 0 11 0 839514319 869941248 45870 4294967295 134512640 134569956 3221224368 3221214536 1131238819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 45870 13086 16 0 212372 0
vsize: 849552
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 103444 64 0 0 25 0 11 0 839514319 869941248 46102 4294967295 134512640 134569956 3221224368 3221214536 1131238497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 46102 13086 16 0 212372 0
vsize: 849552
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 104426 64 0 0 25 0 11 0 839514319 869941248 46194 4294967295 134512640 134569956 3221224368 3221214208 1131654092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 46194 13086 16 0 212372 0
vsize: 849552
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 105399 64 0 0 25 0 11 0 839514319 869941248 46392 4294967295 134512640 134569956 3221224368 3221214072 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 46392 13086 16 0 212372 0
vsize: 849552
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 106381 64 0 0 25 0 11 0 839514319 869941248 46534 4294967295 134512640 134569956 3221224368 3221214056 1131614538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 46534 13086 16 0 212372 0
vsize: 849552
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 107354 65 0 0 25 0 11 0 839514319 869941248 46666 4294967295 134512640 134569956 3221224368 3221214536 1131237861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 46666 13086 16 0 212372 0
vsize: 849552
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 108327 65 0 0 25 0 11 0 839514319 869941248 46840 4294967295 134512640 134569956 3221224368 3221214536 1131238459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 46840 13086 16 0 212372 0
vsize: 849552
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 109301 65 0 0 25 0 11 0 839514319 869941248 46981 4294967295 134512640 134569956 3221224368 3221213720 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212388 46981 13086 16 0 212372 0
vsize: 849552
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 110274 65 0 0 25 0 11 0 839514319 869941248 47166 4294967295 134512640 134569956 3221224368 3221214488 1131341758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47166 13086 16 0 212372 0
vsize: 849552
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 111265 65 0 0 25 0 11 0 839514319 869941248 47211 4294967295 134512640 134569956 3221224368 3221214604 1131591783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47211 13086 16 0 212372 0
vsize: 849552
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 112246 65 0 0 25 0 11 0 839514319 869941248 47416 4294967295 134512640 134569956 3221224368 3221214648 1131200365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47416 13086 16 0 212372 0
vsize: 849552
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 113225 66 0 0 25 0 11 0 839514319 869941248 47592 4294967295 134512640 134569956 3221224368 3221213704 1131614373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47592 13086 16 0 212372 0
vsize: 849552
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 114206 67 0 0 25 0 11 0 839514319 869941248 47741 4294967295 134512640 134569956 3221224368 3221214416 1131654314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47741 13086 16 0 212372 0
vsize: 849552
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 115186 67 0 0 25 0 11 0 839514319 869941248 47954 4294967295 134512640 134569956 3221224368 3221214312 1131657624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 47954 13086 16 0 212372 0
vsize: 849552
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 116166 67 0 0 25 0 11 0 839514319 869941248 48073 4294967295 134512640 134569956 3221224368 3221213952 1131614401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 48073 13086 16 0 212372 0
vsize: 849552
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 117155 67 0 0 25 0 11 0 839514319 869941248 48164 4294967295 134512640 134569956 3221224368 3221214308 1131657825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 48164 13086 16 0 212372 0
vsize: 849552
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 118134 67 0 0 25 0 11 0 839514319 869941248 48343 4294967295 134512640 134569956 3221224368 3221214536 1131238197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 48343 13086 16 0 212372 0
vsize: 849552
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 119114 68 0 0 25 0 11 0 839514319 869941248 48530 4294967295 134512640 134569956 3221224368 3221214368 1131553517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 48530 13086 16 0 212372 0
vsize: 849552
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4154
Raw data (stat): 4144 (java) R 4143 23310 23309 0 -1 0 18084 0 1 0 120095 68 0 0 25 0 11 0 839514319 869941248 48700 4294967295 134512640 134569956 3221224368 3221213864 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212388 48700 13086 16 0 212372 0
vsize: 849552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4156
Raw data (stat): 4144 (java) Z 4143 23310 23309 0 -1 1036 18084 26474 1 0 120098 68 4237 51 25 0 1 0 839514319 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.24
CPU time (s): 1244.56
CPU user time (s): 1243.36
CPU system time (s): 1.20082
CPU usage (%): 99.5457
Max. virtual memory (Kb): 850352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####