PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb
MD5SUM	1f33433ec2b5955518c8bc8b8e0b8c29
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	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616008034847
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616008034847
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.129979
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 29558

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        325304 kB
Buffers:         36132 kB
Cached:         643084 kB
SwapCached:        716 kB
Active:          66636 kB
Inactive:       619372 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        325052 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17684 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:17:37 (client local time) WITH STATUS 143 IN 1238.1 SECONDS
stats: 20957 7 1238.1 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/wulflinc20/normalized-mps-v2-20-10-set1al.opb
c reading problem ... done. Time 64.805 ms.
c #vars     14400
c #constraints  732
c starts	: 10
c conflicts	: 8607
c decisions	: 22907
c propagations	: 55217
c inspects	: 2724870
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8607
c root simplifications	: 20
s UNKNOWN
c Total CPU time (ms) : 1239.16
#### 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.91 0.95 0.98 2/54 2833
Raw data (stat): 2833 (runsolver) R 2832 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837610908 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+10.0004 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 2842
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18016 0 1 0 868 42 0 0 25 0 10 0 837610908 853884928 19457 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19457 13086 16 0 208452 0
vsize: 833872
[startup+20.0011 s]
Raw data (loadavg): 1.14 1.00 1.00 2/63 2842
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18025 0 1 0 1759 42 0 0 25 0 10 0 837610908 855674880 20470 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208905 20470 13086 16 0 208889 0
vsize: 835620
[startup+30.0022 s]
Raw data (loadavg): 1.11 1.00 1.00 2/63 2842
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18025 0 1 0 2646 42 0 0 25 0 10 0 837610908 856641536 21265 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209141 21265 13086 16 0 209125 0
vsize: 836564
[startup+40.0016 s]
Raw data (loadavg): 1.10 1.00 1.00 2/63 2842
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18026 0 1 0 3552 43 0 0 25 0 10 0 837610908 855691264 21397 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208909 21397 13086 16 0 208893 0
vsize: 835636
[startup+50.0027 s]
Raw data (loadavg): 1.15 1.02 1.00 2/63 2842
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18026 0 1 0 4463 43 0 0 25 0 10 0 837610908 854708224 21374 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 21374 13086 16 0 208653 0
vsize: 834676
[startup+60.0027 s]
Raw data (loadavg): 1.13 1.02 1.00 2/63 2842
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18026 0 1 0 5380 44 0 0 25 0 10 0 837610908 854708224 21533 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208669 21533 13086 16 0 208653 0
vsize: 834676
[startup+70.0037 s]
Raw data (loadavg): 1.19 1.03 1.01 3/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18107 0 1 0 6270 46 0 0 25 0 11 0 837610908 858738688 22901 4294967295 134512640 134569956 3221224368 3221214472 1131477426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209653 22901 13086 16 0 209637 0
vsize: 838612
[startup+80.0048 s]
Raw data (loadavg): 1.23 1.05 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18110 0 1 0 7179 46 0 0 25 0 11 0 837610908 857387008 24201 4294967295 134512640 134569956 3221224368 3221214576 1131485167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209323 24201 13086 16 0 209307 0
vsize: 837292
[startup+90.0047 s]
Raw data (loadavg): 1.20 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 8144 46 0 0 25 0 11 0 837610908 857387008 24211 4294967295 134512640 134569956 3221224368 3221214576 1131484864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24211 13086 16 0 209307 0
vsize: 837292
[startup+100.005 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 9109 46 0 0 25 0 11 0 837610908 857387008 24211 4294967295 134512640 134569956 3221224368 3221214724 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24211 13086 16 0 209307 0
vsize: 837292
[startup+110.006 s]
Raw data (loadavg): 1.14 1.04 1.01 3/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 10066 46 0 0 25 0 11 0 837610908 857387008 24211 4294967295 134512640 134569956 3221224368 3221214632 1131358682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24211 13086 16 0 209307 0
vsize: 837292
[startup+120.008 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 11010 46 0 0 25 0 11 0 837610908 857387008 24224 4294967295 134512640 134569956 3221224368 3221214520 1131337564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24224 13086 16 0 209307 0
vsize: 837292
[startup+130.008 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 11964 47 0 0 25 0 11 0 837610908 857387008 24397 4294967295 134512640 134569956 3221224368 3221214632 1131557890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24397 13086 16 0 209307 0
vsize: 837292
[startup+140.008 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 12920 47 0 0 25 0 11 0 837610908 857387008 24599 4294967295 134512640 134569956 3221224368 3221214664 1131436652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24599 13086 16 0 209307 0
vsize: 837292
[startup+150.009 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 13866 47 0 0 25 0 11 0 837610908 857387008 24847 4294967295 134512640 134569956 3221224368 3221214040 1131638575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209323 24847 13086 16 0 209307 0
vsize: 837292
[startup+160.008 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 14812 48 0 0 25 0 11 0 837610908 859484160 25503 4294967295 134512640 134569956 3221224368 3221214592 1131484698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 25503 13086 16 0 209819 0
vsize: 839340
[startup+170.009 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 2843
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18112 0 1 0 15765 48 0 0 25 0 11 0 837610908 859484160 25852 4294967295 134512640 134569956 3221224368 3221213080 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 25852 13086 16 0 209819 0
vsize: 839340
[startup+180.009 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 2843
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 16726 48 0 0 25 0 11 0 837610908 859484160 26189 4294967295 134512640 134569956 3221224368 3221214560 1131364355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 26189 13086 16 0 209819 0
vsize: 839340
[startup+190.009 s]
Raw data (loadavg): 1.08 1.04 1.01 3/67 2859
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 17682 49 0 0 25 0 11 0 837610908 859484160 26678 4294967295 134512640 134569956 3221224368 3221213784 1085679386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 26678 13086 16 0 209819 0
vsize: 839340
[startup+200.01 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 18649 49 0 0 25 0 11 0 837610908 859484160 26938 4294967295 134512640 134569956 3221224368 3221214064 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 26938 13086 16 0 209819 0
vsize: 839340
[startup+210.01 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 19628 49 0 0 25 0 11 0 837610908 859484160 27106 4294967295 134512640 134569956 3221224368 3221214720 1131222976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27106 13086 16 0 209819 0
vsize: 839340
[startup+220.011 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 20618 49 0 0 25 0 11 0 837610908 859484160 27182 4294967295 134512640 134569956 3221224368 3221214144 1131638633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27182 13086 16 0 209819 0
vsize: 839340
[startup+230.011 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 21598 49 0 0 25 0 11 0 837610908 859484160 27300 4294967295 134512640 134569956 3221224368 3221213984 1131638588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27300 13086 16 0 209819 0
vsize: 839340
[startup+240.011 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 22578 49 0 0 25 0 11 0 837610908 859484160 27383 4294967295 134512640 134569956 3221224368 3221213948 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27383 13086 16 0 209819 0
vsize: 839340
[startup+250.011 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 23568 49 0 0 25 0 11 0 837610908 859484160 27479 4294967295 134512640 134569956 3221224368 3221213808 1131638361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27479 13086 16 0 209819 0
vsize: 839340
[startup+260.012 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 2896
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 24548 49 0 0 25 0 11 0 837610908 859484160 27579 4294967295 134512640 134569956 3221224368 3221214472 1131638600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27579 13086 16 0 209819 0
vsize: 839340
[startup+270.013 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 25527 49 0 0 25 0 11 0 837610908 859484160 27763 4294967295 134512640 134569956 3221224368 3221214768 1131461952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27763 13086 16 0 209819 0
vsize: 839340
[startup+280.013 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 26517 50 0 0 25 0 11 0 837610908 859484160 27763 4294967295 134512640 134569956 3221224368 3221214728 1131651921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27763 13086 16 0 209819 0
vsize: 839340
[startup+290.013 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 27496 50 0 0 25 0 11 0 837610908 859484160 27977 4294967295 134512640 134569956 3221224368 3221213872 1131638548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27977 13086 16 0 209819 0
vsize: 839340
[startup+300.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 28477 50 0 0 25 0 11 0 837610908 859484160 27977 4294967295 134512640 134569956 3221224368 3221214592 1131484387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 27977 13086 16 0 209819 0
vsize: 839340
[startup+310.017 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 2898
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18112 0 1 0 29447 50 0 0 25 0 11 0 837610908 859484160 28114 4294967295 134512640 134569956 3221224368 3221213280 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28114 13086 16 0 209819 0
vsize: 839340
[startup+320.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 30427 50 0 0 25 0 11 0 837610908 859484160 28277 4294967295 134512640 134569956 3221224368 3221214624 1131217625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28277 13086 16 0 209819 0
vsize: 839340
[startup+330.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 31417 50 0 0 25 0 11 0 837610908 859484160 28326 4294967295 134512640 134569956 3221224368 3221214120 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28326 13086 16 0 209819 0
vsize: 839340
[startup+340.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 32407 50 0 0 25 0 11 0 837610908 859484160 28391 4294967295 134512640 134569956 3221224368 3221214096 1131640556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28391 13086 16 0 209819 0
vsize: 839340
[startup+350.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 33386 50 0 0 25 0 11 0 837610908 859484160 28452 4294967295 134512640 134569956 3221224368 3221214664 1131337587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28452 13086 16 0 209819 0
vsize: 839340
[startup+360.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 34375 50 0 0 25 0 11 0 837610908 859484160 28582 4294967295 134512640 134569956 3221224368 3221214232 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28582 13086 16 0 209819 0
vsize: 839340
[startup+370.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18112 0 1 0 35352 50 0 0 25 0 11 0 837610908 859484160 28807 4294967295 134512640 134569956 3221224368 3221213928 1131640593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28807 13086 16 0 209819 0
vsize: 839340
[startup+380.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 36340 50 0 0 25 0 11 0 837610908 859484160 28938 4294967295 134512640 134569956 3221224368 3221214720 1131222993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 28938 13086 16 0 209819 0
vsize: 839340
[startup+390.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18113 0 1 0 37317 50 0 0 25 0 11 0 837610908 859484160 29128 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 29128 13086 16 0 209819 0
vsize: 839340
[startup+400.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 38304 50 0 0 25 0 11 0 837610908 859484160 29340 4294967295 134512640 134569956 3221224368 3221214208 1131640365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 29340 13086 16 0 209819 0
vsize: 839340
[startup+410.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 39281 51 0 0 25 0 11 0 837610908 859484160 29553 4294967295 134512640 134569956 3221224368 3221214152 1131640508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 29553 13086 16 0 209819 0
vsize: 839340
[startup+420.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 40259 51 0 0 25 0 11 0 837610908 859484160 29787 4294967295 134512640 134569956 3221224368 3221214092 1131640528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 29787 13086 16 0 209819 0
vsize: 839340
[startup+430.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 41239 51 0 0 25 0 11 0 837610908 859484160 29968 4294967295 134512640 134569956 3221224368 3221214480 1131337209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 29968 13086 16 0 209819 0
vsize: 839340
[startup+440.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 42218 51 0 0 25 0 11 0 837610908 859484160 30111 4294967295 134512640 134569956 3221224368 3221213824 1131640589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30111 13086 16 0 209819 0
vsize: 839340
[startup+450.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 43198 51 0 0 25 0 11 0 837610908 859484160 30216 4294967295 134512640 134569956 3221224368 3221213984 1131640589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30216 13086 16 0 209819 0
vsize: 839340
[startup+460.03 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 44176 51 0 0 25 0 11 0 837610908 859484160 30328 4294967295 134512640 134569956 3221224368 3221214092 1131633417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30328 13086 16 0 209819 0
vsize: 839340
[startup+470.031 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 45155 51 0 0 25 0 11 0 837610908 859484160 30508 4294967295 134512640 134569956 3221224368 3221213844 1131638336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 30508 13086 16 0 209819 0
vsize: 839340
[startup+480.032 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 46143 51 0 0 25 0 11 0 837610908 859484160 30577 4294967295 134512640 134569956 3221224368 3221214096 1131640504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30577 13086 16 0 209819 0
vsize: 839340
[startup+490.032 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 2898
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 47123 51 0 0 25 0 11 0 837610908 859484160 30719 4294967295 134512640 134569956 3221224368 3221214240 1131635192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30719 13086 16 0 209819 0
vsize: 839340
[startup+500.036 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 2898
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18113 0 1 0 48113 51 0 0 25 0 11 0 837610908 859484160 30803 4294967295 134512640 134569956 3221224368 3221213184 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30803 13086 16 0 209819 0
vsize: 839340
[startup+510.036 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 49093 51 0 0 25 0 11 0 837610908 859484160 30803 4294967295 134512640 134569956 3221224368 3221214096 1131640593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30803 13086 16 0 209819 0
vsize: 839340
[startup+520.037 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 50073 51 0 0 25 0 11 0 837610908 859484160 30877 4294967295 134512640 134569956 3221224368 3221213656 1131640529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30877 13086 16 0 209819 0
vsize: 839340
[startup+530.036 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 51063 51 0 0 25 0 11 0 837610908 859484160 30950 4294967295 134512640 134569956 3221224368 3221214352 1131635277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 30950 13086 16 0 209819 0
vsize: 839340
[startup+540.036 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 52043 51 0 0 25 0 11 0 837610908 859484160 31026 4294967295 134512640 134569956 3221224368 3221214680 1131363820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 31026 13086 16 0 209819 0
vsize: 839340
[startup+550.037 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 53023 52 0 0 25 0 11 0 837610908 859484160 31094 4294967295 134512640 134569956 3221224368 3221213712 1131640522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31094 13086 16 0 209819 0
vsize: 839340
[startup+560.037 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 54003 52 0 0 25 0 11 0 837610908 859484160 31170 4294967295 134512640 134569956 3221224368 3221214680 1131364366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31170 13086 16 0 209819 0
vsize: 839340
[startup+570.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 54993 52 0 0 25 0 11 0 837610908 859484160 31246 4294967295 134512640 134569956 3221224368 3221213728 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31246 13086 16 0 209819 0
vsize: 839340
[startup+580.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 55973 52 0 0 25 0 11 0 837610908 859484160 31318 4294967295 134512640 134569956 3221224368 3221213824 1131640529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31318 13086 16 0 209819 0
vsize: 839340
[startup+590.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 56964 52 0 0 25 0 11 0 837610908 859484160 31318 4294967295 134512640 134569956 3221224368 3221213808 1131638444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31318 13086 16 0 209819 0
vsize: 839340
[startup+600.048 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 57945 52 0 0 25 0 11 0 837610908 859484160 31414 4294967295 134512640 134569956 3221224368 3221214264 1131640529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 31414 13086 16 0 209819 0
vsize: 839340
[startup+610.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 58935 52 0 0 25 0 11 0 837610908 859484160 31491 4294967295 134512640 134569956 3221224368 3221214680 1131363998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31491 13086 16 0 209819 0
vsize: 839340
[startup+620.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 59915 52 0 0 25 0 11 0 837610908 859484160 31491 4294967295 134512640 134569956 3221224368 3221213976 1131638602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31491 13086 16 0 209819 0
vsize: 839340
[startup+630.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 60904 52 0 0 25 0 11 0 837610908 859484160 31582 4294967295 134512640 134569956 3221224368 3221214128 1131635522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 31582 13086 16 0 209819 0
vsize: 839340
[startup+640.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 61894 52 0 0 25 0 11 0 837610908 859484160 31582 4294967295 134512640 134569956 3221224368 3221214728 1131651787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31582 13086 16 0 209819 0
vsize: 839340
[startup+650.055 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 62874 52 0 0 25 0 11 0 837610908 859484160 31624 4294967295 134512640 134569956 3221224368 3221213568 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31624 13086 16 0 209819 0
vsize: 839340
[startup+660.055 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 63864 52 0 0 25 0 11 0 837610908 859484160 31656 4294967295 134512640 134569956 3221224368 3221213916 1131633440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31656 13086 16 0 209819 0
vsize: 839340
[startup+670.055 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 64843 52 0 0 25 0 11 0 837610908 859484160 31763 4294967295 134512640 134569956 3221224368 3221213792 1131635200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31763 13086 16 0 209819 0
vsize: 839340
[startup+680.056 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 65823 52 0 0 25 0 11 0 837610908 859484160 31836 4294967295 134512640 134569956 3221224368 3221213760 1131640567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31836 13086 16 0 209819 0
vsize: 839340
[startup+690.056 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 66813 52 0 0 25 0 11 0 837610908 859484160 31873 4294967295 134512640 134569956 3221224368 3221214048 1131640556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31873 13086 16 0 209819 0
vsize: 839340
[startup+700.057 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 67793 52 0 0 25 0 11 0 837610908 859484160 31915 4294967295 134512640 134569956 3221224368 3221213864 1131638556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 31915 13086 16 0 209819 0
vsize: 839340
[startup+710.058 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 68773 53 0 0 25 0 11 0 837610908 859484160 32000 4294967295 134512640 134569956 3221224368 3221214288 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32000 13086 16 0 209819 0
vsize: 839340
[startup+720.058 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 69763 53 0 0 25 0 11 0 837610908 859484160 32043 4294967295 134512640 134569956 3221224368 3221213808 1131638594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32043 13086 16 0 209819 0
vsize: 839340
[startup+730.059 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 70743 53 0 0 25 0 11 0 837610908 859484160 32080 4294967295 134512640 134569956 3221224368 3221214200 1131638441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32080 13086 16 0 209819 0
vsize: 839340
[startup+740.059 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 71733 53 0 0 25 0 11 0 837610908 859484160 32149 4294967295 134512640 134569956 3221224368 3221214424 1131638441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32149 13086 16 0 209819 0
vsize: 839340
[startup+750.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 72722 53 0 0 25 0 11 0 837610908 859484160 32193 4294967295 134512640 134569956 3221224368 3221214592 1131484399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32193 13086 16 0 209819 0
vsize: 839340
[startup+760.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 73701 53 0 0 25 0 11 0 837610908 859484160 32307 4294967295 134512640 134569956 3221224368 3221214680 1131364263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32307 13086 16 0 209819 0
vsize: 839340
[startup+770.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18113 0 1 0 74690 53 0 0 25 0 11 0 837610908 859484160 32341 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32341 13086 16 0 209819 0
vsize: 839340
[startup+780.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 75672 53 0 0 25 0 11 0 837610908 859484160 32405 4294967295 134512640 134569956 3221224368 3221214472 1131638600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 32405 13086 16 0 209819 0
vsize: 839340
[startup+790.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) S 2832 25399 25398 0 -1 0 18113 0 1 0 76653 53 0 0 25 0 11 0 837610908 859484160 32439 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32439 13086 16 0 209819 0
vsize: 839340
[startup+800.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 77641 53 0 0 25 0 11 0 837610908 859484160 32509 4294967295 134512640 134569956 3221224368 3221213920 1131638560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32509 13086 16 0 209819 0
vsize: 839340
[startup+810.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 78631 53 0 0 25 0 11 0 837610908 859484160 32589 4294967295 134512640 134569956 3221224368 3221214036 1131640464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32589 13086 16 0 209819 0
vsize: 839340
[startup+820.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 79611 53 0 0 25 0 11 0 837610908 859484160 32665 4294967295 134512640 134569956 3221224368 3221213984 1131640522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32665 13086 16 0 209819 0
vsize: 839340
[startup+830.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 80601 53 0 0 25 0 11 0 837610908 859484160 32699 4294967295 134512640 134569956 3221224368 3221213952 1085679454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32699 13086 16 0 209819 0
vsize: 839340
[startup+840.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 81591 53 0 0 25 0 11 0 837610908 859484160 32732 4294967295 134512640 134569956 3221224368 3221214680 1131363813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32732 13086 16 0 209819 0
vsize: 839340
[startup+850.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 82571 53 0 0 25 0 11 0 837610908 859484160 32794 4294967295 134512640 134569956 3221224368 3221214144 1131638556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 32794 13086 16 0 209819 0
vsize: 839340
[startup+860.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 83561 53 0 0 25 0 11 0 837610908 859484160 32827 4294967295 134512640 134569956 3221224368 3221213980 1131640352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 32827 13086 16 0 209819 0
vsize: 839340
[startup+870.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 84538 53 0 0 25 0 11 0 837610908 859484160 33011 4294967295 134512640 134569956 3221224368 3221213648 1131640396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33011 13086 16 0 209819 0
vsize: 839340
[startup+880.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 85527 53 0 0 25 0 11 0 837610908 859484160 33045 4294967295 134512640 134569956 3221224368 3221214480 1131638441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33045 13086 16 0 209819 0
vsize: 839340
[startup+890.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 86508 53 0 0 25 0 11 0 837610908 859484160 33141 4294967295 134512640 134569956 3221224368 3221213868 1131633440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33141 13086 16 0 209819 0
vsize: 839340
[startup+900.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 87498 53 0 0 25 0 11 0 837610908 859484160 33182 4294967295 134512640 134569956 3221224368 3221213984 1131640504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33182 13086 16 0 209819 0
vsize: 839340
[startup+910.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 88488 53 0 0 25 0 11 0 837610908 859484160 33182 4294967295 134512640 134569956 3221224368 3221214424 1131638378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33182 13086 16 0 209819 0
vsize: 839340
[startup+920.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 89468 53 0 0 25 0 11 0 837610908 859484160 33258 4294967295 134512640 134569956 3221224368 3221213868 1131638601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33258 13086 16 0 209819 0
vsize: 839340
[startup+930.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 90448 54 0 0 25 0 11 0 837610908 859484160 33334 4294967295 134512640 134569956 3221224368 3221214008 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 33334 13086 16 0 209819 0
vsize: 839340
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 91438 54 0 0 25 0 11 0 837610908 859484160 33369 4294967295 134512640 134569956 3221224368 3221213512 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33369 13086 16 0 209819 0
vsize: 839340
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 92428 54 0 0 25 0 11 0 837610908 859484160 33369 4294967295 134512640 134569956 3221224368 3221214480 1131337587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33369 13086 16 0 209819 0
vsize: 839340
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 93418 54 0 0 25 0 11 0 837610908 859484160 33405 4294967295 134512640 134569956 3221224368 3221213596 1131640528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33405 13086 16 0 209819 0
vsize: 839340
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 94399 54 0 0 25 0 11 0 837610908 859484160 33450 4294967295 134512640 134569956 3221224368 3221214720 1131222976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33450 13086 16 0 209819 0
vsize: 839340
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 95389 54 0 0 25 0 11 0 837610908 859484160 33489 4294967295 134512640 134569956 3221224368 3221214260 1131640528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 33489 13086 16 0 209819 0
vsize: 839340
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 96378 54 0 0 25 0 11 0 837610908 859484160 33529 4294967295 134512640 134569956 3221224368 3221214128 1131635388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33529 13086 16 0 209819 0
vsize: 839340
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 97369 55 0 0 25 0 11 0 837610908 859484160 33529 4294967295 134512640 134569956 3221224368 3221214232 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33529 13086 16 0 209819 0
vsize: 839340
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 98349 55 0 0 25 0 11 0 837610908 859484160 33599 4294967295 134512640 134569956 3221224368 3221213848 1131635316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 33599 13086 16 0 209819 0
vsize: 839340
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 99338 55 0 0 25 0 11 0 837610908 859484160 33641 4294967295 134512640 134569956 3221224368 3221214424 1131638518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 33641 13086 16 0 209819 0
vsize: 839340
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 100327 55 0 0 25 0 11 0 837610908 859484160 33680 4294967295 134512640 134569956 3221224368 3221213952 1085679494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33680 13086 16 0 209819 0
vsize: 839340
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 101307 55 0 0 25 0 11 0 837610908 859484160 33744 4294967295 134512640 134569956 3221224368 3221213864 1131638588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33744 13086 16 0 209819 0
vsize: 839340
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 102297 55 0 0 25 0 11 0 837610908 859484160 33892 4294967295 134512640 134569956 3221224368 3221213448 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33892 13086 16 0 209819 0
vsize: 839340
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 103287 55 0 0 25 0 11 0 837610908 859484160 33892 4294967295 134512640 134569956 3221224368 3221214752 1131223015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33892 13086 16 0 209819 0
vsize: 839340
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 104266 55 0 0 25 0 11 0 837610908 859484160 33971 4294967295 134512640 134569956 3221224368 3221214152 1131638512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 33971 13086 16 0 209819 0
vsize: 839340
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 105244 56 0 0 25 0 11 0 837610908 859484160 34038 4294967295 134512640 134569956 3221224368 3221214432 1131640586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34038 13086 16 0 209819 0
vsize: 839340
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 106222 56 0 0 25 0 11 0 837610908 859484160 34106 4294967295 134512640 134569956 3221224368 3221213536 1131638588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34106 13086 16 0 209819 0
vsize: 839340
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 107201 56 0 0 25 0 11 0 837610908 859484160 34197 4294967295 134512640 134569956 3221224368 3221214208 1131640538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 34197 13086 16 0 209819 0
vsize: 839340
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 108180 56 0 0 25 0 11 0 837610908 859484160 34250 4294967295 134512640 134569956 3221224368 3221214472 1131633429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34250 13086 16 0 209819 0
vsize: 839340
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 109159 56 0 0 25 0 11 0 837610908 859484160 34327 4294967295 134512640 134569956 3221224368 3221214536 1131337235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 34327 13086 16 0 209819 0
vsize: 839340
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 110137 56 0 0 25 0 11 0 837610908 859484160 34402 4294967295 134512640 134569956 3221224368 3221214064 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34402 13086 16 0 209819 0
vsize: 839340
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 111116 56 0 0 25 0 11 0 837610908 859484160 34480 4294967295 134512640 134569956 3221224368 3221213924 1131640528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34480 13086 16 0 209819 0
vsize: 839340
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 112094 56 0 0 25 0 11 0 837610908 859484160 34564 4294967295 134512640 134569956 3221224368 3221213936 1131640508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34564 13086 16 0 209819 0
vsize: 839340
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 113073 56 0 0 25 0 11 0 837610908 859484160 34633 4294967295 134512640 134569956 3221224368 3221214588 1131399264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34633 13086 16 0 209819 0
vsize: 839340
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 114051 56 0 0 25 0 11 0 837610908 859484160 34705 4294967295 134512640 134569956 3221224368 3221214416 1131633429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34705 13086 16 0 209819 0
vsize: 839340
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 115030 56 0 0 25 0 11 0 837610908 859484160 34773 4294967295 134512640 134569956 3221224368 3221214176 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34773 13086 16 0 209819 0
vsize: 839340
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 116008 56 0 0 25 0 11 0 837610908 859484160 34884 4294967295 134512640 134569956 3221224368 3221214768 1131462150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34884 13086 16 0 209819 0
vsize: 839340
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 116987 56 0 0 25 0 11 0 837610908 859484160 34963 4294967295 134512640 134569956 3221224368 3221213808 1131638444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 34963 13086 16 0 209819 0
vsize: 839340
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 117965 56 0 0 25 0 11 0 837610908 859484160 35038 4294967295 134512640 134569956 3221224368 3221214480 1131337829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 35038 13086 16 0 209819 0
vsize: 839340
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 118944 56 0 0 25 0 11 0 837610908 859484160 35107 4294967295 134512640 134569956 3221224368 3221214568 1131474927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 35107 13086 16 0 209819 0
vsize: 839340
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 119923 56 0 0 25 0 11 0 837610908 859484160 35181 4294967295 134512640 134569956 3221224368 3221214008 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 35181 13086 16 0 209819 0
vsize: 839340
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2900
Raw data (stat): 2833 (java) R 2832 25399 25398 0 -1 0 18113 0 1 0 120902 56 0 0 25 0 11 0 837610908 859484160 35253 4294967295 134512640 134569956 3221224368 3221213792 1131635376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209835 35253 13086 16 0 209819 0
vsize: 839340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2902
Raw data (stat): 2833 (java) Z 2832 25399 25398 0 -1 1036 18113 15556 1 0 120904 56 2814 33 25 0 1 0 837610908 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): 1240.17
CPU time (s): 1238.1
CPU user time (s): 1237.2
CPU system time (s): 0.900863
CPU usage (%): 99.8331
Max. virtual memory (Kb): 839340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####