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/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 29110

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 04:45:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20461 boxname=wulflinc18 idbench=51 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc18/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc18/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 20461
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        884060 kB
Buffers:         23540 kB
Cached:          99224 kB
SwapCached:        588 kB
Active:          30144 kB
Inactive:        98000 kB
HighTotal:      131008 kB
HighFree:        42784 kB
LowTotal:       903652 kB
LowFree:        841276 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            16948 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:05:51 (client local time) WITH STATUS 143 IN 1243.58 SECONDS
stats: 20461 7 1243.58 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/wulflinc18/normalized-fpga35_35_sat_pb.cnf.cr.opb
c reading problem ... done. Time 4.324 ms.
c #vars     1838
c #constraints  1330
c starts	: 5
c conflicts	: 1064
c decisions	: 15003
c propagations	: 73427
c inspects	: 255103
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1064
c root simplifications	: 5
s UNKNOWN
c Total CPU time (ms) : 1235.596
#### 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.98 2/54 30055
Raw data (stat): 30055 (runsolver) R 30054 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836086327 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.0011 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17968 0 90 0 456 43 0 0 25 0 11 0 836086327 854867968 19062 4294967295 134512640 134569956 3221224368 3221214776 1131319040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208708 19062 13086 16 0 208692 0
vsize: 834832
[startup+20.002 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17973 0 90 0 1392 43 0 0 25 0 11 0 836086327 854884352 20917 4294967295 134512640 134569956 3221224368 3221214728 1131198204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 20917 13086 16 0 208696 0
vsize: 834848
[startup+30.0024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17974 0 91 0 2347 44 0 0 25 0 11 0 836086327 854736896 21565 4294967295 134512640 134569956 3221224368 3221214768 1131200812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 21565 13086 16 0 208660 0
vsize: 834704
[startup+40.0032 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17974 0 91 0 3296 44 0 0 25 0 11 0 836086327 854736896 21812 4294967295 134512640 134569956 3221224368 3221214684 1131217952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208676 21812 13086 16 0 208660 0
vsize: 834704
[startup+50.0048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17975 0 91 0 4227 44 0 0 25 0 11 0 836086327 855920640 22482 4294967295 134512640 134569956 3221224368 3221214536 1131425339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208965 22482 13086 16 0 208949 0
vsize: 835860
[startup+60.0043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 5192 44 0 0 25 0 11 0 836086327 858931200 23206 4294967295 134512640 134569956 3221224368 3221214664 1131301708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23206 13086 16 0 209684 0
vsize: 838800
[startup+70.0055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 6162 44 0 0 25 0 11 0 836086327 858931200 23281 4294967295 134512640 134569956 3221224368 3221214660 1131250764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23281 13086 16 0 209684 0
vsize: 838800
[startup+80.0065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 7124 44 0 0 25 0 11 0 836086327 858931200 23281 4294967295 134512640 134569956 3221224368 3221214792 1131319331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23281 13086 16 0 209684 0
vsize: 838800
[startup+90.0059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 8095 44 0 0 25 0 11 0 836086327 858931200 23281 4294967295 134512640 134569956 3221224368 3221214648 1131425852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23281 13086 16 0 209684 0
vsize: 838800
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 9065 44 0 0 25 0 11 0 836086327 858931200 23281 4294967295 134512640 134569956 3221224368 3221214656 1131338616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23281 13086 16 0 209684 0
vsize: 838800
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 10028 44 0 0 25 0 11 0 836086327 858931200 23399 4294967295 134512640 134569956 3221224368 3221214696 1131455184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23399 13086 16 0 209684 0
vsize: 838800
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 11000 44 0 0 25 0 11 0 836086327 858931200 23399 4294967295 134512640 134569956 3221224368 3221214600 1131198169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23399 13086 16 0 209684 0
vsize: 838800
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 11974 44 0 0 25 0 11 0 836086327 858931200 23646 4294967295 134512640 134569956 3221224368 3221214656 1131338471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23646 13086 16 0 209684 0
vsize: 838800
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 12953 44 0 0 25 0 11 0 836086327 858931200 23884 4294967295 134512640 134569956 3221224368 3221214536 1131155379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 23884 13086 16 0 209684 0
vsize: 838800
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 13939 44 0 0 25 0 11 0 836086327 858931200 24020 4294967295 134512640 134569956 3221224368 3221214632 1131316144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 24020 13086 16 0 209684 0
vsize: 838800
[startup+160.011 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 14925 45 0 0 25 0 11 0 836086327 858931200 24102 4294967295 134512640 134569956 3221224368 3221214536 1131155375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24102 13086 16 0 209684 0
vsize: 838800
[startup+170.011 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 15907 45 0 0 25 0 11 0 836086327 858931200 24128 4294967295 134512640 134569956 3221224368 3221214568 1131250957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24128 13086 16 0 209684 0
vsize: 838800
[startup+180.011 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 16884 45 0 0 24 0 11 0 836086327 858931200 24154 4294967295 134512640 134569956 3221224368 3221214792 1131306241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24154 13086 16 0 209684 0
vsize: 838800
[startup+190.012 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 17847 45 0 0 25 0 11 0 836086327 858931200 24201 4294967295 134512640 134569956 3221224368 3221214624 1131193776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24201 13086 16 0 209684 0
vsize: 838800
[startup+200.012 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 18821 45 0 0 25 0 11 0 836086327 858931200 24494 4294967295 134512640 134569956 3221224368 3221214568 1131251109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24494 13086 16 0 209684 0
vsize: 838800
[startup+210.012 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 19791 45 0 0 25 0 11 0 836086327 858931200 24577 4294967295 134512640 134569956 3221224368 3221214664 1131301679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24577 13086 16 0 209684 0
vsize: 838800
[startup+220.014 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 20759 45 0 0 25 0 11 0 836086327 858931200 24734 4294967295 134512640 134569956 3221224368 3221214528 1131438210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 24734 13086 16 0 209684 0
vsize: 838800
[startup+230.017 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) S 30054 24172 24171 0 -1 0 17977 0 91 0 21730 45 0 0 25 0 11 0 836086327 858931200 24874 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 24874 13086 16 0 209684 0
vsize: 838800
[startup+240.017 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 22708 45 0 0 25 0 11 0 836086327 858931200 24954 4294967295 134512640 134569956 3221224368 3221214648 1131425260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 24954 13086 16 0 209684 0
vsize: 838800
[startup+250.017 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 23676 45 0 0 25 0 11 0 836086327 858931200 25039 4294967295 134512640 134569956 3221224368 3221214536 1131155271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 25039 13086 16 0 209684 0
vsize: 838800
[startup+260.018 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 24646 45 0 0 25 0 11 0 836086327 858931200 25215 4294967295 134512640 134569956 3221224368 3221214664 1131155252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 25215 13086 16 0 209684 0
vsize: 838800
[startup+270.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 25604 45 0 0 25 0 11 0 836086327 858931200 25379 4294967295 134512640 134569956 3221224368 3221214560 1131250868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 25379 13086 16 0 209684 0
vsize: 838800
[startup+280.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 26571 45 0 0 25 0 11 0 836086327 858931200 25481 4294967295 134512640 134569956 3221224368 3221214664 1131301667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 25481 13086 16 0 209684 0
vsize: 838800
[startup+290.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) S 30054 24172 24171 0 -1 0 17977 0 91 0 27533 46 0 0 25 0 11 0 836086327 858931200 25586 4294967295 134512640 134569956 3221224368 3221213040 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 25586 13086 16 0 209684 0
vsize: 838800
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 28495 46 0 0 25 0 11 0 836086327 858931200 25742 4294967295 134512640 134569956 3221224368 3221214560 1131251109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 25742 13086 16 0 209684 0
vsize: 838800
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 29457 46 0 0 25 0 11 0 836086327 858931200 26001 4294967295 134512640 134569956 3221224368 3221214776 1131140931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 26001 13086 16 0 209684 0
vsize: 838800
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 30422 46 0 0 25 0 11 0 836086327 859062272 26304 4294967295 134512640 134569956 3221224368 3221214664 1131301667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209732 26304 13086 16 0 209716 0
vsize: 838928
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 31376 47 0 0 25 0 11 0 836086327 859062272 26533 4294967295 134512640 134569956 3221224368 3221214632 1131316186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 26533 13086 16 0 209716 0
vsize: 838928
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 32334 47 0 0 25 0 11 0 836086327 859062272 27054 4294967295 134512640 134569956 3221224368 3221214560 1131298442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209732 27054 13086 16 0 209716 0
vsize: 838928
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 33283 47 0 0 25 0 11 0 836086327 858963968 27625 4294967295 134512640 134569956 3221224368 3221214792 1131306516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 27625 13086 16 0 209692 0
vsize: 838832
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 34228 47 0 0 25 0 11 0 836086327 858963968 27997 4294967295 134512640 134569956 3221224368 3221214660 1131200736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 27997 13086 16 0 209692 0
vsize: 838832
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 35173 48 0 0 25 0 11 0 836086327 858963968 28401 4294967295 134512640 134569956 3221224368 3221214648 1131425948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 28401 13086 16 0 209692 0
vsize: 838832
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 36121 48 0 0 25 0 11 0 836086327 858963968 28597 4294967295 134512640 134569956 3221224368 3221214536 1131155928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 28597 13086 16 0 209692 0
vsize: 838832
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 37081 48 0 0 25 0 11 0 836086327 858963968 28719 4294967295 134512640 134569956 3221224368 3221214696 1131251029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 28719 13086 16 0 209692 0
vsize: 838832
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 38039 48 0 0 25 0 11 0 836086327 858963968 28807 4294967295 134512640 134569956 3221224368 3221214512 1131465294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 28807 13086 16 0 209692 0
vsize: 838832
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 38996 49 0 0 25 0 11 0 836086327 858963968 28960 4294967295 134512640 134569956 3221224368 3221214648 1131426018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 28960 13086 16 0 209692 0
vsize: 838832
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 39955 49 0 0 25 0 11 0 836086327 858963968 29124 4294967295 134512640 134569956 3221224368 3221214744 1131307292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 29124 13086 16 0 209692 0
vsize: 838832
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 40895 49 0 0 25 0 11 0 836086327 858963968 29509 4294967295 134512640 134569956 3221224368 3221214616 1131425260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 29509 13086 16 0 209692 0
vsize: 838832
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 41864 49 0 0 25 0 11 0 836086327 858963968 29585 4294967295 134512640 134569956 3221224368 3221214564 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 29585 13086 16 0 209692 0
vsize: 838832
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 42833 50 0 0 25 0 11 0 836086327 858963968 29585 4294967295 134512640 134569956 3221224368 3221214592 1131193787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 29585 13086 16 0 209692 0
vsize: 838832
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 43801 50 0 0 25 0 11 0 836086327 858963968 29596 4294967295 134512640 134569956 3221224368 3221214632 1131301686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209708 29596 13086 16 0 209692 0
vsize: 838832
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 44759 50 0 0 25 0 11 0 836086327 858931200 29627 4294967295 134512640 134569956 3221224368 3221214564 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 29627 13086 16 0 209684 0
vsize: 838800
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 45728 51 0 0 25 0 11 0 836086327 858931200 29627 4294967295 134512640 134569956 3221224368 3221214632 1131301751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 29627 13086 16 0 209684 0
vsize: 838800
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 46697 51 0 0 25 0 11 0 836086327 858931200 29756 4294967295 134512640 134569956 3221224368 3221214504 1131155255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 29756 13086 16 0 209684 0
vsize: 838800
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 47671 51 0 0 25 0 11 0 836086327 858931200 29867 4294967295 134512640 134569956 3221224368 3221214564 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 29867 13086 16 0 209684 0
vsize: 838800
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 48647 51 0 0 25 0 11 0 836086327 858931200 29967 4294967295 134512640 134569956 3221224368 3221214616 1131426018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 29967 13086 16 0 209684 0
vsize: 838800
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 49618 52 0 0 25 0 11 0 836086327 858931200 30255 4294967295 134512640 134569956 3221224368 3221214632 1131301667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30255 13086 16 0 209684 0
vsize: 838800
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 50608 52 0 0 25 0 11 0 836086327 858931200 30437 4294967295 134512640 134569956 3221224368 3221214616 1131411948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30437 13086 16 0 209684 0
vsize: 838800
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 51599 52 0 0 25 0 11 0 836086327 858931200 30451 4294967295 134512640 134569956 3221224368 3221214380 1079721462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30451 13086 16 0 209684 0
vsize: 838800
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 52589 52 0 0 24 0 11 0 836086327 858931200 30480 4294967295 134512640 134569956 3221224368 3221214564 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30480 13086 16 0 209684 0
vsize: 838800
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 53580 53 0 0 25 0 11 0 836086327 858931200 30493 4294967295 134512640 134569956 3221224368 3221214528 1131250817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30493 13086 16 0 209684 0
vsize: 838800
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 54572 53 0 0 25 0 11 0 836086327 858931200 30522 4294967295 134512640 134569956 3221224368 3221214600 1131316150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30522 13086 16 0 209684 0
vsize: 838800
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 55557 53 0 0 25 0 11 0 836086327 858931200 30541 4294967295 134512640 134569956 3221224368 3221214536 1131250828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30541 13086 16 0 209684 0
vsize: 838800
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 56545 54 0 0 25 0 11 0 836086327 858931200 30571 4294967295 134512640 134569956 3221224368 3221214600 1131316206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30571 13086 16 0 209684 0
vsize: 838800
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 57529 54 0 0 25 0 11 0 836086327 858931200 30599 4294967295 134512640 134569956 3221224368 3221214600 1131316190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30599 13086 16 0 209684 0
vsize: 838800
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 58518 54 0 0 25 0 11 0 836086327 858931200 30614 4294967295 134512640 134569956 3221224368 3221214664 1131454656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30614 13086 16 0 209684 0
vsize: 838800
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 59506 54 0 0 25 0 11 0 836086327 858931200 30628 4294967295 134512640 134569956 3221224368 3221214600 1131316150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30628 13086 16 0 209684 0
vsize: 838800
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 60490 55 0 0 25 0 11 0 836086327 858931200 30658 4294967295 134512640 134569956 3221224368 3221214592 1131193755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30658 13086 16 0 209684 0
vsize: 838800
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 61471 55 0 0 24 0 11 0 836086327 858931200 30672 4294967295 134512640 134569956 3221224368 3221214600 1131316162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30672 13086 16 0 209684 0
vsize: 838800
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 62457 55 0 0 25 0 11 0 836086327 858931200 30701 4294967295 134512640 134569956 3221224368 3221214536 1131251052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30701 13086 16 0 209684 0
vsize: 838800
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 63442 55 0 0 25 0 11 0 836086327 858931200 30714 4294967295 134512640 134569956 3221224368 3221214612 1131235763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30714 13086 16 0 209684 0
vsize: 838800
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 64428 55 0 0 25 0 11 0 836086327 858931200 30806 4294967295 134512640 134569956 3221224368 3221214660 1131128467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30806 13086 16 0 209684 0
vsize: 838800
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 65412 56 0 0 25 0 11 0 836086327 858931200 30867 4294967295 134512640 134569956 3221224368 3221214608 1131200841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30867 13086 16 0 209684 0
vsize: 838800
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 66394 56 0 0 25 0 11 0 836086327 858931200 30895 4294967295 134512640 134569956 3221224368 3221214592 1131193768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30895 13086 16 0 209684 0
vsize: 838800
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 67381 56 0 0 25 0 11 0 836086327 858931200 30908 4294967295 134512640 134569956 3221224368 3221214564 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30908 13086 16 0 209684 0
vsize: 838800
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 68368 57 0 0 25 0 11 0 836086327 858931200 30935 4294967295 134512640 134569956 3221224368 3221214632 1131301673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 30935 13086 16 0 209684 0
vsize: 838800
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 69350 57 0 0 25 0 11 0 836086327 858931200 31004 4294967295 134512640 134569956 3221224368 3221214528 1131251066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31004 13086 16 0 209684 0
vsize: 838800
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 70339 57 0 0 25 0 11 0 836086327 858931200 31062 4294967295 134512640 134569956 3221224368 3221214616 1131425938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31062 13086 16 0 209684 0
vsize: 838800
[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 71324 57 0 0 25 0 11 0 836086327 858931200 31089 4294967295 134512640 134569956 3221224368 3221214608 1131200857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31089 13086 16 0 209684 0
vsize: 838800
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 72311 58 0 0 25 0 11 0 836086327 858931200 31102 4294967295 134512640 134569956 3221224368 3221214616 1131425249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 31102 13086 16 0 209684 0
vsize: 838800
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 73295 58 0 0 25 0 11 0 836086327 858931200 31146 4294967295 134512640 134569956 3221224368 3221214568 1131198192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31146 13086 16 0 209684 0
vsize: 838800
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 74282 58 0 0 25 0 11 0 836086327 858931200 31186 4294967295 134512640 134569956 3221224368 3221214624 1131338509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31186 13086 16 0 209684 0
vsize: 838800
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 75272 58 0 0 25 0 11 0 836086327 858931200 31243 4294967295 134512640 134569956 3221224368 3221214616 1131425852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31243 13086 16 0 209684 0
vsize: 838800
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 76258 59 0 0 25 0 11 0 836086327 858931200 31271 4294967295 134512640 134569956 3221224368 3221214608 1131296489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31271 13086 16 0 209684 0
vsize: 838800
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 77245 59 0 0 25 0 11 0 836086327 858931200 31286 4294967295 134512640 134569956 3221224368 3221214524 1131408199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31286 13086 16 0 209684 0
vsize: 838800
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 78228 59 0 0 25 0 11 0 836086327 858931200 31299 4294967295 134512640 134569956 3221224368 3221214628 1131303945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31299 13086 16 0 209684 0
vsize: 838800
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 79215 59 0 0 25 0 11 0 836086327 858931200 31326 4294967295 134512640 134569956 3221224368 3221214520 1131288973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 31326 13086 16 0 209684 0
vsize: 838800
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 80202 60 0 0 25 0 11 0 836086327 858931200 31365 4294967295 134512640 134569956 3221224368 3221214592 1131193776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31365 13086 16 0 209684 0
vsize: 838800
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 81187 60 0 0 25 0 11 0 836086327 858931200 31439 4294967295 134512640 134569956 3221224368 3221214564 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31439 13086 16 0 209684 0
vsize: 838800
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 82170 60 0 0 25 0 11 0 836086327 858931200 31467 4294967295 134512640 134569956 3221224368 3221214624 1131338637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31467 13086 16 0 209684 0
vsize: 838800
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 83157 61 0 0 25 0 11 0 836086327 858931200 31481 4294967295 134512640 134569956 3221224368 3221214568 1131198169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31481 13086 16 0 209684 0
vsize: 838800
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 84144 61 0 0 25 0 11 0 836086327 858931200 31509 4294967295 134512640 134569956 3221224368 3221214632 1131301667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31509 13086 16 0 209684 0
vsize: 838800
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 85127 61 0 0 25 0 11 0 836086327 858931200 31563 4294967295 134512640 134569956 3221224368 3221214608 1131200855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31563 13086 16 0 209684 0
vsize: 838800
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30065
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17977 0 91 0 86111 61 0 0 25 0 11 0 836086327 858931200 31627 4294967295 134512640 134569956 3221224368 3221214640 1131297847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31627 13086 16 0 209684 0
vsize: 838800
[startup+900.069 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 87091 65 0 0 25 0 11 0 836086327 858931200 31659 4294967295 134512640 134569956 3221224368 3221214608 1131296497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 31659 13086 16 0 209684 0
vsize: 838800
[startup+910.069 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 88078 65 0 0 25 0 11 0 836086327 858931200 31672 4294967295 134512640 134569956 3221224368 3221214628 1131200748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31672 13086 16 0 209684 0
vsize: 838800
[startup+920.071 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 89060 65 0 0 25 0 11 0 836086327 858931200 31701 4294967295 134512640 134569956 3221224368 3221214504 1131155283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31701 13086 16 0 209684 0
vsize: 838800
[startup+930.072 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 90046 66 0 0 25 0 11 0 836086327 858931200 31743 4294967295 134512640 134569956 3221224368 3221214632 1131301647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31743 13086 16 0 209684 0
vsize: 838800
[startup+940.072 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 91034 66 0 0 25 0 11 0 836086327 858931200 31817 4294967295 134512640 134569956 3221224368 3221214600 1131316206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31817 13086 16 0 209684 0
vsize: 838800
[startup+950.072 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 92013 67 0 0 25 0 11 0 836086327 858931200 31846 4294967295 134512640 134569956 3221224368 3221214600 1131316206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31846 13086 16 0 209684 0
vsize: 838800
[startup+960.073 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 30118
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 93000 67 0 0 25 0 11 0 836086327 858931200 31859 4294967295 134512640 134569956 3221224368 3221214348 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31859 13086 16 0 209684 0
vsize: 838800
[startup+970.074 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 93986 67 0 0 25 0 11 0 836086327 858931200 31873 4294967295 134512640 134569956 3221224368 3221214564 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31873 13086 16 0 209684 0
vsize: 838800
[startup+980.075 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 94968 67 0 0 25 0 11 0 836086327 858931200 31936 4294967295 134512640 134569956 3221224368 3221214616 1131425267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31936 13086 16 0 209684 0
vsize: 838800
[startup+990.075 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 95957 67 0 0 25 0 11 0 836086327 858931200 31999 4294967295 134512640 134569956 3221224368 3221214616 1131425876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 31999 13086 16 0 209684 0
vsize: 838800
[startup+1000.08 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 96941 68 0 0 25 0 11 0 836086327 858931200 32014 4294967295 134512640 134569956 3221224368 3221214564 1130885189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32014 13086 16 0 209684 0
vsize: 838800
[startup+1010.08 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 97927 68 0 0 25 0 11 0 836086327 858931200 32042 4294967295 134512640 134569956 3221224368 3221214616 1131425868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32042 13086 16 0 209684 0
vsize: 838800
[startup+1020.08 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 98911 68 0 0 25 0 11 0 836086327 858931200 32055 4294967295 134512640 134569956 3221224368 3221214616 1131425907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32055 13086 16 0 209684 0
vsize: 838800
[startup+1030.08 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 99898 69 0 0 25 0 11 0 836086327 858931200 32083 4294967295 134512640 134569956 3221224368 3221214536 1131251022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32083 13086 16 0 209684 0
vsize: 838800
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 100886 69 0 0 25 0 11 0 836086327 858931200 32164 4294967295 134512640 134569956 3221224368 3221214624 1131338631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32164 13086 16 0 209684 0
vsize: 838800
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 101867 69 0 0 25 0 11 0 836086327 858931200 32204 4294967295 134512640 134569956 3221224368 3221214728 1131316133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32204 13086 16 0 209684 0
vsize: 838800
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 102854 70 0 0 25 0 11 0 836086327 858931200 32219 4294967295 134512640 134569956 3221224368 3221214628 1131316248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32219 13086 16 0 209684 0
vsize: 838800
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 103842 70 0 0 25 0 11 0 836086327 858931200 32232 4294967295 134512640 134569956 3221224368 3221214616 1131425290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32232 13086 16 0 209684 0
vsize: 838800
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 104825 70 0 0 24 0 11 0 836086327 858931200 32261 4294967295 134512640 134569956 3221224368 3221214624 1131338631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32261 13086 16 0 209684 0
vsize: 838800
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 105813 71 0 0 25 0 11 0 836086327 858931200 32350 4294967295 134512640 134569956 3221224368 3221214536 1131251803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32350 13086 16 0 209684 0
vsize: 838800
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 106799 71 0 0 25 0 11 0 836086327 858931200 32364 4294967295 134512640 134569956 3221224368 3221214632 1131301667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32364 13086 16 0 209684 0
vsize: 838800
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) S 30054 24172 24171 0 -1 0 17978 0 91 0 107782 71 0 0 25 0 11 0 836086327 858931200 32392 4294967295 134512640 134569956 3221224368 3221213168 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32392 13086 16 0 209684 0
vsize: 838800
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 108769 71 0 0 25 0 11 0 836086327 858931200 32405 4294967295 134512640 134569956 3221224368 3221214616 1131425260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32405 13086 16 0 209684 0
vsize: 838800
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 109757 71 0 0 25 0 11 0 836086327 858931200 32420 4294967295 134512640 134569956 3221224368 3221214632 1131301763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209700 32420 13086 16 0 209684 0
vsize: 838800
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 110745 71 0 0 25 0 11 0 836086327 858931200 32502 4294967295 134512640 134569956 3221224368 3221214628 1131296416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32502 13086 16 0 209684 0
vsize: 838800
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 111731 71 0 0 25 0 11 0 836086327 858931200 32539 4294967295 134512640 134569956 3221224368 3221214616 1131425868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32539 13086 16 0 209684 0
vsize: 838800
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 112715 71 0 0 25 0 11 0 836086327 858931200 32552 4294967295 134512640 134569956 3221224368 3221214616 1131425944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32552 13086 16 0 209684 0
vsize: 838800
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 113702 71 0 0 25 0 11 0 836086327 858931200 32580 4294967295 134512640 134569956 3221224368 3221214564 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32580 13086 16 0 209684 0
vsize: 838800
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 114686 72 0 0 25 0 11 0 836086327 858931200 32594 4294967295 134512640 134569956 3221224368 3221214528 1131251109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32594 13086 16 0 209684 0
vsize: 838800
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 115673 72 0 0 25 0 11 0 836086327 858931200 32686 4294967295 134512640 134569956 3221224368 3221214504 1131155296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32686 13086 16 0 209684 0
vsize: 838800
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30120
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 116659 73 0 0 25 0 11 0 836086327 858931200 32714 4294967295 134512640 134569956 3221224368 3221214564 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32714 13086 16 0 209684 0
vsize: 838800
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30122
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 117642 73 0 0 25 0 11 0 836086327 858931200 32728 4294967295 134512640 134569956 3221224368 3221214504 1131155403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32728 13086 16 0 209684 0
vsize: 838800
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30122
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 118629 74 0 0 25 0 11 0 836086327 858931200 32756 4294967295 134512640 134569956 3221224368 3221214616 1131425260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32756 13086 16 0 209684 0
vsize: 838800
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30122
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 119616 74 0 0 25 0 11 0 836086327 858931200 32769 4294967295 134512640 134569956 3221224368 3221214608 1131200814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32769 13086 16 0 209684 0
vsize: 838800
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 30122
Raw data (stat): 30055 (java) R 30054 24172 24171 0 -1 0 17978 0 91 0 120599 74 0 0 25 0 11 0 836086327 858931200 32836 4294967295 134512640 134569956 3221224368 3221214640 1131298081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209700 32836 13086 16 0 209684 0
vsize: 838800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 30124
Raw data (stat): 30055 (java) Z 30054 24172 24171 0 -1 1036 17978 16868 91 0 120600 80 3631 45 25 0 1 0 836086327 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.17
CPU time (s): 1243.58
CPU user time (s): 1242.32
CPU system time (s): 1.25981
CPU usage (%): 100.275
Max. virtual memory (Kb): 838928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####