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-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
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	16
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.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 26232

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        961956 kB
Buffers:         34592 kB
Cached:          15892 kB
SwapCached:        652 kB
Active:          48732 kB
Inactive:         4280 kB
HighTotal:      131008 kB
HighFree:       113988 kB
LowTotal:       903652 kB
LowFree:        847968 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            14092 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:56:46 (client local time) WITH STATUS 143 IN 1251.86 SECONDS
stats: 20447 7 1251.86 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/wulflinc6/normalized-fpga15_13_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.928 ms.
c #vars     293
c #constraints  236
c starts	: 9
c conflicts	: 6331
c decisions	: 16458
c propagations	: 89422
c inspects	: 4281283
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6331
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1251.844
#### 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.25 1.38 1.88 2/54 25610
Raw data (stat): 25610 (runsolver) R 25609 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772779008 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.0004 s]
Raw data (loadavg): 0.37 1.37 1.87 1/54 25610
Raw data (stat): 25610 (java) D 25609 25568 25567 0 -1 0 647 0 23 0 0 2 0 0 18 0 1 0 772779008 11960320 494 4294967295 134512640 134569956 3221224368 3221214860 1076946112 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 2920 494 1782 16 0 2904 0
vsize: 11680
[startup+20.0075 s]
Raw data (loadavg): 0.46 1.35 1.86 1/63 25621
Raw data (stat): 25610 (java) D 25609 25568 25567 0 -1 0 3037 0 64 0 59 10 0 0 18 0 10 0 772779008 852561920 2919 4294967295 134512640 134569956 3221224368 3221208292 1085786722 0 4 3 23756 3222515881 0 0 17 0 0 0
Raw data (statm): 208145 2919 13086 16 0 208129 0
vsize: 832580
[startup+30.0067 s]
Raw data (loadavg): 0.55 1.34 1.85 1/63 25621
Raw data (stat): 25610 (java) D 25609 25568 25567 0 -1 0 3326 0 73 0 84 13 0 0 18 0 10 0 772779008 853303296 3551 4294967295 134512640 134569956 3221224368 3221208584 1085786722 0 4 3 23756 3222515881 0 0 17 1 0 0
Raw data (statm): 208326 3551 13086 16 0 208310 0
vsize: 833304
[startup+40.1744 s]
Raw data (loadavg): 0.94 1.39 1.86 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 17999 0 75 0 628 49 0 0 25 0 11 0 772779008 867651584 22048 4294967295 134512640 134569956 3221224368 3221214512 1131449001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 22048 13086 16 0 211813 0
vsize: 847316
[startup+50.1792 s]
Raw data (loadavg): 0.95 1.38 1.85 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 1446 50 0 0 25 0 11 0 772779008 867651584 23460 4294967295 134512640 134569956 3221224368 3221214144 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 23460 13086 16 0 211813 0
vsize: 847316
[startup+60.1835 s]
Raw data (loadavg): 0.96 1.36 1.84 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 2400 50 0 0 25 0 11 0 772779008 867651584 24064 4294967295 134512640 134569956 3221224368 3221214400 1131493302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 24064 13086 16 0 211813 0
vsize: 847316
[startup+70.183 s]
Raw data (loadavg): 0.96 1.35 1.83 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 3364 50 0 0 25 0 11 0 772779008 867651584 24409 4294967295 134512640 134569956 3221224368 3221214520 1131494810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 24409 13086 16 0 211813 0
vsize: 847316
[startup+80.1973 s]
Raw data (loadavg): 0.97 1.34 1.82 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 4319 51 0 0 25 0 11 0 772779008 867651584 24753 4294967295 134512640 134569956 3221224368 3221214264 1131447740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 24753 13086 16 0 211813 0
vsize: 847316
[startup+90.1974 s]
Raw data (loadavg): 0.97 1.33 1.81 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 5285 51 0 0 25 0 11 0 772779008 867651584 24949 4294967295 134512640 134569956 3221224368 3221214624 1131366795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 24949 13086 16 0 211813 0
vsize: 847316
[startup+100.204 s]
Raw data (loadavg): 0.98 1.32 1.80 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 6241 51 0 0 25 0 11 0 772779008 867651584 25230 4294967295 134512640 134569956 3221224368 3221214056 1131447761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 25230 13086 16 0 211813 0
vsize: 847316
[startup+110.21 s]
Raw data (loadavg): 0.98 1.31 1.79 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18002 0 76 0 7205 52 0 0 25 0 11 0 772779008 867651584 25473 4294967295 134512640 134569956 3221224368 3221214432 1131492290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 25473 13086 16 0 211813 0
vsize: 847316
[startup+120.219 s]
Raw data (loadavg): 0.98 1.29 1.79 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 8181 52 0 0 25 0 11 0 772779008 867651584 25638 4294967295 134512640 134569956 3221224368 3221214560 1131216806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 25638 13086 16 0 211813 0
vsize: 847316
[startup+130.219 s]
Raw data (loadavg): 0.98 1.28 1.78 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 9144 52 0 0 25 0 11 0 772779008 867651584 25902 4294967295 134512640 134569956 3221224368 3221214384 1131447761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 25902 13086 16 0 211813 0
vsize: 847316
[startup+140.218 s]
Raw data (loadavg): 0.99 1.27 1.77 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 10119 53 0 0 25 0 11 0 772779008 867651584 26037 4294967295 134512640 134569956 3221224368 3221214624 1131194344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 26037 13086 16 0 211813 0
vsize: 847316
[startup+150.219 s]
Raw data (loadavg): 0.99 1.26 1.76 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 11082 53 0 0 25 0 11 0 772779008 867651584 26341 4294967295 134512640 134569956 3221224368 3221214192 1131489075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 26341 13086 16 0 211813 0
vsize: 847316
[startup+160.231 s]
Raw data (loadavg): 0.99 1.26 1.75 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 12036 53 0 0 24 0 11 0 772779008 867651584 26684 4294967295 134512640 134569956 3221224368 3221214580 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 26684 13086 16 0 211813 0
vsize: 847316
[startup+170.231 s]
Raw data (loadavg): 0.99 1.25 1.74 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 13001 53 0 0 25 0 11 0 772779008 867651584 26932 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 26932 13086 16 0 211813 0
vsize: 847316
[startup+180.232 s]
Raw data (loadavg): 0.99 1.24 1.73 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 13953 53 0 0 24 0 11 0 772779008 867651584 27201 4294967295 134512640 134569956 3221224368 3221214624 1131366824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 27201 13086 16 0 211813 0
vsize: 847316
[startup+190.232 s]
Raw data (loadavg): 0.99 1.23 1.72 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 14930 53 0 0 25 0 11 0 772779008 867651584 27306 4294967295 134512640 134569956 3221224368 3221214608 1131211159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 27306 13086 16 0 211813 0
vsize: 847316
[startup+200.232 s]
Raw data (loadavg): 0.99 1.22 1.72 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 15892 54 0 0 25 0 11 0 772779008 867651584 27622 4294967295 134512640 134569956 3221224368 3221214216 1131449154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 27622 13086 16 0 211813 0
vsize: 847316
[startup+210.232 s]
Raw data (loadavg): 0.99 1.21 1.71 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 16867 54 0 0 25 0 11 0 772779008 867651584 27771 4294967295 134512640 134569956 3221224368 3221214500 1131447760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 27771 13086 16 0 211813 0
vsize: 847316
[startup+220.233 s]
Raw data (loadavg): 0.99 1.21 1.70 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 17830 54 0 0 25 0 11 0 772779008 867651584 28071 4294967295 134512640 134569956 3221224368 3221214580 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 28071 13086 16 0 211813 0
vsize: 847316
[startup+230.232 s]
Raw data (loadavg): 0.99 1.20 1.69 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 18795 55 0 0 25 0 11 0 772779008 867651584 28298 4294967295 134512640 134569956 3221224368 3221214608 1131218851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 28298 13086 16 0 211813 0
vsize: 847316
[startup+240.233 s]
Raw data (loadavg): 0.99 1.19 1.69 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 19759 55 0 0 25 0 11 0 772779008 867651584 28559 4294967295 134512640 134569956 3221224368 3221214624 1131366880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 28559 13086 16 0 211813 0
vsize: 847316
[startup+250.233 s]
Raw data (loadavg): 0.99 1.19 1.68 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 20724 55 0 0 24 0 11 0 772779008 867651584 28745 4294967295 134512640 134569956 3221224368 3221214624 1131363392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 28745 13086 16 0 211813 0
vsize: 847316
[startup+260.233 s]
Raw data (loadavg): 0.99 1.18 1.67 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 21690 55 0 0 24 0 11 0 772779008 867651584 28916 4294967295 134512640 134569956 3221224368 3221214140 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 28916 13086 16 0 211813 0
vsize: 847316
[startup+270.233 s]
Raw data (loadavg): 0.99 1.17 1.66 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 22666 55 0 0 25 0 11 0 772779008 867651584 29085 4294967295 134512640 134569956 3221224368 3221214576 1131341246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 29085 13086 16 0 211813 0
vsize: 847316
[startup+280.241 s]
Raw data (loadavg): 0.99 1.17 1.65 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 23632 55 0 0 25 0 11 0 772779008 867651584 29292 4294967295 134512640 134569956 3221224368 3221214416 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 29292 13086 16 0 211813 0
vsize: 847316
[startup+290.248 s]
Raw data (loadavg): 0.99 1.16 1.65 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 24607 56 0 0 25 0 11 0 772779008 867651584 29510 4294967295 134512640 134569956 3221224368 3221213936 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 29510 13086 16 0 211813 0
vsize: 847316
[startup+300.249 s]
Raw data (loadavg): 0.99 1.15 1.64 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 25571 56 0 0 25 0 11 0 772779008 867651584 29805 4294967295 134512640 134569956 3221224368 3221214624 1131366704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 29805 13086 16 0 211813 0
vsize: 847316
[startup+310.248 s]
Raw data (loadavg): 0.99 1.15 1.63 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 26537 56 0 0 25 0 11 0 772779008 867651584 29925 4294967295 134512640 134569956 3221224368 3221214384 1131447767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 29925 13086 16 0 211813 0
vsize: 847316
[startup+320.249 s]
Raw data (loadavg): 0.99 1.14 1.62 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 27513 56 0 0 25 0 11 0 772779008 867651584 30123 4294967295 134512640 134569956 3221224368 3221214144 1131445160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30123 13086 16 0 211813 0
vsize: 847316
[startup+330.249 s]
Raw data (loadavg): 0.99 1.14 1.62 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 28478 56 0 0 25 0 11 0 772779008 867651584 30251 4294967295 134512640 134569956 3221224368 3221214624 1131372322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30251 13086 16 0 211813 0
vsize: 847316
[startup+340.249 s]
Raw data (loadavg): 0.99 1.13 1.61 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 29457 56 0 0 25 0 11 0 772779008 867651584 30365 4294967295 134512640 134569956 3221224368 3221213952 1131488668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30365 13086 16 0 211813 0
vsize: 847316
[startup+350.249 s]
Raw data (loadavg): 0.99 1.13 1.60 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 30413 56 0 0 25 0 11 0 772779008 867651584 30576 4294967295 134512640 134569956 3221224368 3221214428 1131450316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30576 13086 16 0 211813 0
vsize: 847316
[startup+360.25 s]
Raw data (loadavg): 0.99 1.12 1.60 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 31369 57 0 0 25 0 11 0 772779008 867651584 30665 4294967295 134512640 134569956 3221224368 3221214772 1131220704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30665 13086 16 0 211813 0
vsize: 847316
[startup+370.249 s]
Raw data (loadavg): 0.99 1.12 1.59 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 32326 57 0 0 25 0 11 0 772779008 867651584 30819 4294967295 134512640 134569956 3221224368 3221214624 1131365684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30819 13086 16 0 211813 0
vsize: 847316
[startup+380.249 s]
Raw data (loadavg): 0.99 1.11 1.58 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 33281 58 0 0 25 0 11 0 772779008 867651584 30977 4294967295 134512640 134569956 3221224368 3221214624 1131363392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 30977 13086 16 0 211813 0
vsize: 847316
[startup+390.25 s]
Raw data (loadavg): 0.99 1.11 1.58 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 34247 58 0 0 25 0 11 0 772779008 867651584 31053 4294967295 134512640 134569956 3221224368 3221214528 1131208249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31053 13086 16 0 211813 0
vsize: 847316
[startup+400.251 s]
Raw data (loadavg): 0.99 1.11 1.57 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 35214 58 0 0 25 0 11 0 772779008 867651584 31150 4294967295 134512640 134569956 3221224368 3221214024 1131445204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31150 13086 16 0 211813 0
vsize: 847316
[startup+410.251 s]
Raw data (loadavg): 0.99 1.10 1.56 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 36169 59 0 0 25 0 11 0 772779008 867651584 31253 4294967295 134512640 134569956 3221224368 3221214624 1131363457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31253 13086 16 0 211813 0
vsize: 847316
[startup+420.355 s]
Raw data (loadavg): 0.99 1.10 1.56 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 37135 59 0 0 25 0 11 0 772779008 867651584 31357 4294967295 134512640 134569956 3221224368 3221214520 1131256407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31357 13086 16 0 211813 0
vsize: 847316
[startup+430.355 s]
Raw data (loadavg): 0.99 1.10 1.55 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 38080 59 0 0 25 0 11 0 772779008 867651584 31491 4294967295 134512640 134569956 3221224368 3221214528 1131208331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31491 13086 16 0 211813 0
vsize: 847316
[startup+440.355 s]
Raw data (loadavg): 0.99 1.09 1.54 2/64 25622
Raw data (stat): 25610 (java) S 25609 25568 25567 0 -1 0 18003 0 76 0 39029 59 0 0 25 0 11 0 772779008 867651584 31573 4294967295 134512640 134569956 3221224368 3221213128 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31573 13086 16 0 211813 0
vsize: 847316
[startup+450.356 s]
Raw data (loadavg): 0.99 1.09 1.54 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 39980 59 0 0 25 0 11 0 772779008 867651584 31747 4294967295 134512640 134569956 3221224368 3221214072 1131487278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31747 13086 16 0 211813 0
vsize: 847316
[startup+460.356 s]
Raw data (loadavg): 0.99 1.08 1.53 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 40928 60 0 0 25 0 11 0 772779008 867651584 31887 4294967295 134512640 134569956 3221224368 3221214624 1131365946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 31887 13086 16 0 211813 0
vsize: 847316
[startup+470.356 s]
Raw data (loadavg): 0.99 1.08 1.52 2/64 25622
Raw data (stat): 25610 (java) S 25609 25568 25567 0 -1 0 18003 0 76 0 41884 60 0 0 25 0 11 0 772779008 867651584 32042 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32042 13086 16 0 211813 0
vsize: 847316
[startup+480.357 s]
Raw data (loadavg): 0.99 1.08 1.52 2/64 25622
Raw data (stat): 25610 (java) S 25609 25568 25567 0 -1 0 18003 0 76 0 42834 60 0 0 25 0 11 0 772779008 867651584 32213 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32213 13086 16 0 211813 0
vsize: 847316
[startup+490.357 s]
Raw data (loadavg): 0.99 1.08 1.51 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 43783 60 0 0 25 0 11 0 772779008 867651584 32361 4294967295 134512640 134569956 3221224368 3221214224 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32361 13086 16 0 211813 0
vsize: 847316
[startup+500.357 s]
Raw data (loadavg): 0.99 1.07 1.51 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 44732 60 0 0 25 0 11 0 772779008 867651584 32506 4294967295 134512640 134569956 3221224368 3221214192 1131489318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32506 13086 16 0 211813 0
vsize: 847316
[startup+510.363 s]
Raw data (loadavg): 0.99 1.07 1.50 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 45680 61 0 0 25 0 11 0 772779008 867651584 32632 4294967295 134512640 134569956 3221224368 3221214384 1131447712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32632 13086 16 0 211813 0
vsize: 847316
[startup+520.362 s]
Raw data (loadavg): 0.99 1.07 1.50 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 46644 61 0 0 25 0 11 0 772779008 867651584 32713 4294967295 134512640 134569956 3221224368 3221214752 1131194328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 32713 13086 16 0 211813 0
vsize: 847316
[startup+530.362 s]
Raw data (loadavg): 0.99 1.06 1.49 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 47592 62 0 0 25 0 11 0 772779008 867651584 32837 4294967295 134512640 134569956 3221224368 3221214804 1130885150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32837 13086 16 0 211813 0
vsize: 847316
[startup+540.367 s]
Raw data (loadavg): 0.99 1.06 1.48 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 48558 62 0 0 25 0 11 0 772779008 867651584 32910 4294967295 134512640 134569956 3221224368 3221214576 1131341233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 32910 13086 16 0 211813 0
vsize: 847316
[startup+550.367 s]
Raw data (loadavg): 0.99 1.06 1.48 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 49509 62 0 0 25 0 11 0 772779008 867651584 33058 4294967295 134512640 134569956 3221224368 3221214624 1131372124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33058 13086 16 0 211813 0
vsize: 847316
[startup+560.367 s]
Raw data (loadavg): 0.99 1.06 1.47 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 50463 63 0 0 25 0 11 0 772779008 867651584 33195 4294967295 134512640 134569956 3221224368 3221214632 1131283756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33195 13086 16 0 211813 0
vsize: 847316
[startup+570.367 s]
Raw data (loadavg): 0.99 1.05 1.47 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 51412 63 0 0 25 0 11 0 772779008 867651584 33357 4294967295 134512640 134569956 3221224368 3221214384 1131447754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33357 13086 16 0 211813 0
vsize: 847316
[startup+580.367 s]
Raw data (loadavg): 0.99 1.05 1.46 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 52385 63 0 0 25 0 11 0 772779008 867651584 33432 4294967295 134512640 134569956 3221224368 3221214528 1131208289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33432 13086 16 0 211813 0
vsize: 847316
[startup+590.367 s]
Raw data (loadavg): 0.99 1.05 1.45 2/64 25622
Raw data (stat): 25610 (java) S 25609 25568 25567 0 -1 0 18003 0 76 0 53364 63 0 0 25 0 11 0 772779008 867651584 33493 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33493 13086 16 0 211813 0
vsize: 847316
[startup+600.368 s]
Raw data (loadavg): 0.99 1.05 1.45 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 54333 64 0 0 25 0 11 0 772779008 867651584 33564 4294967295 134512640 134569956 3221224368 3221214624 1131373404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33564 13086 16 0 211813 0
vsize: 847316
[startup+610.369 s]
Raw data (loadavg): 0.99 1.05 1.44 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 55304 64 0 0 25 0 11 0 772779008 867651584 33627 4294967295 134512640 134569956 3221224368 3221214624 1131365602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33627 13086 16 0 211813 0
vsize: 847316
[startup+620.369 s]
Raw data (loadavg): 0.99 1.04 1.44 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 56267 64 0 0 25 0 11 0 772779008 867651584 33706 4294967295 134512640 134569956 3221224368 3221214432 1131497576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33706 13086 16 0 211813 0
vsize: 847316
[startup+630.369 s]
Raw data (loadavg): 0.99 1.04 1.43 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 57229 64 0 0 25 0 11 0 772779008 867651584 33797 4294967295 134512640 134569956 3221224368 3221214528 1131209114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33797 13086 16 0 211813 0
vsize: 847316
[startup+640.369 s]
Raw data (loadavg): 0.99 1.04 1.43 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 58183 65 0 0 25 0 11 0 772779008 867651584 33876 4294967295 134512640 134569956 3221224368 3221214624 1131364295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33876 13086 16 0 211813 0
vsize: 847316
[startup+650.369 s]
Raw data (loadavg): 0.99 1.04 1.42 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 59144 65 0 0 25 0 11 0 772779008 867651584 33916 4294967295 134512640 134569956 3221224368 3221214624 1131366945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 33916 13086 16 0 211813 0
vsize: 847316
[startup+660.37 s]
Raw data (loadavg): 0.99 1.04 1.42 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 60098 65 0 0 25 0 11 0 772779008 867651584 34052 4294967295 134512640 134569956 3221224368 3221214624 1131367927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34052 13086 16 0 211813 0
vsize: 847316
[startup+670.37 s]
Raw data (loadavg): 0.99 1.03 1.41 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 61050 66 0 0 25 0 11 0 772779008 867651584 34233 4294967295 134512640 134569956 3221224368 3221214624 1131372025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34233 13086 16 0 211813 0
vsize: 847316
[startup+680.37 s]
Raw data (loadavg): 0.99 1.03 1.41 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 62009 66 0 0 25 0 11 0 772779008 867651584 34370 4294967295 134512640 134569956 3221224368 3221214624 1131363457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34370 13086 16 0 211813 0
vsize: 847316
[startup+690.37 s]
Raw data (loadavg): 0.99 1.03 1.41 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 62970 67 0 0 25 0 11 0 772779008 867651584 34457 4294967295 134512640 134569956 3221224368 3221214620 1131226784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34457 13086 16 0 211813 0
vsize: 847316
[startup+700.37 s]
Raw data (loadavg): 0.99 1.03 1.40 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 63936 67 0 0 25 0 11 0 772779008 867651584 34539 4294967295 134512640 134569956 3221224368 3221214056 1131447718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34539 13086 16 0 211813 0
vsize: 847316
[startup+710.37 s]
Raw data (loadavg): 0.99 1.03 1.40 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 64896 68 0 0 24 0 11 0 772779008 867651584 34620 4294967295 134512640 134569956 3221224368 3221214624 1131366941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34620 13086 16 0 211813 0
vsize: 847316
[startup+720.371 s]
Raw data (loadavg): 0.99 1.03 1.39 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 65857 68 0 0 24 0 11 0 772779008 867651584 34716 4294967295 134512640 134569956 3221224368 3221214568 1131463465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34716 13086 16 0 211813 0
vsize: 847316
[startup+730.37 s]
Raw data (loadavg): 0.99 1.03 1.39 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 66824 69 0 0 25 0 11 0 772779008 867651584 34790 4294967295 134512640 134569956 3221224368 3221214528 1131208289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 34790 13086 16 0 211813 0
vsize: 847316
[startup+740.371 s]
Raw data (loadavg): 0.99 1.02 1.38 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 67785 69 0 0 25 0 11 0 772779008 867651584 34860 4294967295 134512640 134569956 3221224368 3221214620 1131226784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34860 13086 16 0 211813 0
vsize: 847316
[startup+750.371 s]
Raw data (loadavg): 0.99 1.02 1.38 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 68746 69 0 0 25 0 11 0 772779008 867651584 34968 4294967295 134512640 134569956 3221224368 3221214620 1131208128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 34968 13086 16 0 211813 0
vsize: 847316
[startup+760.371 s]
Raw data (loadavg): 0.99 1.02 1.37 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 69709 70 0 0 25 0 11 0 772779008 867651584 35051 4294967295 134512640 134569956 3221224368 3221214624 1131365471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35051 13086 16 0 211813 0
vsize: 847316
[startup+770.371 s]
Raw data (loadavg): 0.99 1.02 1.37 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 70683 70 0 0 25 0 11 0 772779008 867651584 35116 4294967295 134512640 134569956 3221224368 3221214624 1131363457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35116 13086 16 0 211813 0
vsize: 847316
[startup+780.371 s]
Raw data (loadavg): 0.99 1.02 1.36 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 71663 71 0 0 25 0 11 0 772779008 867651584 35167 4294967295 134512640 134569956 3221224368 3221214312 1131496081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35167 13086 16 0 211813 0
vsize: 847316
[startup+790.371 s]
Raw data (loadavg): 0.99 1.02 1.36 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 72645 71 0 0 25 0 11 0 772779008 867651584 35209 4294967295 134512640 134569956 3221224368 3221214624 1131363343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 35209 13086 16 0 211813 0
vsize: 847316
[startup+800.371 s]
Raw data (loadavg): 0.99 1.02 1.35 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 73634 71 0 0 25 0 11 0 772779008 867651584 35239 4294967295 134512640 134569956 3221224368 3221214072 1131488743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35239 13086 16 0 211813 0
vsize: 847316
[startup+810.371 s]
Raw data (loadavg): 0.99 1.02 1.35 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 74616 71 0 0 25 0 11 0 772779008 867651584 35261 4294967295 134512640 134569956 3221224368 3221214020 1131447760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 35261 13086 16 0 211813 0
vsize: 847316
[startup+820.373 s]
Raw data (loadavg): 0.99 1.02 1.35 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 75603 71 0 0 25 0 11 0 772779008 867651584 35285 4294967295 134512640 134569956 3221224368 3221214216 1131449160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35285 13086 16 0 211813 0
vsize: 847316
[startup+830.373 s]
Raw data (loadavg): 0.99 1.02 1.34 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 76583 72 0 0 25 0 11 0 772779008 867651584 35314 4294967295 134512640 134569956 3221224368 3221214552 1131494491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35314 13086 16 0 211813 0
vsize: 847316
[startup+840.38 s]
Raw data (loadavg): 0.99 1.02 1.34 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 77570 72 0 0 25 0 11 0 772779008 867651584 35332 4294967295 134512640 134569956 3221224368 3221214620 1131209175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35332 13086 16 0 211813 0
vsize: 847316
[startup+850.387 s]
Raw data (loadavg): 0.99 1.01 1.33 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 78550 72 0 0 25 0 11 0 772779008 867651584 35370 4294967295 134512640 134569956 3221224368 3221214144 1131447772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35370 13086 16 0 211813 0
vsize: 847316
[startup+860.387 s]
Raw data (loadavg): 0.99 1.01 1.33 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 79528 72 0 0 25 0 11 0 772779008 867651584 35393 4294967295 134512640 134569956 3221224368 3221213948 1131498349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35393 13086 16 0 211813 0
vsize: 847316
[startup+870.387 s]
Raw data (loadavg): 0.99 1.01 1.33 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 80513 73 0 0 25 0 11 0 772779008 867651584 35411 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35411 13086 16 0 211813 0
vsize: 847316
[startup+880.388 s]
Raw data (loadavg): 0.99 1.01 1.32 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 81490 73 0 0 25 0 11 0 772779008 867651584 35435 4294967295 134512640 134569956 3221224368 3221214384 1131447736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35435 13086 16 0 211813 0
vsize: 847316
[startup+890.388 s]
Raw data (loadavg): 0.99 1.01 1.32 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 82473 73 0 0 25 0 11 0 772779008 867651584 35447 4294967295 134512640 134569956 3221224368 3221214072 1131489445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35447 13086 16 0 211813 0
vsize: 847316
[startup+900.388 s]
Raw data (loadavg): 0.99 1.01 1.31 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 83448 74 0 0 25 0 11 0 772779008 867651584 35483 4294967295 134512640 134569956 3221224368 3221214064 1131497628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35483 13086 16 0 211813 0
vsize: 847316
[startup+910.388 s]
Raw data (loadavg): 0.99 1.01 1.31 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 84424 74 0 0 25 0 11 0 772779008 867651584 35544 4294967295 134512640 134569956 3221224368 3221214624 1131366798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35544 13086 16 0 211813 0
vsize: 847316
[startup+920.388 s]
Raw data (loadavg): 0.99 1.01 1.31 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 85400 74 0 0 25 0 11 0 772779008 867651584 35617 4294967295 134512640 134569956 3221224368 3221214056 1085679358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35617 13086 16 0 211813 0
vsize: 847316
[startup+930.388 s]
Raw data (loadavg): 0.99 1.01 1.30 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 86385 75 0 0 25 0 11 0 772779008 867651584 35668 4294967295 134512640 134569956 3221224368 3221213816 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35668 13086 16 0 211813 0
vsize: 847316
[startup+940.389 s]
Raw data (loadavg): 0.99 1.01 1.30 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 87354 75 0 0 25 0 11 0 772779008 867651584 35743 4294967295 134512640 134569956 3221224368 3221214624 1131363476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35743 13086 16 0 211813 0
vsize: 847316
[startup+950.389 s]
Raw data (loadavg): 0.99 1.00 1.29 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 88330 76 0 0 25 0 11 0 772779008 867651584 35792 4294967295 134512640 134569956 3221224368 3221214624 1131365476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 35792 13086 16 0 211813 0
vsize: 847316
[startup+960.39 s]
Raw data (loadavg): 0.99 1.00 1.29 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 89297 76 0 0 25 0 11 0 772779008 867651584 35864 4294967295 134512640 134569956 3221224368 3221214144 1131447718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35864 13086 16 0 211813 0
vsize: 847316
[startup+970.39 s]
Raw data (loadavg): 0.99 1.00 1.29 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 90272 76 0 0 25 0 11 0 772779008 867651584 35913 4294967295 134512640 134569956 3221224368 3221214312 1131497507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35913 13086 16 0 211813 0
vsize: 847316
[startup+980.39 s]
Raw data (loadavg): 0.99 1.00 1.28 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 91240 76 0 0 25 0 11 0 772779008 867651584 35993 4294967295 134512640 134569956 3221224368 3221214528 1131208347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 35993 13086 16 0 211813 0
vsize: 847316
[startup+990.397 s]
Raw data (loadavg): 0.99 1.00 1.28 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 92207 77 0 0 25 0 11 0 772779008 867651584 36049 4294967295 134512640 134569956 3221224368 3221214808 1131211161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 36049 13086 16 0 211813 0
vsize: 847316
[startup+1000.4 s]
Raw data (loadavg): 0.99 1.00 1.28 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 93162 77 0 0 24 0 11 0 772779008 867651584 36110 4294967295 134512640 134569956 3221224368 3221214536 1131267556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36110 13086 16 0 211813 0
vsize: 847316
[startup+1010.4 s]
Raw data (loadavg): 0.99 1.00 1.27 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 94144 77 0 0 25 0 11 0 772779008 867651584 36125 4294967295 134512640 134569956 3221224368 3221214136 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36125 13086 16 0 211813 0
vsize: 847316
[startup+1020.4 s]
Raw data (loadavg): 0.99 1.00 1.27 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 95116 77 0 0 25 0 11 0 772779008 867651584 36216 4294967295 134512640 134569956 3221224368 3221214712 1131220033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36216 13086 16 0 211813 0
vsize: 847316
[startup+1030.4 s]
Raw data (loadavg): 0.99 1.00 1.27 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 96088 78 0 0 25 0 11 0 772779008 867651584 36276 4294967295 134512640 134569956 3221224368 3221214020 1131447760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36276 13086 16 0 211813 0
vsize: 847316
[startup+1040.4 s]
Raw data (loadavg): 1.07 1.02 1.27 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 97058 78 0 0 25 0 11 0 772779008 867651584 36336 4294967295 134512640 134569956 3221224368 3221214552 1131488980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36336 13086 16 0 211813 0
vsize: 847316
[startup+1050.42 s]
Raw data (loadavg): 1.06 1.02 1.27 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 98029 78 0 0 25 0 11 0 772779008 867651584 36429 4294967295 134512640 134569956 3221224368 3221214544 1131256091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36429 13086 16 0 211813 0
vsize: 847316
[startup+1060.42 s]
Raw data (loadavg): 1.05 1.01 1.26 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 98998 79 0 0 25 0 11 0 772779008 867651584 36482 4294967295 134512640 134569956 3221224368 3221214608 1131218864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36482 13086 16 0 211813 0
vsize: 847316
[startup+1070.42 s]
Raw data (loadavg): 1.04 1.01 1.26 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 99967 80 0 0 25 0 11 0 772779008 867651584 36513 4294967295 134512640 134569956 3221224368 3221213936 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36513 13086 16 0 211813 0
vsize: 847316
[startup+1080.42 s]
Raw data (loadavg): 1.04 1.01 1.26 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 100934 80 0 0 25 0 11 0 772779008 867651584 36573 4294967295 134512640 134569956 3221224368 3221214536 1131266007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 36573 13086 16 0 211813 0
vsize: 847316
[startup+1090.42 s]
Raw data (loadavg): 1.03 1.01 1.25 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 101902 80 0 0 25 0 11 0 772779008 867651584 36645 4294967295 134512640 134569956 3221224368 3221214380 1131447760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36645 13086 16 0 211813 0
vsize: 847316
[startup+1100.42 s]
Raw data (loadavg): 1.03 1.01 1.25 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 102880 80 0 0 25 0 11 0 772779008 867651584 36707 4294967295 134512640 134569956 3221224368 3221213488 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36707 13086 16 0 211813 0
vsize: 847316
[startup+1110.42 s]
Raw data (loadavg): 1.02 1.01 1.25 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 103858 80 0 0 25 0 11 0 772779008 867651584 36756 4294967295 134512640 134569956 3221224368 3221214144 1131447761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 36756 13086 16 0 211813 0
vsize: 847316
[startup+1120.42 s]
Raw data (loadavg): 1.02 1.01 1.24 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 104825 80 0 0 25 0 11 0 772779008 867651584 36793 4294967295 134512640 134569956 3221224368 3221214640 1131243552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36793 13086 16 0 211813 0
vsize: 847316
[startup+1130.42 s]
Raw data (loadavg): 1.01 1.01 1.24 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 105802 81 0 0 25 0 11 0 772779008 867651584 36823 4294967295 134512640 134569956 3221224368 3221214624 1131363392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 36823 13086 16 0 211813 0
vsize: 847316
[startup+1140.42 s]
Raw data (loadavg): 1.01 1.01 1.24 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 106768 81 0 0 25 0 11 0 772779008 867651584 36933 4294967295 134512640 134569956 3221224368 3221214224 1131449148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 36933 13086 16 0 211813 0
vsize: 847316
[startup+1150.42 s]
Raw data (loadavg): 1.01 1.01 1.24 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 107745 81 0 0 25 0 11 0 772779008 867651584 36990 4294967295 134512640 134569956 3221224368 3221214432 1131499056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 36990 13086 16 0 211813 0
vsize: 847316
[startup+1160.42 s]
Raw data (loadavg): 1.01 1.00 1.23 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 108701 81 0 0 25 0 11 0 772779008 867651584 37117 4294967295 134512640 134569956 3221224368 3221214460 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37117 13086 16 0 211813 0
vsize: 847316
[startup+1170.42 s]
Raw data (loadavg): 1.01 1.00 1.23 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 109670 82 0 0 25 0 11 0 772779008 867651584 37188 4294967295 134512640 134569956 3221224368 3221214528 1131208289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 37188 13086 16 0 211813 0
vsize: 847316
[startup+1180.42 s]
Raw data (loadavg): 1.00 1.00 1.23 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 110627 82 0 0 25 0 11 0 772779008 867651584 37301 4294967295 134512640 134569956 3221224368 3221214068 1131487569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37301 13086 16 0 211813 0
vsize: 847316
[startup+1190.42 s]
Raw data (loadavg): 1.00 1.00 1.22 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 111585 82 0 0 25 0 11 0 772779008 867651584 37386 4294967295 134512640 134569956 3221224368 3221214624 1131363331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37386 13086 16 0 211813 0
vsize: 847316
[startup+1200.42 s]
Raw data (loadavg): 1.00 1.00 1.22 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 112555 82 0 0 25 0 11 0 772779008 867651584 37420 4294967295 134512640 134569956 3221224368 3221214552 1131490540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 37420 13086 16 0 211813 0
vsize: 847316
[startup+1210.42 s]
Raw data (loadavg): 1.00 1.00 1.22 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 113515 82 0 0 25 0 11 0 772779008 867651584 37564 4294967295 134512640 134569956 3221224368 3221214528 1131208159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37564 13086 16 0 211813 0
vsize: 847316
[startup+1220.42 s]
Raw data (loadavg): 1.00 1.00 1.22 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 114467 82 0 0 25 0 11 0 772779008 867651584 37705 4294967295 134512640 134569956 3221224368 3221214504 1131447774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37705 13086 16 0 211813 0
vsize: 847316
[startup+1230.42 s]
Raw data (loadavg): 1.00 1.00 1.21 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 115424 82 0 0 25 0 11 0 772779008 867651584 37817 4294967295 134512640 134569956 3221224368 3221214140 1131447760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211829 37817 13086 16 0 211813 0
vsize: 847316
[startup+1240.42 s]
Raw data (loadavg): 1.00 1.00 1.21 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 116383 83 0 0 25 0 11 0 772779008 867651584 37925 4294967295 134512640 134569956 3221224368 3221214552 1131490486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 37925 13086 16 0 211813 0
vsize: 847316
[startup+1250.42 s]
Raw data (loadavg): 1.00 1.00 1.21 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 117343 83 0 0 25 0 11 0 772779008 867651584 38042 4294967295 134512640 134569956 3221224368 3221214520 1131256258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 38042 13086 16 0 211813 0
vsize: 847316
[startup+1260.42 s]
Raw data (loadavg): 1.00 1.00 1.20 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 118300 84 0 0 25 0 11 0 772779008 867651584 38168 4294967295 134512640 134569956 3221224368 3221214624 1131370338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 38168 13086 16 0 211813 0
vsize: 847316
[startup+1270.42 s]
Raw data (loadavg): 1.00 1.00 1.20 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 119265 84 0 0 25 0 11 0 772779008 867651584 38256 4294967295 134512640 134569956 3221224368 3221214624 1131363392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 38256 13086 16 0 211813 0
vsize: 847316
[startup+1280.42 s]
Raw data (loadavg): 1.00 1.00 1.20 2/64 25622
Raw data (stat): 25610 (java) R 25609 25568 25567 0 -1 0 18003 0 76 0 120244 84 0 0 25 0 11 0 772779008 867651584 38302 4294967295 134512640 134569956 3221224368 3221214552 1131499893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211829 38302 13086 16 0 211813 0
vsize: 847316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.57 s]
Raw data (loadavg): 1.00 1.00 1.20 1/54 25624
Raw data (stat): 25610 (java) Z 25609 25568 25567 0 -1 1036 18003 20834 76 0 120249 84 4799 52 25 0 1 0 772779008 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1280.56
CPU time (s): 1251.86
CPU user time (s): 1250.49
CPU system time (s): 1.37479
CPU usage (%): 97.7588
Max. virtual memory (Kb): 847316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####