PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb
MD5SUM	8f93517b37e3e8e201991f7d854ddab3
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	42171551460515200
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	130719213204604475
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.79057
Number of variables	97606
Total number of constraints	1755
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	1710
Minimum length of a constraint	1
Maximum length of a constraint	3381
Trace number 29922

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 12:44:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21318 boxname=wulflinc8 idbench=1306 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8f93517b37e3e8e201991f7d854ddab3  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-misc04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-misc04.opb
IDLAUNCH: 21318
/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:        374896 kB
Buffers:         37860 kB
Cached:         594744 kB
SwapCached:          0 kB
Active:          46360 kB
Inactive:       593192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        374644 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14552 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:06:33 (client local time) WITH STATUS 143 IN 1315 SECONDS
stats: 21318 7 1315 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/wulflinc8/normalized-mps-v2-13-7-misc04.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.167
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.99 2/54 18153
Raw data (stat): 18153 (runsolver) R 18152 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767190650 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18018 0 1 0 862 38 0 0 25 0 10 0 767190650 856555520 19923 4294967295 134512640 134569956 3221224368 3221214696 1131225537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 19923 13086 16 0 209104 0
vsize: 836480
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 1763 39 0 0 25 0 10 0 767190650 856555520 20442 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 20442 13086 16 0 209104 0
vsize: 836480
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 2657 39 0 0 25 0 10 0 767190650 856555520 20934 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 20934 13086 16 0 209104 0
vsize: 836480
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.99 4/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 3570 39 0 0 25 0 10 0 767190650 856555520 21208 4294967295 134512640 134569956 3221224368 3221213588 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 21208 13086 16 0 209104 0
vsize: 836480
[startup+50.0197 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 4492 39 0 0 24 0 10 0 767190650 856555520 21387 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21387 13086 16 0 209104 0
vsize: 836480
[startup+60.0195 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 5414 40 0 0 25 0 10 0 767190650 856555520 21517 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21517 13086 16 0 209104 0
vsize: 836480
[startup+70.0193 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 6348 40 0 0 25 0 10 0 767190650 856555520 21714 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21714 13086 16 0 209104 0
vsize: 836480
[startup+80.023 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 7288 40 0 0 25 0 10 0 767190650 856555520 21811 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21811 13086 16 0 209104 0
vsize: 836480
[startup+90.0235 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 8232 40 0 0 25 0 10 0 767190650 856555520 21906 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21906 13086 16 0 209104 0
vsize: 836480
[startup+100.024 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 9173 40 0 0 24 0 10 0 767190650 856555520 21996 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 21996 13086 16 0 209104 0
vsize: 836480
[startup+110.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 10119 41 0 0 25 0 10 0 767190650 856555520 22071 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22071 13086 16 0 209104 0
vsize: 836480
[startup+120.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 11061 41 0 0 25 0 10 0 767190650 856555520 22146 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22146 13086 16 0 209104 0
vsize: 836480
[startup+130.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 12007 41 0 0 25 0 10 0 767190650 856555520 22215 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22215 13086 16 0 209104 0
vsize: 836480
[startup+140.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 12949 42 0 0 25 0 10 0 767190650 856555520 22285 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22285 13086 16 0 209104 0
vsize: 836480
[startup+150.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 13895 42 0 0 25 0 10 0 767190650 856555520 22350 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22350 13086 16 0 209104 0
vsize: 836480
[startup+160.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 14838 42 0 0 25 0 10 0 767190650 856555520 22416 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22416 13086 16 0 209104 0
vsize: 836480
[startup+170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 15781 42 0 0 25 0 10 0 767190650 856555520 22471 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22471 13086 16 0 209104 0
vsize: 836480
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 16705 42 0 0 25 0 10 0 767190650 856555520 22532 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22532 13086 16 0 209104 0
vsize: 836480
[startup+190.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 17635 42 0 0 25 0 10 0 767190650 856555520 22750 4294967295 134512640 134569956 3221224368 3221214140 1076877600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22750 13086 16 0 209104 0
vsize: 836480
[startup+200.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 18578 42 0 0 25 0 10 0 767190650 856555520 22800 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22800 13086 16 0 209104 0
vsize: 836480
[startup+210.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 19517 43 0 0 25 0 10 0 767190650 856555520 22856 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22856 13086 16 0 209104 0
vsize: 836480
[startup+220.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 20460 43 0 0 25 0 10 0 767190650 856555520 22903 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22903 13086 16 0 209104 0
vsize: 836480
[startup+230.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 21398 43 0 0 24 0 10 0 767190650 856555520 22957 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 22957 13086 16 0 209104 0
vsize: 836480
[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 22340 43 0 0 25 0 10 0 767190650 856555520 23003 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23003 13086 16 0 209104 0
vsize: 836480
[startup+250.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 23278 43 0 0 24 0 10 0 767190650 856555520 23051 4294967295 134512640 134569956 3221224368 3221214736 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23051 13086 16 0 209104 0
vsize: 836480
[startup+260.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 24219 43 0 0 25 0 10 0 767190650 856555520 23095 4294967295 134512640 134569956 3221224368 3221214176 1076461015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23095 13086 16 0 209104 0
vsize: 836480
[startup+270.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 25159 44 0 0 25 0 10 0 767190650 856555520 23139 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23139 13086 16 0 209104 0
vsize: 836480
[startup+280.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 26095 44 0 0 25 0 10 0 767190650 856555520 23185 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23185 13086 16 0 209104 0
vsize: 836480
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 27034 44 0 0 25 0 10 0 767190650 856555520 23234 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23234 13086 16 0 209104 0
vsize: 836480
[startup+300.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 27973 44 0 0 25 0 10 0 767190650 856555520 23275 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23275 13086 16 0 209104 0
vsize: 836480
[startup+310.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 28907 45 0 0 24 0 10 0 767190650 856555520 23318 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23318 13086 16 0 209104 0
vsize: 836480
[startup+320.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 29846 45 0 0 25 0 10 0 767190650 856555520 23359 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23359 13086 16 0 209104 0
vsize: 836480
[startup+330.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 30784 45 0 0 23 0 10 0 767190650 856555520 23399 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23399 13086 16 0 209104 0
vsize: 836480
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 31719 45 0 0 25 0 10 0 767190650 856555520 23439 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23439 13086 16 0 209104 0
vsize: 836480
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 32654 45 0 0 25 0 10 0 767190650 856555520 23480 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23480 13086 16 0 209104 0
vsize: 836480
[startup+360.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 33590 45 0 0 25 0 10 0 767190650 856555520 23519 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23519 13086 16 0 209104 0
vsize: 836480
[startup+370.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 34526 45 0 0 25 0 10 0 767190650 856555520 23557 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23557 13086 16 0 209104 0
vsize: 836480
[startup+380.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 35461 46 0 0 25 0 10 0 767190650 856555520 23596 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23596 13086 16 0 209104 0
vsize: 836480
[startup+390.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 36392 46 0 0 25 0 10 0 767190650 856555520 23633 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23633 13086 16 0 209104 0
vsize: 836480
[startup+400.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 37327 46 0 0 25 0 10 0 767190650 856555520 23671 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23671 13086 16 0 209104 0
vsize: 836480
[startup+410.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 38262 46 0 0 25 0 10 0 767190650 856555520 23709 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23709 13086 16 0 209104 0
vsize: 836480
[startup+420.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 39196 46 0 0 25 0 10 0 767190650 856555520 23743 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23743 13086 16 0 209104 0
vsize: 836480
[startup+430.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 40128 46 0 0 25 0 10 0 767190650 856555520 23781 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23781 13086 16 0 209104 0
vsize: 836480
[startup+440.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 41056 47 0 0 24 0 10 0 767190650 856555520 23825 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23825 13086 16 0 209104 0
vsize: 836480
[startup+450.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 41988 47 0 0 25 0 10 0 767190650 856555520 23861 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23861 13086 16 0 209104 0
vsize: 836480
[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 42920 47 0 0 25 0 10 0 767190650 856555520 23901 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23901 13086 16 0 209104 0
vsize: 836480
[startup+470.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 43850 47 0 0 25 0 10 0 767190650 856555520 23937 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23937 13086 16 0 209104 0
vsize: 836480
[startup+480.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 44780 47 0 0 25 0 10 0 767190650 856555520 23978 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 23978 13086 16 0 209104 0
vsize: 836480
[startup+490.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 45711 48 0 0 25 0 10 0 767190650 856555520 24013 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24013 13086 16 0 209104 0
vsize: 836480
[startup+500.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 46642 48 0 0 25 0 10 0 767190650 856555520 24046 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24046 13086 16 0 209104 0
vsize: 836480
[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 47573 48 0 0 25 0 10 0 767190650 856555520 24079 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24079 13086 16 0 209104 0
vsize: 836480
[startup+520.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 48502 48 0 0 25 0 10 0 767190650 856555520 24115 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24115 13086 16 0 209104 0
vsize: 836480
[startup+530.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 49432 48 0 0 25 0 10 0 767190650 856555520 24147 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24147 13086 16 0 209104 0
vsize: 836480
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 50361 49 0 0 25 0 10 0 767190650 856555520 24179 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24179 13086 16 0 209104 0
vsize: 836480
[startup+550.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 51288 49 0 0 25 0 10 0 767190650 856555520 24212 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24212 13086 16 0 209104 0
vsize: 836480
[startup+560.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 52212 49 0 0 20 0 10 0 767190650 856555520 24245 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24245 13086 16 0 209104 0
vsize: 836480
[startup+570.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 53140 49 0 0 24 0 10 0 767190650 856555520 24280 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24280 13086 16 0 209104 0
vsize: 836480
[startup+580.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 54067 50 0 0 24 0 10 0 767190650 856555520 24311 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24311 13086 16 0 209104 0
vsize: 836480
[startup+590.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 54994 50 0 0 24 0 10 0 767190650 856555520 24342 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24342 13086 16 0 209104 0
vsize: 836480
[startup+600.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 55922 50 0 0 24 0 10 0 767190650 856555520 24372 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24372 13086 16 0 209104 0
vsize: 836480
[startup+610.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 56848 50 0 0 24 0 10 0 767190650 856555520 24401 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24401 13086 16 0 209104 0
vsize: 836480
[startup+620.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 57774 50 0 0 24 0 10 0 767190650 856555520 24435 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24435 13086 16 0 209104 0
vsize: 836480
[startup+630.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 58699 51 0 0 25 0 10 0 767190650 856555520 24466 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24466 13086 16 0 209104 0
vsize: 836480
[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 59626 51 0 0 25 0 10 0 767190650 856555520 24498 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24498 13086 16 0 209104 0
vsize: 836480
[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 60552 51 0 0 25 0 10 0 767190650 856555520 24529 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24529 13086 16 0 209104 0
vsize: 836480
[startup+660.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 61476 51 0 0 25 0 10 0 767190650 856555520 24560 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24560 13086 16 0 209104 0
vsize: 836480
[startup+670.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 62400 51 0 0 25 0 10 0 767190650 856555520 24592 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 24592 13086 16 0 209104 0
vsize: 836480
[startup+680.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 63308 52 0 0 25 0 10 0 767190650 856555520 25189 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25189 13086 16 0 209104 0
vsize: 836480
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 64214 52 0 0 24 0 10 0 767190650 856555520 25189 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25189 13086 16 0 209104 0
vsize: 836480
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 65132 52 0 0 25 0 10 0 767190650 856555520 25311 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25311 13086 16 0 209104 0
vsize: 836480
[startup+710.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 66044 52 0 0 25 0 10 0 767190650 856555520 25338 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25338 13086 16 0 209104 0
vsize: 836480
[startup+720.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 66955 53 0 0 25 0 10 0 767190650 856555520 25374 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25374 13086 16 0 209104 0
vsize: 836480
[startup+730.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 67873 53 0 0 25 0 10 0 767190650 856555520 25403 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25403 13086 16 0 209104 0
vsize: 836480
[startup+740.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 68785 53 0 0 25 0 10 0 767190650 856555520 25432 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25432 13086 16 0 209104 0
vsize: 836480
[startup+750.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 69697 53 0 0 25 0 10 0 767190650 856555520 25459 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25459 13086 16 0 209104 0
vsize: 836480
[startup+760.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 70607 54 0 0 25 0 10 0 767190650 856555520 25487 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25487 13086 16 0 209104 0
vsize: 836480
[startup+770.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 71507 54 0 0 25 0 10 0 767190650 856555520 25520 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25520 13086 16 0 209104 0
vsize: 836480
[startup+780.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 72417 54 0 0 25 0 10 0 767190650 856555520 25612 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25612 13086 16 0 209104 0
vsize: 836480
[startup+790.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 73328 54 0 0 25 0 10 0 767190650 856555520 25641 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25641 13086 16 0 209104 0
vsize: 836480
[startup+800.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 74232 54 0 0 25 0 10 0 767190650 856555520 25667 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25667 13086 16 0 209104 0
vsize: 836480
[startup+810.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 75125 54 0 0 25 0 10 0 767190650 856555520 25712 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25712 13086 16 0 209104 0
vsize: 836480
[startup+820.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 76033 55 0 0 25 0 10 0 767190650 856555520 25792 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25792 13086 16 0 209104 0
vsize: 836480
[startup+830.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 76940 55 0 0 25 0 10 0 767190650 856555520 25830 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25830 13086 16 0 209104 0
vsize: 836480
[startup+840.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 77851 55 0 0 25 0 10 0 767190650 856555520 25871 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25871 13086 16 0 209104 0
vsize: 836480
[startup+850.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 78755 55 0 0 25 0 10 0 767190650 856555520 25898 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 25898 13086 16 0 209104 0
vsize: 836480
[startup+860.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 79658 56 0 0 25 0 10 0 767190650 856555520 25944 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 25944 13086 16 0 209104 0
vsize: 836480
[startup+870.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 80555 56 0 0 25 0 10 0 767190650 856555520 25987 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 25987 13086 16 0 209104 0
vsize: 836480
[startup+880.076 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 81460 56 0 0 25 0 10 0 767190650 856555520 26038 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 26038 13086 16 0 209104 0
vsize: 836480
[startup+890.076 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 82368 57 0 0 22 0 10 0 767190650 856555520 26083 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26083 13086 16 0 209104 0
vsize: 836480
[startup+900.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 83276 57 0 0 20 0 10 0 767190650 856555520 26106 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26106 13086 16 0 209104 0
vsize: 836480
[startup+910.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 84187 57 0 0 24 0 10 0 767190650 856555520 26132 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26132 13086 16 0 209104 0
vsize: 836480
[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18162
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 85091 58 0 0 20 0 10 0 767190650 856555520 26155 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 26155 13086 16 0 209104 0
vsize: 836480
[startup+930.079 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 85993 63 0 0 23 0 10 0 767190650 856555520 26184 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26184 13086 16 0 209104 0
vsize: 836480
[startup+940.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 86893 63 0 0 18 0 10 0 767190650 856555520 26226 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26226 13086 16 0 209104 0
vsize: 836480
[startup+950.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 87796 63 0 0 21 0 10 0 767190650 856555520 26256 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26256 13086 16 0 209104 0
vsize: 836480
[startup+960.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 88695 63 0 0 23 0 10 0 767190650 856555520 26307 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26307 13086 16 0 209104 0
vsize: 836480
[startup+970.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 89594 64 0 0 19 0 10 0 767190650 856555520 26358 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26358 13086 16 0 209104 0
vsize: 836480
[startup+980.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 90495 64 0 0 21 0 10 0 767190650 856555520 26400 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26400 13086 16 0 209104 0
vsize: 836480
[startup+990.088 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18215
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 91391 64 0 0 18 0 10 0 767190650 856555520 26451 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26451 13086 16 0 209104 0
vsize: 836480
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 92294 64 0 0 21 0 10 0 767190650 856555520 26501 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26501 13086 16 0 209104 0
vsize: 836480
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 93196 65 0 0 24 0 10 0 767190650 856555520 26538 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26538 13086 16 0 209104 0
vsize: 836480
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 94100 65 0 0 20 0 10 0 767190650 856555520 26569 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26569 13086 16 0 209104 0
vsize: 836480
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 95004 65 0 0 22 0 10 0 767190650 856555520 26612 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26612 13086 16 0 209104 0
vsize: 836480
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 95894 65 0 0 17 0 10 0 767190650 856555520 26679 4294967295 134512640 134569956 3221224368 3221214772 1080204149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26679 13086 16 0 209104 0
vsize: 836480
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 96790 65 0 0 19 0 10 0 767190650 856555520 26756 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26756 13086 16 0 209104 0
vsize: 836480
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 97689 66 0 0 21 0 10 0 767190650 856555520 26805 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26805 13086 16 0 209104 0
vsize: 836480
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 98584 66 0 0 22 0 10 0 767190650 856555520 26850 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26850 13086 16 0 209104 0
vsize: 836480
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 99473 66 0 0 18 0 10 0 767190650 856555520 26915 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209120 26915 13086 16 0 209104 0
vsize: 836480
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 100370 67 0 0 19 0 10 0 767190650 856555520 26965 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 26965 13086 16 0 209104 0
vsize: 836480
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 101267 67 0 0 21 0 10 0 767190650 856555520 27004 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27004 13086 16 0 209104 0
vsize: 836480
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 102158 68 0 0 23 0 10 0 767190650 856555520 27043 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27043 13086 16 0 209104 0
vsize: 836480
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 103055 68 0 0 19 0 10 0 767190650 856555520 27119 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27119 13086 16 0 209104 0
vsize: 836480
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 103954 68 0 0 21 0 10 0 767190650 856555520 27138 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27138 13086 16 0 209104 0
vsize: 836480
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 104850 69 0 0 19 0 10 0 767190650 856555520 27204 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27204 13086 16 0 209104 0
vsize: 836480
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 105756 69 0 0 22 0 10 0 767190650 856555520 27220 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27220 13086 16 0 209104 0
vsize: 836480
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 106656 69 0 0 19 0 10 0 767190650 856555520 27243 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27243 13086 16 0 209104 0
vsize: 836480
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 107561 70 0 0 21 0 10 0 767190650 856555520 27264 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27264 13086 16 0 209104 0
vsize: 836480
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 108460 70 0 0 24 0 10 0 767190650 856555520 27286 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27286 13086 16 0 209104 0
vsize: 836480
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 109363 70 0 0 20 0 10 0 767190650 856555520 27311 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27311 13086 16 0 209104 0
vsize: 836480
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 110267 71 0 0 23 0 10 0 767190650 856555520 27332 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27332 13086 16 0 209104 0
vsize: 836480
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 111164 71 0 0 19 0 10 0 767190650 856555520 27355 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27355 13086 16 0 209104 0
vsize: 836480
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 112067 72 0 0 23 0 10 0 767190650 856555520 27379 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27379 13086 16 0 209104 0
vsize: 836480
[startup+1230.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18217
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 112964 72 0 0 19 0 10 0 767190650 856555520 27401 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27401 13086 16 0 209104 0
vsize: 836480
[startup+1240.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 113867 73 0 0 21 0 10 0 767190650 856555520 27422 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27422 13086 16 0 209104 0
vsize: 836480
[startup+1250.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) S 18152 3132 3131 0 -1 0 18019 0 1 0 114766 73 0 0 23 0 10 0 767190650 856555520 27444 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27444 13086 16 0 209104 0
vsize: 836480
[startup+1260.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 115666 74 0 0 20 0 10 0 767190650 856555520 27477 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27477 13086 16 0 209104 0
vsize: 836480
[startup+1270.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 116570 74 0 0 22 0 10 0 767190650 856555520 27506 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27506 13086 16 0 209104 0
vsize: 836480
[startup+1280.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 117470 75 0 0 20 0 10 0 767190650 856555520 27535 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27535 13086 16 0 209104 0
vsize: 836480
[startup+1290.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 118375 75 0 0 23 0 10 0 767190650 856555520 27566 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27566 13086 16 0 209104 0
vsize: 836480
[startup+1300.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 119273 76 0 0 19 0 10 0 767190650 856555520 27567 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27567 13086 16 0 209104 0
vsize: 836480
[startup+1310.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 18219
Raw data (stat): 18153 (java) R 18152 3132 3131 0 -1 0 18019 0 1 0 120174 76 0 0 21 0 10 0 767190650 856555520 27639 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209120 27639 13086 16 0 209104 0
vsize: 836480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 18221
Raw data (stat): 18153 (java) Z 18152 3132 3131 0 -1 1036 18019 10944 1 0 120176 81 11185 56 22 0 1 0 767190650 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): 1310.19
CPU time (s): 1315
CPU user time (s): 1313.62
CPU system time (s): 1.38279
CPU usage (%): 100.367
Max. virtual memory (Kb): 836480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####