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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb
MD5SUM	d0cc302a544eb359eec19c9f7d39cc8a
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	240
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	8589934584
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	5368709120000000000
Number of bits of the biggest number in a constraint	63
Biggest sum of numbers in a constraint	40952512476384968704
Number of bits of the biggest sum of numbers	66
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.158974
Number of variables	9240
Total number of constraints	153
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	153
Minimum length of a constraint	30
Maximum length of a constraint	3990
Trace number 29457

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 07:52:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20856 boxname=wulflinc27 idbench=844 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  d0cc302a544eb359eec19c9f7d39cc8a  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-lotfi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-lotfi.opb
IDLAUNCH: 20856
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        507188 kB
Buffers:         32872 kB
Cached:         472952 kB
SwapCached:        640 kB
Active:          78932 kB
Inactive:       429260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        506936 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13532 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:13:15 (client local time) WITH STATUS 143 IN 1227.37 SECONDS
stats: 20856 7 1227.37 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/wulflinc27/normalized-mps-v2-20-10-lotfi.opb
c reading problem ... done. Time 28.372 ms.
c #vars     9240
c #constraints  240
c starts	: 2
c conflicts	: 211
c decisions	: 16301
c propagations	: 43454
c inspects	: 472532
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 211
c root simplifications	: 108
s UNKNOWN
c Total CPU time (ms) : 1219.144
#### 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.96 2/54 16049
Raw data (stat): 16049 (runsolver) R 16048 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837221428 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.0038 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 16058
Raw data (stat): 16049 (java) S 16048 3394 3393 0 -1 0 18017 0 1 0 859 38 0 0 25 0 10 0 837221428 857120768 20180 4294967295 134512640 134569956 3221224368 3221213696 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209258 20181 13086 16 0 209242 0
vsize: 837032
[startup+20.0048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 16058
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18018 0 1 0 1711 39 0 0 25 0 10 0 837221428 857120768 21080 4294967295 134512640 134569956 3221224368 3221214268 1080019524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209258 21080 13086 16 0 209242 0
vsize: 837032
[startup+30.005 s]
Raw data (loadavg): 1.00 1.00 0.97 3/63 16058
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18039 0 1 0 2550 40 0 0 25 0 10 0 837221428 857120768 21896 4294967295 134512640 134569956 3221224368 3221214704 1131335145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209258 21896 13086 16 0 209242 0
vsize: 837032
[startup+40.0063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 3453 40 0 0 25 0 11 0 837221428 857649152 22185 4294967295 134512640 134569956 3221224368 3221214768 1131358502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 22185 13086 16 0 209371 0
vsize: 837548
[startup+50.0075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 4361 40 0 0 25 0 11 0 837221428 857649152 22284 4294967295 134512640 134569956 3221224368 3221214768 1131358556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 22284 13086 16 0 209371 0
vsize: 837548
[startup+60.0075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 5288 40 0 0 25 0 11 0 837221428 857649152 22624 4294967295 134512640 134569956 3221224368 3221214632 1131335359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 22624 13086 16 0 209371 0
vsize: 837548
[startup+70.0087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 6263 41 0 0 25 0 11 0 837221428 857649152 23098 4294967295 134512640 134569956 3221224368 3221214716 1131200416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23098 13086 16 0 209371 0
vsize: 837548
[startup+80.0095 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 7257 41 0 0 25 0 11 0 837221428 857649152 23098 4294967295 134512640 134569956 3221224368 3221214656 1131335873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23098 13086 16 0 209371 0
vsize: 837548
[startup+90.0099 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18045 0 1 0 8250 41 0 0 25 0 11 0 837221428 857649152 23098 4294967295 134512640 134569956 3221224368 3221214744 1131320212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23098 13086 16 0 209371 0
vsize: 837548
[startup+100.01 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18055 0 1 0 9238 42 0 0 25 0 11 0 837221428 857649152 23110 4294967295 134512640 134569956 3221224368 3221214760 1131367241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23110 13086 16 0 209371 0
vsize: 837548
[startup+110.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 10217 42 0 0 25 0 11 0 837221428 857649152 23131 4294967295 134512640 134569956 3221224368 3221214656 1131336340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23131 13086 16 0 209371 0
vsize: 837548
[startup+120.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 11197 42 0 0 24 0 11 0 837221428 857649152 23132 4294967295 134512640 134569956 3221224368 3221214632 1131322323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23132 13086 16 0 209371 0
vsize: 837548
[startup+130.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 12178 43 0 0 25 0 11 0 837221428 857649152 23132 4294967295 134512640 134569956 3221224368 3221214744 1131319904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23132 13086 16 0 209371 0
vsize: 837548
[startup+140.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 13161 43 0 0 25 0 11 0 837221428 857649152 23246 4294967295 134512640 134569956 3221224368 3221214632 1131322292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23246 13086 16 0 209371 0
vsize: 837548
[startup+150.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 14155 44 0 0 25 0 11 0 837221428 857649152 23250 4294967295 134512640 134569956 3221224368 3221214656 1131335895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23250 13086 16 0 209371 0
vsize: 837548
[startup+160.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 15149 44 0 0 25 0 11 0 837221428 857649152 23260 4294967295 134512640 134569956 3221224368 3221214744 1131319846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23260 13086 16 0 209371 0
vsize: 837548
[startup+170.026 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 16144 44 0 0 25 0 11 0 837221428 857649152 23264 4294967295 134512640 134569956 3221224368 3221214744 1131320124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23264 13086 16 0 209371 0
vsize: 837548
[startup+180.026 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 17139 44 0 0 25 0 11 0 837221428 857649152 23270 4294967295 134512640 134569956 3221224368 3221214656 1131335145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23270 13086 16 0 209371 0
vsize: 837548
[startup+190.028 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 18133 45 0 0 25 0 11 0 837221428 857649152 23276 4294967295 134512640 134569956 3221224368 3221214656 1131335321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23276 13086 16 0 209371 0
vsize: 837548
[startup+200.028 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 19127 45 0 0 25 0 11 0 837221428 857649152 23276 4294967295 134512640 134569956 3221224368 3221214740 1131201511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23276 13086 16 0 209371 0
vsize: 837548
[startup+210.028 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 20124 45 0 0 25 0 11 0 837221428 857649152 23287 4294967295 134512640 134569956 3221224368 3221214744 1131320212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23287 13086 16 0 209371 0
vsize: 837548
[startup+220.029 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 21120 46 0 0 25 0 11 0 837221428 857649152 23293 4294967295 134512640 134569956 3221224368 3221214656 1131335101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23293 13086 16 0 209371 0
vsize: 837548
[startup+230.03 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 22116 46 0 0 25 0 11 0 837221428 857649152 23293 4294967295 134512640 134569956 3221224368 3221214740 1131334976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23293 13086 16 0 209371 0
vsize: 837548
[startup+240.03 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 23111 47 0 0 25 0 11 0 837221428 857649152 23294 4294967295 134512640 134569956 3221224368 3221214656 1131335333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23294 13086 16 0 209371 0
vsize: 837548
[startup+250.03 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 24107 47 0 0 25 0 11 0 837221428 857649152 23296 4294967295 134512640 134569956 3221224368 3221214768 1131341434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23296 13086 16 0 209371 0
vsize: 837548
[startup+260.031 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18056 0 1 0 25101 47 0 0 25 0 11 0 837221428 857649152 23298 4294967295 134512640 134569956 3221224368 3221214656 1131335059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23298 13086 16 0 209371 0
vsize: 837548
[startup+270.032 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 26095 47 0 0 25 0 11 0 837221428 857649152 23301 4294967295 134512640 134569956 3221224368 3221214744 1131159761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23301 13086 16 0 209371 0
vsize: 837548
[startup+280.032 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 27089 48 0 0 25 0 11 0 837221428 857649152 23312 4294967295 134512640 134569956 3221224368 3221214656 1131335101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23312 13086 16 0 209371 0
vsize: 837548
[startup+290.034 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 28084 48 0 0 25 0 11 0 837221428 857649152 23321 4294967295 134512640 134569956 3221224368 3221214656 1131201492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23321 13086 16 0 209371 0
vsize: 837548
[startup+300.034 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 29082 48 0 0 25 0 11 0 837221428 857649152 23335 4294967295 134512640 134569956 3221224368 3221214744 1131159744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23335 13086 16 0 209371 0
vsize: 837548
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 30080 48 0 0 25 0 11 0 837221428 857649152 23336 4294967295 134512640 134569956 3221224368 3221214656 1131335278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23336 13086 16 0 209371 0
vsize: 837548
[startup+320.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18057 0 1 0 31078 49 0 0 25 0 11 0 837221428 857649152 23336 4294967295 134512640 134569956 3221224368 3221214656 1131335145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23336 13086 16 0 209371 0
vsize: 837548
[startup+330.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 32061 49 0 0 25 0 11 0 837221428 857649152 23499 4294967295 134512640 134569956 3221224368 3221214744 1131320172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23499 13086 16 0 209371 0
vsize: 837548
[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 33043 49 0 0 25 0 11 0 837221428 857649152 23344 4294967295 134512640 134569956 3221224368 3221214740 1131180101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23344 13086 16 0 209371 0
vsize: 837548
[startup+350.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 34034 50 0 0 25 0 11 0 837221428 857649152 23344 4294967295 134512640 134569956 3221224368 3221214656 1131335099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23344 13086 16 0 209371 0
vsize: 837548
[startup+360.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 35027 51 0 0 25 0 11 0 837221428 857649152 23359 4294967295 134512640 134569956 3221224368 3221214736 1131180060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23359 13086 16 0 209371 0
vsize: 837548
[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 36022 51 0 0 25 0 11 0 837221428 857649152 23383 4294967295 134512640 134569956 3221224368 3221214656 1131335145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23383 13086 16 0 209371 0
vsize: 837548
[startup+380.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 37020 52 0 0 25 0 11 0 837221428 857649152 23391 4294967295 134512640 134569956 3221224368 3221214656 1131336349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23391 13086 16 0 209371 0
vsize: 837548
[startup+390.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 38019 52 0 0 25 0 11 0 837221428 857649152 23391 4294967295 134512640 134569956 3221224368 3221214744 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23391 13086 16 0 209371 0
vsize: 837548
[startup+400.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 39017 52 0 0 25 0 11 0 837221428 857649152 23391 4294967295 134512640 134569956 3221224368 3221214744 1131319844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23391 13086 16 0 209371 0
vsize: 837548
[startup+410.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 40011 52 0 0 25 0 11 0 837221428 857649152 23391 4294967295 134512640 134569956 3221224368 3221214744 1131320207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23391 13086 16 0 209371 0
vsize: 837548
[startup+420.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 41002 53 0 0 25 0 11 0 837221428 857649152 23391 4294967295 134512640 134569956 3221224368 3221214656 1131335101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23391 13086 16 0 209371 0
vsize: 837548
[startup+430.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 16059
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 41992 53 0 0 24 0 11 0 837221428 857649152 23396 4294967295 134512640 134569956 3221224368 3221214656 1131336470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23396 13086 16 0 209371 0
vsize: 837548
[startup+440.058 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 42971 63 0 0 25 0 11 0 837221428 857649152 23422 4294967295 134512640 134569956 3221224368 3221214744 1131319844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23422 13086 16 0 209371 0
vsize: 837548
[startup+450.059 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 43960 63 0 0 25 0 11 0 837221428 857649152 23437 4294967295 134512640 134569956 3221224368 3221214632 1131322292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23437 13086 16 0 209371 0
vsize: 837548
[startup+460.059 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 44950 64 0 0 25 0 11 0 837221428 857649152 23464 4294967295 134512640 134569956 3221224368 3221214792 1131358054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23464 13086 16 0 209371 0
vsize: 837548
[startup+470.061 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 45939 64 0 0 25 0 11 0 837221428 857649152 23486 4294967295 134512640 134569956 3221224368 3221214736 1131180092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23486 13086 16 0 209371 0
vsize: 837548
[startup+480.061 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 46929 64 0 0 25 0 11 0 837221428 857649152 23510 4294967295 134512640 134569956 3221224368 3221214656 1131336425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23510 13086 16 0 209371 0
vsize: 837548
[startup+490.062 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 16112
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 47919 64 0 0 25 0 11 0 837221428 857649152 23532 4294967295 134512640 134569956 3221224368 3221214656 1131336399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23532 13086 16 0 209371 0
vsize: 837548
[startup+500.063 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 48909 64 0 0 25 0 11 0 837221428 857649152 23555 4294967295 134512640 134569956 3221224368 3221214656 1131335219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23555 13086 16 0 209371 0
vsize: 837548
[startup+510.063 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 49901 64 0 0 25 0 11 0 837221428 857649152 23575 4294967295 134512640 134569956 3221224368 3221214744 1131159761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23575 13086 16 0 209371 0
vsize: 837548
[startup+520.063 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 50893 64 0 0 25 0 11 0 837221428 857649152 23598 4294967295 134512640 134569956 3221224368 3221214744 1131159817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 23598 13086 16 0 209371 0
vsize: 837548
[startup+530.064 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 51884 64 0 0 25 0 11 0 837221428 857649152 23756 4294967295 134512640 134569956 3221224368 3221214744 1131159761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23756 13086 16 0 209371 0
vsize: 837548
[startup+540.066 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 52875 65 0 0 25 0 11 0 837221428 857649152 23777 4294967295 134512640 134569956 3221224368 3221214656 1131335101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23777 13086 16 0 209371 0
vsize: 837548
[startup+550.066 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 53867 65 0 0 25 0 11 0 837221428 857649152 23790 4294967295 134512640 134569956 3221224368 3221214768 1131341401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23790 13086 16 0 209371 0
vsize: 837548
[startup+560.066 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 54859 66 0 0 25 0 11 0 837221428 857649152 23802 4294967295 134512640 134569956 3221224368 3221214768 1131341401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23802 13086 16 0 209371 0
vsize: 837548
[startup+570.066 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 55850 66 0 0 25 0 11 0 837221428 857649152 23819 4294967295 134512640 134569956 3221224368 3221214656 1131335048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23819 13086 16 0 209371 0
vsize: 837548
[startup+580.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 56842 66 0 0 25 0 11 0 837221428 857649152 23830 4294967295 134512640 134569956 3221224368 3221214656 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23830 13086 16 0 209371 0
vsize: 837548
[startup+590.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 57834 66 0 0 25 0 11 0 837221428 857649152 23841 4294967295 134512640 134569956 3221224368 3221214656 1131335215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23841 13086 16 0 209371 0
vsize: 837548
[startup+600.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 58826 67 0 0 25 0 11 0 837221428 857649152 23859 4294967295 134512640 134569956 3221224368 3221214656 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23859 13086 16 0 209371 0
vsize: 837548
[startup+610.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 59819 67 0 0 25 0 11 0 837221428 857649152 23866 4294967295 134512640 134569956 3221224368 3221214744 1131320207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23866 13086 16 0 209371 0
vsize: 837548
[startup+620.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 60810 67 0 0 25 0 11 0 837221428 857649152 23877 4294967295 134512640 134569956 3221224368 3221214584 1131334996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23877 13086 16 0 209371 0
vsize: 837548
[startup+630.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 61801 68 0 0 25 0 11 0 837221428 857649152 23891 4294967295 134512640 134569956 3221224368 3221214672 1131319844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23891 13086 16 0 209371 0
vsize: 837548
[startup+640.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 62791 69 0 0 25 0 11 0 837221428 857649152 23902 4294967295 134512640 134569956 3221224368 3221214672 1131319874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23902 13086 16 0 209371 0
vsize: 837548
[startup+650.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 63783 69 0 0 25 0 11 0 837221428 857649152 23922 4294967295 134512640 134569956 3221224368 3221214584 1131335895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23922 13086 16 0 209371 0
vsize: 837548
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 64774 69 0 0 25 0 11 0 837221428 857649152 23940 4294967295 134512640 134569956 3221224368 3221214584 1131335041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23940 13086 16 0 209371 0
vsize: 837548
[startup+670.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 65765 69 0 0 25 0 11 0 837221428 857649152 23948 4294967295 134512640 134569956 3221224368 3221214672 1131320222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23948 13086 16 0 209371 0
vsize: 837548
[startup+680.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 66756 70 0 0 25 0 11 0 837221428 857649152 23964 4294967295 134512640 134569956 3221224368 3221214668 1131180012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23964 13086 16 0 209371 0
vsize: 837548
[startup+690.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 67747 70 0 0 25 0 11 0 837221428 857649152 23978 4294967295 134512640 134569956 3221224368 3221214584 1131336456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23978 13086 16 0 209371 0
vsize: 837548
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 68737 70 0 0 25 0 11 0 837221428 857649152 23987 4294967295 134512640 134569956 3221224368 3221214720 1131357940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 23987 13086 16 0 209371 0
vsize: 837548
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 69726 71 0 0 25 0 11 0 837221428 857649152 24005 4294967295 134512640 134569956 3221224368 3221214668 1131201511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24005 13086 16 0 209371 0
vsize: 837548
[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 70717 71 0 0 25 0 11 0 837221428 857649152 24029 4294967295 134512640 134569956 3221224368 3221214584 1131335783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24029 13086 16 0 209371 0
vsize: 837548
[startup+730.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 71708 71 0 0 25 0 11 0 837221428 857649152 24040 4294967295 134512640 134569956 3221224368 3221214672 1131159761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24040 13086 16 0 209371 0
vsize: 837548
[startup+740.081 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 72700 71 0 0 25 0 11 0 837221428 857649152 24055 4294967295 134512640 134569956 3221224368 3221214584 1131335321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24055 13086 16 0 209371 0
vsize: 837548
[startup+750.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 73691 72 0 0 25 0 11 0 837221428 857649152 24067 4294967295 134512640 134569956 3221224368 3221214672 1131320048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24067 13086 16 0 209371 0
vsize: 837548
[startup+760.081 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 74682 72 0 0 25 0 11 0 837221428 857649152 24076 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24076 13086 16 0 209371 0
vsize: 837548
[startup+770.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16114
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 75673 73 0 0 25 0 11 0 837221428 857649152 24087 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24087 13086 16 0 209371 0
vsize: 837548
[startup+780.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 76664 73 0 0 25 0 11 0 837221428 857649152 24102 4294967295 134512640 134569956 3221224368 3221214584 1131336428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209387 24102 13086 16 0 209371 0
vsize: 837548
[startup+790.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 77653 74 0 0 25 0 11 0 837221428 857649152 24108 4294967295 134512640 134569956 3221224368 3221214672 1131319844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24108 13086 16 0 209371 0
vsize: 837548
[startup+800.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 78645 74 0 0 25 0 11 0 837221428 857649152 24120 4294967295 134512640 134569956 3221224368 3221214672 1131159744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24120 13086 16 0 209371 0
vsize: 837548
[startup+810.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 79637 75 0 0 25 0 11 0 837221428 857649152 24128 4294967295 134512640 134569956 3221224368 3221214672 1131319867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24128 13086 16 0 209371 0
vsize: 837548
[startup+820.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 80629 75 0 0 25 0 11 0 837221428 857649152 24139 4294967295 134512640 134569956 3221224368 3221214720 1131358724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24139 13086 16 0 209371 0
vsize: 837548
[startup+830.086 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 81621 76 0 0 25 0 11 0 837221428 857649152 24146 4294967295 134512640 134569956 3221224368 3221214584 1131334989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24146 13086 16 0 209371 0
vsize: 837548
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 82614 76 0 0 25 0 11 0 837221428 857649152 24157 4294967295 134512640 134569956 3221224368 3221214584 1131335402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24157 13086 16 0 209371 0
vsize: 837548
[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 83607 76 0 0 25 0 11 0 837221428 857649152 24164 4294967295 134512640 134569956 3221224368 3221214584 1131335278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24164 13086 16 0 209371 0
vsize: 837548
[startup+860.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 84600 76 0 0 25 0 11 0 837221428 857649152 24052 4294967295 134512640 134569956 3221224368 3221214584 1131200485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24052 13086 16 0 209371 0
vsize: 837548
[startup+870.088 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 85592 76 0 0 25 0 11 0 837221428 857649152 24059 4294967295 134512640 134569956 3221224368 3221214672 1131319874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24059 13086 16 0 209371 0
vsize: 837548
[startup+880.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 86585 77 0 0 25 0 11 0 837221428 857649152 24066 4294967295 134512640 134569956 3221224368 3221214584 1131335092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24066 13086 16 0 209371 0
vsize: 837548
[startup+890.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 87577 77 0 0 25 0 11 0 837221428 857649152 24077 4294967295 134512640 134569956 3221224368 3221214672 1131319888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24077 13086 16 0 209371 0
vsize: 837548
[startup+900.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 88569 78 0 0 25 0 11 0 837221428 857649152 24084 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24084 13086 16 0 209371 0
vsize: 837548
[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 89561 78 0 0 25 0 11 0 837221428 857649152 24095 4294967295 134512640 134569956 3221224368 3221214584 1131335994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24095 13086 16 0 209371 0
vsize: 837548
[startup+920.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 90554 78 0 0 25 0 11 0 837221428 857649152 24102 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24102 13086 16 0 209371 0
vsize: 837548
[startup+930.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 91547 79 0 0 25 0 11 0 837221428 857649152 24106 4294967295 134512640 134569956 3221224368 3221214560 1131322297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24106 13086 16 0 209371 0
vsize: 837548
[startup+940.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 92539 79 0 0 25 0 11 0 837221428 857649152 24121 4294967295 134512640 134569956 3221224368 3221214584 1131335142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24121 13086 16 0 209371 0
vsize: 837548
[startup+950.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 93532 80 0 0 25 0 11 0 837221428 857649152 24124 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24124 13086 16 0 209371 0
vsize: 837548
[startup+960.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 94524 80 0 0 25 0 11 0 837221428 857649152 24132 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24132 13086 16 0 209371 0
vsize: 837548
[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 95516 80 0 0 25 0 11 0 837221428 857649152 24142 4294967295 134512640 134569956 3221224368 3221214584 1131335287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24142 13086 16 0 209371 0
vsize: 837548
[startup+980.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 96509 81 0 0 25 0 11 0 837221428 857649152 24150 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24150 13086 16 0 209371 0
vsize: 837548
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 97501 81 0 0 25 0 11 0 837221428 857649152 24160 4294967295 134512640 134569956 3221224368 3221214672 1131320154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24160 13086 16 0 209371 0
vsize: 837548
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 98493 82 0 0 25 0 11 0 837221428 857649152 24168 4294967295 134512640 134569956 3221224368 3221214672 1131319844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24168 13086 16 0 209371 0
vsize: 837548
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 99486 82 0 0 25 0 11 0 837221428 857649152 24175 4294967295 134512640 134569956 3221224368 3221214672 1131320048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24175 13086 16 0 209371 0
vsize: 837548
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 100477 83 0 0 25 0 11 0 837221428 857649152 24179 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24179 13086 16 0 209371 0
vsize: 837548
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 101469 84 0 0 25 0 11 0 837221428 857649152 24193 4294967295 134512640 134569956 3221224368 3221214584 1131335159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24193 13086 16 0 209371 0
vsize: 837548
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 102462 84 0 0 25 0 11 0 837221428 857649152 24197 4294967295 134512640 134569956 3221224368 3221214584 1131335289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24197 13086 16 0 209371 0
vsize: 837548
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 103453 84 0 0 25 0 11 0 837221428 857649152 24204 4294967295 134512640 134569956 3221224368 3221214672 1131319876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24204 13086 16 0 209371 0
vsize: 837548
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 104447 85 0 0 25 0 11 0 837221428 857649152 24215 4294967295 134512640 134569956 3221224368 3221214584 1131335321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24215 13086 16 0 209371 0
vsize: 837548
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 105438 85 0 0 25 0 11 0 837221428 857649152 24228 4294967295 134512640 134569956 3221224368 3221214584 1131335252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24228 13086 16 0 209371 0
vsize: 837548
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 106430 86 0 0 25 0 11 0 837221428 857649152 24235 4294967295 134512640 134569956 3221224368 3221214720 1131357701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24235 13086 16 0 209371 0
vsize: 837548
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 107422 86 0 0 25 0 11 0 837221428 857649152 24239 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24239 13086 16 0 209371 0
vsize: 837548
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 108414 87 0 0 25 0 11 0 837221428 857649152 24246 4294967295 134512640 134569956 3221224368 3221214584 1131335333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24246 13086 16 0 209371 0
vsize: 837548
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 109406 87 0 0 25 0 11 0 837221428 857649152 24257 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24257 13086 16 0 209371 0
vsize: 837548
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 110396 88 0 0 25 0 11 0 837221428 857649152 24269 4294967295 134512640 134569956 3221224368 3221214584 1131335145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24269 13086 16 0 209371 0
vsize: 837548
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 111388 88 0 0 25 0 11 0 837221428 857649152 24278 4294967295 134512640 134569956 3221224368 3221214584 1131200464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24278 13086 16 0 209371 0
vsize: 837548
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 112379 89 0 0 25 0 11 0 837221428 857649152 24281 4294967295 134512640 134569956 3221224368 3221214584 1131336013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24281 13086 16 0 209371 0
vsize: 837548
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 113369 89 0 0 25 0 11 0 837221428 857649152 24306 4294967295 134512640 134569956 3221224368 3221214672 1131320198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24306 13086 16 0 209371 0
vsize: 837548
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 114359 90 0 0 25 0 11 0 837221428 857649152 24312 4294967295 134512640 134569956 3221224368 3221214560 1131322295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24312 13086 16 0 209371 0
vsize: 837548
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 115351 90 0 0 25 0 11 0 837221428 857649152 24332 4294967295 134512640 134569956 3221224368 3221214672 1131159749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24332 13086 16 0 209371 0
vsize: 837548
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 116342 90 0 0 25 0 11 0 837221428 857649152 24339 4294967295 134512640 134569956 3221224368 3221214584 1131336013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24339 13086 16 0 209371 0
vsize: 837548
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 117332 91 0 0 25 0 11 0 837221428 857649152 24345 4294967295 134512640 134569956 3221224368 3221214672 1131159769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24345 13086 16 0 209371 0
vsize: 837548
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 118322 92 0 0 25 0 11 0 837221428 857649152 24360 4294967295 134512640 134569956 3221224368 3221214664 1131180092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24360 13086 16 0 209371 0
vsize: 837548
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 119313 92 0 0 25 0 11 0 837221428 857649152 24377 4294967295 134512640 134569956 3221224368 3221214672 1131320212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24377 13086 16 0 209371 0
vsize: 837548
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16116
Raw data (stat): 16049 (java) R 16048 3394 3393 0 -1 0 18058 0 1 0 120303 92 0 0 25 0 11 0 837221428 857649152 24387 4294967295 134512640 134569956 3221224368 3221214672 1131159761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209387 24387 13086 16 0 209371 0
vsize: 837548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 16118
Raw data (stat): 16049 (java) Z 16048 3394 3393 0 -1 1036 18058 8474 1 0 120304 97 2305 29 25 0 1 0 837221428 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.18
CPU time (s): 1227.37
CPU user time (s): 1226.1
CPU system time (s): 1.26981
CPU usage (%): 100.589
Max. virtual memory (Kb): 837548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####