PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 10:33:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21104 boxname=wulflinc3 idbench=1092 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 21104
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        799868 kB
Buffers:         32640 kB
Cached:         181560 kB
SwapCached:          0 kB
Active:          77288 kB
Inactive:       139632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799616 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            12088 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:55:28 (client local time) WITH STATUS 143 IN 1310.07 SECONDS
stats: 21104 7 1310.07 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/wulflinc3/normalized-mps-v2-20-10-n370e.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.219
#### 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): 1.07 1.02 1.00 2/54 32450
Raw data (stat): 32450 (runsolver) R 32449 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779962574 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99973 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18008 0 1 0 877 39 0 0 25 0 10 0 779962574 853659648 19333 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208413 19333 13086 16 0 208397 0
vsize: 833652
[startup+20.0009 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 1777 39 0 0 22 0 10 0 779962574 855195648 20148 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 20148 13086 16 0 208772 0
vsize: 835152
[startup+30.0014 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 2670 39 0 0 23 0 10 0 779962574 853614592 20313 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 20313 13086 16 0 208386 0
vsize: 833608
[startup+40.0017 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 3586 39 0 0 25 0 10 0 779962574 853925888 20678 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 20678 13086 16 0 208462 0
vsize: 833912
[startup+50.0026 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 4508 40 0 0 25 0 10 0 779962574 853925888 20840 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 20840 13086 16 0 208462 0
vsize: 833912
[startup+60.0036 s]
Raw data (loadavg): 1.09 1.03 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 5425 40 0 0 24 0 10 0 779962574 853925888 20971 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 20971 13086 16 0 208462 0
vsize: 833912
[startup+70.0038 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 6357 40 0 0 25 0 10 0 779962574 853823488 21187 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21187 13086 16 0 208437 0
vsize: 833812
[startup+80.0053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 7296 40 0 0 25 0 10 0 779962574 853823488 21289 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21289 13086 16 0 208437 0
vsize: 833812
[startup+90.0056 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 8241 40 0 0 25 0 10 0 779962574 853823488 21376 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21376 13086 16 0 208437 0
vsize: 833812
[startup+100.007 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 9182 41 0 0 25 0 10 0 779962574 853823488 21462 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21462 13086 16 0 208437 0
vsize: 833812
[startup+110.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 10127 41 0 0 25 0 10 0 779962574 853823488 21537 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21537 13086 16 0 208437 0
vsize: 833812
[startup+120.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 11069 41 0 0 25 0 10 0 779962574 853823488 21614 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21614 13086 16 0 208437 0
vsize: 833812
[startup+130.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 12012 41 0 0 25 0 10 0 779962574 853823488 21686 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21686 13086 16 0 208437 0
vsize: 833812
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 12958 41 0 0 25 0 10 0 779962574 853823488 21750 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21750 13086 16 0 208437 0
vsize: 833812
[startup+150.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 13900 41 0 0 25 0 10 0 779962574 853823488 21816 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21816 13086 16 0 208437 0
vsize: 833812
[startup+160.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 14843 42 0 0 24 0 10 0 779962574 853823488 21879 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21879 13086 16 0 208437 0
vsize: 833812
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 15786 42 0 0 25 0 10 0 779962574 853823488 21935 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21935 13086 16 0 208437 0
vsize: 833812
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 16703 42 0 0 24 0 10 0 779962574 853823488 21991 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 21991 13086 16 0 208437 0
vsize: 833812
[startup+190.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 17622 42 0 0 24 0 10 0 779962574 853823488 22304 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22304 13086 16 0 208437 0
vsize: 833812
[startup+200.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 18564 42 0 0 25 0 10 0 779962574 853823488 22356 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22356 13086 16 0 208437 0
vsize: 833812
[startup+210.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 19503 42 0 0 24 0 10 0 779962574 853823488 22409 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22409 13086 16 0 208437 0
vsize: 833812
[startup+220.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 20445 42 0 0 25 0 10 0 779962574 853823488 22458 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22458 13086 16 0 208437 0
vsize: 833812
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 21383 42 0 0 25 0 10 0 779962574 853823488 22509 4294967295 134512640 134569956 3221224368 3221214760 1131244516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22509 13086 16 0 208437 0
vsize: 833812
[startup+240.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 22325 42 0 0 25 0 10 0 779962574 853823488 22556 4294967295 134512640 134569956 3221224368 3221214792 1131212658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22556 13086 16 0 208437 0
vsize: 833812
[startup+250.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 23263 43 0 0 25 0 10 0 779962574 853823488 22605 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22605 13086 16 0 208437 0
vsize: 833812
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 24203 43 0 0 25 0 10 0 779962574 853823488 22650 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22650 13086 16 0 208437 0
vsize: 833812
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 25140 43 0 0 25 0 10 0 779962574 853823488 22696 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22696 13086 16 0 208437 0
vsize: 833812
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 26080 43 0 0 25 0 10 0 779962574 853823488 22739 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22739 13086 16 0 208437 0
vsize: 833812
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 27015 43 0 0 25 0 10 0 779962574 853823488 22785 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22785 13086 16 0 208437 0
vsize: 833812
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 27954 43 0 0 25 0 10 0 779962574 853823488 22826 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22826 13086 16 0 208437 0
vsize: 833812
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 28888 43 0 0 25 0 10 0 779962574 853823488 22870 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22870 13086 16 0 208437 0
vsize: 833812
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 29826 44 0 0 25 0 10 0 779962574 853823488 22910 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22910 13086 16 0 208437 0
vsize: 833812
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 30760 44 0 0 24 0 10 0 779962574 853823488 22952 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22952 13086 16 0 208437 0
vsize: 833812
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 31697 44 0 0 25 0 10 0 779962574 853823488 22991 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 22991 13086 16 0 208437 0
vsize: 833812
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 32630 44 0 0 24 0 10 0 779962574 853823488 23032 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23032 13086 16 0 208437 0
vsize: 833812
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 33566 44 0 0 25 0 10 0 779962574 853823488 23070 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23070 13086 16 0 208437 0
vsize: 833812
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 34502 44 0 0 25 0 10 0 779962574 853823488 23108 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23108 13086 16 0 208437 0
vsize: 833812
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 35433 44 0 0 25 0 10 0 779962574 853823488 23147 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23147 13086 16 0 208437 0
vsize: 833812
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 36368 44 0 0 25 0 10 0 779962574 853823488 23183 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23183 13086 16 0 208437 0
vsize: 833812
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 37300 44 0 0 25 0 10 0 779962574 853823488 23220 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23220 13086 16 0 208437 0
vsize: 833812
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 38235 44 0 0 25 0 10 0 779962574 853823488 23256 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23256 13086 16 0 208437 0
vsize: 833812
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 39169 44 0 0 25 0 10 0 779962574 853823488 23291 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23291 13086 16 0 208437 0
vsize: 833812
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 40099 44 0 0 24 0 10 0 779962574 853823488 23327 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23327 13086 16 0 208437 0
vsize: 833812
[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 41032 45 0 0 25 0 10 0 779962574 853823488 23361 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23361 13086 16 0 208437 0
vsize: 833812
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 41964 45 0 0 25 0 10 0 779962574 853823488 23395 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23395 13086 16 0 208437 0
vsize: 833812
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 42892 45 0 0 24 0 10 0 779962574 853823488 23430 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23430 13086 16 0 208437 0
vsize: 833812
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 43825 45 0 0 25 0 10 0 779962574 853823488 23463 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23463 13086 16 0 208437 0
vsize: 833812
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 44756 45 0 0 25 0 10 0 779962574 853823488 23495 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23495 13086 16 0 208437 0
vsize: 833812
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 45684 45 0 0 21 0 10 0 779962574 853823488 23528 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23528 13086 16 0 208437 0
vsize: 833812
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 46614 45 0 0 25 0 10 0 779962574 853823488 23561 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23561 13086 16 0 208437 0
vsize: 833812
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 47544 45 0 0 25 0 10 0 779962574 853823488 23592 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23592 13086 16 0 208437 0
vsize: 833812
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 48474 45 0 0 25 0 10 0 779962574 853823488 23624 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23624 13086 16 0 208437 0
vsize: 833812
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 49400 45 0 0 24 0 10 0 779962574 853823488 23657 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23657 13086 16 0 208437 0
vsize: 833812
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 50329 46 0 0 25 0 10 0 779962574 853823488 23687 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23687 13086 16 0 208437 0
vsize: 833812
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 51257 46 0 0 25 0 10 0 779962574 853823488 23717 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23717 13086 16 0 208437 0
vsize: 833812
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 52185 46 0 0 25 0 10 0 779962574 853823488 23747 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23747 13086 16 0 208437 0
vsize: 833812
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 53113 46 0 0 25 0 10 0 779962574 853823488 23777 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23777 13086 16 0 208437 0
vsize: 833812
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 54036 47 0 0 25 0 10 0 779962574 853823488 23808 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23808 13086 16 0 208437 0
vsize: 833812
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 54964 47 0 0 25 0 10 0 779962574 853823488 23837 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23837 13086 16 0 208437 0
vsize: 833812
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 55890 47 0 0 25 0 10 0 779962574 853823488 23866 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23866 13086 16 0 208437 0
vsize: 833812
[startup+610.045 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 56816 47 0 0 25 0 10 0 779962574 853823488 23895 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23895 13086 16 0 208437 0
vsize: 833812
[startup+620.046 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 57742 47 0 0 25 0 10 0 779962574 853823488 23923 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23923 13086 16 0 208437 0
vsize: 833812
[startup+630.047 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 58667 47 0 0 25 0 10 0 779962574 853823488 23951 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23951 13086 16 0 208437 0
vsize: 833812
[startup+640.048 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 59588 48 0 0 24 0 10 0 779962574 853823488 23980 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 23980 13086 16 0 208437 0
vsize: 833812
[startup+650.049 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 60514 48 0 0 25 0 10 0 779962574 853823488 24008 4294967295 134512640 134569956 3221224368 3221214828 1131158899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 24008 13086 16 0 208437 0
vsize: 833812
[startup+660.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 61439 48 0 0 25 0 10 0 779962574 853823488 24036 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 24036 13086 16 0 208437 0
vsize: 833812
[startup+670.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 62358 48 0 0 25 0 10 0 779962574 853823488 24969 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 24969 13086 16 0 208437 0
vsize: 833812
[startup+680.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 63280 48 0 0 25 0 10 0 779962574 853823488 24969 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 24969 13086 16 0 208437 0
vsize: 833812
[startup+690.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 64196 48 0 0 25 0 10 0 779962574 853823488 24985 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 24985 13086 16 0 208437 0
vsize: 833812
[startup+700.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 65111 49 0 0 25 0 10 0 779962574 853823488 25013 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25013 13086 16 0 208437 0
vsize: 833812
[startup+710.053 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 66025 49 0 0 25 0 10 0 779962574 853823488 25039 4294967295 134512640 134569956 3221224368 3221214652 1079677979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25039 13086 16 0 208437 0
vsize: 833812
[startup+720.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 66937 49 0 0 25 0 10 0 779962574 853823488 25066 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25066 13086 16 0 208437 0
vsize: 833812
[startup+730.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 67851 49 0 0 25 0 10 0 779962574 853823488 25092 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25092 13086 16 0 208437 0
vsize: 833812
[startup+740.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 68765 50 0 0 24 0 10 0 779962574 853823488 25118 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25118 13086 16 0 208437 0
vsize: 833812
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 69679 50 0 0 24 0 10 0 779962574 853823488 25143 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25143 13086 16 0 208437 0
vsize: 833812
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 70596 50 0 0 25 0 10 0 779962574 853823488 25168 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25168 13086 16 0 208437 0
vsize: 833812
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 71509 50 0 0 25 0 10 0 779962574 853823488 25192 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25192 13086 16 0 208437 0
vsize: 833812
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 72421 50 0 0 25 0 10 0 779962574 853823488 25218 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25218 13086 16 0 208437 0
vsize: 833812
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 73333 50 0 0 25 0 10 0 779962574 853823488 25243 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25243 13086 16 0 208437 0
vsize: 833812
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 74245 50 0 0 25 0 10 0 779962574 853823488 25268 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25268 13086 16 0 208437 0
vsize: 833812
[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 75156 50 0 0 25 0 10 0 779962574 853823488 25292 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25292 13086 16 0 208437 0
vsize: 833812
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 76067 51 0 0 25 0 10 0 779962574 853823488 25317 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25317 13086 16 0 208437 0
vsize: 833812
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 76977 51 0 0 25 0 10 0 779962574 853823488 25341 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25341 13086 16 0 208437 0
vsize: 833812
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 77886 51 0 0 25 0 10 0 779962574 853823488 25364 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25364 13086 16 0 208437 0
vsize: 833812
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 78801 51 0 0 25 0 10 0 779962574 853823488 25388 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25388 13086 16 0 208437 0
vsize: 833812
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 79711 51 0 0 25 0 10 0 779962574 853823488 25412 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25412 13086 16 0 208437 0
vsize: 833812
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 80621 51 0 0 25 0 10 0 779962574 853823488 25436 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25436 13086 16 0 208437 0
vsize: 833812
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 81530 51 0 0 25 0 10 0 779962574 853823488 25459 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25459 13086 16 0 208437 0
vsize: 833812
[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 82438 51 0 0 24 0 10 0 779962574 853823488 25483 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208453 25483 13086 16 0 208437 0
vsize: 833812
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 83351 51 0 0 25 0 10 0 779962574 853823488 25506 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25506 13086 16 0 208437 0
vsize: 833812
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 84258 52 0 0 25 0 10 0 779962574 853823488 25529 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25529 13086 16 0 208437 0
vsize: 833812
[startup+920.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 85164 52 0 0 25 0 10 0 779962574 853823488 25556 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25556 13086 16 0 208437 0
vsize: 833812
[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 86070 52 0 0 25 0 10 0 779962574 853823488 25583 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25583 13086 16 0 208437 0
vsize: 833812
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 86974 53 0 0 24 0 10 0 779962574 853823488 25606 4294967295 134512640 134569956 3221224368 3221214200 1076460929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25606 13086 16 0 208437 0
vsize: 833812
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 87885 53 0 0 25 0 10 0 779962574 853823488 25636 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25636 13086 16 0 208437 0
vsize: 833812
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 88789 53 0 0 25 0 10 0 779962574 853823488 25662 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25662 13086 16 0 208437 0
vsize: 833812
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 89692 54 0 0 25 0 10 0 779962574 853823488 25688 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25688 13086 16 0 208437 0
vsize: 833812
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 90596 54 0 0 25 0 10 0 779962574 853823488 25714 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25714 13086 16 0 208437 0
vsize: 833812
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 91505 55 0 0 25 0 10 0 779962574 853823488 25737 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25737 13086 16 0 208437 0
vsize: 833812
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 92410 55 0 0 25 0 10 0 779962574 853823488 25764 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25764 13086 16 0 208437 0
vsize: 833812
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 93314 56 0 0 25 0 10 0 779962574 853823488 25789 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25789 13086 16 0 208437 0
vsize: 833812
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 94217 56 0 0 25 0 10 0 779962574 853823488 25811 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25811 13086 16 0 208437 0
vsize: 833812
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 95124 57 0 0 25 0 10 0 779962574 853823488 25841 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25841 13086 16 0 208437 0
vsize: 833812
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 96029 57 0 0 25 0 10 0 779962574 853823488 25864 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25864 13086 16 0 208437 0
vsize: 833812
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 96933 58 0 0 25 0 10 0 779962574 853823488 25891 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25891 13086 16 0 208437 0
vsize: 833812
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 97835 58 0 0 25 0 10 0 779962574 853823488 25916 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25916 13086 16 0 208437 0
vsize: 833812
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 98742 58 0 0 25 0 10 0 779962574 853823488 25940 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25940 13086 16 0 208437 0
vsize: 833812
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 99641 59 0 0 25 0 10 0 779962574 853823488 25966 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25966 13086 16 0 208437 0
vsize: 833812
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 100543 59 0 0 24 0 10 0 779962574 853823488 25987 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 25987 13086 16 0 208437 0
vsize: 833812
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 101449 60 0 0 25 0 10 0 779962574 853823488 26012 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26012 13086 16 0 208437 0
vsize: 833812
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 102350 60 0 0 25 0 10 0 779962574 853823488 26037 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26037 13086 16 0 208437 0
vsize: 833812
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 103251 60 0 0 25 0 10 0 779962574 853823488 26062 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26062 13086 16 0 208437 0
vsize: 833812
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 104157 61 0 0 25 0 10 0 779962574 853823488 26083 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26083 13086 16 0 208437 0
vsize: 833812
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 105056 61 0 0 25 0 10 0 779962574 853823488 26110 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26110 13086 16 0 208437 0
vsize: 833812
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 105955 62 0 0 25 0 10 0 779962574 853823488 26131 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26131 13086 16 0 208437 0
vsize: 833812
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 106861 62 0 0 25 0 10 0 779962574 853823488 26157 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26157 13086 16 0 208437 0
vsize: 833812
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 107760 62 0 0 25 0 10 0 779962574 853823488 26181 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26181 13086 16 0 208437 0
vsize: 833812
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 108659 63 0 0 24 0 10 0 779962574 853823488 26203 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26203 13086 16 0 208437 0
vsize: 833812
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 109563 63 0 0 25 0 10 0 779962574 853823488 26227 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26227 13086 16 0 208437 0
vsize: 833812
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 110460 63 0 0 25 0 10 0 779962574 853823488 26251 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26251 13086 16 0 208437 0
vsize: 833812
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 111362 64 0 0 25 0 10 0 779962574 853823488 26273 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26273 13086 16 0 208437 0
vsize: 833812
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 112258 64 0 0 25 0 10 0 779962574 853823488 26295 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26295 13086 16 0 208437 0
vsize: 833812
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 113155 65 0 0 25 0 10 0 779962574 853823488 26317 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26317 13086 16 0 208437 0
vsize: 833812
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 114058 66 0 0 25 0 10 0 779962574 853823488 26336 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26336 13086 16 0 208437 0
vsize: 833812
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 114955 66 0 0 25 0 10 0 779962574 853823488 26356 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26356 13086 16 0 208437 0
vsize: 833812
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 115857 67 0 0 25 0 10 0 779962574 853823488 26390 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26390 13086 16 0 208437 0
vsize: 833812
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 116754 67 0 0 25 0 10 0 779962574 853823488 26406 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26406 13086 16 0 208437 0
vsize: 833812
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) S 32449 20224 20223 0 -1 0 18009 0 1 0 117655 67 0 0 25 0 10 0 779962574 853823488 26439 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26439 13086 16 0 208437 0
vsize: 833812
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 118557 68 0 0 25 0 10 0 779962574 853823488 26454 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26454 13086 16 0 208437 0
vsize: 833812
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 119456 69 0 0 25 0 10 0 779962574 853823488 26484 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26484 13086 16 0 208437 0
vsize: 833812
[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 32459
Raw data (stat): 32450 (java) R 32449 20224 20223 0 -1 0 18009 0 1 0 120364 69 0 0 25 0 10 0 779962574 853823488 26508 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208453 26508 13086 16 0 208437 0
vsize: 833812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32461
Raw data (stat): 32450 (java) Z 32449 20224 20223 0 -1 1036 18009 8148 1 0 120367 69 10528 41 25 0 1 0 779962574 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): 1310.27
CPU time (s): 1310.07
CPU user time (s): 1308.96
CPU system time (s): 1.11183
CPU usage (%): 99.9846
Max. virtual memory (Kb): 835152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####