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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 29618

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        387712 kB
Buffers:         32120 kB
Cached:         587352 kB
SwapCached:        416 kB
Active:         150496 kB
Inactive:       471256 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        387460 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19524 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:55:43 (client local time) WITH STATUS 143 IN 1312.05 SECONDS
stats: 21015 7 1312.05 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/wulflinc19/normalized-mps-v2-20-10-sp97ar.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.14
#### 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): 1.05 1.00 1.00 2/54 22460
Raw data (stat): 22460 (runsolver) R 22459 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837825469 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.0009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 870 41 0 0 25 0 10 0 837825469 853884928 19384 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19384 13086 16 0 208452 0
vsize: 833872
[startup+20.0016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 1762 42 0 0 25 0 10 0 837825469 853884928 19896 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 19896 13086 16 0 208452 0
vsize: 833872
[startup+30.0021 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 2657 42 0 0 25 0 10 0 837825469 853884928 20402 4294967295 134512640 134569956 3221224368 3221214648 1131192989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20402 13086 16 0 208452 0
vsize: 833872
[startup+40.0033 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 3571 42 0 0 25 0 10 0 837825469 853884928 20700 4294967295 134512640 134569956 3221224368 3221214768 1131236474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20700 13086 16 0 208452 0
vsize: 833872
[startup+50.0054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 4491 42 0 0 25 0 10 0 837825469 853884928 20866 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20866 13086 16 0 208452 0
vsize: 833872
[startup+60.0054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 5405 43 0 0 25 0 10 0 837825469 853884928 20999 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20999 13086 16 0 208452 0
vsize: 833872
[startup+70.0057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 6336 44 0 0 25 0 10 0 837825469 853884928 21239 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21239 13086 16 0 208452 0
vsize: 833872
[startup+80.0065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 7273 44 0 0 25 0 10 0 837825469 853884928 21342 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21342 13086 16 0 208452 0
vsize: 833872
[startup+90.0069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 8212 45 0 0 24 0 10 0 837825469 853884928 21437 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21437 13086 16 0 208452 0
vsize: 833872
[startup+100.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 9156 45 0 0 25 0 10 0 837825469 853884928 21520 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21520 13086 16 0 208452 0
vsize: 833872
[startup+110.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 10096 46 0 0 25 0 10 0 837825469 853884928 21603 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21603 13086 16 0 208452 0
vsize: 833872
[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 11037 46 0 0 25 0 10 0 837825469 853884928 21680 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21680 13086 16 0 208452 0
vsize: 833872
[startup+130.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 11981 47 0 0 25 0 10 0 837825469 853884928 21749 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21749 13086 16 0 208452 0
vsize: 833872
[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 12922 47 0 0 25 0 10 0 837825469 853884928 21819 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21819 13086 16 0 208452 0
vsize: 833872
[startup+150.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 13863 47 0 0 25 0 10 0 837825469 853884928 21887 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21887 13086 16 0 208452 0
vsize: 833872
[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 14804 48 0 0 24 0 10 0 837825469 853884928 21952 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21952 13086 16 0 208452 0
vsize: 833872
[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 15744 48 0 0 25 0 10 0 837825469 853884928 22011 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22011 13086 16 0 208452 0
vsize: 833872
[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 16655 48 0 0 25 0 10 0 837825469 853884928 22069 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22069 13086 16 0 208452 0
vsize: 833872
[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 17578 48 0 0 25 0 10 0 837825469 853884928 22383 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22383 13086 16 0 208452 0
vsize: 833872
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 18516 49 0 0 25 0 10 0 837825469 853884928 22438 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22438 13086 16 0 208452 0
vsize: 833872
[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 19457 49 0 0 25 0 10 0 837825469 853884928 22492 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22492 13086 16 0 208452 0
vsize: 833872
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 20393 50 0 0 25 0 10 0 837825469 853884928 22545 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22545 13086 16 0 208452 0
vsize: 833872
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 21331 50 0 0 25 0 10 0 837825469 853884928 22596 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22596 13086 16 0 208452 0
vsize: 833872
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 22270 51 0 0 25 0 10 0 837825469 853884928 22647 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22647 13086 16 0 208452 0
vsize: 833872
[startup+250.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 23205 51 0 0 25 0 10 0 837825469 853884928 22697 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22697 13086 16 0 208452 0
vsize: 833872
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 24144 51 0 0 25 0 10 0 837825469 853884928 22743 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22743 13086 16 0 208452 0
vsize: 833872
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 25080 52 0 0 25 0 10 0 837825469 853884928 22791 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22791 13086 16 0 208452 0
vsize: 833872
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 26014 52 0 0 25 0 10 0 837825469 853884928 22837 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22837 13086 16 0 208452 0
vsize: 833872
[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 26952 53 0 0 25 0 10 0 837825469 853884928 22881 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22881 13086 16 0 208452 0
vsize: 833872
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 27885 53 0 0 25 0 10 0 837825469 853884928 22926 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22926 13086 16 0 208452 0
vsize: 833872
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 28819 53 0 0 25 0 10 0 837825469 853884928 22969 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 22969 13086 16 0 208452 0
vsize: 833872
[startup+320.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 29755 54 0 0 25 0 10 0 837825469 853884928 23011 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23011 13086 16 0 208452 0
vsize: 833872
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 30687 54 0 0 25 0 10 0 837825469 853884928 23054 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23054 13086 16 0 208452 0
vsize: 833872
[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 31623 55 0 0 25 0 10 0 837825469 853884928 23093 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23093 13086 16 0 208452 0
vsize: 833872
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 32554 56 0 0 25 0 10 0 837825469 853884928 23136 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23136 13086 16 0 208452 0
vsize: 833872
[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 33490 56 0 0 25 0 10 0 837825469 853884928 23174 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23174 13086 16 0 208452 0
vsize: 833872
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 34419 57 0 0 25 0 10 0 837825469 853884928 23214 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23214 13086 16 0 208452 0
vsize: 833872
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 35355 57 0 0 25 0 10 0 837825469 853884928 23251 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23251 13086 16 0 208452 0
vsize: 833872
[startup+390.041 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 36285 58 0 0 25 0 10 0 837825469 853884928 23290 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23290 13086 16 0 208452 0
vsize: 833872
[startup+400.046 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 37218 59 0 0 25 0 10 0 837825469 853884928 23327 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23327 13086 16 0 208452 0
vsize: 833872
[startup+410.047 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 38146 59 0 0 24 0 10 0 837825469 853884928 23365 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23365 13086 16 0 208452 0
vsize: 833872
[startup+420.047 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 39079 60 0 0 25 0 10 0 837825469 853884928 23400 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23400 13086 16 0 208452 0
vsize: 833872
[startup+430.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 40007 60 0 0 24 0 10 0 837825469 853884928 23437 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23437 13086 16 0 208452 0
vsize: 833872
[startup+440.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 40939 61 0 0 25 0 10 0 837825469 853884928 23471 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23471 13086 16 0 208452 0
vsize: 833872
[startup+450.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 41870 61 0 0 25 0 10 0 837825469 853884928 23505 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23505 13086 16 0 208452 0
vsize: 833872
[startup+460.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 42797 61 0 0 25 0 10 0 837825469 853884928 23541 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23541 13086 16 0 208452 0
vsize: 833872
[startup+470.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 43728 62 0 0 25 0 10 0 837825469 853884928 23574 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23574 13086 16 0 208452 0
vsize: 833872
[startup+480.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 44653 62 0 0 25 0 10 0 837825469 853884928 23608 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23608 13086 16 0 208452 0
vsize: 833872
[startup+490.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 45582 63 0 0 25 0 10 0 837825469 853884928 23643 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23643 13086 16 0 208452 0
vsize: 833872
[startup+500.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 46511 63 0 0 25 0 10 0 837825469 853884928 23675 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23675 13086 16 0 208452 0
vsize: 833872
[startup+510.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 47436 63 0 0 25 0 10 0 837825469 853884928 23709 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23709 13086 16 0 208452 0
vsize: 833872
[startup+520.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 48364 64 0 0 25 0 10 0 837825469 853884928 23740 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23740 13086 16 0 208452 0
vsize: 833872
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 49292 64 0 0 25 0 10 0 837825469 853884928 23772 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23772 13086 16 0 208452 0
vsize: 833872
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 50215 65 0 0 24 0 10 0 837825469 853884928 23804 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23804 13086 16 0 208452 0
vsize: 833872
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 51141 65 0 0 25 0 10 0 837825469 853884928 23835 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23835 13086 16 0 208452 0
vsize: 833872
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 52068 65 0 0 25 0 10 0 837825469 853884928 23865 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23865 13086 16 0 208452 0
vsize: 833872
[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 52992 66 0 0 25 0 10 0 837825469 853884928 23896 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23896 13086 16 0 208452 0
vsize: 833872
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 53916 66 0 0 25 0 10 0 837825469 853884928 23927 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23927 13086 16 0 208452 0
vsize: 833872
[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 54843 66 0 0 25 0 10 0 837825469 853884928 23956 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23956 13086 16 0 208452 0
vsize: 833872
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 55767 67 0 0 25 0 10 0 837825469 853884928 23986 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 23986 13086 16 0 208452 0
vsize: 833872
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 56687 67 0 0 24 0 10 0 837825469 853884928 24016 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24016 13086 16 0 208452 0
vsize: 833872
[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 57613 67 0 0 25 0 10 0 837825469 853884928 24045 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24045 13086 16 0 208452 0
vsize: 833872
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 58537 68 0 0 25 0 10 0 837825469 853884928 24074 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24074 13086 16 0 208452 0
vsize: 833872
[startup+640.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 59461 68 0 0 25 0 10 0 837825469 853884928 24102 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24102 13086 16 0 208452 0
vsize: 833872
[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 60381 68 0 0 24 0 10 0 837825469 853884928 24132 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24132 13086 16 0 208452 0
vsize: 833872
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 61304 69 0 0 25 0 10 0 837825469 853884928 24161 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 24161 13086 16 0 208452 0
vsize: 833872
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 62221 70 0 0 25 0 10 0 837825469 853884928 25070 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25070 13086 16 0 208452 0
vsize: 833872
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 63139 70 0 0 25 0 10 0 837825469 853884928 25070 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25070 13086 16 0 208452 0
vsize: 833872
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 64053 71 0 0 25 0 10 0 837825469 853884928 25097 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25097 13086 16 0 208452 0
vsize: 833872
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 64964 71 0 0 22 0 10 0 837825469 853884928 25124 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25124 13086 16 0 208452 0
vsize: 833872
[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 65876 72 0 0 25 0 10 0 837825469 853884928 25151 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25151 13086 16 0 208452 0
vsize: 833872
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 66788 72 0 0 25 0 10 0 837825469 853884928 25177 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25177 13086 16 0 208452 0
vsize: 833872
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 67700 72 0 0 25 0 10 0 837825469 853884928 25204 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25204 13086 16 0 208452 0
vsize: 833872
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 68612 72 0 0 25 0 10 0 837825469 853884928 25230 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25230 13086 16 0 208452 0
vsize: 833872
[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 69523 73 0 0 25 0 10 0 837825469 853884928 25256 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25256 13086 16 0 208452 0
vsize: 833872
[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 70433 73 0 0 25 0 10 0 837825469 853884928 25282 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25282 13086 16 0 208452 0
vsize: 833872
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 71343 74 0 0 25 0 10 0 837825469 853884928 25308 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25308 13086 16 0 208452 0
vsize: 833872
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 72253 74 0 0 25 0 10 0 837825469 853884928 25333 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25333 13086 16 0 208452 0
vsize: 833872
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 73163 75 0 0 25 0 10 0 837825469 853884928 25359 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25359 13086 16 0 208452 0
vsize: 833872
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 74072 75 0 0 25 0 10 0 837825469 853884928 25384 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25384 13086 16 0 208452 0
vsize: 833872
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 74982 75 0 0 25 0 10 0 837825469 853884928 25409 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25409 13086 16 0 208452 0
vsize: 833872
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 75891 75 0 0 25 0 10 0 837825469 853884928 25433 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25433 13086 16 0 208452 0
vsize: 833872
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 76802 76 0 0 25 0 10 0 837825469 853884928 25458 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25458 13086 16 0 208452 0
vsize: 833872
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 77712 76 0 0 25 0 10 0 837825469 853884928 25482 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25482 13086 16 0 208452 0
vsize: 833872
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 78620 77 0 0 25 0 10 0 837825469 853884928 25506 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25506 13086 16 0 208452 0
vsize: 833872
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 79527 77 0 0 25 0 10 0 837825469 853884928 25532 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25532 13086 16 0 208452 0
vsize: 833872
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 80434 78 0 0 25 0 10 0 837825469 853884928 25556 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25556 13086 16 0 208452 0
vsize: 833872
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 81342 78 0 0 25 0 10 0 837825469 853884928 25580 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25580 13086 16 0 208452 0
vsize: 833872
[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 82250 78 0 0 25 0 10 0 837825469 853884928 25604 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25604 13086 16 0 208452 0
vsize: 833872
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 83157 78 0 0 24 0 10 0 837825469 853884928 25628 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25628 13086 16 0 208452 0
vsize: 833872
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 84069 79 0 0 25 0 10 0 837825469 853884928 25650 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25650 13086 16 0 208452 0
vsize: 833872
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 84975 80 0 0 25 0 10 0 837825469 853884928 25673 4294967295 134512640 134569956 3221224368 3221214136 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25673 13086 16 0 208452 0
vsize: 833872
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 85880 80 0 0 25 0 10 0 837825469 853884928 25697 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25697 13086 16 0 208452 0
vsize: 833872
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 86785 80 0 0 25 0 10 0 837825469 853884928 25720 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25720 13086 16 0 208452 0
vsize: 833872
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 87689 81 0 0 24 0 10 0 837825469 853884928 25749 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25749 13086 16 0 208452 0
vsize: 833872
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 88597 81 0 0 25 0 10 0 837825469 853884928 25774 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25774 13086 16 0 208452 0
vsize: 833872
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 89501 82 0 0 25 0 10 0 837825469 853884928 25798 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25798 13086 16 0 208452 0
vsize: 833872
[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 90405 82 0 0 25 0 10 0 837825469 853884928 25826 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25826 13086 16 0 208452 0
vsize: 833872
[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 91309 82 0 0 25 0 10 0 837825469 853884928 25849 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25849 13086 16 0 208452 0
vsize: 833872
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 92215 83 0 0 25 0 10 0 837825469 853884928 25879 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25879 13086 16 0 208452 0
vsize: 833872
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 93121 84 0 0 25 0 10 0 837825469 853884928 25901 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25901 13086 16 0 208452 0
vsize: 833872
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 94025 84 0 0 25 0 10 0 837825469 853884928 25923 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25923 13086 16 0 208452 0
vsize: 833872
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 94927 85 0 0 25 0 10 0 837825469 853884928 25956 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25956 13086 16 0 208452 0
vsize: 833872
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 95829 85 0 0 25 0 10 0 837825469 853884928 25978 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 25978 13086 16 0 208452 0
vsize: 833872
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 96737 85 0 0 25 0 10 0 837825469 853884928 26005 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26005 13086 16 0 208452 0
vsize: 833872
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 97639 86 0 0 25 0 10 0 837825469 853884928 26032 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26032 13086 16 0 208452 0
vsize: 833872
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 98539 86 0 0 25 0 10 0 837825469 853884928 26057 4294967295 134512640 134569956 3221224368 3221214232 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26057 13086 16 0 208452 0
vsize: 833872
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 99445 86 0 0 25 0 10 0 837825469 853884928 26079 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26079 13086 16 0 208452 0
vsize: 833872
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 100347 87 0 0 25 0 10 0 837825469 853884928 26107 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26107 13086 16 0 208452 0
vsize: 833872
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 101248 87 0 0 25 0 10 0 837825469 853884928 26132 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26132 13086 16 0 208452 0
vsize: 833872
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 102151 88 0 0 25 0 10 0 837825469 853884928 26156 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26156 13086 16 0 208452 0
vsize: 833872
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 103054 88 0 0 25 0 10 0 837825469 853884928 26181 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26181 13086 16 0 208452 0
vsize: 833872
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 103954 88 0 0 25 0 10 0 837825469 853884928 26205 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26205 13086 16 0 208452 0
vsize: 833872
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 104859 89 0 0 25 0 10 0 837825469 853884928 26227 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26227 13086 16 0 208452 0
vsize: 833872
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 105758 89 0 0 25 0 10 0 837825469 853884928 26253 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26253 13086 16 0 208452 0
vsize: 833872
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 106657 90 0 0 25 0 10 0 837825469 853884928 26277 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26277 13086 16 0 208452 0
vsize: 833872
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 107562 90 0 0 25 0 10 0 837825469 853884928 26299 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26299 13086 16 0 208452 0
vsize: 833872
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 108461 90 0 0 25 0 10 0 837825469 853884928 26320 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26320 13086 16 0 208452 0
vsize: 833872
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 109359 90 0 0 24 0 10 0 837825469 853884928 26349 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26349 13086 16 0 208452 0
vsize: 833872
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 110261 91 0 0 25 0 10 0 837825469 853884928 26371 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26371 13086 16 0 208452 0
vsize: 833872
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 111157 91 0 0 25 0 10 0 837825469 853884928 26395 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26395 13086 16 0 208452 0
vsize: 833872
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 112055 92 0 0 25 0 10 0 837825469 853884928 26417 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26417 13086 16 0 208452 0
vsize: 833872
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 112956 92 0 0 25 0 10 0 837825469 853884928 26437 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26437 13086 16 0 208452 0
vsize: 833872
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 113853 92 0 0 25 0 10 0 837825469 853884928 26457 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26457 13086 16 0 208452 0
vsize: 833872
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 114756 92 0 0 25 0 10 0 837825469 853884928 26476 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26476 13086 16 0 208452 0
vsize: 833872
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 115653 93 0 0 25 0 10 0 837825469 853884928 26508 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26508 13086 16 0 208452 0
vsize: 833872
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) S 22459 10795 10794 0 -1 0 18011 0 1 0 116555 93 0 0 25 0 10 0 837825469 853884928 26541 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26541 13086 16 0 208452 0
vsize: 833872
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 117453 94 0 0 25 0 10 0 837825469 853884928 26565 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26565 13086 16 0 208452 0
vsize: 833872
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 118353 94 0 0 24 0 10 0 837825469 853884928 26581 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26581 13086 16 0 208452 0
vsize: 833872
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 119259 95 0 0 25 0 10 0 837825469 853884928 26612 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26612 13086 16 0 208452 0
vsize: 833872
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22469
Raw data (stat): 22460 (java) R 22459 10795 10794 0 -1 0 18011 0 1 0 120161 95 0 0 25 0 10 0 837825469 853884928 26629 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 26629 13086 16 0 208452 0
vsize: 833872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22471
Raw data (stat): 22460 (java) Z 22459 10795 10794 0 -1 1036 18011 8880 1 0 120163 100 10896 44 25 0 1 0 837825469 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.17
CPU time (s): 1312.05
CPU user time (s): 1310.6
CPU system time (s): 1.44378
CPU usage (%): 100.143
Max. virtual memory (Kb): 833872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####