PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM	56b5875081183b5ab8f7e29cbac05646
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.112982
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 29914

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 12:40:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21310 boxname=wulflinc26 idbench=1298 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  56b5875081183b5ab8f7e29cbac05646  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 21310
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        341052 kB
Buffers:         37152 kB
Cached:         632808 kB
SwapCached:        656 kB
Active:         158092 kB
Inactive:       514488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        340800 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15348 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:01:52 (client local time) WITH STATUS 143 IN 1257.96 SECONDS
stats: 21310 7 1257.96 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/wulflinc26/normalized-mps-v2-13-7-gen.opb
c reading problem ... done. Time 52.272 ms.
c #vars     12846
c #constraints  1080
c starts	: 10
c conflicts	: 7524
c decisions	: 10749
c propagations	: 43423
c inspects	: 4753701
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7524
c root simplifications	: 14
s UNKNOWN
c Total CPU time (ms) : 1259.148
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 4196
Raw data (stat): 4196 (runsolver) R 4195 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838961433 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.0005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4205
Raw data (stat): 4196 (java) S 4195 20687 20686 0 -1 0 18002 0 1 0 869 38 0 0 25 0 10 0 838961433 857112576 20170 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209256 20170 13086 16 0 209240 0
vsize: 837024
[startup+20.0055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4205
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18002 0 1 0 1762 39 0 0 16 0 10 0 838961433 854683648 20209 4294967295 134512640 134569956 3221224368 3221214688 1131186241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 20209 13086 16 0 208647 0
vsize: 834652
[startup+30.0061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4205
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18010 0 1 0 2656 39 0 0 22 0 10 0 838961433 853831680 20532 4294967295 134512640 134569956 3221224368 3221214464 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 20532 13086 16 0 208439 0
vsize: 833820
[startup+40.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 4205
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18011 0 1 0 3563 40 0 0 24 0 10 0 838961433 853921792 20884 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208477 20884 13086 16 0 208461 0
vsize: 833908
[startup+50.0073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 4205
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18011 0 1 0 4486 40 0 0 25 0 10 0 838961433 853921792 21088 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208477 21088 13086 16 0 208461 0
vsize: 833908
[startup+60.0296 s]
Raw data (loadavg): 1.16 1.03 1.01 4/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18055 0 1 0 5311 42 0 0 25 0 11 0 838961433 862855168 23645 4294967295 134512640 134569956 3221224368 3221213768 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 23645 13086 16 0 210642 0
vsize: 842632
[startup+70.0488 s]
Raw data (loadavg): 1.21 1.05 1.02 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18057 0 1 0 6222 42 0 0 25 0 11 0 838961433 859447296 23865 4294967295 134512640 134569956 3221224368 3221214688 1131345927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209826 23865 13086 16 0 209810 0
vsize: 839304
[startup+80.0494 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18057 0 1 0 7170 43 0 0 25 0 11 0 838961433 859447296 23875 4294967295 134512640 134569956 3221224368 3221214744 1131236402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 23875 13086 16 0 209810 0
vsize: 839304
[startup+90.0501 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 8102 43 0 0 25 0 11 0 838961433 859447296 24328 4294967295 134512640 134569956 3221224368 3221214768 1131421672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 24328 13086 16 0 209810 0
vsize: 839304
[startup+100.051 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 9054 43 0 0 25 0 11 0 838961433 859447296 24518 4294967295 134512640 134569956 3221224368 3221214368 1131614776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 24518 13086 16 0 209810 0
vsize: 839304
[startup+110.051 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 9984 43 0 0 25 0 11 0 838961433 859447296 24864 4294967295 134512640 134569956 3221224368 3221214056 1085679379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 24864 13086 16 0 209810 0
vsize: 839304
[startup+120.052 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 10925 43 0 0 25 0 11 0 838961433 859447296 25060 4294967295 134512640 134569956 3221224368 3221214688 1131360947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 25060 13086 16 0 209810 0
vsize: 839304
[startup+130.052 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 11873 43 0 0 25 0 11 0 838961433 859447296 25309 4294967295 134512640 134569956 3221224368 3221214664 1131346267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 25309 13086 16 0 209810 0
vsize: 839304
[startup+140.052 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 12811 44 0 0 25 0 11 0 838961433 859447296 25617 4294967295 134512640 134569956 3221224368 3221213916 1131614624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 25617 13086 16 0 209810 0
vsize: 839304
[startup+150.053 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 13750 44 0 0 25 0 11 0 838961433 859447296 25780 4294967295 134512640 134569956 3221224368 3221214032 1131614850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 25780 13086 16 0 209810 0
vsize: 839304
[startup+160.053 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 14680 45 0 0 25 0 11 0 838961433 859447296 25981 4294967295 134512640 134569956 3221224368 3221214768 1131421559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 25981 13086 16 0 209810 0
vsize: 839304
[startup+170.054 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 15620 45 0 0 25 0 11 0 838961433 859447296 26111 4294967295 134512640 134569956 3221224368 3221214028 1131614800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 26111 13086 16 0 209810 0
vsize: 839304
[startup+180.054 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 16550 45 0 0 25 0 11 0 838961433 859447296 26281 4294967295 134512640 134569956 3221224368 3221214256 1131614776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209826 26281 13086 16 0 209810 0
vsize: 839304
[startup+190.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 4206
Raw data (stat): 4196 (java) S 4195 20687 20686 0 -1 0 18058 0 1 0 17497 46 0 0 25 0 11 0 838961433 860495872 26739 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 26739 13086 16 0 210066 0
vsize: 840328
[startup+200.056 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 18438 46 0 0 25 0 11 0 838961433 860495872 26939 4294967295 134512640 134569956 3221224368 3221214664 1131346895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 26939 13086 16 0 210066 0
vsize: 840328
[startup+210.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 19385 46 0 0 25 0 11 0 838961433 860495872 27100 4294967295 134512640 134569956 3221224368 3221214664 1131346854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27100 13086 16 0 210066 0
vsize: 840328
[startup+220.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 20334 47 0 0 25 0 11 0 838961433 860495872 27242 4294967295 134512640 134569956 3221224368 3221214576 1131252408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27242 13086 16 0 210066 0
vsize: 840328
[startup+230.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 21275 47 0 0 25 0 11 0 838961433 860495872 27421 4294967295 134512640 134569956 3221224368 3221214424 1131614776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27421 13086 16 0 210066 0
vsize: 840328
[startup+240.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 22218 47 0 0 25 0 11 0 838961433 860495872 27582 4294967295 134512640 134569956 3221224368 3221214720 1131236394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27582 13086 16 0 210066 0
vsize: 840328
[startup+250.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 23171 48 0 0 25 0 11 0 838961433 860495872 27738 4294967295 134512640 134569956 3221224368 3221214196 1131614736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27738 13086 16 0 210066 0
vsize: 840328
[startup+260.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 24126 48 0 0 25 0 11 0 838961433 860495872 27879 4294967295 134512640 134569956 3221224368 3221214664 1131346543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 27879 13086 16 0 210066 0
vsize: 840328
[startup+270.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 25079 49 0 0 25 0 11 0 838961433 860495872 28003 4294967295 134512640 134569956 3221224368 3221214716 1131203878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28003 13086 16 0 210066 0
vsize: 840328
[startup+280.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 26032 49 0 0 25 0 11 0 838961433 860495872 28121 4294967295 134512640 134569956 3221224368 3221214360 1131613152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28121 13086 16 0 210066 0
vsize: 840328
[startup+290.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 26984 49 0 0 25 0 11 0 838961433 860495872 28238 4294967295 134512640 134569956 3221224368 3221213448 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28238 13086 16 0 210066 0
vsize: 840328
[startup+300.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 27935 49 0 0 25 0 11 0 838961433 860495872 28347 4294967295 134512640 134569956 3221224368 3221214712 1131389505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28347 13086 16 0 210066 0
vsize: 840328
[startup+310.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 28882 49 0 0 24 0 11 0 838961433 860495872 28483 4294967295 134512640 134569956 3221224368 3221214664 1131346330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28483 13086 16 0 210066 0
vsize: 840328
[startup+320.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 29841 49 0 0 25 0 11 0 838961433 860495872 28611 4294967295 134512640 134569956 3221224368 3221214764 1131334176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28611 13086 16 0 210066 0
vsize: 840328
[startup+330.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 30792 50 0 0 25 0 11 0 838961433 860495872 28736 4294967295 134512640 134569956 3221224368 3221214664 1131346756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28736 13086 16 0 210066 0
vsize: 840328
[startup+340.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 31745 50 0 0 25 0 11 0 838961433 860495872 28869 4294967295 134512640 134569956 3221224368 3221214664 1131345975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 28869 13086 16 0 210066 0
vsize: 840328
[startup+350.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 32691 50 0 0 25 0 11 0 838961433 860495872 29036 4294967295 134512640 134569956 3221224368 3221214032 1131612970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29036 13086 16 0 210066 0
vsize: 840328
[startup+360.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 33650 51 0 0 25 0 11 0 838961433 860495872 29191 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29191 13086 16 0 210066 0
vsize: 840328
[startup+370.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 34603 51 0 0 24 0 11 0 838961433 860495872 29303 4294967295 134512640 134569956 3221224368 3221214576 1131252453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29303 13086 16 0 210066 0
vsize: 840328
[startup+380.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 35564 51 0 0 25 0 11 0 838961433 860495872 29418 4294967295 134512640 134569956 3221224368 3221214768 1131421814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29418 13086 16 0 210066 0
vsize: 840328
[startup+390.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 36520 52 0 0 18 0 11 0 838961433 860495872 29542 4294967295 134512640 134569956 3221224368 3221213904 1131616327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29542 13086 16 0 210066 0
vsize: 840328
[startup+400.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 37484 53 0 0 25 0 11 0 838961433 860495872 29628 4294967295 134512640 134569956 3221224368 3221214720 1131236394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29628 13086 16 0 210066 0
vsize: 840328
[startup+410.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 38440 53 0 0 25 0 11 0 838961433 860495872 29745 4294967295 134512640 134569956 3221224368 3221214608 1131443200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29745 13086 16 0 210066 0
vsize: 840328
[startup+420.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 39405 53 0 0 25 0 11 0 838961433 860495872 29847 4294967295 134512640 134569956 3221224368 3221214468 1131613156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29847 13086 16 0 210066 0
vsize: 840328
[startup+430.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 40366 54 0 0 25 0 11 0 838961433 860495872 29934 4294967295 134512640 134569956 3221224368 3221214664 1131345829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 29934 13086 16 0 210066 0
vsize: 840328
[startup+440.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 41326 54 0 0 25 0 11 0 838961433 860495872 30044 4294967295 134512640 134569956 3221224368 3221214720 1131236352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30044 13086 16 0 210066 0
vsize: 840328
[startup+450.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) S 4195 20687 20686 0 -1 0 18058 0 1 0 42290 55 0 0 25 0 11 0 838961433 860495872 30129 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30129 13086 16 0 210066 0
vsize: 840328
[startup+460.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 43258 55 0 0 25 0 11 0 838961433 860495872 30221 4294967295 134512640 134569956 3221224368 3221214248 1131613033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30221 13086 16 0 210066 0
vsize: 840328
[startup+470.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 44222 55 0 0 25 0 11 0 838961433 860495872 30293 4294967295 134512640 134569956 3221224368 3221214192 1131613110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30293 13086 16 0 210066 0
vsize: 840328
[startup+480.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 45191 56 0 0 25 0 11 0 838961433 860495872 30368 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30368 13086 16 0 210066 0
vsize: 840328
[startup+490.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 46155 56 0 0 25 0 11 0 838961433 860495872 30461 4294967295 134512640 134569956 3221224368 3221213728 1131609423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30461 13086 16 0 210066 0
vsize: 840328
[startup+500.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 47124 56 0 0 25 0 11 0 838961433 860495872 30527 4294967295 134512640 134569956 3221224368 3221214664 1131346185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30527 13086 16 0 210066 0
vsize: 840328
[startup+510.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 48087 56 0 0 20 0 11 0 838961433 860495872 30603 4294967295 134512640 134569956 3221224368 3221214764 1131345804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30603 13086 16 0 210066 0
vsize: 840328
[startup+520.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 49055 57 0 0 25 0 11 0 838961433 860495872 30671 4294967295 134512640 134569956 3221224368 3221214024 1131613180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30671 13086 16 0 210066 0
vsize: 840328
[startup+530.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 50019 57 0 0 25 0 11 0 838961433 860495872 30759 4294967295 134512640 134569956 3221224368 3221213728 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30759 13086 16 0 210066 0
vsize: 840328
[startup+540.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 50983 57 0 0 25 0 11 0 838961433 860495872 30841 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30841 13086 16 0 210066 0
vsize: 840328
[startup+550.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 51952 58 0 0 25 0 11 0 838961433 860495872 30916 4294967295 134512640 134569956 3221224368 3221214024 1131613033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30916 13086 16 0 210066 0
vsize: 840328
[startup+560.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 52916 58 0 0 24 0 11 0 838961433 860495872 30995 4294967295 134512640 134569956 3221224368 3221214280 1085679492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 30995 13086 16 0 210066 0
vsize: 840328
[startup+570.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 53885 58 0 0 25 0 11 0 838961433 860495872 31063 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31063 13086 16 0 210066 0
vsize: 840328
[startup+580.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 54854 58 0 0 25 0 11 0 838961433 860495872 31120 4294967295 134512640 134569956 3221224368 3221214016 1131613192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31120 13086 16 0 210066 0
vsize: 840328
[startup+590.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 55821 59 0 0 25 0 11 0 838961433 860495872 31190 4294967295 134512640 134569956 3221224368 3221214140 1131614795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31190 13086 16 0 210066 0
vsize: 840328
[startup+600.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 56784 59 0 0 25 0 11 0 838961433 860495872 31276 4294967295 134512640 134569956 3221224368 3221214248 1131613134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31276 13086 16 0 210066 0
vsize: 840328
[startup+610.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 57753 59 0 0 25 0 11 0 838961433 860495872 31337 4294967295 134512640 134569956 3221224368 3221214664 1131346368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31337 13086 16 0 210066 0
vsize: 840328
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 58717 60 0 0 25 0 11 0 838961433 860495872 31427 4294967295 134512640 134569956 3221224368 3221214136 1131613134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31427 13086 16 0 210066 0
vsize: 840328
[startup+630.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 59683 60 0 0 25 0 11 0 838961433 860495872 31507 4294967295 134512640 134569956 3221224368 3221214200 1131614801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31507 13086 16 0 210066 0
vsize: 840328
[startup+640.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 60653 61 0 0 25 0 11 0 838961433 860495872 31577 4294967295 134512640 134569956 3221224368 3221214576 1131252852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31577 13086 16 0 210066 0
vsize: 840328
[startup+650.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 61632 61 0 0 25 0 11 0 838961433 860495872 31624 4294967295 134512640 134569956 3221224368 3221214588 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31624 13086 16 0 210066 0
vsize: 840328
[startup+660.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 62598 61 0 0 25 0 11 0 838961433 860495872 31678 4294967295 134512640 134569956 3221224368 3221214664 1131346255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31678 13086 16 0 210066 0
vsize: 840328
[startup+670.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 63563 61 0 0 25 0 11 0 838961433 860495872 31740 4294967295 134512640 134569956 3221224368 3221214764 1131535075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31740 13086 16 0 210066 0
vsize: 840328
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 64526 62 0 0 25 0 11 0 838961433 860495872 31792 4294967295 134512640 134569956 3221224368 3221213960 1131616316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31792 13086 16 0 210066 0
vsize: 840328
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 65488 62 0 0 25 0 11 0 838961433 860495872 31867 4294967295 134512640 134569956 3221224368 3221213784 1085679434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31867 13086 16 0 210066 0
vsize: 840328
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 66455 63 0 0 25 0 11 0 838961433 860495872 31921 4294967295 134512640 134569956 3221224368 3221214312 1131614801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 31921 13086 16 0 210066 0
vsize: 840328
[startup+710.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 67411 63 0 0 24 0 11 0 838961433 860495872 32055 4294967295 134512640 134569956 3221224368 3221214664 1131346410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32055 13086 16 0 210066 0
vsize: 840328
[startup+720.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 68374 63 0 0 25 0 11 0 838961433 860495872 32133 4294967295 134512640 134569956 3221224368 3221214720 1131236438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32133 13086 16 0 210066 0
vsize: 840328
[startup+730.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 69338 63 0 0 25 0 11 0 838961433 860495872 32229 4294967295 134512640 134569956 3221224368 3221214656 1131281058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32229 13086 16 0 210066 0
vsize: 840328
[startup+740.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 70304 64 0 0 25 0 11 0 838961433 860495872 32312 4294967295 134512640 134569956 3221224368 3221214664 1131346535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32312 13086 16 0 210066 0
vsize: 840328
[startup+750.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 71269 64 0 0 25 0 11 0 838961433 860495872 32397 4294967295 134512640 134569956 3221224368 3221214424 1131614801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32397 13086 16 0 210066 0
vsize: 840328
[startup+760.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 72235 65 0 0 25 0 11 0 838961433 860495872 32468 4294967295 134512640 134569956 3221224368 3221214664 1131346315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32468 13086 16 0 210066 0
vsize: 840328
[startup+770.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 73201 65 0 0 25 0 11 0 838961433 860495872 32537 4294967295 134512640 134569956 3221224368 3221214508 1131613234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32537 13086 16 0 210066 0
vsize: 840328
[startup+780.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 74166 65 0 0 25 0 11 0 838961433 860495872 32609 4294967295 134512640 134569956 3221224368 3221214664 1131346374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32609 13086 16 0 210066 0
vsize: 840328
[startup+790.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 75133 66 0 0 25 0 11 0 838961433 860495872 32683 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32683 13086 16 0 210066 0
vsize: 840328
[startup+800.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 76099 66 0 0 25 0 11 0 838961433 860495872 32754 4294967295 134512640 134569956 3221224368 3221214664 1131346549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32754 13086 16 0 210066 0
vsize: 840328
[startup+810.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 77065 66 0 0 25 0 11 0 838961433 860495872 32838 4294967295 134512640 134569956 3221224368 3221214768 1131421829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32838 13086 16 0 210066 0
vsize: 840328
[startup+820.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 78032 67 0 0 25 0 11 0 838961433 860495872 32909 4294967295 134512640 134569956 3221224368 3221214664 1131346588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32909 13086 16 0 210066 0
vsize: 840328
[startup+830.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 78999 67 0 0 25 0 11 0 838961433 860495872 32968 4294967295 134512640 134569956 3221224368 3221214720 1131236352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 32968 13086 16 0 210066 0
vsize: 840328
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 79960 67 0 0 24 0 11 0 838961433 860495872 33042 4294967295 134512640 134569956 3221224368 3221214664 1131346269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33042 13086 16 0 210066 0
vsize: 840328
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 80927 68 0 0 25 0 11 0 838961433 860495872 33118 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33118 13086 16 0 210066 0
vsize: 840328
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 81895 68 0 0 25 0 11 0 838961433 860495872 33196 4294967295 134512640 134569956 3221224368 3221214192 1131613172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33196 13086 16 0 210066 0
vsize: 840328
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 82863 69 0 0 25 0 11 0 838961433 860495872 33266 4294967295 134512640 134569956 3221224368 3221214716 1131619145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33266 13086 16 0 210066 0
vsize: 840328
[startup+880.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 83831 69 0 0 24 0 11 0 838961433 860495872 33332 4294967295 134512640 134569956 3221224368 3221214636 1131334179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33332 13086 16 0 210066 0
vsize: 840328
[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 84804 69 0 0 25 0 11 0 838961433 860495872 33380 4294967295 134512640 134569956 3221224368 3221213416 1131612970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33380 13086 16 0 210066 0
vsize: 840328
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 85765 70 0 0 24 0 11 0 838961433 860495872 33451 4294967295 134512640 134569956 3221224368 3221214664 1131345872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33451 13086 16 0 210066 0
vsize: 840328
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) S 4195 20687 20686 0 -1 0 18058 0 1 0 86732 70 0 0 25 0 11 0 838961433 860495872 33508 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33508 13086 16 0 210066 0
vsize: 840328
[startup+920.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 87701 70 0 0 25 0 11 0 838961433 860495872 33573 4294967295 134512640 134569956 3221224368 3221214416 1131613180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33573 13086 16 0 210066 0
vsize: 840328
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 88667 71 0 0 25 0 11 0 838961433 860495872 33640 4294967295 134512640 134569956 3221224368 3221214664 1131346598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33640 13086 16 0 210066 0
vsize: 840328
[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 89632 71 0 0 25 0 11 0 838961433 860495872 33712 4294967295 134512640 134569956 3221224368 3221214664 1131345851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33712 13086 16 0 210066 0
vsize: 840328
[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 90598 71 0 0 25 0 11 0 838961433 860495872 33786 4294967295 134512640 134569956 3221224368 3221214664 1131346410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33786 13086 16 0 210066 0
vsize: 840328
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 91564 72 0 0 25 0 11 0 838961433 860495872 33862 4294967295 134512640 134569956 3221224368 3221214768 1131421665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33862 13086 16 0 210066 0
vsize: 840328
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 92530 72 0 0 25 0 11 0 838961433 860495872 33934 4294967295 134512640 134569956 3221224368 3221214664 1131346463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 33934 13086 16 0 210066 0
vsize: 840328
[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 93496 72 0 0 25 0 11 0 838961433 860495872 34000 4294967295 134512640 134569956 3221224368 3221214244 1131614624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34000 13086 16 0 210066 0
vsize: 840328
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 94463 72 0 0 25 0 11 0 838961433 860495872 34067 4294967295 134512640 134569956 3221224368 3221214364 1131614800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34067 13086 16 0 210066 0
vsize: 840328
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 95429 73 0 0 25 0 11 0 838961433 860495872 34139 4294967295 134512640 134569956 3221224368 3221214720 1131236352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34139 13086 16 0 210066 0
vsize: 840328
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 96396 73 0 0 25 0 11 0 838961433 860495872 34211 4294967295 134512640 134569956 3221224368 3221213808 1131614748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34211 13086 16 0 210066 0
vsize: 840328
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 97363 74 0 0 25 0 11 0 838961433 860495872 34278 4294967295 134512640 134569956 3221224368 3221213756 1131614800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34278 13086 16 0 210066 0
vsize: 840328
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 98334 74 0 0 25 0 11 0 838961433 860495872 34328 4294967295 134512640 134569956 3221224368 3221213864 1131613167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34328 13086 16 0 210066 0
vsize: 840328
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 99300 74 0 0 25 0 11 0 838961433 860495872 34396 4294967295 134512640 134569956 3221224368 3221214720 1131236377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34396 13086 16 0 210066 0
vsize: 840328
[startup+1050.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 100265 75 0 0 25 0 11 0 838961433 860495872 34454 4294967295 134512640 134569956 3221224368 3221213860 1131614800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34454 13086 16 0 210066 0
vsize: 840328
[startup+1060.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 101229 75 0 0 24 0 11 0 838961433 860495872 34534 4294967295 134512640 134569956 3221224368 3221214832 1131377859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34534 13086 16 0 210066 0
vsize: 840328
[startup+1070.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 102199 75 0 0 25 0 11 0 838961433 860495872 34587 4294967295 134512640 134569956 3221224368 3221214664 1131346311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34587 13086 16 0 210066 0
vsize: 840328
[startup+1080.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 103163 75 0 0 24 0 11 0 838961433 860495872 34698 4294967295 134512640 134569956 3221224368 3221214248 1131613180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34698 13086 16 0 210066 0
vsize: 840328
[startup+1090.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 104135 76 0 0 25 0 11 0 838961433 860495872 34761 4294967295 134512640 134569956 3221224368 3221214080 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34761 13086 16 0 210066 0
vsize: 840328
[startup+1100.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 105103 76 0 0 25 0 11 0 838961433 860495872 34836 4294967295 134512640 134569956 3221224368 3221214664 1131346404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34836 13086 16 0 210066 0
vsize: 840328
[startup+1110.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 106075 76 0 0 25 0 11 0 838961433 860495872 34892 4294967295 134512640 134569956 3221224368 3221214576 1131252441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34892 13086 16 0 210066 0
vsize: 840328
[startup+1120.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 107043 77 0 0 25 0 11 0 838961433 860495872 34991 4294967295 134512640 134569956 3221224368 3221213672 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 34991 13086 16 0 210066 0
vsize: 840328
[startup+1130.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 108011 77 0 0 25 0 11 0 838961433 860495872 35063 4294967295 134512640 134569956 3221224368 3221214768 1131421792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35063 13086 16 0 210066 0
vsize: 840328
[startup+1140.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 108985 78 0 0 25 0 11 0 838961433 860495872 35124 4294967295 134512640 134569956 3221224368 3221214720 1131236352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35124 13086 16 0 210066 0
vsize: 840328
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4206
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 109953 78 0 0 25 0 11 0 838961433 860495872 35195 4294967295 134512640 134569956 3221224368 3221214664 1131345904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35195 13086 16 0 210066 0
vsize: 840328
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 110915 80 0 0 25 0 11 0 838961433 860495872 35260 4294967295 134512640 134569956 3221224368 3221214256 1131614776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35260 13086 16 0 210066 0
vsize: 840328
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 111879 80 0 0 25 0 11 0 838961433 860495872 35325 4294967295 134512640 134569956 3221224368 3221214664 1131346271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35325 13086 16 0 210066 0
vsize: 840328
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 112849 81 0 0 25 0 11 0 838961433 860495872 35383 4294967295 134512640 134569956 3221224368 3221214664 1131346764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35383 13086 16 0 210066 0
vsize: 840328
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 113812 81 0 0 25 0 11 0 838961433 860495872 35454 4294967295 134512640 134569956 3221224368 3221213752 1131614861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35454 13086 16 0 210066 0
vsize: 840328
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 114776 81 0 0 25 0 11 0 838961433 860495872 35533 4294967295 134512640 134569956 3221224368 3221214528 1131451920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35533 13086 16 0 210066 0
vsize: 840328
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 115741 81 0 0 25 0 11 0 838961433 860495872 35594 4294967295 134512640 134569956 3221224368 3221213856 1131613180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35594 13086 16 0 210066 0
vsize: 840328
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 116706 82 0 0 25 0 11 0 838961433 860495872 35652 4294967295 134512640 134569956 3221224368 3221214464 1131613186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35652 13086 16 0 210066 0
vsize: 840328
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4259
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 117672 82 0 0 25 0 11 0 838961433 860495872 35734 4294967295 134512640 134569956 3221224368 3221214140 1131614800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35734 13086 16 0 210066 0
vsize: 840328
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4261
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 118638 83 0 0 25 0 11 0 838961433 860495872 35807 4294967295 134512640 134569956 3221224368 3221214768 1131421817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35807 13086 16 0 210066 0
vsize: 840328
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4261
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 119619 83 0 0 25 0 11 0 838961433 860495872 35845 4294967295 134512640 134569956 3221224368 3221214664 1131345825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35845 13086 16 0 210066 0
vsize: 840328
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4261
Raw data (stat): 4196 (java) R 4195 20687 20686 0 -1 0 18058 0 1 0 120580 83 0 0 25 0 11 0 838961433 860495872 35903 4294967295 134512640 134569956 3221224368 3221214768 1131421669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210082 35903 13086 16 0 210066 0
vsize: 840328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4263
Raw data (stat): 4196 (java) Z 4195 20687 20686 0 -1 1036 18058 15979 1 0 120583 83 5088 40 25 0 1 0 838961433 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): 1260.21
CPU time (s): 1257.96
CPU user time (s): 1256.72
CPU system time (s): 1.24381
CPU usage (%): 99.8213
Max. virtual memory (Kb): 842632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####