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-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 29067

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 04:41:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20456 boxname=wulflinc24 idbench=46 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc24/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 20456
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        715292 kB
Buffers:         10456 kB
Cached:         287268 kB
SwapCached:        524 kB
Active:         128492 kB
Inactive:       171580 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        715040 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            13700 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:02:29 (client local time) WITH STATUS 143 IN 1253.88 SECONDS
stats: 20456 7 1253.88 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/wulflinc24/normalized-fpga30_28_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.35 ms.
c #vars     1260
c #constraints  926
c starts	: 6
c conflicts	: 1731
c decisions	: 18893
c propagations	: 81523
c inspects	: 648272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1730
c root simplifications	: 6
s UNKNOWN
c Total CPU time (ms) : 1245.472
#### 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.84 0.94 0.90 2/54 17524
Raw data (stat): 17524 (runsolver) R 17523 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836076861 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.0017 s]
Raw data (loadavg): 0.87 0.94 0.90 4/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17482 0 90 0 394 43 0 0 25 0 11 0 836076861 857825280 18812 4294967295 134512640 134569956 3221224368 3221213836 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209430 18812 13086 16 0 209414 0
vsize: 837720
[startup+20.0019 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17992 0 90 0 1324 44 0 0 25 0 11 0 836076861 857079808 20736 4294967295 134512640 134569956 3221224368 3221214556 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 20736 13086 16 0 209232 0
vsize: 836992
[startup+30.0031 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17992 0 91 0 2288 45 0 0 25 0 11 0 836076861 857079808 20862 4294967295 134512640 134569956 3221224368 3221214620 1131308096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 20862 13086 16 0 209232 0
vsize: 836992
[startup+40.0037 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 3261 45 0 0 25 0 11 0 836076861 857079808 20945 4294967295 134512640 134569956 3221224368 3221214512 1131417358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 20945 13086 16 0 209232 0
vsize: 836992
[startup+50.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 4240 45 0 0 25 0 11 0 836076861 857079808 21018 4294967295 134512640 134569956 3221224368 3221214576 1131482574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21018 13086 16 0 209232 0
vsize: 836992
[startup+60.0051 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 5208 45 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214512 1131418847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+70.0058 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 6198 46 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214592 1131187161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+80.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 7183 46 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214620 1131308099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+90.0072 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 8165 46 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214616 1131327925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+100.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 9153 46 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214528 1131254367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 10134 47 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214528 1131254741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 11119 47 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214568 1131308709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+130.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 12095 47 0 0 25 0 11 0 836076861 857079808 21603 4294967295 134512640 134569956 3221224368 3221214584 1131234306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21603 13086 16 0 209232 0
vsize: 836992
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 13079 47 0 0 25 0 11 0 836076861 857079808 21787 4294967295 134512640 134569956 3221224368 3221214624 1131314435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21787 13086 16 0 209232 0
vsize: 836992
[startup+150.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 14060 48 0 0 25 0 11 0 836076861 857079808 21864 4294967295 134512640 134569956 3221224368 3221214536 1131417222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21864 13086 16 0 209232 0
vsize: 836992
[startup+160.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 15048 48 0 0 25 0 11 0 836076861 857079808 21889 4294967295 134512640 134569956 3221224368 3221214552 1131254770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21889 13086 16 0 209232 0
vsize: 836992
[startup+170.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 16034 48 0 0 25 0 11 0 836076861 857079808 21927 4294967295 134512640 134569956 3221224368 3221214536 1131417320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21927 13086 16 0 209232 0
vsize: 836992
[startup+180.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 17017 48 0 0 25 0 11 0 836076861 857079808 21965 4294967295 134512640 134569956 3221224368 3221214552 1131254629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 21965 13086 16 0 209232 0
vsize: 836992
[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 18005 48 0 0 25 0 11 0 836076861 857079808 22002 4294967295 134512640 134569956 3221224368 3221214608 1131234275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22002 13086 16 0 209232 0
vsize: 836992
[startup+200.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 18986 49 0 0 25 0 11 0 836076861 857079808 22052 4294967295 134512640 134569956 3221224368 3221214552 1131255299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22052 13086 16 0 209232 0
vsize: 836992
[startup+210.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 19973 49 0 0 25 0 11 0 836076861 857079808 22077 4294967295 134512640 134569956 3221224368 3221214536 1131418218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22077 13086 16 0 209232 0
vsize: 836992
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 20955 49 0 0 25 0 11 0 836076861 857079808 22128 4294967295 134512640 134569956 3221224368 3221214648 1131314435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22128 13086 16 0 209232 0
vsize: 836992
[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) S 17523 4613 4612 0 -1 0 17993 0 91 0 21937 49 0 0 25 0 11 0 836076861 857079808 22153 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22153 13086 16 0 209232 0
vsize: 836992
[startup+240.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 22924 50 0 0 25 0 11 0 836076861 857079808 22258 4294967295 134512640 134569956 3221224368 3221214580 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22258 13086 16 0 209232 0
vsize: 836992
[startup+250.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 23907 50 0 0 25 0 11 0 836076861 857079808 22310 4294967295 134512640 134569956 3221224368 3221214624 1131165912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22310 13086 16 0 209232 0
vsize: 836992
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 24884 50 0 0 25 0 11 0 836076861 857079808 22350 4294967295 134512640 134569956 3221224368 3221214608 1131234304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22350 13086 16 0 209232 0
vsize: 836992
[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17993 0 91 0 25849 50 0 0 25 0 11 0 836076861 857079808 22759 4294967295 134512640 134569956 3221224368 3221214620 1131234208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 22759 13086 16 0 209232 0
vsize: 836992
[startup+280.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 26812 51 0 0 25 0 11 0 836076861 857079808 23112 4294967295 134512640 134569956 3221224368 3221214688 1131302564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 23112 13086 16 0 209232 0
vsize: 836992
[startup+290.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 27748 51 0 0 25 0 11 0 836076861 857079808 23885 4294967295 134512640 134569956 3221224368 3221214580 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 23885 13086 16 0 209232 0
vsize: 836992
[startup+300.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 28705 51 0 0 25 0 11 0 836076861 857079808 24130 4294967295 134512640 134569956 3221224368 3221214648 1131314467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 24130 13086 16 0 209232 0
vsize: 836992
[startup+310.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 29674 52 0 0 25 0 11 0 836076861 857079808 24352 4294967295 134512640 134569956 3221224368 3221214552 1131255255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 24352 13086 16 0 209232 0
vsize: 836992
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 30633 52 0 0 25 0 11 0 836076861 857079808 24507 4294967295 134512640 134569956 3221224368 3221214600 1131482615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 24507 13086 16 0 209232 0
vsize: 836992
[startup+330.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 31581 52 0 0 25 0 11 0 836076861 857079808 24731 4294967295 134512640 134569956 3221224368 3221214648 1131314467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 24731 13086 16 0 209232 0
vsize: 836992
[startup+340.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 32537 52 0 0 25 0 11 0 836076861 857079808 24857 4294967295 134512640 134569956 3221224368 3221214728 1131150208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 24857 13086 16 0 209232 0
vsize: 836992
[startup+350.057 s]
Raw data (loadavg): 1.00 0.97 0.91 4/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 33464 53 0 0 25 0 11 0 836076861 857079808 25523 4294967295 134512640 134569956 3221224368 3221213536 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 25523 13086 16 0 209232 0
vsize: 836992
[startup+360.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 34412 53 0 0 25 0 11 0 836076861 857079808 26111 4294967295 134512640 134569956 3221224368 3221214680 1131254626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 26111 13086 16 0 209232 0
vsize: 836992
[startup+370.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 35359 54 0 0 25 0 11 0 836076861 857079808 26336 4294967295 134512640 134569956 3221224368 3221214728 1131150225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 26336 13086 16 0 209232 0
vsize: 836992
[startup+380.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) S 17523 4613 4612 0 -1 0 17994 0 91 0 36320 54 0 0 25 0 11 0 836076861 857079808 26516 4294967295 134512640 134569956 3221224368 3221213184 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 26516 13086 16 0 209232 0
vsize: 836992
[startup+390.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 37280 54 0 0 25 0 11 0 836076861 857079808 26747 4294967295 134512640 134569956 3221224368 3221214528 1131417006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 26747 13086 16 0 209232 0
vsize: 836992
[startup+400.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 38243 55 0 0 25 0 11 0 836076861 857079808 27116 4294967295 134512640 134569956 3221224368 3221214616 1131316593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27116 13086 16 0 209232 0
vsize: 836992
[startup+410.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 39210 55 0 0 25 0 11 0 836076861 857079808 27211 4294967295 134512640 134569956 3221224368 3221214500 1131476915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27211 13086 16 0 209232 0
vsize: 836992
[startup+420.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 40166 55 0 0 25 0 11 0 836076861 857079808 27525 4294967295 134512640 134569956 3221224368 3221214544 1131254629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27525 13086 16 0 209232 0
vsize: 836992
[startup+430.189 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 41155 56 0 0 25 0 11 0 836076861 857079808 27525 4294967295 134512640 134569956 3221224368 3221214632 1131327980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27525 13086 16 0 209232 0
vsize: 836992
[startup+440.189 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 42123 56 0 0 25 0 11 0 836076861 857079808 27617 4294967295 134512640 134569956 3221224368 3221214720 1131308748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27617 13086 16 0 209232 0
vsize: 836992
[startup+450.189 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 43078 56 0 0 25 0 11 0 836076861 857079808 27752 4294967295 134512640 134569956 3221224368 3221213928 1131518200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 27752 13086 16 0 209232 0
vsize: 836992
[startup+460.189 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 44032 57 0 0 25 0 11 0 836076861 857079808 28098 4294967295 134512640 134569956 3221224368 3221214364 1131518224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28098 13086 16 0 209232 0
vsize: 836992
[startup+470.189 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 44990 57 0 0 25 0 11 0 836076861 857079808 28231 4294967295 134512640 134569956 3221224368 3221214728 1131150225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28231 13086 16 0 209232 0
vsize: 836992
[startup+480.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 45925 58 0 0 25 0 11 0 836076861 857079808 28376 4294967295 134512640 134569956 3221224368 3221214768 1131348204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28376 13086 16 0 209232 0
vsize: 836992
[startup+490.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 46872 58 0 0 25 0 11 0 836076861 857079808 28503 4294967295 134512640 134569956 3221224368 3221213840 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28503 13086 16 0 209232 0
vsize: 836992
[startup+500.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 47836 59 0 0 25 0 11 0 836076861 857079808 28795 4294967295 134512640 134569956 3221224368 3221214640 1131314435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28795 13086 16 0 209232 0
vsize: 836992
[startup+510.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 48805 59 0 0 25 0 11 0 836076861 857079808 28795 4294967295 134512640 134569956 3221224368 3221214616 1131166036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28795 13086 16 0 209232 0
vsize: 836992
[startup+520.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 49774 59 0 0 25 0 11 0 836076861 857079808 28885 4294967295 134512640 134569956 3221224368 3221214664 1131301665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28885 13086 16 0 209232 0
vsize: 836992
[startup+530.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 50742 60 0 0 25 0 11 0 836076861 857079808 28982 4294967295 134512640 134569956 3221224368 3221214616 1131316569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 28982 13086 16 0 209232 0
vsize: 836992
[startup+540.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 51709 60 0 0 25 0 11 0 836076861 857079808 29030 4294967295 134512640 134569956 3221224368 3221214612 1131234208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29030 13086 16 0 209232 0
vsize: 836992
[startup+550.191 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 52676 61 0 0 25 0 11 0 836076861 857079808 29072 4294967295 134512640 134569956 3221224368 3221214640 1131314467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29072 13086 16 0 209232 0
vsize: 836992
[startup+560.192 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 53644 61 0 0 25 0 11 0 836076861 857079808 29180 4294967295 134512640 134569956 3221224368 3221214636 1131165856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29180 13086 16 0 209232 0
vsize: 836992
[startup+570.192 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 54615 61 0 0 25 0 11 0 836076861 857079808 29268 4294967295 134512640 134569956 3221224368 3221214600 1131234306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29268 13086 16 0 209232 0
vsize: 836992
[startup+580.193 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 55587 62 0 0 25 0 11 0 836076861 857079808 29348 4294967295 134512640 134569956 3221224368 3221214504 1131383098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29348 13086 16 0 209232 0
vsize: 836992
[startup+590.192 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 56553 62 0 0 25 0 11 0 836076861 857079808 29394 4294967295 134512640 134569956 3221224368 3221214424 1131518274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29394 13086 16 0 209232 0
vsize: 836992
[startup+600.193 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 57520 62 0 0 25 0 11 0 836076861 857079808 29634 4294967295 134512640 134569956 3221224368 3221214616 1131166007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29634 13086 16 0 209232 0
vsize: 836992
[startup+610.193 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 58496 63 0 0 25 0 11 0 836076861 857079808 29733 4294967295 134512640 134569956 3221224368 3221214584 1131308671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29733 13086 16 0 209232 0
vsize: 836992
[startup+620.193 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 59465 63 0 0 25 0 11 0 836076861 857079808 29851 4294967295 134512640 134569956 3221224368 3221214528 1131416981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29851 13086 16 0 209232 0
vsize: 836992
[startup+630.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 60439 63 0 0 25 0 11 0 836076861 857079808 29893 4294967295 134512640 134569956 3221224368 3221214584 1131308689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29893 13086 16 0 209232 0
vsize: 836992
[startup+640.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 61410 63 0 0 25 0 11 0 836076861 857079808 29945 4294967295 134512640 134569956 3221224368 3221214140 1131518224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29945 13086 16 0 209232 0
vsize: 836992
[startup+650.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 62358 64 0 0 25 0 11 0 836076861 857079808 29999 4294967295 134512640 134569956 3221224368 3221214416 1131523730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 29999 13086 16 0 209232 0
vsize: 836992
[startup+660.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) S 17523 4613 4612 0 -1 0 17994 0 91 0 63319 64 0 0 25 0 11 0 836076861 857079808 30194 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30194 13086 16 0 209232 0
vsize: 836992
[startup+670.194 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 64287 64 0 0 25 0 11 0 836076861 857079808 30345 4294967295 134512640 134569956 3221224368 3221214584 1131308777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30345 13086 16 0 209232 0
vsize: 836992
[startup+680.195 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 65255 64 0 0 25 0 11 0 836076861 857079808 30384 4294967295 134512640 134569956 3221224368 3221214640 1131314420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 30384 13086 16 0 209232 0
vsize: 836992
[startup+690.196 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 66223 65 0 0 25 0 11 0 836076861 857079808 30496 4294967295 134512640 134569956 3221224368 3221214584 1131308740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30496 13086 16 0 209232 0
vsize: 836992
[startup+700.196 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 67190 65 0 0 25 0 11 0 836076861 857079808 30564 4294967295 134512640 134569956 3221224368 3221214584 1131308783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30564 13086 16 0 209232 0
vsize: 836992
[startup+710.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 68158 65 0 0 25 0 11 0 836076861 857079808 30665 4294967295 134512640 134569956 3221224368 3221214640 1131314516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30665 13086 16 0 209232 0
vsize: 836992
[startup+720.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 69126 66 0 0 25 0 11 0 836076861 857079808 30665 4294967295 134512640 134569956 3221224368 3221214640 1131314482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30665 13086 16 0 209232 0
vsize: 836992
[startup+730.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 70094 66 0 0 25 0 11 0 836076861 857079808 30738 4294967295 134512640 134569956 3221224368 3221214640 1131314467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30738 13086 16 0 209232 0
vsize: 836992
[startup+740.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 71072 67 0 0 25 0 11 0 836076861 857079808 30795 4294967295 134512640 134569956 3221224368 3221214528 1131417052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30795 13086 16 0 209232 0
vsize: 836992
[startup+750.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 72040 67 0 0 25 0 11 0 836076861 857079808 30883 4294967295 134512640 134569956 3221224368 3221214632 1131327921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30883 13086 16 0 209232 0
vsize: 836992
[startup+760.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 73008 68 0 0 25 0 11 0 836076861 857079808 30975 4294967295 134512640 134569956 3221224368 3221214544 1131254472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 30975 13086 16 0 209232 0
vsize: 836992
[startup+770.199 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 73977 68 0 0 25 0 11 0 836076861 857079808 31172 4294967295 134512640 134569956 3221224368 3221214640 1131186403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31172 13086 16 0 209232 0
vsize: 836992
[startup+780.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 74950 68 0 0 25 0 11 0 836076861 857079808 31257 4294967295 134512640 134569956 3221224368 3221214640 1131314539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 31257 13086 16 0 209232 0
vsize: 836992
[startup+790.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 75923 69 0 0 25 0 11 0 836076861 857079808 31321 4294967295 134512640 134569956 3221224368 3221214616 1131316593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31321 13086 16 0 209232 0
vsize: 836992
[startup+800.201 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 76896 69 0 0 25 0 11 0 836076861 857079808 31384 4294967295 134512640 134569956 3221224368 3221214528 1131416899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31384 13086 16 0 209232 0
vsize: 836992
[startup+810.201 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 77868 69 0 0 25 0 11 0 836076861 857079808 31441 4294967295 134512640 134569956 3221224368 3221214528 1131416843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31441 13086 16 0 209232 0
vsize: 836992
[startup+820.201 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 78840 70 0 0 25 0 11 0 836076861 857079808 31514 4294967295 134512640 134569956 3221224368 3221214640 1131314559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31514 13086 16 0 209232 0
vsize: 836992
[startup+830.203 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 79813 70 0 0 25 0 11 0 836076861 857079808 31588 4294967295 134512640 134569956 3221224368 3221214600 1131234302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31588 13086 16 0 209232 0
vsize: 836992
[startup+840.203 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 80783 70 0 0 25 0 11 0 836076861 857079808 31660 4294967295 134512640 134569956 3221224368 3221213896 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31660 13086 16 0 209232 0
vsize: 836992
[startup+850.202 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 81758 71 0 0 25 0 11 0 836076861 857079808 31740 4294967295 134512640 134569956 3221224368 3221214728 1131150225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31740 13086 16 0 209232 0
vsize: 836992
[startup+860.204 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 82715 72 0 0 25 0 11 0 836076861 857079808 31845 4294967295 134512640 134569956 3221224368 3221214728 1131150266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 31845 13086 16 0 209232 0
vsize: 836992
[startup+870.204 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 83657 72 0 0 25 0 11 0 836076861 857079808 32029 4294967295 134512640 134569956 3221224368 3221214664 1131302111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32029 13086 16 0 209232 0
vsize: 836992
[startup+880.205 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 84601 73 0 0 25 0 11 0 836076861 857079808 32181 4294967295 134512640 134569956 3221224368 3221214544 1131319184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32181 13086 16 0 209232 0
vsize: 836992
[startup+890.205 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 85577 73 0 0 25 0 11 0 836076861 857079808 32294 4294967295 134512640 134569956 3221224368 3221214636 1131316616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32294 13086 16 0 209232 0
vsize: 836992
[startup+900.204 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 86542 73 0 0 25 0 11 0 836076861 857079808 32437 4294967295 134512640 134569956 3221224368 3221214584 1131308709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32437 13086 16 0 209232 0
vsize: 836992
[startup+910.205 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 87509 74 0 0 25 0 11 0 836076861 857079808 32622 4294967295 134512640 134569956 3221224368 3221214528 1131417213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32622 13086 16 0 209232 0
vsize: 836992
[startup+920.205 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 88488 74 0 0 25 0 11 0 836076861 857079808 32622 4294967295 134512640 134569956 3221224368 3221214616 1131165948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 32622 13086 16 0 209232 0
vsize: 836992
[startup+930.205 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 89455 75 0 0 25 0 11 0 836076861 857079808 32700 4294967295 134512640 134569956 3221224368 3221214528 1131418001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32700 13086 16 0 209232 0
vsize: 836992
[startup+940.206 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) S 17523 4613 4612 0 -1 0 17994 0 91 0 90427 75 0 0 25 0 11 0 836076861 857079808 32764 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32764 13086 16 0 209232 0
vsize: 836992
[startup+950.206 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 91399 75 0 0 25 0 11 0 836076861 857079808 32871 4294967295 134512640 134569956 3221224368 3221214528 1131417037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32871 13086 16 0 209232 0
vsize: 836992
[startup+960.207 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 92366 75 0 0 25 0 11 0 836076861 857079808 32926 4294967295 134512640 134569956 3221224368 3221214768 1131348485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32926 13086 16 0 209232 0
vsize: 836992
[startup+970.207 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 93344 75 0 0 25 0 11 0 836076861 857079808 32995 4294967295 134512640 134569956 3221224368 3221214528 1131418811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 32995 13086 16 0 209232 0
vsize: 836992
[startup+980.208 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 94311 75 0 0 25 0 11 0 836076861 857079808 33118 4294967295 134512640 134569956 3221224368 3221214612 1131234320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33118 13086 16 0 209232 0
vsize: 836992
[startup+990.209 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 95290 76 0 0 25 0 11 0 836076861 857079808 33193 4294967295 134512640 134569956 3221224368 3221214632 1131327891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33193 13086 16 0 209232 0
vsize: 836992
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 96259 76 0 0 25 0 11 0 836076861 857079808 33266 4294967295 134512640 134569956 3221224368 3221214640 1131314482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33266 13086 16 0 209232 0
vsize: 836992
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 97226 76 0 0 25 0 11 0 836076861 857079808 33352 4294967295 134512640 134569956 3221224368 3221214616 1131316569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33352 13086 16 0 209232 0
vsize: 836992
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 98193 77 0 0 25 0 11 0 836076861 857079808 33470 4294967295 134512640 134569956 3221224368 3221214528 1131416840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33470 13086 16 0 209232 0
vsize: 836992
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 99171 77 0 0 25 0 11 0 836076861 857079808 33510 4294967295 134512640 134569956 3221224368 3221214136 1131523759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33510 13086 16 0 209232 0
vsize: 836992
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 100149 78 0 0 25 0 11 0 836076861 857079808 33589 4294967295 134512640 134569956 3221224368 3221214616 1131316585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33589 13086 16 0 209232 0
vsize: 836992
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 101127 78 0 0 25 0 11 0 836076861 857079808 33688 4294967295 134512640 134569956 3221224368 3221214528 1131417432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33688 13086 16 0 209232 0
vsize: 836992
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 102096 78 0 0 25 0 11 0 836076861 857079808 33725 4294967295 134512640 134569956 3221224368 3221214616 1131165968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33725 13086 16 0 209232 0
vsize: 836992
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 103063 79 0 0 25 0 11 0 836076861 857079808 33849 4294967295 134512640 134569956 3221224368 3221214616 1131166036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33849 13086 16 0 209232 0
vsize: 836992
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 104041 80 0 0 25 0 11 0 836076861 857079808 33929 4294967295 134512640 134569956 3221224368 3221214528 1131416843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 33929 13086 16 0 209232 0
vsize: 836992
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 105009 81 0 0 25 0 11 0 836076861 857079808 33967 4294967295 134512640 134569956 3221224368 3221214528 1131417222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 33967 13086 16 0 209232 0
vsize: 836992
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17534
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 105988 81 0 0 25 0 11 0 836076861 857079808 34018 4294967295 134512640 134569956 3221224368 3221214528 1131417006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 34018 13086 16 0 209232 0
vsize: 836992
[startup+1110.28 s]
Raw data (loadavg): 1.08 1.01 0.92 3/67 17578
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 106961 81 0 0 25 0 11 0 836076861 857079808 34172 4294967295 134512640 134569956 3221224368 3221214632 1131327936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 34172 13086 16 0 209232 0
vsize: 836992
[startup+1120.28 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 107928 82 0 0 25 0 11 0 836076861 857079808 34255 4294967295 134512640 134569956 3221224368 3221214584 1131308752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34255 13086 16 0 209232 0
vsize: 836992
[startup+1130.28 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 108907 82 0 0 25 0 11 0 836076861 857079808 34300 4294967295 134512640 134569956 3221224368 3221214144 1131518225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34300 13086 16 0 209232 0
vsize: 836992
[startup+1140.28 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 109874 82 0 0 25 0 11 0 836076861 857079808 34377 4294967295 134512640 134569956 3221224368 3221214200 1131518285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34377 13086 16 0 209232 0
vsize: 836992
[startup+1150.28 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 110850 82 0 0 25 0 11 0 836076861 857079808 34471 4294967295 134512640 134569956 3221224368 3221214528 1131416827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34471 13086 16 0 209232 0
vsize: 836992
[startup+1160.28 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 111818 82 0 0 25 0 11 0 836076861 857079808 34559 4294967295 134512640 134569956 3221224368 3221214616 1131166010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34559 13086 16 0 209232 0
vsize: 836992
[startup+1170.28 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 17587
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 112796 82 0 0 25 0 11 0 836076861 857079808 34581 4294967295 134512640 134569956 3221224368 3221214636 1131308096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 34581 13086 16 0 209232 0
vsize: 836992
[startup+1180.28 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 113762 83 0 0 25 0 11 0 836076861 857079808 34711 4294967295 134512640 134569956 3221224368 3221214636 1131165859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34711 13086 16 0 209232 0
vsize: 836992
[startup+1190.28 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 114739 83 0 0 25 0 11 0 836076861 857079808 34787 4294967295 134512640 134569956 3221224368 3221214640 1131314521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34787 13086 16 0 209232 0
vsize: 836992
[startup+1200.28 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 115716 84 0 0 25 0 11 0 836076861 857079808 34854 4294967295 134512640 134569956 3221224368 3221214596 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34854 13086 16 0 209232 0
vsize: 836992
[startup+1210.28 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 116684 84 0 0 25 0 11 0 836076861 857079808 34950 4294967295 134512640 134569956 3221224368 3221214352 1131523784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34950 13086 16 0 209232 0
vsize: 836992
[startup+1220.28 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 117674 84 0 0 25 0 11 0 836076861 857079808 34950 4294967295 134512640 134569956 3221224368 3221214416 1131523786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 34950 13086 16 0 209232 0
vsize: 836992
[startup+1230.28 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 118641 84 0 0 25 0 11 0 836076861 857079808 35060 4294967295 134512640 134569956 3221224368 3221214336 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 35060 13086 16 0 209232 0
vsize: 836992
[startup+1240.28 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 119630 84 0 0 25 0 11 0 836076861 857079808 35099 4294967295 134512640 134569956 3221224368 3221214640 1131314516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 35099 13086 16 0 209232 0
vsize: 836992
[startup+1250.28 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 17589
Raw data (stat): 17524 (java) R 17523 4613 4612 0 -1 0 17994 0 91 0 120598 85 0 0 25 0 11 0 836076861 857079808 35183 4294967295 134512640 134569956 3221224368 3221214536 1131254794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209248 35183 13086 16 0 209232 0
vsize: 836992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.37 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 17591
Raw data (stat): 17524 (java) Z 17523 4613 4612 0 -1 1036 17994 19629 91 0 120600 91 4652 43 25 0 1 0 836076861 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): 1250.37
CPU time (s): 1253.88
CPU user time (s): 1252.53
CPU system time (s): 1.34879
CPU usage (%): 100.281
Max. virtual memory (Kb): 837720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####