PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb
MD5SUM	86934ee38968c649e6d8e09bdd8d93c2
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	2145
Biggest coefficient in the objective function	39321600000
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	2483529923827
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1280000000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	17827473345180
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	0.284956
Number of variables	2319
Total number of constraints	213
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	213
Minimum length of a constraint	9
Maximum length of a constraint	1580
Trace number 29815

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 11:47:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21211 boxname=wulflinc9 idbench=1199 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  86934ee38968c649e6d8e09bdd8d93c2  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-boeing2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-boeing2.opb
IDLAUNCH: 21211
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        460252 kB
Buffers:         34748 kB
Cached:         518120 kB
SwapCached:        584 kB
Active:          54028 kB
Inactive:       501032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        460000 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13616 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:07:56 (client local time) WITH STATUS 143 IN 1227.49 SECONDS
stats: 21211 7 1227.49 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/wulflinc9/normalized-mps-v2-13-7-boeing2.opb
c reading problem ... done. Time 4.886 ms.
c #vars     2319
c #constraints  201
c starts	: 6
c conflicts	: 1632
c decisions	: 22542
c propagations	: 59688
c inspects	: 2036894
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1632
c root simplifications	: 167
s UNKNOWN
c Total CPU time (ms) : 1229.161
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 19584
Raw data (stat): 19584 (runsolver) R 19583 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780411734 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18097 0 1 0 748 38 0 0 25 0 11 0 780411734 860065792 21075 4294967295 134512640 134569956 3221224368 3221214680 1131355981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209977 21075 13086 16 0 209961 0
vsize: 839908
[startup+20.0019 s]
Raw data (loadavg): 1.29 1.06 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18100 0 1 0 1602 38 0 0 25 0 11 0 780411734 860033024 21502 4294967295 134512640 134569956 3221224368 3221214680 1131353384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 21502 13086 16 0 209953 0
vsize: 839876
[startup+30.0021 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18100 0 1 0 2525 38 0 0 25 0 11 0 780411734 860033024 21625 4294967295 134512640 134569956 3221224368 3221214584 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 21625 13086 16 0 209953 0
vsize: 839876
[startup+40.0024 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 3435 39 0 0 25 0 11 0 780411734 860033024 21735 4294967295 134512640 134569956 3221224368 3221214584 1131269421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 21735 13086 16 0 209953 0
vsize: 839876
[startup+50.0023 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 4387 39 0 0 25 0 11 0 780411734 860033024 22453 4294967295 134512640 134569956 3221224368 3221214680 1131353391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22453 13086 16 0 209953 0
vsize: 839876
[startup+60.0038 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 5363 39 0 0 25 0 11 0 780411734 860033024 22523 4294967295 134512640 134569956 3221224368 3221214608 1131381548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22523 13086 16 0 209953 0
vsize: 839876
[startup+70.0038 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 6337 39 0 0 25 0 11 0 780411734 860033024 22568 4294967295 134512640 134569956 3221224368 3221214608 1131381398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22568 13086 16 0 209953 0
vsize: 839876
[startup+80.0037 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 7300 39 0 0 25 0 11 0 780411734 860033024 22632 4294967295 134512640 134569956 3221224368 3221214580 1131207200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22632 13086 16 0 209953 0
vsize: 839876
[startup+90.004 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 8270 39 0 0 25 0 11 0 780411734 860033024 22726 4294967295 134512640 134569956 3221224368 3221214584 1131269724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22726 13086 16 0 209953 0
vsize: 839876
[startup+100.004 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 9248 39 0 0 25 0 11 0 780411734 860033024 22860 4294967295 134512640 134569956 3221224368 3221214292 1131240716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22860 13086 16 0 209953 0
vsize: 839876
[startup+110.005 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 10233 39 0 0 25 0 11 0 780411734 860033024 22925 4294967295 134512640 134569956 3221224368 3221214584 1131269328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22925 13086 16 0 209953 0
vsize: 839876
[startup+120.007 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 11214 40 0 0 24 0 11 0 780411734 860033024 22967 4294967295 134512640 134569956 3221224368 3221214680 1131354546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22967 13086 16 0 209953 0
vsize: 839876
[startup+130.007 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 12197 40 0 0 25 0 11 0 780411734 860033024 22995 4294967295 134512640 134569956 3221224368 3221214584 1131268928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 22995 13086 16 0 209953 0
vsize: 839876
[startup+140.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 13170 40 0 0 24 0 11 0 780411734 860033024 23018 4294967295 134512640 134569956 3221224368 3221214512 1131268777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23018 13086 16 0 209953 0
vsize: 839876
[startup+150.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 14139 40 0 0 25 0 11 0 780411734 860033024 23056 4294967295 134512640 134569956 3221224368 3221214584 1131268873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23056 13086 16 0 209953 0
vsize: 839876
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 15092 40 0 0 25 0 11 0 780411734 860033024 23098 4294967295 134512640 134569956 3221224368 3221214584 1131269737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23098 13086 16 0 209953 0
vsize: 839876
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 16038 40 0 0 25 0 11 0 780411734 860033024 23233 4294967295 134512640 134569956 3221224368 3221214584 1131269790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23233 13086 16 0 209953 0
vsize: 839876
[startup+180.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 16993 41 0 0 25 0 11 0 780411734 860033024 23445 4294967295 134512640 134569956 3221224368 3221214192 1131240165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23445 13086 16 0 209953 0
vsize: 839876
[startup+190.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 17961 41 0 0 25 0 11 0 780411734 860033024 23663 4294967295 134512640 134569956 3221224368 3221214584 1131268769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23663 13086 16 0 209953 0
vsize: 839876
[startup+200.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 18937 41 0 0 25 0 11 0 780411734 860033024 23700 4294967295 134512640 134569956 3221224368 3221214616 1131400591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23700 13086 16 0 209953 0
vsize: 839876
[startup+210.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 19913 41 0 0 25 0 11 0 780411734 860033024 23785 4294967295 134512640 134569956 3221224368 3221214528 1131392451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23785 13086 16 0 209953 0
vsize: 839876
[startup+220.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 20881 41 0 0 25 0 11 0 780411734 860033024 23841 4294967295 134512640 134569956 3221224368 3221214584 1131269453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23841 13086 16 0 209953 0
vsize: 839876
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 21854 42 0 0 25 0 11 0 780411734 860033024 23906 4294967295 134512640 134569956 3221224368 3221214584 1131269288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23906 13086 16 0 209953 0
vsize: 839876
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 22831 42 0 0 25 0 11 0 780411734 860033024 23990 4294967295 134512640 134569956 3221224368 3221214136 1131240212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 23990 13086 16 0 209953 0
vsize: 839876
[startup+250.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 23811 42 0 0 25 0 11 0 780411734 860033024 24093 4294967295 134512640 134569956 3221224368 3221214584 1131269226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24093 13086 16 0 209953 0
vsize: 839876
[startup+260.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 24791 42 0 0 25 0 11 0 780411734 860033024 24137 4294967295 134512640 134569956 3221224368 3221214504 1131250317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24137 13086 16 0 209953 0
vsize: 839876
[startup+270.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 25770 42 0 0 25 0 11 0 780411734 860033024 24158 4294967295 134512640 134569956 3221224368 3221214264 1131524905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24158 13086 16 0 209953 0
vsize: 839876
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 26742 43 0 0 25 0 11 0 780411734 860033024 24202 4294967295 134512640 134569956 3221224368 3221214584 1131269449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24202 13086 16 0 209953 0
vsize: 839876
[startup+290.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 27718 43 0 0 25 0 11 0 780411734 860033024 24291 4294967295 134512640 134569956 3221224368 3221214584 1131269313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24291 13086 16 0 209953 0
vsize: 839876
[startup+300.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) S 19583 3944 3943 0 -1 0 18101 0 1 0 28693 43 0 0 25 0 11 0 780411734 860033024 24371 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24372 13086 16 0 209953 0
vsize: 839876
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 29672 43 0 0 25 0 11 0 780411734 860033024 24433 4294967295 134512640 134569956 3221224368 3221214584 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24433 13086 16 0 209953 0
vsize: 839876
[startup+320.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 30651 43 0 0 25 0 11 0 780411734 860033024 24498 4294967295 134512640 134569956 3221224368 3221214872 1131404468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24498 13086 16 0 209953 0
vsize: 839876
[startup+330.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 31631 43 0 0 25 0 11 0 780411734 860033024 24565 4294967295 134512640 134569956 3221224368 3221214528 1131393451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24565 13086 16 0 209953 0
vsize: 839876
[startup+340.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 32608 43 0 0 25 0 11 0 780411734 860033024 24641 4294967295 134512640 134569956 3221224368 3221214584 1131269473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24641 13086 16 0 209953 0
vsize: 839876
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 33588 44 0 0 25 0 11 0 780411734 860033024 24697 4294967295 134512640 134569956 3221224368 3221214520 1131420075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24697 13086 16 0 209953 0
vsize: 839876
[startup+360.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 34569 44 0 0 25 0 11 0 780411734 860033024 24757 4294967295 134512640 134569956 3221224368 3221214528 1131391851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24757 13086 16 0 209953 0
vsize: 839876
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 35547 44 0 0 25 0 11 0 780411734 860033024 24822 4294967295 134512640 134569956 3221224368 3221214536 1131207238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24822 13086 16 0 209953 0
vsize: 839876
[startup+380.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 36525 44 0 0 25 0 11 0 780411734 860033024 24897 4294967295 134512640 134569956 3221224368 3221214604 1131446963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24897 13086 16 0 209953 0
vsize: 839876
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 37505 44 0 0 25 0 11 0 780411734 860033024 24944 4294967295 134512640 134569956 3221224368 3221214584 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 24944 13086 16 0 209953 0
vsize: 839876
[startup+400.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 38481 44 0 0 25 0 11 0 780411734 860033024 25002 4294967295 134512640 134569956 3221224368 3221214584 1131269114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25002 13086 16 0 209953 0
vsize: 839876
[startup+410.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 39456 44 0 0 25 0 11 0 780411734 860033024 25044 4294967295 134512640 134569956 3221224368 3221214584 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25044 13086 16 0 209953 0
vsize: 839876
[startup+420.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 40432 44 0 0 25 0 11 0 780411734 860033024 25108 4294967295 134512640 134569956 3221224368 3221214584 1131268850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25108 13086 16 0 209953 0
vsize: 839876
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 41406 45 0 0 25 0 11 0 780411734 860033024 25186 4294967295 134512640 134569956 3221224368 3221214608 1131350395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25186 13086 16 0 209953 0
vsize: 839876
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 42380 45 0 0 25 0 11 0 780411734 860033024 25262 4294967295 134512640 134569956 3221224368 3221214528 1131394238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25262 13086 16 0 209953 0
vsize: 839876
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 43357 45 0 0 25 0 11 0 780411734 860033024 25328 4294967295 134512640 134569956 3221224368 3221214352 1131463859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25328 13086 16 0 209953 0
vsize: 839876
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 44337 45 0 0 25 0 11 0 780411734 860033024 25392 4294967295 134512640 134569956 3221224368 3221214584 1131269465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25392 13086 16 0 209953 0
vsize: 839876
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 45315 45 0 0 25 0 11 0 780411734 860033024 25465 4294967295 134512640 134569956 3221224368 3221214380 1131240272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25465 13086 16 0 209953 0
vsize: 839876
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 46293 45 0 0 25 0 11 0 780411734 860033024 25536 4294967295 134512640 134569956 3221224368 3221214552 1131391858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25536 13086 16 0 209953 0
vsize: 839876
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 47274 46 0 0 25 0 11 0 780411734 860033024 25583 4294967295 134512640 134569956 3221224368 3221214584 1131269540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25583 13086 16 0 209953 0
vsize: 839876
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 48251 46 0 0 25 0 11 0 780411734 860033024 25630 4294967295 134512640 134569956 3221224368 3221214552 1131391856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25630 13086 16 0 209953 0
vsize: 839876
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 49226 46 0 0 25 0 11 0 780411734 860033024 25680 4294967295 134512640 134569956 3221224368 3221214584 1131268873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25680 13086 16 0 209953 0
vsize: 839876
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 50202 46 0 0 25 0 11 0 780411734 860033024 25744 4294967295 134512640 134569956 3221224368 3221214184 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25744 13086 16 0 209953 0
vsize: 839876
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 51176 46 0 0 25 0 11 0 780411734 860033024 25807 4294967295 134512640 134569956 3221224368 3221214528 1131250211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25807 13086 16 0 209953 0
vsize: 839876
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 52153 46 0 0 25 0 11 0 780411734 860033024 25872 4294967295 134512640 134569956 3221224368 3221214584 1131269278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25872 13086 16 0 209953 0
vsize: 839876
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 53128 46 0 0 25 0 11 0 780411734 860033024 25950 4294967295 134512640 134569956 3221224368 3221214584 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 25950 13086 16 0 209953 0
vsize: 839876
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 54104 46 0 0 25 0 11 0 780411734 860033024 26028 4294967295 134512640 134569956 3221224368 3221214584 1131269828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26028 13086 16 0 209953 0
vsize: 839876
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 55080 47 0 0 25 0 11 0 780411734 860033024 26088 4294967295 134512640 134569956 3221224368 3221214640 1131400416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26088 13086 16 0 209953 0
vsize: 839876
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 56058 47 0 0 25 0 11 0 780411734 860033024 26134 4294967295 134512640 134569956 3221224368 3221214376 1131524845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26134 13086 16 0 209953 0
vsize: 839876
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 57035 47 0 0 25 0 11 0 780411734 860033024 26211 4294967295 134512640 134569956 3221224368 3221214568 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26211 13086 16 0 209953 0
vsize: 839876
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 58016 47 0 0 25 0 11 0 780411734 860033024 26266 4294967295 134512640 134569956 3221224368 3221214536 1131240722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26266 13086 16 0 209953 0
vsize: 839876
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 58998 47 0 0 25 0 11 0 780411734 860033024 26327 4294967295 134512640 134569956 3221224368 3221214544 1131269313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26327 13086 16 0 209953 0
vsize: 839876
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 59984 47 0 0 25 0 11 0 780411734 860033024 26368 4294967295 134512640 134569956 3221224368 3221214664 1131356021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26368 13086 16 0 209953 0
vsize: 839876
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 60969 47 0 0 25 0 11 0 780411734 860033024 26392 4294967295 134512640 134569956 3221224368 3221214568 1131269457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26392 13086 16 0 209953 0
vsize: 839876
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 61957 47 0 0 25 0 11 0 780411734 860033024 26404 4294967295 134512640 134569956 3221224368 3221214568 1131269790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26404 13086 16 0 209953 0
vsize: 839876
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 62943 47 0 0 25 0 11 0 780411734 860033024 26426 4294967295 134512640 134569956 3221224368 3221214648 1131250674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26426 13086 16 0 209953 0
vsize: 839876
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 63929 47 0 0 24 0 11 0 780411734 860033024 26453 4294967295 134512640 134569956 3221224368 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26453 13086 16 0 209953 0
vsize: 839876
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 64917 47 0 0 25 0 11 0 780411734 860033024 26465 4294967295 134512640 134569956 3221224368 3221214728 1131375772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26465 13086 16 0 209953 0
vsize: 839876
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 65903 47 0 0 25 0 11 0 780411734 860033024 26486 4294967295 134512640 134569956 3221224368 3221214568 1131269457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26486 13086 16 0 209953 0
vsize: 839876
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 66891 47 0 0 25 0 11 0 780411734 860033024 26498 4294967295 134512640 134569956 3221224368 3221214568 1131269182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26498 13086 16 0 209953 0
vsize: 839876
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 67880 47 0 0 25 0 11 0 780411734 860033024 26514 4294967295 134512640 134569956 3221224368 3221214664 1131353391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26514 13086 16 0 209953 0
vsize: 839876
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 68867 48 0 0 25 0 11 0 780411734 860033024 26520 4294967295 134512640 134569956 3221224368 3221214568 1131268773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26520 13086 16 0 209953 0
vsize: 839876
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 69855 48 0 0 25 0 11 0 780411734 860033024 26535 4294967295 134512640 134569956 3221224368 3221214384 1131240333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26535 13086 16 0 209953 0
vsize: 839876
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 70843 48 0 0 25 0 11 0 780411734 860033024 26565 4294967295 134512640 134569956 3221224368 3221214520 1131207601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26565 13086 16 0 209953 0
vsize: 839876
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 71831 48 0 0 25 0 11 0 780411734 860033024 26584 4294967295 134512640 134569956 3221224368 3221214568 1131269405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26584 13086 16 0 209953 0
vsize: 839876
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19594
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 72820 48 0 0 25 0 11 0 780411734 860033024 26588 4294967295 134512640 134569956 3221224368 3221214504 1131420126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26588 13086 16 0 209953 0
vsize: 839876
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 19595
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 73803 51 0 0 25 0 11 0 780411734 860033024 26608 4294967295 134512640 134569956 3221224368 3221214568 1131268978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26608 13086 16 0 209953 0
vsize: 839876
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 74776 61 0 0 25 0 11 0 780411734 860033024 26611 4294967295 134512640 134569956 3221224368 3221214568 1131269293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26611 13086 16 0 209953 0
vsize: 839876
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) S 19583 3944 3943 0 -1 0 18101 0 1 0 75762 61 0 0 25 0 11 0 780411734 860033024 26620 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26620 13086 16 0 209953 0
vsize: 839876
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 76746 61 0 0 25 0 11 0 780411734 860033024 26661 4294967295 134512640 134569956 3221224368 3221214816 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26661 13086 16 0 209953 0
vsize: 839876
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 77732 61 0 0 25 0 11 0 780411734 860033024 26685 4294967295 134512640 134569956 3221224368 3221214568 1131270056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26685 13086 16 0 209953 0
vsize: 839876
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 78719 62 0 0 25 0 11 0 780411734 860033024 26697 4294967295 134512640 134569956 3221224368 3221214568 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26697 13086 16 0 209953 0
vsize: 839876
[startup+820.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 79706 62 0 0 25 0 11 0 780411734 860033024 26723 4294967295 134512640 134569956 3221224368 3221214520 1131207269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26723 13086 16 0 209953 0
vsize: 839876
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19651
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 80693 62 0 0 25 0 11 0 780411734 860033024 26730 4294967295 134512640 134569956 3221224368 3221214592 1131381209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26730 13086 16 0 209953 0
vsize: 839876
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 81679 62 0 0 25 0 11 0 780411734 860033024 26755 4294967295 134512640 134569956 3221224368 3221214240 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26755 13086 16 0 209953 0
vsize: 839876
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 82664 62 0 0 25 0 11 0 780411734 860033024 26759 4294967295 134512640 134569956 3221224368 3221214568 1131269463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26759 13086 16 0 209953 0
vsize: 839876
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 83644 62 0 0 25 0 11 0 780411734 860033024 26787 4294967295 134512640 134569956 3221224368 3221214568 1131269401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26787 13086 16 0 209953 0
vsize: 839876
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 84616 62 0 0 25 0 11 0 780411734 860033024 26794 4294967295 134512640 134569956 3221224368 3221214568 1131268833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26794 13086 16 0 209953 0
vsize: 839876
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 85590 62 0 0 25 0 11 0 780411734 860033024 26853 4294967295 134512640 134569956 3221224368 3221214368 1131471109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26853 13086 16 0 209953 0
vsize: 839876
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 86562 63 0 0 25 0 11 0 780411734 860033024 26915 4294967295 134512640 134569956 3221224368 3221214568 1131268773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26915 13086 16 0 209953 0
vsize: 839876
[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 87538 63 0 0 25 0 11 0 780411734 860033024 27013 4294967295 134512640 134569956 3221224368 3221214544 1131524842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27013 13086 16 0 209953 0
vsize: 839876
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 88518 63 0 0 25 0 11 0 780411734 860033024 27085 4294967295 134512640 134569956 3221224368 3221214568 1131269818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27085 13086 16 0 209953 0
vsize: 839876
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 89502 63 0 0 25 0 11 0 780411734 860033024 27142 4294967295 134512640 134569956 3221224368 3221214520 1131207248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27142 13086 16 0 209953 0
vsize: 839876
[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 90488 63 0 0 25 0 11 0 780411734 860033024 27187 4294967295 134512640 134569956 3221224368 3221214568 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27187 13086 16 0 209953 0
vsize: 839876
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 91476 63 0 0 25 0 11 0 780411734 860033024 27212 4294967295 134512640 134569956 3221224368 3221214100 1131240267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27212 13086 16 0 209953 0
vsize: 839876
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 92463 63 0 0 25 0 11 0 780411734 860033024 27220 4294967295 134512640 134569956 3221224368 3221214568 1131269288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27220 13086 16 0 209953 0
vsize: 839876
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 93451 63 0 0 25 0 11 0 780411734 860033024 27232 4294967295 134512640 134569956 3221224368 3221214664 1131356098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27232 13086 16 0 209953 0
vsize: 839876
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 94440 64 0 0 25 0 11 0 780411734 860033024 27235 4294967295 134512640 134569956 3221224368 3221214664 1131353153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27235 13086 16 0 209953 0
vsize: 839876
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 95426 64 0 0 25 0 11 0 780411734 860033024 27242 4294967295 134512640 134569956 3221224368 3221214568 1131268780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27242 13086 16 0 209953 0
vsize: 839876
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 96413 64 0 0 25 0 11 0 780411734 860033024 27258 4294967295 134512640 134569956 3221224368 3221214664 1131356222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27258 13086 16 0 209953 0
vsize: 839876
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 97399 64 0 0 25 0 11 0 780411734 860033024 27264 4294967295 134512640 134569956 3221224368 3221214520 1131207269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27264 13086 16 0 209953 0
vsize: 839876
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 98387 64 0 0 25 0 11 0 780411734 860033024 27305 4294967295 134512640 134569956 3221224368 3221214568 1131268761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27305 13086 16 0 209953 0
vsize: 839876
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 99375 64 0 0 25 0 11 0 780411734 860033024 27308 4294967295 134512640 134569956 3221224368 3221214568 1131269229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27308 13086 16 0 209953 0
vsize: 839876
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 100364 64 0 0 25 0 11 0 780411734 860033024 27322 4294967295 134512640 134569956 3221224368 3221214568 1131269831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27322 13086 16 0 209953 0
vsize: 839876
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 101352 64 0 0 25 0 11 0 780411734 860033024 27324 4294967295 134512640 134569956 3221224368 3221214568 1131268773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27324 13086 16 0 209953 0
vsize: 839876
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) S 19583 3944 3943 0 -1 0 18101 0 1 0 102341 64 0 0 25 0 11 0 780411734 860033024 27339 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27339 13086 16 0 209953 0
vsize: 839876
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 103329 64 0 0 25 0 11 0 780411734 860033024 27343 4294967295 134512640 134569956 3221224368 3221214816 1131184793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27343 13086 16 0 209953 0
vsize: 839876
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 104319 65 0 0 25 0 11 0 780411734 860033024 27363 4294967295 134512640 134569956 3221224368 3221214568 1131269105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27363 13086 16 0 209953 0
vsize: 839876
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 105307 65 0 0 25 0 11 0 780411734 860033024 27366 4294967295 134512640 134569956 3221224368 3221214568 1131269461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27366 13086 16 0 209953 0
vsize: 839876
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 106295 65 0 0 25 0 11 0 780411734 860033024 27372 4294967295 134512640 134569956 3221224368 3221214664 1131355290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27372 13086 16 0 209953 0
vsize: 839876
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 107283 65 0 0 25 0 11 0 780411734 860033024 27379 4294967295 134512640 134569956 3221224368 3221214496 1131250684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27379 13086 16 0 209953 0
vsize: 839876
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 108270 65 0 0 25 0 11 0 780411734 860033024 27394 4294967295 134512640 134569956 3221224368 3221214568 1131269172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27394 13086 16 0 209953 0
vsize: 839876
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19653
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 109257 65 0 0 25 0 11 0 780411734 860033024 27408 4294967295 134512640 134569956 3221224368 3221214664 1131356098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27408 13086 16 0 209953 0
vsize: 839876
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 110243 65 0 0 25 0 11 0 780411734 860033024 27417 4294967295 134512640 134569956 3221224368 3221214536 1131525064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27417 13086 16 0 209953 0
vsize: 839876
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 111230 66 0 0 25 0 11 0 780411734 860033024 27428 4294967295 134512640 134569956 3221224368 3221214568 1131268846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27428 13086 16 0 209953 0
vsize: 839876
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 112218 66 0 0 25 0 11 0 780411734 860033024 27473 4294967295 134512640 134569956 3221224368 3221214568 1131269184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27473 13086 16 0 209953 0
vsize: 839876
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 113210 66 0 0 25 0 11 0 780411734 860033024 27481 4294967295 134512640 134569956 3221224368 3221214016 1131528357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27481 13086 16 0 209953 0
vsize: 839876
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 114204 66 0 0 25 0 11 0 780411734 860033024 27507 4294967295 134512640 134569956 3221224368 3221214568 1131269282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27507 13086 16 0 209953 0
vsize: 839876
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 115199 66 0 0 25 0 11 0 780411734 860033024 27511 4294967295 134512640 134569956 3221224368 3221214664 1131355344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27511 13086 16 0 209953 0
vsize: 839876
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 116195 66 0 0 25 0 11 0 780411734 860033024 27515 4294967295 134512640 134569956 3221224368 3221214568 1131268769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27515 13086 16 0 209953 0
vsize: 839876
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 117191 66 0 0 25 0 11 0 780411734 860033024 27517 4294967295 134512640 134569956 3221224368 3221214520 1131207269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27517 13086 16 0 209953 0
vsize: 839876
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 118187 66 0 0 25 0 11 0 780411734 860033024 27521 4294967295 134512640 134569956 3221224368 3221214568 1131269377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27521 13086 16 0 209953 0
vsize: 839876
[startup+1220.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 119182 67 0 0 25 0 11 0 780411734 860033024 27525 4294967295 134512640 134569956 3221224368 3221214568 1131269172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27525 13086 16 0 209953 0
vsize: 839876
[startup+1230.08 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 19655
Raw data (stat): 19584 (java) R 19583 3944 3943 0 -1 0 18101 0 1 0 120178 67 0 0 25 0 11 0 780411734 860033024 27529 4294967295 134512640 134569956 3221224368 3221214752 1131311973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27529 13086 16 0 209953 0
vsize: 839876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.14 1.03 1.01 1/54 19657
Raw data (stat): 19584 (java) Z 19583 3944 3943 0 -1 1036 18101 7548 1 0 120179 67 2471 31 25 0 1 0 780411734 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1227.49
CPU user time (s): 1226.51
CPU system time (s): 0.98285
CPU usage (%): 99.784
Max. virtual memory (Kb): 839908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####