PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 29113

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        809240 kB
Buffers:         24104 kB
Cached:         178928 kB
SwapCached:        492 kB
Active:          55952 kB
Inactive:       149240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808988 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            14564 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:06:17 (client local time) WITH STATUS 143 IN 1278.03 SECONDS
stats: 20462 7 1278.03 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/wulflinc17/normalized-fpga40_38_sat_pb.cnf.cr.opb
c reading problem ... done. Time 5.095 ms.
c #vars     2280
c #constraints  1636
c starts	: 5
c conflicts	: 1210
c decisions	: 28287
c propagations	: 112651
c inspects	: 735900
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1210
c root simplifications	: 5
s UNKNOWN
c Total CPU time (ms) : 1255.295
#### 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 18688
Raw data (stat): 18688 (runsolver) R 18687 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836113070 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 3/63 18697
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 17974 0 89 0 428 46 0 0 25 0 10 0 836113070 861114368 21023 4294967295 134512640 134569956 3221224368 3221213036 1074594577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210233 21023 13086 16 0 210217 0
vsize: 840932
[startup+20.0012 s]
Raw data (loadavg): 1.18 1.01 0.92 4/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18034 0 89 0 1159 46 0 0 25 0 11 0 836113070 873918464 24306 4294967295 134512640 134569956 3221224368 3221214744 1131339216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213359 24306 13086 16 0 213343 0
vsize: 853436
[startup+30.0017 s]
Raw data (loadavg): 1.23 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18037 0 89 0 2096 47 0 0 25 0 11 0 836113070 868941824 24586 4294967295 134512640 134569956 3221224368 3221214640 1131493664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212144 24586 13086 16 0 212128 0
vsize: 848576
[startup+40.0017 s]
Raw data (loadavg): 1.19 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 89 0 3070 47 0 0 25 0 11 0 836113070 867098624 24665 4294967295 134512640 134569956 3221224368 3221214472 1131396472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 24665 13086 16 0 211678 0
vsize: 846776
[startup+50.0019 s]
Raw data (loadavg): 1.16 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 89 0 4049 47 0 0 25 0 11 0 836113070 867098624 24666 4294967295 134512640 134569956 3221224368 3221214456 1131245795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 24666 13086 16 0 211678 0
vsize: 846776
[startup+60.0015 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 5022 47 0 0 25 0 11 0 836113070 867098624 24667 4294967295 134512640 134569956 3221224368 3221214448 1131448922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 24667 13086 16 0 211678 0
vsize: 846776
[startup+70.0011 s]
Raw data (loadavg): 1.11 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 6000 47 0 0 25 0 11 0 836113070 867098624 24735 4294967295 134512640 134569956 3221224368 3221214448 1131449206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 24735 13086 16 0 211678 0
vsize: 846776
[startup+80.0017 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 6989 47 0 0 25 0 11 0 836113070 867098624 24866 4294967295 134512640 134569956 3221224368 3221214448 1131448919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 24866 13086 16 0 211678 0
vsize: 846776
[startup+90.0012 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 7977 48 0 0 25 0 11 0 836113070 867098624 24866 4294967295 134512640 134569956 3221224368 3221214296 1079721457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 24866 13086 16 0 211678 0
vsize: 846776
[startup+100.001 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 8967 48 0 0 25 0 11 0 836113070 867098624 25005 4294967295 134512640 134569956 3221224368 3221214448 1131450108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25005 13086 16 0 211678 0
vsize: 846776
[startup+110.001 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 9946 48 0 0 25 0 11 0 836113070 867098624 25005 4294967295 134512640 134569956 3221224368 3221214528 1131350838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25005 13086 16 0 211678 0
vsize: 846776
[startup+120.001 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 10935 48 0 0 25 0 11 0 836113070 867098624 25194 4294967295 134512640 134569956 3221224368 3221214548 1131271596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25194 13086 16 0 211678 0
vsize: 846776
[startup+130.001 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 11925 48 0 0 25 0 11 0 836113070 867098624 25194 4294967295 134512640 134569956 3221224368 3221214560 1131331523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25194 13086 16 0 211678 0
vsize: 846776
[startup+140 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 12906 48 0 0 25 0 11 0 836113070 867098624 25194 4294967295 134512640 134569956 3221224368 3221214560 1131331523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25194 13086 16 0 211678 0
vsize: 846776
[startup+150.102 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 13906 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214456 1131245784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+160.103 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 14898 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214556 1131329385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+170.102 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 15888 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214448 1131450092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+180.102 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 16870 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214552 1131498851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+190.102 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 17860 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214512 1131191440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+200.102 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 18850 48 0 0 25 0 11 0 836113070 867098624 25333 4294967295 134512640 134569956 3221224368 3221214512 1131191449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25333 13086 16 0 211678 0
vsize: 846776
[startup+210.103 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 19840 49 0 0 25 0 11 0 836113070 867098624 25390 4294967295 134512640 134569956 3221224368 3221214508 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25390 13086 16 0 211678 0
vsize: 846776
[startup+220.102 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 20820 49 0 0 25 0 11 0 836113070 867098624 25390 4294967295 134512640 134569956 3221224368 3221214528 1131271665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25390 13086 16 0 211678 0
vsize: 846776
[startup+230.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 21810 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214536 1131271641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+240.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 22802 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214448 1131449095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+250.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 23794 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214448 1131449122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+260.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) S 18687 7475 7474 0 -1 0 18038 0 90 0 24781 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221213096 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+270.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 25768 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214552 1131498900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+280.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 26759 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214448 1131448202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+290.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 27748 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214532 1131191419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+300.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 28730 49 0 0 25 0 11 0 836113070 867098624 25601 4294967295 134512640 134569956 3221224368 3221214512 1131191449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25601 13086 16 0 211678 0
vsize: 846776
[startup+310.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 29706 49 0 0 25 0 11 0 836113070 867098624 25833 4294967295 134512640 134569956 3221224368 3221214584 1131331667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25833 13086 16 0 211678 0
vsize: 846776
[startup+320.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 30677 49 0 0 25 0 11 0 836113070 867098624 25885 4294967295 134512640 134569956 3221224368 3221214536 1131191449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 25885 13086 16 0 211678 0
vsize: 846776
[startup+330.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 31657 49 0 0 25 0 11 0 836113070 867098624 26105 4294967295 134512640 134569956 3221224368 3221214584 1131331504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26105 13086 16 0 211678 0
vsize: 846776
[startup+340.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 32635 49 0 0 25 0 11 0 836113070 867098624 26150 4294967295 134512640 134569956 3221224368 3221214760 1131340419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26150 13086 16 0 211678 0
vsize: 846776
[startup+350.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 33620 49 0 0 25 0 11 0 836113070 867098624 26195 4294967295 134512640 134569956 3221224368 3221214584 1131331523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26195 13086 16 0 211678 0
vsize: 846776
[startup+360.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 34599 49 0 0 25 0 11 0 836113070 867098624 26262 4294967295 134512640 134569956 3221224368 3221214552 1131350854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26262 13086 16 0 211678 0
vsize: 846776
[startup+370.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 35586 49 0 0 25 0 11 0 836113070 867098624 26285 4294967295 134512640 134569956 3221224368 3221214576 1131498851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26285 13086 16 0 211678 0
vsize: 846776
[startup+380.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 36565 49 0 0 25 0 11 0 836113070 867098624 26353 4294967295 134512640 134569956 3221224368 3221214560 1131271665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 26353 13086 16 0 211678 0
vsize: 846776
[startup+390.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 37553 49 0 0 25 0 11 0 836113070 867098624 26398 4294967295 134512640 134569956 3221224368 3221214552 1131350838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26398 13086 16 0 211678 0
vsize: 846776
[startup+400.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 38535 49 0 0 25 0 11 0 836113070 867098624 26443 4294967295 134512640 134569956 3221224368 3221214532 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 26443 13086 16 0 211678 0
vsize: 846776
[startup+410.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 39522 49 0 0 25 0 11 0 836113070 867098624 26488 4294967295 134512640 134569956 3221224368 3221214552 1131271665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26488 13086 16 0 211678 0
vsize: 846776
[startup+420.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 40506 49 0 0 25 0 11 0 836113070 867098624 26556 4294967295 134512640 134569956 3221224368 3221214760 1131339432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26556 13086 16 0 211678 0
vsize: 846776
[startup+430.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 41494 49 0 0 25 0 11 0 836113070 867098624 26692 4294967295 134512640 134569956 3221224368 3221214384 1131511582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 26692 13086 16 0 211678 0
vsize: 846776
[startup+440.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 42481 49 0 0 25 0 11 0 836113070 867098624 26721 4294967295 134512640 134569956 3221224368 3221214488 1131246053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26721 13086 16 0 211678 0
vsize: 846776
[startup+450.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 43467 49 0 0 25 0 11 0 836113070 867098624 26748 4294967295 134512640 134569956 3221224368 3221214760 1131339426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26748 13086 16 0 211678 0
vsize: 846776
[startup+460.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) S 18687 7475 7474 0 -1 0 18038 0 90 0 44435 49 0 0 25 0 11 0 836113070 867098624 26807 4294967295 134512640 134569956 3221224368 3221212928 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 26807 13086 16 0 211678 0
vsize: 846776
[startup+470.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18038 0 90 0 45371 50 0 0 25 0 11 0 836113070 867098624 28278 4294967295 134512640 134569956 3221224368 3221214432 1131397470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 28278 13086 16 0 211678 0
vsize: 846776
[startup+480.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 46317 50 0 0 25 0 11 0 836113070 867098624 28808 4294967295 134512640 134569956 3221224368 3221214664 1131626199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 28808 13086 16 0 211678 0
vsize: 846776
[startup+490.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 47258 50 0 0 25 0 11 0 836113070 867098624 29205 4294967295 134512640 134569956 3221224368 3221214664 1131625149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 29205 13086 16 0 211678 0
vsize: 846776
[startup+500.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 48185 50 0 0 25 0 11 0 836113070 867098624 30066 4294967295 134512640 134569956 3221224368 3221214664 1131624100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 30066 13086 16 0 211678 0
vsize: 846776
[startup+510.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 49121 51 0 0 25 0 11 0 836113070 867098624 30307 4294967295 134512640 134569956 3221224368 3221214664 1131246053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 30307 13086 16 0 211678 0
vsize: 846776
[startup+520.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 50042 51 0 0 25 0 11 0 836113070 867098624 30833 4294967295 134512640 134569956 3221224368 3221214560 1131306481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 30833 13086 16 0 211678 0
vsize: 846776
[startup+530.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 50946 51 0 0 25 0 11 0 836113070 867098624 31506 4294967295 134512640 134569956 3221224368 3221214736 1131375605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 31506 13086 16 0 211678 0
vsize: 846776
[startup+540.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 51870 51 0 0 25 0 11 0 836113070 867098624 31753 4294967295 134512640 134569956 3221224368 3221214664 1131625275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 31753 13086 16 0 211678 0
vsize: 846776
[startup+550.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 52810 51 0 0 25 0 11 0 836113070 867098624 31976 4294967295 134512640 134569956 3221224368 3221214760 1131340953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 31976 13086 16 0 211678 0
vsize: 846776
[startup+560.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 53746 52 0 0 25 0 11 0 836113070 867098624 32411 4294967295 134512640 134569956 3221224368 3221214760 1131339676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 32411 13086 16 0 211678 0
vsize: 846776
[startup+570.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 54679 53 0 0 25 0 11 0 836113070 867098624 32495 4294967295 134512640 134569956 3221224368 3221214560 1131306307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 32495 13086 16 0 211678 0
vsize: 846776
[startup+580.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 55596 53 0 0 25 0 11 0 836113070 867098624 32959 4294967295 134512640 134569956 3221224368 3221214616 1131624122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 32959 13086 16 0 211678 0
vsize: 846776
[startup+590.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 56518 54 0 0 25 0 11 0 836113070 867098624 33300 4294967295 134512640 134569956 3221224368 3221214616 1131624100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 33300 13086 16 0 211678 0
vsize: 846776
[startup+600.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 57435 54 0 0 25 0 11 0 836113070 867098624 33445 4294967295 134512640 134569956 3221224368 3221214616 1131626170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 33445 13086 16 0 211678 0
vsize: 846776
[startup+610.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 58361 54 0 0 25 0 11 0 836113070 867098624 33858 4294967295 134512640 134569956 3221224368 3221214616 1131624071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 33858 13086 16 0 211678 0
vsize: 846776
[startup+620.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 59285 55 0 0 25 0 11 0 836113070 867098624 34046 4294967295 134512640 134569956 3221224368 3221214616 1131626020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34046 13086 16 0 211678 0
vsize: 846776
[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 60213 55 0 0 24 0 11 0 836113070 867098624 34233 4294967295 134512640 134569956 3221224368 3221214512 1131306302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34233 13086 16 0 211678 0
vsize: 846776
[startup+640.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 61142 55 0 0 25 0 11 0 836113070 867098624 34366 4294967295 134512640 134569956 3221224368 3221214616 1131623939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34366 13086 16 0 211678 0
vsize: 846776
[startup+650.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 62076 55 0 0 25 0 11 0 836113070 867098624 34778 4294967295 134512640 134569956 3221224368 3221214536 1131493612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34778 13086 16 0 211678 0
vsize: 846776
[startup+660.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 63017 56 0 0 25 0 11 0 836113070 867098624 34801 4294967295 134512640 134569956 3221224368 3221214616 1131624071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34801 13086 16 0 211678 0
vsize: 846776
[startup+670.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 63952 56 0 0 25 0 11 0 836113070 867098624 34892 4294967295 134512640 134569956 3221224368 3221214616 1131624071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 34892 13086 16 0 211678 0
vsize: 846776
[startup+680.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 64860 56 0 0 25 0 11 0 836113070 867098624 35216 4294967295 134512640 134569956 3221224368 3221214616 1131625101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35216 13086 16 0 211678 0
vsize: 846776
[startup+690.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 65783 57 0 0 25 0 11 0 836113070 867098624 35463 4294967295 134512640 134569956 3221224368 3221214548 1131329376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35463 13086 16 0 211678 0
vsize: 846776
[startup+700.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 66750 57 0 0 25 0 11 0 836113070 867098624 35557 4294967295 134512640 134569956 3221224368 3221214440 1131448983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35557 13086 16 0 211678 0
vsize: 846776
[startup+710.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 67712 58 0 0 25 0 11 0 836113070 867098624 35779 4294967295 134512640 134569956 3221224368 3221214440 1131448983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35779 13086 16 0 211678 0
vsize: 846776
[startup+720.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 68687 58 0 0 25 0 11 0 836113070 867098624 35779 4294967295 134512640 134569956 3221224368 3221214440 1131449019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 35779 13086 16 0 211678 0
vsize: 846776
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 69662 59 0 0 25 0 11 0 836113070 867098624 35779 4294967295 134512640 134569956 3221224368 3221214520 1131350878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35779 13086 16 0 211678 0
vsize: 846776
[startup+740.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 70628 59 0 0 25 0 11 0 836113070 867098624 35899 4294967295 134512640 134569956 3221224368 3221214448 1131245973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35899 13086 16 0 211678 0
vsize: 846776
[startup+750.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 71606 59 0 0 25 0 11 0 836113070 867098624 35946 4294967295 134512640 134569956 3221224368 3221214500 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 35946 13086 16 0 211678 0
vsize: 846776
[startup+760.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 72578 60 0 0 25 0 11 0 836113070 867098624 35950 4294967295 134512640 134569956 3221224368 3221214440 1131448235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 35950 13086 16 0 211678 0
vsize: 846776
[startup+770.111 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 73560 60 0 0 25 0 11 0 836113070 867098624 36111 4294967295 134512640 134569956 3221224368 3221214448 1131246050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36111 13086 16 0 211678 0
vsize: 846776
[startup+780.112 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 74546 60 0 0 25 0 11 0 836113070 867098624 36371 4294967295 134512640 134569956 3221224368 3221214520 1131350855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36371 13086 16 0 211678 0
vsize: 846776
[startup+790.112 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 75531 60 0 0 25 0 11 0 836113070 867098624 36444 4294967295 134512640 134569956 3221224368 3221214512 1131307162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36444 13086 16 0 211678 0
vsize: 846776
[startup+800.111 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 76510 61 0 0 25 0 11 0 836113070 867098624 36444 4294967295 134512640 134569956 3221224368 3221214440 1131448235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36444 13086 16 0 211678 0
vsize: 846776
[startup+810.112 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 77488 61 0 0 25 0 11 0 836113070 867098624 36444 4294967295 134512640 134569956 3221224368 3221214548 1131350752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36444 13086 16 0 211678 0
vsize: 846776
[startup+820.112 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 78464 61 0 0 25 0 11 0 836113070 867098624 36469 4294967295 134512640 134569956 3221224368 3221214448 1131246010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36469 13086 16 0 211678 0
vsize: 846776
[startup+830.112 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 79439 61 0 0 25 0 11 0 836113070 867098624 36469 4294967295 134512640 134569956 3221224368 3221214448 1131246053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36469 13086 16 0 211678 0
vsize: 846776
[startup+840.112 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 80410 62 0 0 25 0 11 0 836113070 867098624 36469 4294967295 134512640 134569956 3221224368 3221214440 1131448235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36469 13086 16 0 211678 0
vsize: 846776
[startup+850.112 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 81380 62 0 0 25 0 11 0 836113070 867098624 36469 4294967295 134512640 134569956 3221224368 3221214440 1131448922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36469 13086 16 0 211678 0
vsize: 846776
[startup+860.112 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 82350 63 0 0 25 0 11 0 836113070 867098624 36494 4294967295 134512640 134569956 3221224368 3221214456 1131246010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36494 13086 16 0 211678 0
vsize: 846776
[startup+870.111 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 83323 63 0 0 25 0 11 0 836113070 867098624 36788 4294967295 134512640 134569956 3221224368 3221214500 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36788 13086 16 0 211678 0
vsize: 846776
[startup+880.113 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 18698
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 84305 63 0 0 25 0 11 0 836113070 867098624 36836 4294967295 134512640 134569956 3221224368 3221214456 1131246206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 36836 13086 16 0 211678 0
vsize: 846776
[startup+890.113 s]
Raw data (loadavg): 1.04 1.02 0.94 2/67 18701
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 85291 63 0 0 25 0 11 0 836113070 867098624 36836 4294967295 134512640 134569956 3221224368 3221214456 1131245823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 36836 13086 16 0 211678 0
vsize: 846776
[startup+900.112 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 86261 76 0 0 25 0 11 0 836113070 867098624 36935 4294967295 134512640 134569956 3221224368 3221214552 1131331581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 36935 13086 16 0 211678 0
vsize: 846776
[startup+910.113 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 87248 76 0 0 25 0 11 0 836113070 867098624 36935 4294967295 134512640 134569956 3221224368 3221214528 1131329592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 36935 13086 16 0 211678 0
vsize: 846776
[startup+920.113 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 88231 76 0 0 25 0 11 0 836113070 867098624 37036 4294967295 134512640 134569956 3221224368 3221214448 1131246010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37036 13086 16 0 211678 0
vsize: 846776
[startup+930.114 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 89220 76 0 0 25 0 11 0 836113070 867098624 37060 4294967295 134512640 134569956 3221224368 3221214552 1131331570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37060 13086 16 0 211678 0
vsize: 846776
[startup+940.115 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 90207 76 0 0 25 0 11 0 836113070 867098624 37109 4294967295 134512640 134569956 3221224368 3221214528 1131329407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37109 13086 16 0 211678 0
vsize: 846776
[startup+950.115 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 91197 76 0 0 25 0 11 0 836113070 867098624 37109 4294967295 134512640 134569956 3221224368 3221214552 1131331552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37109 13086 16 0 211678 0
vsize: 846776
[startup+960.115 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 18751
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 92189 76 0 0 25 0 11 0 836113070 867098624 37134 4294967295 134512640 134569956 3221224368 3221214456 1131246069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37134 13086 16 0 211678 0
vsize: 846776
[startup+970.114 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 93179 76 0 0 25 0 11 0 836113070 867098624 37134 4294967295 134512640 134569956 3221224368 3221214548 1131269732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37134 13086 16 0 211678 0
vsize: 846776
[startup+980.115 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 94167 76 0 0 25 0 11 0 836113070 867098624 37158 4294967295 134512640 134569956 3221224368 3221214520 1131350832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37158 13086 16 0 211678 0
vsize: 846776
[startup+990.116 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 95155 76 0 0 25 0 11 0 836113070 867098624 37158 4294967295 134512640 134569956 3221224368 3221213784 1131157603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37158 13086 16 0 211678 0
vsize: 846776
[startup+1000.12 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 96127 76 0 0 25 0 11 0 836113070 867098624 37259 4294967295 134512640 134569956 3221224368 3221214616 1131626104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37259 13086 16 0 211678 0
vsize: 846776
[startup+1010.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 97087 76 0 0 25 0 11 0 836113070 867098624 37259 4294967295 134512640 134569956 3221224368 3221214504 1131306675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37259 13086 16 0 211678 0
vsize: 846776
[startup+1020.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 98030 77 0 0 25 0 11 0 836113070 867098624 37259 4294967295 134512640 134569956 3221224368 3221214504 1131306781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37259 13086 16 0 211678 0
vsize: 846776
[startup+1030.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 98955 77 0 0 25 0 11 0 836113070 867098624 37397 4294967295 134512640 134569956 3221224368 3221214608 1131624078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37397 13086 16 0 211678 0
vsize: 846776
[startup+1040.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 99869 77 0 0 25 0 11 0 836113070 867098624 37458 4294967295 134512640 134569956 3221224368 3221214504 1131306719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37458 13086 16 0 211678 0
vsize: 846776
[startup+1050.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 100792 77 0 0 25 0 11 0 836113070 867098624 37845 4294967295 134512640 134569956 3221224368 3221214716 1131191408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37845 13086 16 0 211678 0
vsize: 846776
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 101740 77 0 0 25 0 11 0 836113070 867098624 37938 4294967295 134512640 134569956 3221224368 3221214608 1131624078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 37938 13086 16 0 211678 0
vsize: 846776
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 102659 77 0 0 25 0 11 0 836113070 867098624 38275 4294967295 134512640 134569956 3221224368 3221214504 1131306326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 38275 13086 16 0 211678 0
vsize: 846776
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 103593 77 0 0 25 0 11 0 836113070 867098624 38562 4294967295 134512640 134569956 3221224368 3221214504 1131306884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 38562 13086 16 0 211678 0
vsize: 846776
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 104519 77 0 0 25 0 11 0 836113070 867098624 38837 4294967295 134512640 134569956 3221224368 3221214504 1131306579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 38837 13086 16 0 211678 0
vsize: 846776
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 105442 77 0 0 25 0 11 0 836113070 867098624 38990 4294967295 134512640 134569956 3221224368 3221214504 1131307200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 38990 13086 16 0 211678 0
vsize: 846776
[startup+1110.12 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 106348 77 0 0 25 0 11 0 836113070 867098624 38990 4294967295 134512640 134569956 3221224368 3221214504 1131306369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 38990 13086 16 0 211678 0
vsize: 846776
[startup+1120.12 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 107267 77 0 0 25 0 11 0 836113070 867098624 39432 4294967295 134512640 134569956 3221224368 3221214504 1131306964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 39432 13086 16 0 211678 0
vsize: 846776
[startup+1130.12 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 108207 77 0 0 25 0 11 0 836113070 867098624 39658 4294967295 134512640 134569956 3221224368 3221214608 1131624078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 39658 13086 16 0 211678 0
vsize: 846776
[startup+1140.12 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 109133 77 0 0 24 0 11 0 836113070 867098624 39868 4294967295 134512640 134569956 3221224368 3221214504 1131306273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 39868 13086 16 0 211678 0
vsize: 846776
[startup+1150.12 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 110056 77 0 0 25 0 11 0 836113070 867098624 39876 4294967295 134512640 134569956 3221224368 3221214504 1131306273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 39876 13086 16 0 211678 0
vsize: 846776
[startup+1160.12 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 110992 77 0 0 25 0 11 0 836113070 867098624 40060 4294967295 134512640 134569956 3221224368 3221214504 1131306719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 40060 13086 16 0 211678 0
vsize: 846776
[startup+1170.12 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 111915 77 0 0 24 0 11 0 836113070 867098624 40425 4294967295 134512640 134569956 3221224368 3221214608 1131624122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 40425 13086 16 0 211678 0
vsize: 846776
[startup+1180.12 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 112850 77 0 0 25 0 11 0 836113070 867098624 40574 4294967295 134512640 134569956 3221224368 3221214608 1131625293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 40574 13086 16 0 211678 0
vsize: 846776
[startup+1190.12 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 113773 77 0 0 25 0 11 0 836113070 867098624 40730 4294967295 134512640 134569956 3221224368 3221214500 1131195431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 40730 13086 16 0 211678 0
vsize: 846776
[startup+1200.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 114681 77 0 0 25 0 11 0 836113070 867098624 40884 4294967295 134512640 134569956 3221224368 3221214504 1131307190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 40884 13086 16 0 211678 0
vsize: 846776
[startup+1210.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 115588 77 0 0 24 0 11 0 836113070 867098624 41409 4294967295 134512640 134569956 3221224368 3221214608 1131625293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 41409 13086 16 0 211678 0
vsize: 846776
[startup+1220.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 116507 77 0 0 25 0 11 0 836113070 867098624 41672 4294967295 134512640 134569956 3221224368 3221214608 1131624071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 41672 13086 16 0 211678 0
vsize: 846776
[startup+1230.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 117416 77 0 0 25 0 11 0 836113070 867098624 41921 4294967295 134512640 134569956 3221224368 3221214504 1131306719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 41921 13086 16 0 211678 0
vsize: 846776
[startup+1240.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 18753
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 118338 77 0 0 25 0 11 0 836113070 867098624 42200 4294967295 134512640 134569956 3221224368 3221214608 1131626069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 42200 13086 16 0 211678 0
vsize: 846776
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18755
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 119278 78 0 0 25 0 11 0 836113070 867098624 42287 4294967295 134512640 134569956 3221224368 3221214164 1131805776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211694 42287 13086 16 0 211678 0
vsize: 846776
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18755
Raw data (stat): 18688 (java) R 18687 7475 7474 0 -1 0 18039 0 90 0 120226 78 0 0 25 0 11 0 836113070 867098624 42543 4294967295 134512640 134569956 3221224368 3221214504 1131306719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211694 42543 13086 16 0 211678 0
vsize: 846776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.23 s]
Raw data (loadavg): 1.00 1.01 0.95 1/54 18757
Raw data (stat): 18688 (java) Z 18687 7475 7474 0 -1 1036 18039 41143 90 0 120229 86 7389 97 25 0 1 0 836113070 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.23
CPU time (s): 1278.03
CPU user time (s): 1276.19
CPU system time (s): 1.83872
CPU usage (%): 101.412
Max. virtual memory (Kb): 853436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####