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-swath.opb
MD5SUM	12b1872758bf5ca9bcca815eb287b5de
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	16777216000000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	66042304016951
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.236963
Number of variables	9155
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7147
Number of constraints which are nor clauses,nor cardinality constraints	461
Minimum length of a constraint	1
Maximum length of a constraint	6754
Trace number 29612

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 09:33:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21017 boxname=wulflinc5 idbench=1005 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  12b1872758bf5ca9bcca815eb287b5de  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-swath.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-swath.opb
IDLAUNCH: 21017
/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:        784860 kB
Buffers:         25692 kB
Cached:         202656 kB
SwapCached:        472 kB
Active:          62660 kB
Inactive:       167780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        784608 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13700 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:53:51 (client local time) WITH STATUS 143 IN 1228.08 SECONDS
stats: 21017 7 1228.08 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-20-10-swath.opb
c reading problem ... done. Time 34.015 ms.
c #vars     9155
c #constraints  987
c starts	: 1
c conflicts	: 21
c decisions	: 6243
c propagations	: 23848
c inspects	: 110596
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1228.954
#### 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.00 1.02 1.00 1/54 21826
Raw data (stat): 21826 (runsolver) D 21825 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 779608170 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 21835
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18043 0 1 0 863 38 0 0 25 0 10 0 779608170 855121920 19317 4294967295 134512640 134569956 3221224368 3221214416 1076461005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208770 19317 13086 16 0 208754 0
vsize: 835080
[startup+20.0105 s]
Raw data (loadavg): 1.16 1.05 1.01 3/63 21835
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18049 0 1 0 1704 39 0 0 24 0 10 0 779608170 858083328 20566 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209493 20566 13086 16 0 209477 0
vsize: 837972
[startup+30.0118 s]
Raw data (loadavg): 1.13 1.05 1.01 2/63 21835
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18049 0 1 0 2577 39 0 0 25 0 10 0 779608170 855121920 20632 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 20632 13086 16 0 208754 0
vsize: 835080
[startup+40.0126 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 21836
Raw data (stat): 21826 (java) S 21825 7266 7265 0 -1 0 18085 0 1 0 3464 41 0 0 25 0 11 0 779608170 856248320 23958 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 23961 13086 16 0 209029 0
vsize: 836180
[startup+50.0127 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 4427 42 0 0 25 0 11 0 779608170 856248320 24889 4294967295 134512640 134569956 3221224368 3221214744 1131378446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 24889 13086 16 0 209029 0
vsize: 836180
[startup+60.0124 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 5353 42 0 0 25 0 11 0 779608170 856444928 25011 4294967295 134512640 134569956 3221224368 3221214592 1131260674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209093 25011 13086 16 0 209077 0
vsize: 836372
[startup+70.0127 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 6302 42 0 0 24 0 11 0 779608170 856248320 24903 4294967295 134512640 134569956 3221224368 3221214544 1131235472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 24903 13086 16 0 209029 0
vsize: 836180
[startup+80.0139 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 7246 42 0 0 25 0 11 0 779608170 856248320 24903 4294967295 134512640 134569956 3221224368 3221214776 1131397124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 24903 13086 16 0 209029 0
vsize: 836180
[startup+90.0138 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 8190 42 0 0 25 0 11 0 779608170 856248320 25065 4294967295 134512640 134569956 3221224368 3221214648 1131384034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 25065 13086 16 0 209029 0
vsize: 836180
[startup+100.014 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 9125 43 0 0 24 0 11 0 779608170 856248320 25181 4294967295 134512640 134569956 3221224368 3221214592 1131260204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 25181 13086 16 0 209029 0
vsize: 836180
[startup+110.014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 10084 43 0 0 25 0 11 0 779608170 856248320 25463 4294967295 134512640 134569956 3221224368 3221214648 1131384052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 25463 13086 16 0 209029 0
vsize: 836180
[startup+120.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 11055 43 0 0 25 0 11 0 779608170 856248320 25464 4294967295 134512640 134569956 3221224368 3221214496 1131337200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 25464 13086 16 0 209029 0
vsize: 836180
[startup+130.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 12029 43 0 0 25 0 11 0 779608170 856248320 25586 4294967295 134512640 134569956 3221224368 3221214776 1131396995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 25586 13086 16 0 209029 0
vsize: 836180
[startup+140.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 13015 44 0 0 25 0 11 0 779608170 856248320 25738 4294967295 134512640 134569956 3221224368 3221214672 1131307406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25738 13086 16 0 209029 0
vsize: 836180
[startup+150.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 13995 44 0 0 25 0 11 0 779608170 856248320 25739 4294967295 134512640 134569956 3221224368 3221214592 1131260582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25739 13086 16 0 209029 0
vsize: 836180
[startup+160.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 14971 44 0 0 25 0 11 0 779608170 856248320 25742 4294967295 134512640 134569956 3221224368 3221214648 1131382924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25742 13086 16 0 209029 0
vsize: 836180
[startup+170.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 15951 44 0 0 25 0 11 0 779608170 856248320 25745 4294967295 134512640 134569956 3221224368 3221214648 1131382687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25745 13086 16 0 209029 0
vsize: 836180
[startup+180.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 16933 44 0 0 25 0 11 0 779608170 856248320 25745 4294967295 134512640 134569956 3221224368 3221214520 1131337131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25745 13086 16 0 209029 0
vsize: 836180
[startup+190.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 17926 44 0 0 25 0 11 0 779608170 856248320 25902 4294967295 134512640 134569956 3221224368 3221214520 1131337185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25902 13086 16 0 209029 0
vsize: 836180
[startup+200.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 18922 44 0 0 25 0 11 0 779608170 856248320 25902 4294967295 134512640 134569956 3221224368 3221214672 1131382855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25902 13086 16 0 209029 0
vsize: 836180
[startup+210.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 19918 44 0 0 25 0 11 0 779608170 856248320 25904 4294967295 134512640 134569956 3221224368 3221214520 1131337185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25904 13086 16 0 209029 0
vsize: 836180
[startup+220.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 20911 45 0 0 25 0 11 0 779608170 856248320 25905 4294967295 134512640 134569956 3221224368 3221214672 1131307555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25905 13086 16 0 209029 0
vsize: 836180
[startup+230.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 21902 45 0 0 19 0 11 0 779608170 856248320 25906 4294967295 134512640 134569956 3221224368 3221214748 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25906 13086 16 0 209029 0
vsize: 836180
[startup+240.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 22894 45 0 0 25 0 11 0 779608170 856248320 25907 4294967295 134512640 134569956 3221224368 3221214744 1131378422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25907 13086 16 0 209029 0
vsize: 836180
[startup+250.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 23878 45 0 0 25 0 11 0 779608170 856248320 25909 4294967295 134512640 134569956 3221224368 3221214616 1131276160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25909 13086 16 0 209029 0
vsize: 836180
[startup+260.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 24855 45 0 0 25 0 11 0 779608170 856248320 25913 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25913 13086 16 0 209029 0
vsize: 836180
[startup+270.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 25833 45 0 0 25 0 11 0 779608170 856248320 25914 4294967295 134512640 134569956 3221224368 3221214520 1131337365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25914 13086 16 0 209029 0
vsize: 836180
[startup+280.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 26814 45 0 0 25 0 11 0 779608170 856248320 25914 4294967295 134512640 134569956 3221224368 3221214616 1131276349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 25914 13086 16 0 209029 0
vsize: 836180
[startup+290.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 27810 45 0 0 25 0 11 0 779608170 856248320 26041 4294967295 134512640 134569956 3221224368 3221214520 1131337365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26041 13086 16 0 209029 0
vsize: 836180
[startup+300.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 28808 45 0 0 25 0 11 0 779608170 856248320 26041 4294967295 134512640 134569956 3221224368 3221214520 1131339094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26041 13086 16 0 209029 0
vsize: 836180
[startup+310.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 29804 46 0 0 25 0 11 0 779608170 856248320 26042 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26042 13086 16 0 209029 0
vsize: 836180
[startup+320.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 30802 46 0 0 25 0 11 0 779608170 856248320 26042 4294967295 134512640 134569956 3221224368 3221214520 1131337345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26042 13086 16 0 209029 0
vsize: 836180
[startup+330.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 31799 46 0 0 25 0 11 0 779608170 856248320 26042 4294967295 134512640 134569956 3221224368 3221214520 1131337251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26042 13086 16 0 209029 0
vsize: 836180
[startup+340.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 32795 46 0 0 25 0 11 0 779608170 856248320 26043 4294967295 134512640 134569956 3221224368 3221214672 1131382920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26043 13086 16 0 209029 0
vsize: 836180
[startup+350.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 33791 46 0 0 25 0 11 0 779608170 856248320 26044 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26044 13086 16 0 209029 0
vsize: 836180
[startup+360.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 34786 46 0 0 25 0 11 0 779608170 856248320 26046 4294967295 134512640 134569956 3221224368 3221214672 1131382992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26046 13086 16 0 209029 0
vsize: 836180
[startup+370.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 35780 46 0 0 25 0 11 0 779608170 856248320 26047 4294967295 134512640 134569956 3221224368 3221214724 1130885150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26047 13086 16 0 209029 0
vsize: 836180
[startup+380.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 36773 46 0 0 25 0 11 0 779608170 856248320 26048 4294967295 134512640 134569956 3221224368 3221214748 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26048 13086 16 0 209029 0
vsize: 836180
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 37766 46 0 0 25 0 11 0 779608170 856248320 26049 4294967295 134512640 134569956 3221224368 3221214672 1131307406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26049 13086 16 0 209029 0
vsize: 836180
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 38757 46 0 0 25 0 11 0 779608170 856248320 26051 4294967295 134512640 134569956 3221224368 3221214776 1131396963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26051 13086 16 0 209029 0
vsize: 836180
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 39743 47 0 0 24 0 11 0 779608170 856248320 26052 4294967295 134512640 134569956 3221224368 3221214520 1131339030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26052 13086 16 0 209029 0
vsize: 836180
[startup+420.052 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 40722 47 0 0 25 0 11 0 779608170 856248320 26055 4294967295 134512640 134569956 3221224368 3221214616 1131260529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26055 13086 16 0 209029 0
vsize: 836180
[startup+430.068 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 41700 47 0 0 25 0 11 0 779608170 856248320 26056 4294967295 134512640 134569956 3221224368 3221214616 1131260192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26056 13086 16 0 209029 0
vsize: 836180
[startup+440.068 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 42674 47 0 0 25 0 11 0 779608170 856248320 26057 4294967295 134512640 134569956 3221224368 3221214616 1131260192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26057 13086 16 0 209029 0
vsize: 836180
[startup+450.068 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 43667 47 0 0 25 0 11 0 779608170 856248320 26195 4294967295 134512640 134569956 3221224368 3221214520 1131338884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26195 13086 16 0 209029 0
vsize: 836180
[startup+460.069 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 44665 47 0 0 25 0 11 0 779608170 856248320 26196 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26196 13086 16 0 209029 0
vsize: 836180
[startup+470.069 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 45663 47 0 0 25 0 11 0 779608170 856248320 26196 4294967295 134512640 134569956 3221224368 3221214520 1131337185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26196 13086 16 0 209029 0
vsize: 836180
[startup+480.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 46660 47 0 0 25 0 11 0 779608170 856248320 26196 4294967295 134512640 134569956 3221224368 3221214616 1131260478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26196 13086 16 0 209029 0
vsize: 836180
[startup+490.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 47658 48 0 0 25 0 11 0 779608170 856248320 26197 4294967295 134512640 134569956 3221224368 3221214616 1131260271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26197 13086 16 0 209029 0
vsize: 836180
[startup+500.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 48655 48 0 0 25 0 11 0 779608170 856248320 26197 4294967295 134512640 134569956 3221224368 3221214520 1131337103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26197 13086 16 0 209029 0
vsize: 836180
[startup+510.072 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 49653 48 0 0 25 0 11 0 779608170 856248320 26197 4294967295 134512640 134569956 3221224368 3221214520 1131337185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26197 13086 16 0 209029 0
vsize: 836180
[startup+520.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 50650 48 0 0 25 0 11 0 779608170 856248320 26197 4294967295 134512640 134569956 3221224368 3221214624 1131337145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26197 13086 16 0 209029 0
vsize: 836180
[startup+530.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 51644 48 0 0 25 0 11 0 779608170 856248320 26197 4294967295 134512640 134569956 3221224368 3221214760 1131376841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26197 13086 16 0 209029 0
vsize: 836180
[startup+540.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 52638 48 0 0 25 0 11 0 779608170 856248320 26198 4294967295 134512640 134569956 3221224368 3221214520 1131366932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26198 13086 16 0 209029 0
vsize: 836180
[startup+550.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 53629 48 0 0 25 0 11 0 779608170 856248320 26198 4294967295 134512640 134569956 3221224368 3221214576 1131337365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26198 13086 16 0 209029 0
vsize: 836180
[startup+560.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 54611 48 0 0 25 0 11 0 779608170 856248320 26198 4294967295 134512640 134569956 3221224368 3221214728 1131266736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26198 13086 16 0 209029 0
vsize: 836180
[startup+570.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 55587 48 0 0 25 0 11 0 779608170 856248320 26199 4294967295 134512640 134569956 3221224368 3221214624 1131339117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26199 13086 16 0 209029 0
vsize: 836180
[startup+580.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 56564 48 0 0 25 0 11 0 779608170 856248320 26200 4294967295 134512640 134569956 3221224368 3221214772 1131258340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26200 13086 16 0 209029 0
vsize: 836180
[startup+590.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 57539 48 0 0 25 0 11 0 779608170 856248320 26201 4294967295 134512640 134569956 3221224368 3221214744 1131378416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26201 13086 16 0 209029 0
vsize: 836180
[startup+600.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 58516 48 0 0 25 0 11 0 779608170 856248320 26201 4294967295 134512640 134569956 3221224368 3221214744 1131378416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26201 13086 16 0 209029 0
vsize: 836180
[startup+610.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 59493 48 0 0 25 0 11 0 779608170 856248320 26201 4294967295 134512640 134569956 3221224368 3221214624 1131337393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26201 13086 16 0 209029 0
vsize: 836180
[startup+620.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 60473 48 0 0 25 0 11 0 779608170 856248320 26337 4294967295 134512640 134569956 3221224368 3221214568 1131235448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26337 13086 16 0 209029 0
vsize: 836180
[startup+630.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 61450 48 0 0 25 0 11 0 779608170 856248320 26337 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26337 13086 16 0 209029 0
vsize: 836180
[startup+640.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 62429 48 0 0 25 0 11 0 779608170 856248320 26337 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26337 13086 16 0 209029 0
vsize: 836180
[startup+650.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 63411 48 0 0 25 0 11 0 779608170 856248320 26337 4294967295 134512640 134569956 3221224368 3221214616 1131260192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26337 13086 16 0 209029 0
vsize: 836180
[startup+660.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 64395 48 0 0 25 0 11 0 779608170 856248320 26469 4294967295 134512640 134569956 3221224368 3221214672 1131382931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26469 13086 16 0 209029 0
vsize: 836180
[startup+670.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 65392 48 0 0 25 0 11 0 779608170 856248320 26470 4294967295 134512640 134569956 3221224368 3221214616 1131260575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26470 13086 16 0 209029 0
vsize: 836180
[startup+680.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 66389 48 0 0 25 0 11 0 779608170 856248320 26471 4294967295 134512640 134569956 3221224368 3221214520 1131337450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26471 13086 16 0 209029 0
vsize: 836180
[startup+690.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 67385 48 0 0 25 0 11 0 779608170 856248320 26472 4294967295 134512640 134569956 3221224368 3221214672 1131384048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26472 13086 16 0 209029 0
vsize: 836180
[startup+700.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 68380 49 0 0 25 0 11 0 779608170 856248320 26475 4294967295 134512640 134569956 3221224368 3221214688 1131307514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26475 13086 16 0 209029 0
vsize: 836180
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 69362 49 0 0 25 0 11 0 779608170 856248320 26475 4294967295 134512640 134569956 3221224368 3221214760 1131378371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26475 13086 16 0 209029 0
vsize: 836180
[startup+720.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 70345 49 0 0 25 0 11 0 779608170 856248320 26476 4294967295 134512640 134569956 3221224368 3221214792 1131396963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26476 13086 16 0 209029 0
vsize: 836180
[startup+730.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 71324 49 0 0 25 0 11 0 779608170 856248320 26476 4294967295 134512640 134569956 3221224368 3221214672 1131384052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 26476 13086 16 0 209029 0
vsize: 836180
[startup+740.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 72291 49 0 0 25 0 11 0 779608170 856248320 26477 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26477 13086 16 0 209029 0
vsize: 836180
[startup+750.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 73260 49 0 0 25 0 11 0 779608170 856248320 26477 4294967295 134512640 134569956 3221224368 3221214788 1130883290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26477 13086 16 0 209029 0
vsize: 836180
[startup+760.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 74236 49 0 0 24 0 11 0 779608170 856248320 26594 4294967295 134512640 134569956 3221224368 3221214672 1131384048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26594 13086 16 0 209029 0
vsize: 836180
[startup+770.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 75221 49 0 0 25 0 11 0 779608170 856248320 26724 4294967295 134512640 134569956 3221224368 3221214520 1131337267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26724 13086 16 0 209029 0
vsize: 836180
[startup+780.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 76218 50 0 0 25 0 11 0 779608170 856248320 26724 4294967295 134512640 134569956 3221224368 3221214672 1131384801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26724 13086 16 0 209029 0
vsize: 836180
[startup+790.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 77212 50 0 0 25 0 11 0 779608170 856248320 26724 4294967295 134512640 134569956 3221224368 3221214776 1131376841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26724 13086 16 0 209029 0
vsize: 836180
[startup+800.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18086 0 1 0 78205 51 0 0 25 0 11 0 779608170 856248320 26724 4294967295 134512640 134569956 3221224368 3221214792 1131396995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26724 13086 16 0 209029 0
vsize: 836180
[startup+810.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 79196 51 0 0 25 0 11 0 779608170 856248320 26726 4294967295 134512640 134569956 3221224368 3221214740 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26726 13086 16 0 209029 0
vsize: 836180
[startup+820.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 80184 51 0 0 25 0 11 0 779608170 856248320 26726 4294967295 134512640 134569956 3221224368 3221214688 1131307406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26726 13086 16 0 209029 0
vsize: 836180
[startup+830.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 81168 51 0 0 25 0 11 0 779608170 856248320 26726 4294967295 134512640 134569956 3221224368 3221214688 1131307555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26726 13086 16 0 209029 0
vsize: 836180
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 82156 51 0 0 25 0 11 0 779608170 856248320 26726 4294967295 134512640 134569956 3221224368 3221213688 1131276218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26726 13086 16 0 209029 0
vsize: 836180
[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 83136 51 0 0 25 0 11 0 779608170 856248320 26727 4294967295 134512640 134569956 3221224368 3221214520 1131339094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26727 13086 16 0 209029 0
vsize: 836180
[startup+860.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 84114 52 0 0 25 0 11 0 779608170 856248320 26727 4294967295 134512640 134569956 3221224368 3221214624 1131266711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26727 13086 16 0 209029 0
vsize: 836180
[startup+870.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 85072 52 0 0 25 0 11 0 779608170 856248320 26727 4294967295 134512640 134569956 3221224368 3221214520 1131337193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26727 13086 16 0 209029 0
vsize: 836180
[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 86017 52 0 0 25 0 11 0 779608170 856248320 26727 4294967295 134512640 134569956 3221224368 3221214520 1131338042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26727 13086 16 0 209029 0
vsize: 836180
[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 86968 52 0 0 25 0 11 0 779608170 856248320 26884 4294967295 134512640 134569956 3221224368 3221214672 1131384165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 26884 13086 16 0 209029 0
vsize: 836180
[startup+900.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 87915 53 0 0 25 0 11 0 779608170 856248320 27192 4294967295 134512640 134569956 3221224368 3221214672 1131382687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27192 13086 16 0 209029 0
vsize: 836180
[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 88889 54 0 0 25 0 11 0 779608170 856248320 27192 4294967295 134512640 134569956 3221224368 3221214672 1131382992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 27192 13086 16 0 209029 0
vsize: 836180
[startup+920.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 89873 54 0 0 25 0 11 0 779608170 856248320 27192 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27192 13086 16 0 209029 0
vsize: 836180
[startup+930.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 90861 54 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214672 1131382920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+940.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 91859 54 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+950.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 92853 55 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214640 1131337326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+960.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 93846 55 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214768 1131377341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 94830 55 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214520 1131337322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+980.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 95802 55 0 0 25 0 11 0 779608170 856248320 27351 4294967295 134512640 134569956 3221224368 3221214616 1131260607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27351 13086 16 0 209029 0
vsize: 836180
[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 96776 56 0 0 25 0 11 0 779608170 856248320 27352 4294967295 134512640 134569956 3221224368 3221214672 1131384819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27352 13086 16 0 209029 0
vsize: 836180
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 97753 56 0 0 25 0 11 0 779608170 856248320 27352 4294967295 134512640 134569956 3221224368 3221214672 1131384854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27352 13086 16 0 209029 0
vsize: 836180
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 98747 57 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214616 1131260259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 99745 57 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214672 1131382920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 100744 57 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214616 1131260555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 101742 57 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214672 1131385640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 102740 58 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214672 1131382927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 103737 58 0 0 25 0 11 0 779608170 856248320 27519 4294967295 134512640 134569956 3221224368 3221214616 1131260412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27519 13086 16 0 209029 0
vsize: 836180
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 104735 58 0 0 25 0 11 0 779608170 856248320 27520 4294967295 134512640 134569956 3221224368 3221214672 1131382992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27520 13086 16 0 209029 0
vsize: 836180
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 105732 59 0 0 25 0 11 0 779608170 856248320 27520 4294967295 134512640 134569956 3221224368 3221214672 1131384186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27520 13086 16 0 209029 0
vsize: 836180
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 106729 60 0 0 25 0 11 0 779608170 856248320 27521 4294967295 134512640 134569956 3221224368 3221214672 1131382992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27521 13086 16 0 209029 0
vsize: 836180
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 107726 60 0 0 25 0 11 0 779608170 856248320 27522 4294967295 134512640 134569956 3221224368 3221214520 1131337185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27522 13086 16 0 209029 0
vsize: 836180
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 108715 60 0 0 25 0 11 0 779608170 856248320 27522 4294967295 134512640 134569956 3221224368 3221214776 1131376841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27522 13086 16 0 209029 0
vsize: 836180
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 109699 60 0 0 25 0 11 0 779608170 856248320 27522 4294967295 134512640 134569956 3221224368 3221214688 1131307247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27522 13086 16 0 209029 0
vsize: 836180
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 110677 61 0 0 25 0 11 0 779608170 856248320 27523 4294967295 134512640 134569956 3221224368 3221214768 1131251585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27523 13086 16 0 209029 0
vsize: 836180
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 111656 61 0 0 25 0 11 0 779608170 856248320 27523 4294967295 134512640 134569956 3221224368 3221214764 1131127961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27523 13086 16 0 209029 0
vsize: 836180
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 112634 62 0 0 25 0 11 0 779608170 856248320 27523 4294967295 134512640 134569956 3221224368 3221214688 1131307712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27523 13086 16 0 209029 0
vsize: 836180
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 113611 62 0 0 25 0 11 0 779608170 856248320 27523 4294967295 134512640 134569956 3221224368 3221214688 1131307406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27523 13086 16 0 209029 0
vsize: 836180
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 114591 62 0 0 25 0 11 0 779608170 856248320 27664 4294967295 134512640 134569956 3221224368 3221214688 1131307699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27664 13086 16 0 209029 0
vsize: 836180
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 115571 62 0 0 25 0 11 0 779608170 856248320 27764 4294967295 134512640 134569956 3221224368 3221214616 1131260217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27764 13086 16 0 209029 0
vsize: 836180
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) S 21825 7266 7265 0 -1 0 18087 0 1 0 116540 63 0 0 25 0 11 0 779608170 856248320 27787 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27787 13086 16 0 209029 0
vsize: 836180
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 117509 63 0 0 25 0 11 0 779608170 856248320 27811 4294967295 134512640 134569956 3221224368 3221214616 1131260635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27811 13086 16 0 209029 0
vsize: 836180
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 118482 63 0 0 25 0 11 0 779608170 856248320 27822 4294967295 134512640 134569956 3221224368 3221214672 1131384147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27822 13086 16 0 209029 0
vsize: 836180
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 119477 64 0 0 25 0 11 0 779608170 856248320 27991 4294967295 134512640 134569956 3221224368 3221214616 1131260545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 27991 13086 16 0 209029 0
vsize: 836180
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21836
Raw data (stat): 21826 (java) R 21825 7266 7265 0 -1 0 18087 0 1 0 120474 64 0 0 25 0 11 0 779608170 856248320 27991 4294967295 134512640 134569956 3221224368 3221214640 1131459820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 27991 13086 16 0 209029 0
vsize: 836180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21838
Raw data (stat): 21826 (java) Z 21825 7266 7265 0 -1 1036 18087 9213 1 0 120479 64 2234 29 25 0 1 0 779608170 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): 1230.21
CPU time (s): 1228.08
CPU user time (s): 1227.14
CPU system time (s): 0.942856
CPU usage (%): 99.8268
Max. virtual memory (Kb): 837972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####