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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
MD5SUM	c2339539ffa69702e62053614fe34ce1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	44800
Optimality of the best value was proved	NO
Number of terms in the objective function	252
Biggest coefficient in the objective function	2621440
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	35682270
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	2621440
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	35682270
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.1133
Number of variables	252
Total number of constraints	19
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	19
Minimum length of a constraint	21
Maximum length of a constraint	80
Trace number 30068

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 14:28:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21472 boxname=wulflinc5 idbench=1460 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c2339539ffa69702e62053614fe34ce1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bk4x3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bk4x3.opb
IDLAUNCH: 21472
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        716444 kB
Buffers:         32484 kB
Cached:         264952 kB
SwapCached:        472 kB
Active:          71656 kB
Inactive:       227784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716192 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13196 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:48:57 (client local time) WITH STATUS 143 IN 1218.31 SECONDS
stats: 21472 7 1218.31 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/wulflinc5/normalized-mps-v2-13-7-bk4x3.opb
c reading problem ... done. Time 0.612 ms.
c #vars     252
c #constraints  26
c starts	: 4
c conflicts	: 680
c decisions	: 4126
c propagations	: 34496
c inspects	: 3592703
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 680
c root simplifications	: 684
s UNKNOWN
c Total CPU time (ms) : 1219.101
#### 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.99 1.00 1.00 2/54 23825
Raw data (stat): 23825 (runsolver) R 23824 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781380041 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.0006 s]
Raw data (loadavg): 1.30 1.06 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18167 0 1 0 771 42 0 0 18 0 11 0 781380041 877113344 24219 4294967295 134512640 134569956 3221224368 3221214672 1131351019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214139 24219 13086 16 0 214123 0
vsize: 856556
[startup+20.0018 s]
Raw data (loadavg): 1.25 1.06 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 1746 42 0 0 25 0 11 0 781380041 868028416 22129 4294967295 134512640 134569956 3221224368 3221214672 1131340651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 22129 13086 16 0 211905 0
vsize: 847684
[startup+30.002 s]
Raw data (loadavg): 1.21 1.06 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 2712 42 0 0 25 0 11 0 781380041 868028416 22228 4294967295 134512640 134569956 3221224368 3221214672 1131357459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22228 13086 16 0 211905 0
vsize: 847684
[startup+40.0021 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 3682 42 0 0 25 0 11 0 781380041 868028416 22454 4294967295 134512640 134569956 3221224368 3221214672 1131353508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22454 13086 16 0 211905 0
vsize: 847684
[startup+50.003 s]
Raw data (loadavg): 1.15 1.05 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 4664 42 0 0 25 0 11 0 781380041 868028416 22527 4294967295 134512640 134569956 3221224368 3221214672 1131357448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22527 13086 16 0 211905 0
vsize: 847684
[startup+60.0033 s]
Raw data (loadavg): 1.13 1.05 1.02 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 5649 43 0 0 25 0 11 0 781380041 868028416 22570 4294967295 134512640 134569956 3221224368 3221214672 1131357459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22570 13086 16 0 211905 0
vsize: 847684
[startup+70.0041 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18168 0 1 0 6637 43 0 0 25 0 11 0 781380041 868028416 22632 4294967295 134512640 134569956 3221224368 3221214672 1131357272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22632 13086 16 0 211905 0
vsize: 847684
[startup+80.0052 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 7626 43 0 0 25 0 11 0 781380041 868028416 22663 4294967295 134512640 134569956 3221224368 3221214672 1131353826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22663 13086 16 0 211905 0
vsize: 847684
[startup+90.0045 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 8616 43 0 0 25 0 11 0 781380041 868028416 22689 4294967295 134512640 134569956 3221224368 3221214672 1131342435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22689 13086 16 0 211905 0
vsize: 847684
[startup+100.006 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 9606 43 0 0 25 0 11 0 781380041 868028416 22712 4294967295 134512640 134569956 3221224368 3221214672 1131353826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22712 13086 16 0 211905 0
vsize: 847684
[startup+110.006 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 10595 43 0 0 25 0 11 0 781380041 868028416 22734 4294967295 134512640 134569956 3221224368 3221214672 1131349486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22734 13086 16 0 211905 0
vsize: 847684
[startup+120.008 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 11581 43 0 0 25 0 11 0 781380041 868028416 22755 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22755 13086 16 0 211905 0
vsize: 847684
[startup+130.008 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 12568 43 0 0 25 0 11 0 781380041 868028416 22775 4294967295 134512640 134569956 3221224368 3221214672 1131350303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22775 13086 16 0 211905 0
vsize: 847684
[startup+140.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 13556 43 0 0 25 0 11 0 781380041 868028416 22845 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22845 13086 16 0 211905 0
vsize: 847684
[startup+150.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 14547 43 0 0 25 0 11 0 781380041 868028416 22863 4294967295 134512640 134569956 3221224368 3221214672 1131353908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22863 13086 16 0 211905 0
vsize: 847684
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 15538 43 0 0 25 0 11 0 781380041 868028416 22880 4294967295 134512640 134569956 3221224368 3221214672 1131348718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22880 13086 16 0 211905 0
vsize: 847684
[startup+170.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 16530 43 0 0 25 0 11 0 781380041 868028416 22895 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22895 13086 16 0 211905 0
vsize: 847684
[startup+180.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 17521 43 0 0 25 0 11 0 781380041 868028416 22912 4294967295 134512640 134569956 3221224368 3221214672 1131349579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22912 13086 16 0 211905 0
vsize: 847684
[startup+190.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 18511 43 0 0 25 0 11 0 781380041 868028416 22927 4294967295 134512640 134569956 3221224368 3221214672 1131354628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22927 13086 16 0 211905 0
vsize: 847684
[startup+200.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 19502 43 0 0 25 0 11 0 781380041 868028416 22942 4294967295 134512640 134569956 3221224368 3221214672 1131354571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22942 13086 16 0 211905 0
vsize: 847684
[startup+210.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 20493 44 0 0 25 0 11 0 781380041 868028416 22961 4294967295 134512640 134569956 3221224368 3221214672 1131341435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22961 13086 16 0 211905 0
vsize: 847684
[startup+220.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 21484 44 0 0 25 0 11 0 781380041 868028416 22974 4294967295 134512640 134569956 3221224368 3221214672 1131341588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22974 13086 16 0 211905 0
vsize: 847684
[startup+230.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 22476 44 0 0 25 0 11 0 781380041 868028416 22987 4294967295 134512640 134569956 3221224368 3221214672 1131340583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 22987 13086 16 0 211905 0
vsize: 847684
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 23467 44 0 0 25 0 11 0 781380041 868028416 23001 4294967295 134512640 134569956 3221224368 3221214672 1131351061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23001 13086 16 0 211905 0
vsize: 847684
[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 24458 44 0 0 25 0 11 0 781380041 868028416 23014 4294967295 134512640 134569956 3221224368 3221214672 1131357231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23014 13086 16 0 211905 0
vsize: 847684
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 25450 44 0 0 25 0 11 0 781380041 868028416 23027 4294967295 134512640 134569956 3221224368 3221214672 1131357570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23027 13086 16 0 211905 0
vsize: 847684
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 26442 44 0 0 25 0 11 0 781380041 868028416 23038 4294967295 134512640 134569956 3221224368 3221214672 1131353789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23038 13086 16 0 211905 0
vsize: 847684
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 27433 44 0 0 25 0 11 0 781380041 868028416 23049 4294967295 134512640 134569956 3221224368 3221214672 1131353852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23049 13086 16 0 211905 0
vsize: 847684
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 28424 44 0 0 25 0 11 0 781380041 868028416 23062 4294967295 134512640 134569956 3221224368 3221214672 1131348718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23062 13086 16 0 211905 0
vsize: 847684
[startup+300.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 29415 44 0 0 21 0 11 0 781380041 868028416 23074 4294967295 134512640 134569956 3221224368 3221214672 1131345995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23074 13086 16 0 211905 0
vsize: 847684
[startup+310.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 30407 44 0 0 25 0 11 0 781380041 868028416 23085 4294967295 134512640 134569956 3221224368 3221214672 1131354693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23085 13086 16 0 211905 0
vsize: 847684
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 31397 45 0 0 25 0 11 0 781380041 868028416 23096 4294967295 134512640 134569956 3221224368 3221214672 1131350191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23096 13086 16 0 211905 0
vsize: 847684
[startup+330.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 32389 45 0 0 25 0 11 0 781380041 868028416 23107 4294967295 134512640 134569956 3221224368 3221214672 1131351234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23107 13086 16 0 211905 0
vsize: 847684
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 33380 45 0 0 25 0 11 0 781380041 868028416 23117 4294967295 134512640 134569956 3221224368 3221214672 1131354758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23117 13086 16 0 211905 0
vsize: 847684
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 34371 45 0 0 25 0 11 0 781380041 868028416 23128 4294967295 134512640 134569956 3221224368 3221214672 1131341581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23128 13086 16 0 211905 0
vsize: 847684
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 35362 45 0 0 25 0 11 0 781380041 868028416 23139 4294967295 134512640 134569956 3221224368 3221214672 1131345230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23139 13086 16 0 211905 0
vsize: 847684
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 36354 45 0 0 25 0 11 0 781380041 868028416 23149 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23149 13086 16 0 211905 0
vsize: 847684
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 37346 45 0 0 25 0 11 0 781380041 868028416 23158 4294967295 134512640 134569956 3221224368 3221214672 1131349582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23158 13086 16 0 211905 0
vsize: 847684
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 38337 45 0 0 25 0 11 0 781380041 868028416 23167 4294967295 134512640 134569956 3221224368 3221214672 1131353811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23167 13086 16 0 211905 0
vsize: 847684
[startup+400.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 39325 46 0 0 25 0 11 0 781380041 868028416 23177 4294967295 134512640 134569956 3221224368 3221214672 1131348711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23177 13086 16 0 211905 0
vsize: 847684
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 40308 46 0 0 25 0 11 0 781380041 868028416 23188 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23188 13086 16 0 211905 0
vsize: 847684
[startup+420.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 41290 46 0 0 25 0 11 0 781380041 868028416 23220 4294967295 134512640 134569956 3221224368 3221214672 1131345212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23220 13086 16 0 211905 0
vsize: 847684
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 42276 46 0 0 24 0 11 0 781380041 868028416 23284 4294967295 134512640 134569956 3221224368 3221214592 1131187529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23284 13086 16 0 211905 0
vsize: 847684
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 43267 46 0 0 25 0 11 0 781380041 868028416 23317 4294967295 134512640 134569956 3221224368 3221214672 1131344901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23317 13086 16 0 211905 0
vsize: 847684
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 44258 46 0 0 25 0 11 0 781380041 868028416 23325 4294967295 134512640 134569956 3221224368 3221214672 1131342477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23325 13086 16 0 211905 0
vsize: 847684
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 45249 46 0 0 25 0 11 0 781380041 868028416 23334 4294967295 134512640 134569956 3221224368 3221214672 1131357459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23334 13086 16 0 211905 0
vsize: 847684
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 46240 46 0 0 25 0 11 0 781380041 868028416 23345 4294967295 134512640 134569956 3221224368 3221214672 1131343340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23345 13086 16 0 211905 0
vsize: 847684
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 47230 46 0 0 25 0 11 0 781380041 868028416 23352 4294967295 134512640 134569956 3221224368 3221214672 1131341655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23352 13086 16 0 211905 0
vsize: 847684
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 48221 46 0 0 25 0 11 0 781380041 868028416 23362 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23362 13086 16 0 211905 0
vsize: 847684
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 49211 46 0 0 25 0 11 0 781380041 868028416 23371 4294967295 134512640 134569956 3221224368 3221214672 1131351304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23371 13086 16 0 211905 0
vsize: 847684
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 50202 46 0 0 25 0 11 0 781380041 868028416 23378 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23378 13086 16 0 211905 0
vsize: 847684
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 51193 46 0 0 25 0 11 0 781380041 868028416 23388 4294967295 134512640 134569956 3221224368 3221214672 1131348426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23388 13086 16 0 211905 0
vsize: 847684
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 52183 46 0 0 25 0 11 0 781380041 868028416 23395 4294967295 134512640 134569956 3221224368 3221214672 1131340257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23395 13086 16 0 211905 0
vsize: 847684
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 53175 46 0 0 25 0 11 0 781380041 868028416 23403 4294967295 134512640 134569956 3221224368 3221214672 1131351244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23403 13086 16 0 211905 0
vsize: 847684
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 54164 47 0 0 25 0 11 0 781380041 868028416 23412 4294967295 134512640 134569956 3221224368 3221214672 1131342477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23412 13086 16 0 211905 0
vsize: 847684
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 55154 47 0 0 24 0 11 0 781380041 868028416 23420 4294967295 134512640 134569956 3221224368 3221214672 1131340651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23420 13086 16 0 211905 0
vsize: 847684
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 56143 47 0 0 25 0 11 0 781380041 868028416 23427 4294967295 134512640 134569956 3221224368 3221214672 1131345995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23427 13086 16 0 211905 0
vsize: 847684
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 57132 47 0 0 25 0 11 0 781380041 868028416 23437 4294967295 134512640 134569956 3221224368 3221214672 1131354819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23437 13086 16 0 211905 0
vsize: 847684
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 58122 48 0 0 25 0 11 0 781380041 868028416 23444 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23444 13086 16 0 211905 0
vsize: 847684
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 59111 48 0 0 25 0 11 0 781380041 868028416 23452 4294967295 134512640 134569956 3221224368 3221214672 1131342686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23452 13086 16 0 211905 0
vsize: 847684
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 60100 49 0 0 25 0 11 0 781380041 868028416 23459 4294967295 134512640 134569956 3221224368 3221214672 1131354920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23459 13086 16 0 211905 0
vsize: 847684
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 61089 49 0 0 25 0 11 0 781380041 868028416 23467 4294967295 134512640 134569956 3221224368 3221214672 1131341557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23467 13086 16 0 211905 0
vsize: 847684
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 62078 49 0 0 25 0 11 0 781380041 868028416 23474 4294967295 134512640 134569956 3221224368 3221214672 1131353609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23474 13086 16 0 211905 0
vsize: 847684
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 63067 50 0 0 25 0 11 0 781380041 868028416 23485 4294967295 134512640 134569956 3221224368 3221214672 1131354693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23485 13086 16 0 211905 0
vsize: 847684
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 64056 50 0 0 25 0 11 0 781380041 868028416 23492 4294967295 134512640 134569956 3221224368 3221214672 1131348711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23492 13086 16 0 211905 0
vsize: 847684
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 65045 51 0 0 25 0 11 0 781380041 868028416 23500 4294967295 134512640 134569956 3221224368 3221214672 1131354788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23500 13086 16 0 211905 0
vsize: 847684
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 66034 51 0 0 25 0 11 0 781380041 868028416 23507 4294967295 134512640 134569956 3221224368 3221214672 1131346037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23507 13086 16 0 211905 0
vsize: 847684
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 67024 52 0 0 25 0 11 0 781380041 868028416 23515 4294967295 134512640 134569956 3221224368 3221214672 1131351010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23515 13086 16 0 211905 0
vsize: 847684
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 68012 52 0 0 25 0 11 0 781380041 868028416 23522 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23522 13086 16 0 211905 0
vsize: 847684
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 69001 52 0 0 25 0 11 0 781380041 868028416 23530 4294967295 134512640 134569956 3221224368 3221214672 1131349626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23530 13086 16 0 211905 0
vsize: 847684
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 69991 53 0 0 25 0 11 0 781380041 868028416 23537 4294967295 134512640 134569956 3221224368 3221214608 1131195520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23537 13086 16 0 211905 0
vsize: 847684
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 70979 53 0 0 25 0 11 0 781380041 868028416 23545 4294967295 134512640 134569956 3221224368 3221214672 1131342477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23545 13086 16 0 211905 0
vsize: 847684
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 71969 54 0 0 25 0 11 0 781380041 868028416 23550 4294967295 134512640 134569956 3221224368 3221214672 1131346035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23550 13086 16 0 211905 0
vsize: 847684
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 72959 54 0 0 25 0 11 0 781380041 868028416 23558 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23558 13086 16 0 211905 0
vsize: 847684
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 73947 55 0 0 25 0 11 0 781380041 868028416 23565 4294967295 134512640 134569956 3221224368 3221214672 1131340579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23565 13086 16 0 211905 0
vsize: 847684
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 74937 56 0 0 25 0 11 0 781380041 868028416 23571 4294967295 134512640 134569956 3221224368 3221214672 1131351061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23571 13086 16 0 211905 0
vsize: 847684
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 75926 56 0 0 25 0 11 0 781380041 868028416 23578 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23578 13086 16 0 211905 0
vsize: 847684
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 76914 56 0 0 25 0 11 0 781380041 868028416 23586 4294967295 134512640 134569956 3221224368 3221214672 1131353826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23586 13086 16 0 211905 0
vsize: 847684
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 77904 57 0 0 25 0 11 0 781380041 868028416 23591 4294967295 134512640 134569956 3221224368 3221214672 1131353635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23591 13086 16 0 211905 0
vsize: 847684
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 78892 58 0 0 25 0 11 0 781380041 868028416 23599 4294967295 134512640 134569956 3221224368 3221214672 1131348693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23599 13086 16 0 211905 0
vsize: 847684
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 79881 59 0 0 25 0 11 0 781380041 868028416 23605 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23605 13086 16 0 211905 0
vsize: 847684
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 80870 60 0 0 25 0 11 0 781380041 868028416 23612 4294967295 134512640 134569956 3221224368 3221214672 1131351174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23612 13086 16 0 211905 0
vsize: 847684
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 81859 61 0 0 25 0 11 0 781380041 868028416 23620 4294967295 134512640 134569956 3221224368 3221214760 1131202386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23620 13086 16 0 211905 0
vsize: 847684
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 82848 61 0 0 25 0 11 0 781380041 868028416 23625 4294967295 134512640 134569956 3221224368 3221214672 1131348530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23625 13086 16 0 211905 0
vsize: 847684
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 83837 62 0 0 25 0 11 0 781380041 868028416 23631 4294967295 134512640 134569956 3221224368 3221214672 1131357430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211921 23631 13086 16 0 211905 0
vsize: 847684
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 84827 62 0 0 25 0 11 0 781380041 868028416 23638 4294967295 134512640 134569956 3221224368 3221214568 1131188674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23638 13086 16 0 211905 0
vsize: 847684
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 85816 62 0 0 25 0 11 0 781380041 868028416 23644 4294967295 134512640 134569956 3221224368 3221214672 1131349959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23644 13086 16 0 211905 0
vsize: 847684
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 86805 63 0 0 25 0 11 0 781380041 868028416 23651 4294967295 134512640 134569956 3221224368 3221214672 1131349549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23651 13086 16 0 211905 0
vsize: 847684
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 87794 63 0 0 25 0 11 0 781380041 868028416 23657 4294967295 134512640 134569956 3221224368 3221214672 1131345871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23657 13086 16 0 211905 0
vsize: 847684
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 88783 64 0 0 25 0 11 0 781380041 868028416 23665 4294967295 134512640 134569956 3221224368 3221214672 1131342477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23665 13086 16 0 211905 0
vsize: 847684
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 89772 64 0 0 25 0 11 0 781380041 868028416 23670 4294967295 134512640 134569956 3221224368 3221214672 1131350254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23670 13086 16 0 211905 0
vsize: 847684
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 90762 65 0 0 25 0 11 0 781380041 868028416 23676 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23676 13086 16 0 211905 0
vsize: 847684
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 91751 65 0 0 25 0 11 0 781380041 868028416 23683 4294967295 134512640 134569956 3221224368 3221214672 1131345165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23683 13086 16 0 211905 0
vsize: 847684
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 92740 65 0 0 25 0 11 0 781380041 868028416 23689 4294967295 134512640 134569956 3221224368 3221214672 1131342477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23689 13086 16 0 211905 0
vsize: 847684
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 93730 65 0 0 25 0 11 0 781380041 868028416 23695 4294967295 134512640 134569956 3221224368 3221214672 1131351316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23695 13086 16 0 211905 0
vsize: 847684
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 94719 66 0 0 25 0 11 0 781380041 868028416 23700 4294967295 134512640 134569956 3221224368 3221214856 1131256151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23700 13086 16 0 211905 0
vsize: 847684
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 95708 66 0 0 25 0 11 0 781380041 868028416 23706 4294967295 134512640 134569956 3221224368 3221214672 1131355002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23706 13086 16 0 211905 0
vsize: 847684
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 96696 67 0 0 25 0 11 0 781380041 868028416 23713 4294967295 134512640 134569956 3221224368 3221214672 1131353880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23713 13086 16 0 211905 0
vsize: 847684
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 97684 68 0 0 25 0 11 0 781380041 868028416 23719 4294967295 134512640 134569956 3221224368 3221214672 1131348426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23719 13086 16 0 211905 0
vsize: 847684
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 98674 68 0 0 25 0 11 0 781380041 868028416 23725 4294967295 134512640 134569956 3221224368 3221214672 1131341507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23725 13086 16 0 211905 0
vsize: 847684
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 99662 69 0 0 25 0 11 0 781380041 868028416 23730 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23730 13086 16 0 211905 0
vsize: 847684
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 100652 69 0 0 25 0 11 0 781380041 868028416 23736 4294967295 134512640 134569956 3221224368 3221214672 1131351110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23736 13086 16 0 211905 0
vsize: 847684
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 101640 70 0 0 25 0 11 0 781380041 868028416 23743 4294967295 134512640 134569956 3221224368 3221214672 1131346037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23743 13086 16 0 211905 0
vsize: 847684
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 102629 70 0 0 25 0 11 0 781380041 868028416 23749 4294967295 134512640 134569956 3221224368 3221214672 1131354737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23749 13086 16 0 211905 0
vsize: 847684
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 103618 70 0 0 25 0 11 0 781380041 868028416 23755 4294967295 134512640 134569956 3221224368 3221214672 1131345995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23755 13086 16 0 211905 0
vsize: 847684
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 104607 71 0 0 25 0 11 0 781380041 868028416 23760 4294967295 134512640 134569956 3221224368 3221214672 1131345928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23760 13086 16 0 211905 0
vsize: 847684
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 105596 71 0 0 25 0 11 0 781380041 868028416 23766 4294967295 134512640 134569956 3221224368 3221214672 1131345895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23766 13086 16 0 211905 0
vsize: 847684
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 106585 71 0 0 25 0 11 0 781380041 868028416 23771 4294967295 134512640 134569956 3221224368 3221214672 1131345956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23771 13086 16 0 211905 0
vsize: 847684
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 107573 72 0 0 24 0 11 0 781380041 868028416 23777 4294967295 134512640 134569956 3221224368 3221214672 1131350982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23777 13086 16 0 211905 0
vsize: 847684
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 108562 72 0 0 24 0 11 0 781380041 868028416 23783 4294967295 134512640 134569956 3221224368 3221214672 1131346270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23783 13086 16 0 211905 0
vsize: 847684
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 109550 73 0 0 24 0 11 0 781380041 868028416 23788 4294967295 134512640 134569956 3221224368 3221214672 1131346220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23788 13086 16 0 211905 0
vsize: 847684
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 110539 73 0 0 24 0 11 0 781380041 868028416 23794 4294967295 134512640 134569956 3221224368 3221214672 1131354737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23794 13086 16 0 211905 0
vsize: 847684
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 111527 73 0 0 24 0 11 0 781380041 868028416 23800 4294967295 134512640 134569956 3221224368 3221214672 1131349594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23800 13086 16 0 211905 0
vsize: 847684
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) S 23824 7266 7265 0 -1 0 18169 0 1 0 112516 74 0 0 25 0 11 0 781380041 868028416 23805 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23805 13086 16 0 211905 0
vsize: 847684
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 113503 75 0 0 25 0 11 0 781380041 868028416 23811 4294967295 134512640 134569956 3221224368 3221214672 1131350155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23811 13086 16 0 211905 0
vsize: 847684
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 114492 75 0 0 25 0 11 0 781380041 868028416 23816 4294967295 134512640 134569956 3221224368 3221214672 1131353811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23816 13086 16 0 211905 0
vsize: 847684
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 115481 76 0 0 25 0 11 0 781380041 868028416 23822 4294967295 134512640 134569956 3221224368 3221214672 1131348722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23822 13086 16 0 211905 0
vsize: 847684
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 116470 76 0 0 25 0 11 0 781380041 868028416 23828 4294967295 134512640 134569956 3221224368 3221214672 1131341605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23828 13086 16 0 211905 0
vsize: 847684
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 117458 76 0 0 25 0 11 0 781380041 868028416 23833 4294967295 134512640 134569956 3221224368 3221214672 1131340586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23833 13086 16 0 211905 0
vsize: 847684
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 118446 77 0 0 25 0 11 0 781380041 868028416 23837 4294967295 134512640 134569956 3221224368 3221214248 1131328828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23837 13086 16 0 211905 0
vsize: 847684
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 119434 77 0 0 25 0 11 0 781380041 868028416 23843 4294967295 134512640 134569956 3221224368 3221214672 1131357459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23843 13086 16 0 211905 0
vsize: 847684
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23835
Raw data (stat): 23825 (java) R 23824 7266 7265 0 -1 0 18169 0 1 0 120422 78 0 0 25 0 11 0 781380041 868028416 23848 4294967295 134512640 134569956 3221224368 3221214672 1131353839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211921 23848 13086 16 0 211905 0
vsize: 847684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23837
Raw data (stat): 23825 (java) Z 23824 7266 7265 0 -1 1036 18169 2197 1 0 120426 78 1307 19 25 0 1 0 781380041 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): 1220.15
CPU time (s): 1218.31
CPU user time (s): 1217.34
CPU system time (s): 0.975851
CPU usage (%): 99.8498
Max. virtual memory (Kb): 856556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####