PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb
MD5SUM	70f8dad81749dae15a5dabba2309b4f5
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	3424
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	180407058264
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	180407058264
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.049992
Number of variables	5344
Total number of constraints	136
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	136
Minimum length of a constraint	31
Maximum length of a constraint	240
Trace number 29672

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        269492 kB
Buffers:         33788 kB
Cached:         700476 kB
SwapCached:       1020 kB
Active:          43488 kB
Inactive:       692916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        269240 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            23064 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:33:27 (client local time) WITH STATUS 143 IN 1230.11 SECONDS
stats: 21073 7 1230.11 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/wulflinc21/normalized-mps-v2-20-10-pp08a.opb
c reading problem ... done. Time 12.921 ms.
c #vars     5344
c #constraints  200
c starts	: 5
c conflicts	: 841
c decisions	: 8494
c propagations	: 18467
c inspects	: 105604
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 840
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1219.099
#### 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/55 12246
Raw data (stat): 12246 (runsolver) R 12245 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 715333509 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+9.99959 s]
Raw data (loadavg): 0.93 0.98 0.99 3/64 12255
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18027 0 1 0 864 38 0 0 20 0 10 0 715333509 854175744 19586 4294967295 134512640 134569956 3221224368 3221214336 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208539 19586 13086 16 0 208523 0
vsize: 834156
[startup+20.0003 s]
Raw data (loadavg): 1.09 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18077 0 1 0 1620 39 0 0 25 0 11 0 715333509 859758592 21768 4294967295 134512640 134569956 3221224368 3221214512 1131351026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209902 21768 13086 16 0 209886 0
vsize: 839608
[startup+30.001 s]
Raw data (loadavg): 1.22 1.05 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 2498 40 0 0 25 0 11 0 715333509 860459008 22306 4294967295 134512640 134569956 3221224368 3221214448 1131336472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 22306 13086 16 0 210057 0
vsize: 840292
[startup+40.0015 s]
Raw data (loadavg): 1.19 1.05 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 3465 40 0 0 25 0 11 0 715333509 860459008 22835 4294967295 134512640 134569956 3221224368 3221214504 1131268046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 22835 13086 16 0 210057 0
vsize: 840292
[startup+50.0022 s]
Raw data (loadavg): 1.16 1.04 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 4441 40 0 0 25 0 11 0 715333509 860459008 22928 4294967295 134512640 134569956 3221224368 3221214384 1131490694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 22928 13086 16 0 210057 0
vsize: 840292
[startup+60.0024 s]
Raw data (loadavg): 1.13 1.04 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 5424 40 0 0 25 0 11 0 715333509 860459008 23197 4294967295 134512640 134569956 3221224368 3221214384 1131490161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 23197 13086 16 0 210057 0
vsize: 840292
[startup+70.0025 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 6410 40 0 0 25 0 11 0 715333509 860459008 23405 4294967295 134512640 134569956 3221224368 3221214560 1131268194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 23405 13086 16 0 210057 0
vsize: 840292
[startup+80.0022 s]
Raw data (loadavg): 1.10 1.04 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 7404 40 0 0 25 0 11 0 715333509 860459008 23515 4294967295 134512640 134569956 3221224368 3221214560 1131268193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 23515 13086 16 0 210057 0
vsize: 840292
[startup+90.0029 s]
Raw data (loadavg): 1.08 1.04 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 8378 40 0 0 25 0 11 0 715333509 860459008 23971 4294967295 134512640 134569956 3221224368 3221214296 1131500363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 23971 13086 16 0 210057 0
vsize: 840292
[startup+100.003 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 9373 40 0 0 25 0 11 0 715333509 860459008 24152 4294967295 134512640 134569956 3221224368 3221214188 1131578128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 24152 13086 16 0 210057 0
vsize: 840292
[startup+110.002 s]
Raw data (loadavg): 1.06 1.03 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 10358 40 0 0 25 0 11 0 715333509 860459008 24468 4294967295 134512640 134569956 3221224368 3221214328 1078032762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 24468 13086 16 0 210057 0
vsize: 840292
[startup+120.003 s]
Raw data (loadavg): 1.05 1.03 1.01 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 11336 40 0 0 25 0 11 0 715333509 860459008 24926 4294967295 134512640 134569956 3221224368 3221214384 1131490801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 24926 13086 16 0 210057 0
vsize: 840292
[startup+130.003 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 12316 40 0 0 25 0 11 0 715333509 860459008 25264 4294967295 134512640 134569956 3221224368 3221214464 1131336577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 25264 13086 16 0 210057 0
vsize: 840292
[startup+140.003 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 13292 40 0 0 25 0 11 0 715333509 860459008 25657 4294967295 134512640 134569956 3221224368 3221214424 1131498312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 25657 13086 16 0 210057 0
vsize: 840292
[startup+150.004 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 14292 41 0 0 25 0 11 0 715333509 860459008 25657 4294967295 134512640 134569956 3221224368 3221214496 1131268124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 25657 13086 16 0 210057 0
vsize: 840292
[startup+160.004 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 15273 41 0 0 25 0 11 0 715333509 860459008 26121 4294967295 134512640 134569956 3221224368 3221214496 1131268066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 26121 13086 16 0 210057 0
vsize: 840292
[startup+170.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 16249 41 0 0 25 0 11 0 715333509 860459008 26503 4294967295 134512640 134569956 3221224368 3221214480 1131495256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 26503 13086 16 0 210057 0
vsize: 840292
[startup+180.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 17239 41 0 0 25 0 11 0 715333509 860459008 26856 4294967295 134512640 134569956 3221224368 3221214560 1131268144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 26856 13086 16 0 210057 0
vsize: 840292
[startup+190.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 18225 41 0 0 25 0 11 0 715333509 860459008 27204 4294967295 134512640 134569956 3221224368 3221214504 1131351417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 27204 13086 16 0 210057 0
vsize: 840292
[startup+200.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 19216 41 0 0 25 0 11 0 715333509 860459008 27279 4294967295 134512640 134569956 3221224368 3221214496 1131268124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 27279 13086 16 0 210057 0
vsize: 840292
[startup+210.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 20211 41 0 0 25 0 11 0 715333509 860459008 27381 4294967295 134512640 134569956 3221224368 3221214384 1131490553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 27381 13086 16 0 210057 0
vsize: 840292
[startup+220.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 21205 41 0 0 25 0 11 0 715333509 860459008 27620 4294967295 134512640 134569956 3221224368 3221214496 1131268095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 27620 13086 16 0 210057 0
vsize: 840292
[startup+230.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 22194 41 0 0 25 0 11 0 715333509 860459008 28239 4294967295 134512640 134569956 3221224368 3221214496 1131268189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 28239 13086 16 0 210057 0
vsize: 840292
[startup+240.005 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 23189 41 0 0 25 0 11 0 715333509 860459008 28592 4294967295 134512640 134569956 3221224368 3221214384 1131490579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 28592 13086 16 0 210057 0
vsize: 840292
[startup+250.005 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 24185 41 0 0 25 0 11 0 715333509 860459008 28598 4294967295 134512640 134569956 3221224368 3221214504 1131351617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 28598 13086 16 0 210057 0
vsize: 840292
[startup+260.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 25179 41 0 0 25 0 11 0 715333509 860459008 28811 4294967295 134512640 134569956 3221224368 3221214560 1131268085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 28811 13086 16 0 210057 0
vsize: 840292
[startup+270.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 26174 41 0 0 25 0 11 0 715333509 860459008 29131 4294967295 134512640 134569956 3221224368 3221214496 1131268066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 29131 13086 16 0 210057 0
vsize: 840292
[startup+280.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 27169 42 0 0 25 0 11 0 715333509 860459008 29295 4294967295 134512640 134569956 3221224368 3221213836 1079950998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 29295 13086 16 0 210057 0
vsize: 840292
[startup+290.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 28157 42 0 0 25 0 11 0 715333509 860459008 29716 4294967295 134512640 134569956 3221224368 3221214504 1131351309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 29716 13086 16 0 210057 0
vsize: 840292
[startup+300.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 29133 42 0 0 25 0 11 0 715333509 860459008 30124 4294967295 134512640 134569956 3221224368 3221214448 1131336309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 30124 13086 16 0 210057 0
vsize: 840292
[startup+310.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 30119 42 0 0 25 0 11 0 715333509 860459008 30368 4294967295 134512640 134569956 3221224368 3221214560 1131268108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 30368 13086 16 0 210057 0
vsize: 840292
[startup+320.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 31102 42 0 0 25 0 11 0 715333509 860459008 30579 4294967295 134512640 134569956 3221224368 3221214464 1131336528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 30579 13086 16 0 210057 0
vsize: 840292
[startup+330.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 32090 42 0 0 25 0 11 0 715333509 860459008 30902 4294967295 134512640 134569956 3221224368 3221214384 1131490790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 30902 13086 16 0 210057 0
vsize: 840292
[startup+340.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 33091 42 0 0 25 0 11 0 715333509 860459008 30902 4294967295 134512640 134569956 3221224368 3221214496 1131268194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 30902 13086 16 0 210057 0
vsize: 840292
[startup+350.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 34075 42 0 0 25 0 11 0 715333509 860459008 31444 4294967295 134512640 134569956 3221224368 3221214560 1131268115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 31444 13086 16 0 210057 0
vsize: 840292
[startup+360.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 35064 43 0 0 25 0 11 0 715333509 860459008 31955 4294967295 134512640 134569956 3221224368 3221214480 1131581525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 31955 13086 16 0 210057 0
vsize: 840292
[startup+370.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 36041 43 0 0 25 0 11 0 715333509 860459008 32492 4294967295 134512640 134569956 3221224368 3221214504 1131351431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 32492 13086 16 0 210057 0
vsize: 840292
[startup+380.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 37027 43 0 0 25 0 11 0 715333509 860459008 32794 4294967295 134512640 134569956 3221224368 3221214496 1131268091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 32794 13086 16 0 210057 0
vsize: 840292
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 38010 43 0 0 25 0 11 0 715333509 860459008 33157 4294967295 134512640 134569956 3221224368 3221214384 1131490591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 33157 13086 16 0 210057 0
vsize: 840292
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 38995 43 0 0 25 0 11 0 715333509 860459008 33551 4294967295 134512640 134569956 3221224368 3221214384 1131490700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 33551 13086 16 0 210057 0
vsize: 840292
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 39984 43 0 0 25 0 11 0 715333509 860459008 34014 4294967295 134512640 134569956 3221224368 3221214496 1131268120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 34014 13086 16 0 210057 0
vsize: 840292
[startup+420.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 40971 43 0 0 25 0 11 0 715333509 860459008 34282 4294967295 134512640 134569956 3221224368 3221214560 1131268136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 34282 13086 16 0 210057 0
vsize: 840292
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 41951 43 0 0 25 0 11 0 715333509 860459008 34860 4294967295 134512640 134569956 3221224368 3221214504 1131351497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 34860 13086 16 0 210057 0
vsize: 840292
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 42940 43 0 0 25 0 11 0 715333509 860459008 35211 4294967295 134512640 134569956 3221224368 3221214560 1131268122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 35211 13086 16 0 210057 0
vsize: 840292
[startup+450.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 43930 43 0 0 25 0 11 0 715333509 860459008 35521 4294967295 134512640 134569956 3221224368 3221214496 1131268175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 35521 13086 16 0 210057 0
vsize: 840292
[startup+460.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 44915 43 0 0 25 0 11 0 715333509 860459008 36010 4294967295 134512640 134569956 3221224368 3221214496 1131268120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 36010 13086 16 0 210057 0
vsize: 840292
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 45897 43 0 0 25 0 11 0 715333509 860459008 36526 4294967295 134512640 134569956 3221224368 3221214560 1131268198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 36526 13086 16 0 210057 0
vsize: 840292
[startup+480.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 46886 43 0 0 25 0 11 0 715333509 860459008 36753 4294967295 134512640 134569956 3221224368 3221214288 1131548804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 36753 13086 16 0 210057 0
vsize: 840292
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 47881 43 0 0 25 0 11 0 715333509 860459008 37053 4294967295 134512640 134569956 3221224368 3221214496 1131268140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 37053 13086 16 0 210057 0
vsize: 840292
[startup+500.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 48867 43 0 0 25 0 11 0 715333509 860459008 37634 4294967295 134512640 134569956 3221224368 3221214504 1131268136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 37634 13086 16 0 210057 0
vsize: 840292
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 49850 43 0 0 25 0 11 0 715333509 860459008 37830 4294967295 134512640 134569956 3221224368 3221214504 1131350971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 37830 13086 16 0 210057 0
vsize: 840292
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 50839 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214080 1131577973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+530.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 51827 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214560 1131268126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+540.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 52828 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214560 1131268115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+550.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 53823 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214496 1131268091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+560.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 54823 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214320 1131548794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+570.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 55823 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214384 1131490628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+580.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 56823 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214560 1131268210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+590.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 57823 44 0 0 25 0 11 0 715333509 860459008 38294 4294967295 134512640 134569956 3221224368 3221214496 1131268136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38294 13086 16 0 210057 0
vsize: 840292
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 58817 44 0 0 25 0 11 0 715333509 860459008 38696 4294967295 134512640 134569956 3221224368 3221214496 1131268115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38696 13086 16 0 210057 0
vsize: 840292
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 59817 44 0 0 25 0 11 0 715333509 860459008 38696 4294967295 134512640 134569956 3221224368 3221214496 1131268106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 38696 13086 16 0 210057 0
vsize: 840292
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 60811 44 0 0 25 0 11 0 715333509 860459008 39074 4294967295 134512640 134569956 3221224368 3221214384 1131490719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39074 13086 16 0 210057 0
vsize: 840292
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 61811 44 0 0 25 0 11 0 715333509 860459008 39074 4294967295 134512640 134569956 3221224368 3221214384 1131490536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39074 13086 16 0 210057 0
vsize: 840292
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 62811 44 0 0 25 0 11 0 715333509 860459008 39074 4294967295 134512640 134569956 3221224368 3221214496 1131268122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39074 13086 16 0 210057 0
vsize: 840292
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 63806 44 0 0 25 0 11 0 715333509 860459008 39551 4294967295 134512640 134569956 3221224368 3221214560 1131268124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39551 13086 16 0 210057 0
vsize: 840292
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 64803 44 0 0 25 0 11 0 715333509 860459008 39551 4294967295 134512640 134569956 3221224368 3221214504 1131268152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39551 13086 16 0 210057 0
vsize: 840292
[startup+670.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 65803 44 0 0 25 0 11 0 715333509 860459008 39551 4294967295 134512640 134569956 3221224368 3221214560 1131268167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39551 13086 16 0 210057 0
vsize: 840292
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 66798 44 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214504 1131268085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 67798 44 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214384 1131490513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+700.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 68798 44 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214384 1131490546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+710.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 69798 44 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214496 1131268122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+720.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 70798 45 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214320 1131549019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+730.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 71798 45 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214560 1131268112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+740.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 72798 45 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214560 1131268120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 73798 45 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214496 1131268120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+760.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 74798 45 0 0 25 0 11 0 715333509 860459008 39983 4294967295 134512640 134569956 3221224368 3221214496 1131268171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 39983 13086 16 0 210057 0
vsize: 840292
[startup+770.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 75793 45 0 0 25 0 11 0 715333509 860459008 40179 4294967295 134512640 134569956 3221224368 3221214504 1131268095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 40179 13086 16 0 210057 0
vsize: 840292
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 76793 45 0 0 25 0 11 0 715333509 860459008 40179 4294967295 134512640 134569956 3221224368 3221214296 1131500390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 40179 13086 16 0 210057 0
vsize: 840292
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 77793 45 0 0 25 0 11 0 715333509 860459008 40179 4294967295 134512640 134569956 3221224368 3221214496 1131268215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 40179 13086 16 0 210057 0
vsize: 840292
[startup+800.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 78793 45 0 0 25 0 11 0 715333509 860459008 40179 4294967295 134512640 134569956 3221224368 3221214320 1131549370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 40179 13086 16 0 210057 0
vsize: 840292
[startup+810.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 79792 46 0 0 25 0 11 0 715333509 860459008 40179 4294967295 134512640 134569956 3221224368 3221214496 1131268136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 40179 13086 16 0 210057 0
vsize: 840292
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 80786 46 0 0 25 0 11 0 715333509 860459008 40777 4294967295 134512640 134569956 3221224368 3221214560 1131268122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 40777 13086 16 0 210057 0
vsize: 840292
[startup+830.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 81781 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214496 1131268052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 82782 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214424 1131498318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+850.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 83781 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214496 1131268206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+860.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 84782 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214384 1131490757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+870.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 85782 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214560 1131268219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+880.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 86782 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214560 1131268106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+890.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 87781 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214560 1131268210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+900.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 88781 46 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214496 1131268198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 89781 47 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214496 1131268120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+920.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 90777 47 0 0 25 0 11 0 715333509 860459008 41615 4294967295 134512640 134569956 3221224368 3221214384 1131490727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41615 13086 16 0 210057 0
vsize: 840292
[startup+930.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 91773 47 0 0 25 0 11 0 715333509 860459008 41974 4294967295 134512640 134569956 3221224368 3221214496 1131268202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41974 13086 16 0 210057 0
vsize: 840292
[startup+940.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 92773 47 0 0 25 0 11 0 715333509 860459008 41974 4294967295 134512640 134569956 3221224368 3221214496 1131268198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41974 13086 16 0 210057 0
vsize: 840292
[startup+950.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 93773 47 0 0 25 0 11 0 715333509 860459008 41974 4294967295 134512640 134569956 3221224368 3221214504 1131268171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 41974 13086 16 0 210057 0
vsize: 840292
[startup+960.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 94764 47 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214560 1131268175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+970.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 95764 47 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214384 1131490775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+980.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 96763 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214496 1131268040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+990.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 97764 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214496 1131268161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 98764 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214424 1131498326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 99764 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214320 1131548923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 100764 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214560 1131268066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 101764 48 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214560 1131268175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 102764 49 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214496 1131268124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 103764 49 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214384 1131490767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 104764 49 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214320 1131549133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 105760 49 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214496 1131268215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 106760 50 0 0 25 0 11 0 715333509 860459008 42728 4294967295 134512640 134569956 3221224368 3221214496 1131268161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42728 13086 16 0 210057 0
vsize: 840292
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 107756 50 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214496 1131268091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 108756 50 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214320 1131549017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 109756 50 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214560 1131268152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 110756 50 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214560 1131268194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 111756 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214496 1131268095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 112756 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214504 1131268046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 113756 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214504 1131268052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 114756 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214384 1131490571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 115757 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214384 1131490595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 116757 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214504 1131268091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 117757 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214384 1131490694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 118757 51 0 0 25 0 11 0 715333509 860459008 42806 4294967295 134512640 134569956 3221224368 3221214384 1131490571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210073 42806 13086 16 0 210057 0
vsize: 840292
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 119752 52 0 0 25 0 11 0 715333509 860459008 43115 4294967295 134512640 134569956 3221224368 3221214504 1131351478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 43115 13086 16 0 210057 0
vsize: 840292
[startup+1220.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12256
Raw data (stat): 12246 (java) R 12245 32363 32362 0 -1 0 18081 0 1 0 120748 52 0 0 25 0 11 0 715333509 860459008 43686 4294967295 134512640 134569956 3221224368 3221214288 1131549057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210073 43686 13086 16 0 210057 0
vsize: 840292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12258
Raw data (stat): 12246 (java) Z 12245 32363 32362 0 -1 1036 18081 31184 1 0 120751 60 2134 64 25 0 1 0 715333509 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.14
CPU time (s): 1230.11
CPU user time (s): 1228.86
CPU system time (s): 1.24481
CPU usage (%): 100.817
Max. virtual memory (Kb): 840292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####