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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
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.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 29112

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        812736 kB
Buffers:         12140 kB
Cached:         187244 kB
SwapCached:        400 kB
Active:          33692 kB
Inactive:       167968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        812484 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5580 kB
Slab:            14508 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:06:09 (client local time) WITH STATUS 143 IN 1257.56 SECONDS
stats: 20464 7 1257.56 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/wulflinc22/normalized-fpga40_40_sat_pb.cnf.cr.opb
c reading problem ... done. Time 5.267 ms.
c #vars     2400
c #constraints  1720
c starts	: 4
c conflicts	: 679
c decisions	: 10244
c propagations	: 56182
c inspects	: 244008
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 678
c root simplifications	: 4
s UNKNOWN
c Total CPU time (ms) : 1235.791
#### 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.91 0.95 0.91 2/54 32222
Raw data (stat): 32222 (runsolver) R 32221 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836101209 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): 0.93 0.95 0.91 4/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 17981 0 86 0 470 47 0 0 25 0 11 0 836101209 858513408 20190 4294967295 134512640 134569956 3221224368 3221212672 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209598 20190 13086 16 0 209582 0
vsize: 838392
[startup+20.0012 s]
Raw data (loadavg): 1.17 1.01 0.93 3/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18042 0 86 0 1345 47 0 0 25 0 11 0 836101209 873713664 25853 4294967295 134512640 134569956 3221224368 3221214568 1131318594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213309 25853 13086 16 0 213293 0
vsize: 853236
[startup+30.0009 s]
Raw data (loadavg): 1.22 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18043 0 86 0 2291 47 0 0 25 0 11 0 836101209 870232064 26087 4294967295 134512640 134569956 3221224368 3221214636 1131275492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212459 26087 13086 16 0 212443 0
vsize: 849836
[startup+40.0015 s]
Raw data (loadavg): 1.26 1.04 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 86 0 3265 47 0 0 25 0 11 0 836101209 872173568 26363 4294967295 134512640 134569956 3221224368 3221214640 1131351488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 26363 13086 16 0 212917 0
vsize: 851732
[startup+50.0013 s]
Raw data (loadavg): 1.22 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 86 0 4239 47 0 0 25 0 11 0 836101209 872173568 26363 4294967295 134512640 134569956 3221224368 3221214592 1131229572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 26363 13086 16 0 212917 0
vsize: 851732
[startup+60.0019 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 5208 47 0 0 25 0 11 0 836101209 872173568 26371 4294967295 134512640 134569956 3221224368 3221214528 1131420013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 26371 13086 16 0 212917 0
vsize: 851732
[startup+70.0027 s]
Raw data (loadavg): 1.16 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 6182 47 0 0 25 0 11 0 836101209 872173568 27078 4294967295 134512640 134569956 3221224368 3221214636 1131311980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27078 13086 16 0 212917 0
vsize: 851732
[startup+80.0024 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 7174 47 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214528 1131419656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+90.003 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 8163 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214608 1131352722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+100.003 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 9154 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214584 1131349780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+110.003 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 10141 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214584 1131349441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+120.005 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 11129 48 0 0 24 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214640 1131318563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+130.005 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 12119 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214528 1131420066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+140.005 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 13103 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214528 1131419919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+150.006 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 14092 48 0 0 25 0 11 0 836101209 872173568 27085 4294967295 134512640 134569956 3221224368 3221214544 1131251437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27085 13086 16 0 212917 0
vsize: 851732
[startup+160.006 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 15075 48 0 0 25 0 11 0 836101209 872173568 27137 4294967295 134512640 134569956 3221224368 3221214584 1131349371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27137 13086 16 0 212917 0
vsize: 851732
[startup+170.006 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 16064 48 0 0 25 0 11 0 836101209 872173568 27137 4294967295 134512640 134569956 3221224368 3221214560 1131187412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27137 13086 16 0 212917 0
vsize: 851732
[startup+180.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 17048 48 0 0 25 0 11 0 836101209 872173568 27223 4294967295 134512640 134569956 3221224368 3221214544 1131251396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27223 13086 16 0 212917 0
vsize: 851732
[startup+190.007 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 18031 48 0 0 24 0 11 0 836101209 872173568 27363 4294967295 134512640 134569956 3221224368 3221214608 1131352732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27363 13086 16 0 212917 0
vsize: 851732
[startup+200.007 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 19021 48 0 0 25 0 11 0 836101209 872173568 27363 4294967295 134512640 134569956 3221224368 3221214528 1131420108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27363 13086 16 0 212917 0
vsize: 851732
[startup+210.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 20006 48 0 0 25 0 11 0 836101209 872173568 27363 4294967295 134512640 134569956 3221224368 3221214636 1131311968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27363 13086 16 0 212917 0
vsize: 851732
[startup+220.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 20996 48 0 0 25 0 11 0 836101209 872173568 27417 4294967295 134512640 134569956 3221224368 3221214636 1131352608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 27417 13086 16 0 212917 0
vsize: 851732
[startup+230.008 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 21982 49 0 0 25 0 11 0 836101209 872173568 27417 4294967295 134512640 134569956 3221224368 3221214528 1131419915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27417 13086 16 0 212917 0
vsize: 851732
[startup+240.008 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 22969 49 0 0 25 0 11 0 836101209 872173568 27417 4294967295 134512640 134569956 3221224368 3221214640 1131351615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27417 13086 16 0 212917 0
vsize: 851732
[startup+250.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 23955 49 0 0 25 0 11 0 836101209 872173568 27553 4294967295 134512640 134569956 3221224368 3221214584 1131349387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27553 13086 16 0 212917 0
vsize: 851732
[startup+260.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 24934 49 0 0 25 0 11 0 836101209 872173568 27553 4294967295 134512640 134569956 3221224368 3221214384 1078032820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27553 13086 16 0 212917 0
vsize: 851732
[startup+270.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 25920 49 0 0 25 0 11 0 836101209 872173568 27553 4294967295 134512640 134569956 3221224368 3221214592 1131187417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27553 13086 16 0 212917 0
vsize: 851732
[startup+280.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 26897 49 0 0 25 0 11 0 836101209 872173568 27579 4294967295 134512640 134569956 3221224368 3221214640 1131318512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27579 13086 16 0 212917 0
vsize: 851732
[startup+290.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 27875 49 0 0 25 0 11 0 836101209 872173568 27579 4294967295 134512640 134569956 3221224368 3221214584 1131349371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27579 13086 16 0 212917 0
vsize: 851732
[startup+300.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 28860 49 0 0 25 0 11 0 836101209 872173568 27766 4294967295 134512640 134569956 3221224368 3221214544 1131251382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27766 13086 16 0 212917 0
vsize: 851732
[startup+310.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 29840 50 0 0 25 0 11 0 836101209 872173568 27766 4294967295 134512640 134569956 3221224368 3221214608 1131352722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27766 13086 16 0 212917 0
vsize: 851732
[startup+320.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 30827 50 0 0 25 0 11 0 836101209 872173568 27793 4294967295 134512640 134569956 3221224368 3221214608 1131352728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27793 13086 16 0 212917 0
vsize: 851732
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 31808 50 0 0 25 0 11 0 836101209 872173568 27793 4294967295 134512640 134569956 3221224368 3221214528 1131419894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27793 13086 16 0 212917 0
vsize: 851732
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 32790 50 0 0 25 0 11 0 836101209 872173568 27793 4294967295 134512640 134569956 3221224368 3221214544 1131251437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27793 13086 16 0 212917 0
vsize: 851732
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 33773 50 0 0 25 0 11 0 836101209 872173568 27793 4294967295 134512640 134569956 3221224368 3221214752 1131360536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27793 13086 16 0 212917 0
vsize: 851732
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 34753 50 0 0 25 0 11 0 836101209 872173568 27820 4294967295 134512640 134569956 3221224368 3221214556 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 27820 13086 16 0 212917 0
vsize: 851732
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 35727 50 0 0 25 0 11 0 836101209 872173568 28140 4294967295 134512640 134569956 3221224368 3221214640 1131318589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28140 13086 16 0 212917 0
vsize: 851732
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 36714 50 0 0 25 0 11 0 836101209 872173568 28193 4294967295 134512640 134569956 3221224368 3221214640 1131318563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28193 13086 16 0 212917 0
vsize: 851732
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 37694 50 0 0 25 0 11 0 836101209 872173568 28248 4294967295 134512640 134569956 3221224368 3221214640 1131318563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28248 13086 16 0 212917 0
vsize: 851732
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 38677 50 0 0 25 0 11 0 836101209 872173568 28248 4294967295 134512640 134569956 3221224368 3221214640 1131351552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28248 13086 16 0 212917 0
vsize: 851732
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 39665 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214544 1131251396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 40649 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214616 1131312049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 41633 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214640 1131351488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 42621 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214608 1131352688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 43605 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214584 1131349399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 44594 51 0 0 25 0 11 0 836101209 872173568 28299 4294967295 134512640 134569956 3221224368 3221214584 1131349342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28299 13086 16 0 212917 0
vsize: 851732
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 45578 51 0 0 25 0 11 0 836101209 872173568 28380 4294967295 134512640 134569956 3221224368 3221214608 1131352633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28380 13086 16 0 212917 0
vsize: 851732
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 46563 51 0 0 25 0 11 0 836101209 872173568 28480 4294967295 134512640 134569956 3221224368 3221214584 1131349444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28480 13086 16 0 212917 0
vsize: 851732
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 47555 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214528 1131420013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 48553 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214556 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 49549 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214528 1131421586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 50545 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214528 1131420158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 51541 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214616 1131312058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 52535 51 0 0 25 0 11 0 836101209 872173568 28743 4294967295 134512640 134569956 3221224368 3221214528 1131420811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28743 13086 16 0 212917 0
vsize: 851732
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 53526 51 0 0 25 0 11 0 836101209 872173568 28770 4294967295 134512640 134569956 3221224368 3221214584 1131349371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28770 13086 16 0 212917 0
vsize: 851732
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 54521 51 0 0 25 0 11 0 836101209 872173568 28770 4294967295 134512640 134569956 3221224368 3221214560 1131187440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28770 13086 16 0 212917 0
vsize: 851732
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 55514 51 0 0 25 0 11 0 836101209 872173568 28770 4294967295 134512640 134569956 3221224368 3221214608 1131352651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 28770 13086 16 0 212917 0
vsize: 851732
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 56508 51 0 0 25 0 11 0 836101209 872173568 28770 4294967295 134512640 134569956 3221224368 3221214616 1131312049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28770 13086 16 0 212917 0
vsize: 851732
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 57499 51 0 0 25 0 11 0 836101209 872173568 28770 4294967295 134512640 134569956 3221224368 3221214608 1131352688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28770 13086 16 0 212917 0
vsize: 851732
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18045 0 87 0 58490 51 0 0 25 0 11 0 836101209 872173568 28795 4294967295 134512640 134569956 3221224368 3221214640 1131351507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 28795 13086 16 0 212917 0
vsize: 851732
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 59439 51 0 0 24 0 11 0 836101209 872173568 29278 4294967295 134512640 134569956 3221224368 3221214552 1131308035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 29278 13086 16 0 212917 0
vsize: 851732
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) S 32221 23310 23309 0 -1 0 18046 0 87 0 60400 51 0 0 25 0 11 0 836101209 872173568 29912 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 29912 13086 16 0 212917 0
vsize: 851732
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 61391 51 0 0 25 0 11 0 836101209 872173568 29912 4294967295 134512640 134569956 3221224368 3221214616 1131187417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 29912 13086 16 0 212917 0
vsize: 851732
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 62372 52 0 0 25 0 11 0 836101209 872173568 29912 4294967295 134512640 134569956 3221224368 3221214632 1131352694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 29912 13086 16 0 212917 0
vsize: 851732
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 63351 52 0 0 25 0 11 0 836101209 872173568 30136 4294967295 134512640 134569956 3221224368 3221214580 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30136 13086 16 0 212917 0
vsize: 851732
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 64341 52 0 0 25 0 11 0 836101209 872173568 30136 4294967295 134512640 134569956 3221224368 3221214664 1131318531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 30136 13086 16 0 212917 0
vsize: 851732
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 65322 52 0 0 25 0 11 0 836101209 872173568 30136 4294967295 134512640 134569956 3221224368 3221214552 1131420017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30136 13086 16 0 212917 0
vsize: 851732
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 66302 52 0 0 25 0 11 0 836101209 872173568 30136 4294967295 134512640 134569956 3221224368 3221214552 1131419941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30136 13086 16 0 212917 0
vsize: 851732
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 67283 52 0 0 25 0 11 0 836101209 872173568 30521 4294967295 134512640 134569956 3221224368 3221214640 1131312056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 30521 13086 16 0 212917 0
vsize: 851732
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) S 32221 23310 23309 0 -1 0 18046 0 87 0 68260 52 0 0 25 0 11 0 836101209 872173568 30522 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30522 13086 16 0 212917 0
vsize: 851732
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 69241 52 0 0 25 0 11 0 836101209 872173568 30524 4294967295 134512640 134569956 3221224368 3221214632 1131352753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30524 13086 16 0 212917 0
vsize: 851732
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 70220 52 0 0 25 0 11 0 836101209 872173568 30668 4294967295 134512640 134569956 3221224368 3221214624 1131375346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30668 13086 16 0 212917 0
vsize: 851732
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 71185 52 0 0 25 0 11 0 836101209 872173568 30914 4294967295 134512640 134569956 3221224368 3221214640 1131312019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 30914 13086 16 0 212917 0
vsize: 851732
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 72159 52 0 0 25 0 11 0 836101209 872173568 31155 4294967295 134512640 134569956 3221224368 3221214604 1131187376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 31155 13086 16 0 212917 0
vsize: 851732
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 73103 52 0 0 25 0 11 0 836101209 872173568 31492 4294967295 134512640 134569956 3221224368 3221214568 1131312006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 31492 13086 16 0 212917 0
vsize: 851732
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 74077 52 0 0 25 0 11 0 836101209 872173568 31877 4294967295 134512640 134569956 3221224368 3221214648 1131312049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 31877 13086 16 0 212917 0
vsize: 851732
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 75055 52 0 0 25 0 11 0 836101209 872173568 32223 4294967295 134512640 134569956 3221224368 3221214560 1131419743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32223 13086 16 0 212917 0
vsize: 851732
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 76037 52 0 0 25 0 11 0 836101209 872173568 32223 4294967295 134512640 134569956 3221224368 3221214672 1131351552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32223 13086 16 0 212917 0
vsize: 851732
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 77016 52 0 0 25 0 11 0 836101209 872173568 32348 4294967295 134512640 134569956 3221224368 3221214672 1131351507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32348 13086 16 0 212917 0
vsize: 851732
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 78003 52 0 0 25 0 11 0 836101209 872173568 32721 4294967295 134512640 134569956 3221224368 3221214592 1131187412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32721 13086 16 0 212917 0
vsize: 851732
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 78994 52 0 0 25 0 11 0 836101209 872173568 32721 4294967295 134512640 134569956 3221224368 3221214672 1131318614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32721 13086 16 0 212917 0
vsize: 851732
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 79983 52 0 0 25 0 11 0 836101209 872173568 32721 4294967295 134512640 134569956 3221224368 3221214576 1131251309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 32721 13086 16 0 212917 0
vsize: 851732
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 80959 53 0 0 25 0 11 0 836101209 872173568 32928 4294967295 134512640 134569956 3221224368 3221214616 1131411583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32928 13086 16 0 212917 0
vsize: 851732
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 81949 53 0 0 25 0 11 0 836101209 872173568 32928 4294967295 134512640 134569956 3221224368 3221214616 1131349410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 32928 13086 16 0 212917 0
vsize: 851732
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 82927 53 0 0 25 0 11 0 836101209 872173568 33042 4294967295 134512640 134569956 3221224368 3221214544 1131307617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 33042 13086 16 0 212917 0
vsize: 851732
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 83880 53 0 0 25 0 11 0 836101209 872173568 33405 4294967295 134512640 134569956 3221224368 3221214408 1078020001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 33405 13086 16 0 212917 0
vsize: 851732
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 32232
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 84859 54 0 0 25 0 11 0 836101209 872173568 33551 4294967295 134512640 134569956 3221224368 3221214560 1131419967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 33551 13086 16 0 212917 0
vsize: 851732
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 32267
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 85835 57 0 0 25 0 11 0 836101209 872173568 33699 4294967295 134512640 134569956 3221224368 3221214672 1131351507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 33699 13086 16 0 212917 0
vsize: 851732
[startup+890.062 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 86802 58 0 0 25 0 11 0 836101209 872173568 33841 4294967295 134512640 134569956 3221224368 3221214560 1131419693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 33841 13086 16 0 212917 0
vsize: 851732
[startup+900.062 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 87766 58 0 0 25 0 11 0 836101209 872173568 34227 4294967295 134512640 134569956 3221224368 3221214544 1131308077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 34227 13086 16 0 212917 0
vsize: 851732
[startup+910.061 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 88756 58 0 0 25 0 11 0 836101209 872173568 34227 4294967295 134512640 134569956 3221224368 3221214592 1131187433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 34227 13086 16 0 212917 0
vsize: 851732
[startup+920.062 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 89730 58 0 0 23 0 11 0 836101209 872173568 34413 4294967295 134512640 134569956 3221224368 3221214672 1131318604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 34413 13086 16 0 212917 0
vsize: 851732
[startup+930.062 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 90714 58 0 0 25 0 11 0 836101209 872173568 34646 4294967295 134512640 134569956 3221224368 3221214640 1131352688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 34646 13086 16 0 212917 0
vsize: 851732
[startup+940.062 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 91701 58 0 0 25 0 11 0 836101209 872173568 34950 4294967295 134512640 134569956 3221224368 3221214560 1131419656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 34950 13086 16 0 212917 0
vsize: 851732
[startup+950.062 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32285
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 92690 58 0 0 25 0 11 0 836101209 872173568 35005 4294967295 134512640 134569956 3221224368 3221214560 1131419722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 35005 13086 16 0 212917 0
vsize: 851732
[startup+960.062 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 93665 58 0 0 24 0 11 0 836101209 872173568 35288 4294967295 134512640 134569956 3221224368 3221214648 1131757269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 35288 13086 16 0 212917 0
vsize: 851732
[startup+970.063 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 94643 58 0 0 25 0 11 0 836101209 872173568 35503 4294967295 134512640 134569956 3221224368 3221214588 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 35503 13086 16 0 212917 0
vsize: 851732
[startup+980.062 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 95631 58 0 0 25 0 11 0 836101209 872173568 35766 4294967295 134512640 134569956 3221224368 3221214656 1131428227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 35766 13086 16 0 212917 0
vsize: 851732
[startup+990.063 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 96622 58 0 0 25 0 11 0 836101209 872173568 35766 4294967295 134512640 134569956 3221224368 3221214648 1131312056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 35766 13086 16 0 212917 0
vsize: 851732
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) S 32221 23310 23309 0 -1 0 18046 0 87 0 97574 58 0 0 25 0 11 0 836101209 872173568 35859 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 35859 13086 16 0 212917 0
vsize: 851732
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 98510 59 0 0 25 0 11 0 836101209 872173568 36092 4294967295 134512640 134569956 3221224368 3221214456 1131189492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 36092 13086 16 0 212917 0
vsize: 851732
[startup+1020.07 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 99433 59 0 0 25 0 11 0 836101209 872173568 36584 4294967295 134512640 134569956 3221224368 3221214544 1131307628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 36584 13086 16 0 212917 0
vsize: 851732
[startup+1030.07 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 100347 59 0 0 25 0 11 0 836101209 872173568 36946 4294967295 134512640 134569956 3221224368 3221214544 1131308572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 36946 13086 16 0 212917 0
vsize: 851732
[startup+1040.07 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 101282 59 0 0 25 0 11 0 836101209 872173568 37197 4294967295 134512640 134569956 3221224368 3221214560 1131422344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 37197 13086 16 0 212917 0
vsize: 851732
[startup+1050.07 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 102247 59 0 0 25 0 11 0 836101209 872173568 37463 4294967295 134512640 134569956 3221224368 3221214668 1131275456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 37463 13086 16 0 212917 0
vsize: 851732
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 103213 59 0 0 25 0 11 0 836101209 872173568 37701 4294967295 134512640 134569956 3221224368 3221214640 1131352688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 37701 13086 16 0 212917 0
vsize: 851732
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 104159 59 0 0 24 0 11 0 836101209 872173568 37957 4294967295 134512640 134569956 3221224368 3221214544 1131308514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 37957 13086 16 0 212917 0
vsize: 851732
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 105114 59 0 0 25 0 11 0 836101209 872173568 38295 4294967295 134512640 134569956 3221224368 3221214640 1131352688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 38295 13086 16 0 212917 0
vsize: 851732
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 106072 59 0 0 25 0 11 0 836101209 872173568 38451 4294967295 134512640 134569956 3221224368 3221214576 1131251114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 38451 13086 16 0 212917 0
vsize: 851732
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 107040 59 0 0 25 0 11 0 836101209 872173568 38626 4294967295 134512640 134569956 3221224368 3221214576 1131251272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 38626 13086 16 0 212917 0
vsize: 851732
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 107997 59 0 0 25 0 11 0 836101209 872173568 38751 4294967295 134512640 134569956 3221224368 3221214576 1131251396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 38751 13086 16 0 212917 0
vsize: 851732
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 108967 59 0 0 25 0 11 0 836101209 872173568 38918 4294967295 134512640 134569956 3221224368 3221214672 1131318563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 38918 13086 16 0 212917 0
vsize: 851732
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 109925 59 0 0 25 0 11 0 836101209 872173568 38988 4294967295 134512640 134569956 3221224368 3221214560 1131375401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 38988 13086 16 0 212917 0
vsize: 851732
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 110871 60 0 0 25 0 11 0 836101209 872173568 39376 4294967295 134512640 134569956 3221224368 3221214776 1131359523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39376 13086 16 0 212917 0
vsize: 851732
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 111821 60 0 0 25 0 11 0 836101209 872173568 39473 4294967295 134512640 134569956 3221224368 3221214560 1131420928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39473 13086 16 0 212917 0
vsize: 851732
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 112779 61 0 0 25 0 11 0 836101209 872173568 39543 4294967295 134512640 134569956 3221224368 3221214672 1131318575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39543 13086 16 0 212917 0
vsize: 851732
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 113749 61 0 0 25 0 11 0 836101209 872173568 39608 4294967295 134512640 134569956 3221224368 3221214672 1131318531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39608 13086 16 0 212917 0
vsize: 851732
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32287
Raw data (stat): 32222 (java) S 32221 23310 23309 0 -1 0 18046 0 87 0 114714 61 0 0 25 0 11 0 836101209 872173568 39738 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39738 13086 16 0 212917 0
vsize: 851732
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 115678 61 0 0 25 0 11 0 836101209 872173568 39738 4294967295 134512640 134569956 3221224368 3221214560 1131421547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 39738 13086 16 0 212917 0
vsize: 851732
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32287
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 116647 61 0 0 25 0 11 0 836101209 872173568 39812 4294967295 134512640 134569956 3221224368 3221214672 1131318635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 39812 13086 16 0 212917 0
vsize: 851732
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32289
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 117617 61 0 0 25 0 11 0 836101209 872173568 39812 4294967295 134512640 134569956 3221224368 3221214432 1078032353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 39812 13086 16 0 212917 0
vsize: 851732
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32289
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 118589 61 0 0 25 0 11 0 836101209 872173568 40071 4294967295 134512640 134569956 3221224368 3221214672 1131318560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212933 40071 13086 16 0 212917 0
vsize: 851732
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32289
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 119559 61 0 0 25 0 11 0 836101209 872173568 40187 4294967295 134512640 134569956 3221224368 3221214616 1131349279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 40187 13086 16 0 212917 0
vsize: 851732
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32289
Raw data (stat): 32222 (java) R 32221 23310 23309 0 -1 0 18046 0 87 0 120523 62 0 0 25 0 11 0 836101209 872173568 40319 4294967295 134512640 134569956 3221224368 3221214648 1131312049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212933 40319 13086 16 0 212917 0
vsize: 851732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 32291
Raw data (stat): 32222 (java) Z 32221 23310 23309 0 -1 1036 18046 36478 87 0 120529 69 5064 92 25 0 1 0 836101209 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): 1240.21
CPU time (s): 1257.56
CPU user time (s): 1255.93
CPU system time (s): 1.62475
CPU usage (%): 101.399
Max. virtual memory (Kb): 853236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####