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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29705729356859
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29705729356859
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29694

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 10:31:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21098 boxname=wulflinc2 idbench=1086 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 21098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        507840 kB
Buffers:         29912 kB
Cached:         475992 kB
SwapCached:        696 kB
Active:          64900 kB
Inactive:       443400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        507588 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            12828 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:53:31 (client local time) WITH STATUS 143 IN 1309.82 SECONDS
stats: 21098 7 1309.82 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/wulflinc2/normalized-mps-v2-20-10-n3708.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.169
#### 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.98 0.99 2/54 12646
Raw data (stat): 12646 (runsolver) R 12645 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779961443 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0055 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18003 0 1 0 870 39 0 0 25 0 10 0 779961443 853827584 19366 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 19366 13086 16 0 208438 0
vsize: 833816
[startup+20.0124 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 1768 39 0 0 25 0 10 0 779961443 854310912 19936 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208572 19936 13086 16 0 208556 0
vsize: 834288
[startup+30.0136 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 2660 40 0 0 25 0 10 0 779961443 854310912 20432 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208572 20432 13086 16 0 208556 0
vsize: 834288
[startup+40.0145 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 3577 40 0 0 25 0 10 0 779961443 855359488 20998 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 20998 13086 16 0 208812 0
vsize: 835312
[startup+50.0145 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 4499 40 0 0 25 0 10 0 779961443 855359488 21160 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21160 13086 16 0 208812 0
vsize: 835312
[startup+60.0157 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 5416 40 0 0 25 0 10 0 779961443 855359488 21291 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21291 13086 16 0 208812 0
vsize: 835312
[startup+70.0166 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 6344 40 0 0 25 0 10 0 779961443 855359488 21473 4294967295 134512640 134569956 3221224368 3221214768 1131247925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21473 13086 16 0 208812 0
vsize: 835312
[startup+80.021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 7285 40 0 0 25 0 10 0 779961443 855359488 21570 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21570 13086 16 0 208812 0
vsize: 835312
[startup+90.022 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 8228 41 0 0 25 0 10 0 779961443 855359488 21661 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21661 13086 16 0 208812 0
vsize: 835312
[startup+100.023 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 9169 41 0 0 25 0 10 0 779961443 855359488 21746 4294967295 134512640 134569956 3221224368 3221214712 1131158335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21746 13086 16 0 208812 0
vsize: 835312
[startup+110.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 10114 41 0 0 25 0 10 0 779961443 855359488 21822 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21822 13086 16 0 208812 0
vsize: 835312
[startup+120.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 11056 41 0 0 25 0 10 0 779961443 855359488 21898 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21898 13086 16 0 208812 0
vsize: 835312
[startup+130.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 11998 42 0 0 25 0 10 0 779961443 855359488 21970 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 21970 13086 16 0 208812 0
vsize: 835312
[startup+140.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 12941 42 0 0 25 0 10 0 779961443 855359488 22036 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22036 13086 16 0 208812 0
vsize: 835312
[startup+150.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 13887 42 0 0 25 0 10 0 779961443 855359488 22099 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22099 13086 16 0 208812 0
vsize: 835312
[startup+160.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 14830 42 0 0 25 0 10 0 779961443 855359488 22162 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22162 13086 16 0 208812 0
vsize: 835312
[startup+170.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 15766 42 0 0 24 0 10 0 779961443 855359488 22222 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22222 13086 16 0 208812 0
vsize: 835312
[startup+180.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 16684 43 0 0 25 0 10 0 779961443 855359488 22277 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22277 13086 16 0 208812 0
vsize: 835312
[startup+190.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 17609 43 0 0 25 0 10 0 779961443 855359488 22587 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22587 13086 16 0 208812 0
vsize: 835312
[startup+200.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 18548 43 0 0 25 0 10 0 779961443 855359488 22642 4294967295 134512640 134569956 3221224368 3221214200 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22642 13086 16 0 208812 0
vsize: 835312
[startup+210.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 19490 43 0 0 25 0 10 0 779961443 855359488 22692 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22692 13086 16 0 208812 0
vsize: 835312
[startup+220.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 20429 43 0 0 25 0 10 0 779961443 855359488 22744 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22744 13086 16 0 208812 0
vsize: 835312
[startup+230.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 21367 43 0 0 24 0 10 0 779961443 855359488 22795 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22795 13086 16 0 208812 0
vsize: 835312
[startup+240.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 22309 43 0 0 25 0 10 0 779961443 855359488 22841 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22841 13086 16 0 208812 0
vsize: 835312
[startup+250.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 23246 44 0 0 25 0 10 0 779961443 855359488 22890 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22890 13086 16 0 208812 0
vsize: 835312
[startup+260.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 24183 44 0 0 24 0 10 0 779961443 855359488 22938 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22938 13086 16 0 208812 0
vsize: 835312
[startup+270.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 25123 44 0 0 25 0 10 0 779961443 855359488 22981 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 22981 13086 16 0 208812 0
vsize: 835312
[startup+280.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 26059 44 0 0 25 0 10 0 779961443 855359488 23027 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23027 13086 16 0 208812 0
vsize: 835312
[startup+290.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 26999 44 0 0 25 0 10 0 779961443 855359488 23070 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23070 13086 16 0 208812 0
vsize: 835312
[startup+300.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 27934 44 0 0 25 0 10 0 779961443 855359488 23114 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23114 13086 16 0 208812 0
vsize: 835312
[startup+310.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 28871 45 0 0 25 0 10 0 779961443 855359488 23155 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23155 13086 16 0 208812 0
vsize: 835312
[startup+320.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 29805 45 0 0 25 0 10 0 779961443 855359488 23197 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23197 13086 16 0 208812 0
vsize: 835312
[startup+330.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 30743 45 0 0 25 0 10 0 779961443 855359488 23237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23237 13086 16 0 208812 0
vsize: 835312
[startup+340.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 31676 45 0 0 25 0 10 0 779961443 855359488 23278 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23278 13086 16 0 208812 0
vsize: 835312
[startup+350.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 32612 46 0 0 25 0 10 0 779961443 855359488 23317 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23317 13086 16 0 208812 0
vsize: 835312
[startup+360.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 33545 46 0 0 25 0 10 0 779961443 855359488 23357 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23357 13086 16 0 208812 0
vsize: 835312
[startup+370.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 34480 46 0 0 25 0 10 0 779961443 855359488 23395 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23395 13086 16 0 208812 0
vsize: 835312
[startup+380.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 35412 47 0 0 25 0 10 0 779961443 855359488 23434 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23434 13086 16 0 208812 0
vsize: 835312
[startup+390.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 36347 47 0 0 25 0 10 0 779961443 855359488 23470 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23470 13086 16 0 208812 0
vsize: 835312
[startup+400.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 37278 47 0 0 24 0 10 0 779961443 855359488 23507 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23507 13086 16 0 208812 0
vsize: 835312
[startup+410.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 38212 47 0 0 25 0 10 0 779961443 855359488 23543 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23543 13086 16 0 208812 0
vsize: 835312
[startup+420.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 39146 47 0 0 25 0 10 0 779961443 855359488 23577 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23577 13086 16 0 208812 0
vsize: 835312
[startup+430.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 40075 48 0 0 25 0 10 0 779961443 855359488 23614 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23614 13086 16 0 208812 0
vsize: 835312
[startup+440.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 41007 48 0 0 25 0 10 0 779961443 855359488 23648 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23648 13086 16 0 208812 0
vsize: 835312
[startup+450.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 41936 48 0 0 25 0 10 0 779961443 855359488 23682 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208828 23682 13086 16 0 208812 0
vsize: 835312
[startup+460.053 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 42866 48 0 0 25 0 10 0 779961443 855359488 23716 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23716 13086 16 0 208812 0
vsize: 835312
[startup+470.052 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 43797 48 0 0 25 0 10 0 779961443 855359488 23749 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23749 13086 16 0 208812 0
vsize: 835312
[startup+480.053 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 44725 49 0 0 25 0 10 0 779961443 855359488 23782 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23782 13086 16 0 208812 0
vsize: 835312
[startup+490.054 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 45652 49 0 0 25 0 10 0 779961443 855359488 23815 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23815 13086 16 0 208812 0
vsize: 835312
[startup+500.053 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 46581 49 0 0 25 0 10 0 779961443 855359488 23847 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23847 13086 16 0 208812 0
vsize: 835312
[startup+510.053 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 47510 50 0 0 25 0 10 0 779961443 855359488 23878 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23878 13086 16 0 208812 0
vsize: 835312
[startup+520.054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 48433 50 0 0 24 0 10 0 779961443 855359488 23912 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23912 13086 16 0 208812 0
vsize: 835312
[startup+530.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 49362 50 0 0 25 0 10 0 779961443 855359488 23943 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23943 13086 16 0 208812 0
vsize: 835312
[startup+540.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 50289 50 0 0 25 0 10 0 779961443 855359488 23973 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 23973 13086 16 0 208812 0
vsize: 835312
[startup+550.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 51215 51 0 0 25 0 10 0 779961443 855359488 24003 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24003 13086 16 0 208812 0
vsize: 835312
[startup+560.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 52139 51 0 0 25 0 10 0 779961443 855359488 24033 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24033 13086 16 0 208812 0
vsize: 835312
[startup+570.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 53064 52 0 0 24 0 10 0 779961443 855359488 24064 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24064 13086 16 0 208812 0
vsize: 835312
[startup+580.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 53991 52 0 0 25 0 10 0 779961443 855359488 24093 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24093 13086 16 0 208812 0
vsize: 835312
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 54917 53 0 0 25 0 10 0 779961443 855359488 24122 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24122 13086 16 0 208812 0
vsize: 835312
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 55842 53 0 0 25 0 10 0 779961443 855359488 24151 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24151 13086 16 0 208812 0
vsize: 835312
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 56767 53 0 0 25 0 10 0 779961443 855359488 24180 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24180 13086 16 0 208812 0
vsize: 835312
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 57687 54 0 0 25 0 10 0 779961443 855359488 24210 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24210 13086 16 0 208812 0
vsize: 835312
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 58612 54 0 0 25 0 10 0 779961443 855359488 24238 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24238 13086 16 0 208812 0
vsize: 835312
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 59536 55 0 0 25 0 10 0 779961443 855359488 24266 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24266 13086 16 0 208812 0
vsize: 835312
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 60459 55 0 0 25 0 10 0 779961443 855359488 24293 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24293 13086 16 0 208812 0
vsize: 835312
[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 61383 56 0 0 25 0 10 0 779961443 855359488 24321 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 24321 13086 16 0 208812 0
vsize: 835312
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 62301 56 0 0 25 0 10 0 779961443 855359488 25247 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25247 13086 16 0 208812 0
vsize: 835312
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 63221 57 0 0 23 0 10 0 779961443 855359488 25262 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25262 13086 16 0 208812 0
vsize: 835312
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 64135 57 0 0 25 0 10 0 779961443 855359488 25283 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25283 13086 16 0 208812 0
vsize: 835312
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 65049 58 0 0 25 0 10 0 779961443 855359488 25311 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25311 13086 16 0 208812 0
vsize: 835312
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 65961 59 0 0 25 0 10 0 779961443 855359488 25337 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25337 13086 16 0 208812 0
vsize: 835312
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 66873 59 0 0 25 0 10 0 779961443 855359488 25363 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25363 13086 16 0 208812 0
vsize: 835312
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 67785 59 0 0 25 0 10 0 779961443 855359488 25389 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25389 13086 16 0 208812 0
vsize: 835312
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 68696 60 0 0 25 0 10 0 779961443 855359488 25415 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25415 13086 16 0 208812 0
vsize: 835312
[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 69608 61 0 0 24 0 10 0 779961443 855359488 25441 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25441 13086 16 0 208812 0
vsize: 835312
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 70521 61 0 0 25 0 10 0 779961443 855359488 25465 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25465 13086 16 0 208812 0
vsize: 835312
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 71435 62 0 0 25 0 10 0 779961443 855359488 25490 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25490 13086 16 0 208812 0
vsize: 835312
[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 72345 62 0 0 25 0 10 0 779961443 855359488 25515 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25515 13086 16 0 208812 0
vsize: 835312
[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 73256 62 0 0 25 0 10 0 779961443 855359488 25540 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25540 13086 16 0 208812 0
vsize: 835312
[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 74166 63 0 0 25 0 10 0 779961443 855359488 25565 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25565 13086 16 0 208812 0
vsize: 835312
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 75075 63 0 0 25 0 10 0 779961443 855359488 25590 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25590 13086 16 0 208812 0
vsize: 835312
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 75984 63 0 0 24 0 10 0 779961443 855359488 25614 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25614 13086 16 0 208812 0
vsize: 835312
[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 76898 64 0 0 25 0 10 0 779961443 855359488 25637 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25637 13086 16 0 208812 0
vsize: 835312
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 77805 64 0 0 25 0 10 0 779961443 855359488 25661 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25661 13086 16 0 208812 0
vsize: 835312
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 78714 64 0 0 25 0 10 0 779961443 855359488 25685 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25685 13086 16 0 208812 0
vsize: 835312
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 79622 65 0 0 25 0 10 0 779961443 855359488 25709 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25709 13086 16 0 208812 0
vsize: 835312
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 80531 65 0 0 25 0 10 0 779961443 855359488 25732 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25732 13086 16 0 208812 0
vsize: 835312
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 81444 65 0 0 25 0 10 0 779961443 855359488 25755 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25755 13086 16 0 208812 0
vsize: 835312
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 82350 66 0 0 25 0 10 0 779961443 855359488 25779 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25779 13086 16 0 208812 0
vsize: 835312
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 83258 66 0 0 25 0 10 0 779961443 855359488 25803 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25803 13086 16 0 208812 0
vsize: 835312
[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 84165 67 0 0 24 0 10 0 779961443 855359488 25826 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25826 13086 16 0 208812 0
vsize: 835312
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 85078 67 0 0 25 0 10 0 779961443 855359488 25852 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25852 13086 16 0 208812 0
vsize: 835312
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 85984 67 0 0 25 0 10 0 779961443 855359488 25879 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25879 13086 16 0 208812 0
vsize: 835312
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 86889 68 0 0 25 0 10 0 779961443 855359488 25902 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25902 13086 16 0 208812 0
vsize: 835312
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 87795 68 0 0 24 0 10 0 779961443 855359488 25933 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25933 13086 16 0 208812 0
vsize: 835312
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 88705 68 0 0 25 0 10 0 779961443 855359488 25959 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25959 13086 16 0 208812 0
vsize: 835312
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 89608 69 0 0 25 0 10 0 779961443 855359488 25984 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 25984 13086 16 0 208812 0
vsize: 835312
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 90513 69 0 0 25 0 10 0 779961443 855359488 26006 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26006 13086 16 0 208812 0
vsize: 835312
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 91423 70 0 0 25 0 10 0 779961443 855359488 26027 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26027 13086 16 0 208812 0
vsize: 835312
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 92327 70 0 0 25 0 10 0 779961443 855359488 26060 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26060 13086 16 0 208812 0
vsize: 835312
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 93231 71 0 0 25 0 10 0 779961443 855359488 26084 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26084 13086 16 0 208812 0
vsize: 835312
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 94140 71 0 0 25 0 10 0 779961443 855359488 26105 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26105 13086 16 0 208812 0
vsize: 835312
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 95043 71 0 0 25 0 10 0 779961443 855359488 26137 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26137 13086 16 0 208812 0
vsize: 835312
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 95946 72 0 0 25 0 10 0 779961443 855359488 26159 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26159 13086 16 0 208812 0
vsize: 835312
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 96854 72 0 0 25 0 10 0 779961443 855359488 26186 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26186 13086 16 0 208812 0
vsize: 835312
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 97756 73 0 0 25 0 10 0 779961443 855359488 26210 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26210 13086 16 0 208812 0
vsize: 835312
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 98656 73 0 0 25 0 10 0 779961443 855359488 26236 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26236 13086 16 0 208812 0
vsize: 835312
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 99561 74 0 0 25 0 10 0 779961443 855359488 26260 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26260 13086 16 0 208812 0
vsize: 835312
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 100463 74 0 0 25 0 10 0 779961443 855359488 26281 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26281 13086 16 0 208812 0
vsize: 835312
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 101363 74 0 0 24 0 10 0 779961443 855359488 26307 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26307 13086 16 0 208812 0
vsize: 835312
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 102270 75 0 0 25 0 10 0 779961443 855359488 26331 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26331 13086 16 0 208812 0
vsize: 835312
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 103171 75 0 0 25 0 10 0 779961443 855359488 26356 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26356 13086 16 0 208812 0
vsize: 835312
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 104077 76 0 0 25 0 10 0 779961443 855359488 26379 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26379 13086 16 0 208812 0
vsize: 835312
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 104975 77 0 0 25 0 10 0 779961443 855359488 26404 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26404 13086 16 0 208812 0
vsize: 835312
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 105880 77 0 0 25 0 10 0 779961443 855359488 26424 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26424 13086 16 0 208812 0
vsize: 835312
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 106780 77 0 0 25 0 10 0 779961443 855359488 26451 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26451 13086 16 0 208812 0
vsize: 835312
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 107679 78 0 0 24 0 10 0 779961443 855359488 26475 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26475 13086 16 0 208812 0
vsize: 835312
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 108584 79 0 0 25 0 10 0 779961443 855359488 26496 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26496 13086 16 0 208812 0
vsize: 835312
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 109482 79 0 0 25 0 10 0 779961443 855359488 26521 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26521 13086 16 0 208812 0
vsize: 835312
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 110387 79 0 0 25 0 10 0 779961443 855359488 26544 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26544 13086 16 0 208812 0
vsize: 835312
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 111283 80 0 0 20 0 10 0 779961443 855359488 26567 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26567 13086 16 0 208812 0
vsize: 835312
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 112186 80 0 0 23 0 10 0 779961443 855359488 26588 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26588 13086 16 0 208812 0
vsize: 835312
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 113084 80 0 0 20 0 10 0 779961443 855359488 26610 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26610 13086 16 0 208812 0
vsize: 835312
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 113988 81 0 0 23 0 10 0 779961443 855359488 26629 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26629 13086 16 0 208812 0
vsize: 835312
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 114886 81 0 0 20 0 10 0 779961443 855359488 26649 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26649 13086 16 0 208812 0
vsize: 835312
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 115789 81 0 0 23 0 10 0 779961443 855359488 26683 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26683 13086 16 0 208812 0
vsize: 835312
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 116685 82 0 0 21 0 10 0 779961443 855359488 26699 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26699 13086 16 0 208812 0
vsize: 835312
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 117587 82 0 0 23 0 10 0 779961443 855359488 26732 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26732 13086 16 0 208812 0
vsize: 835312
[startup+1290.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 118488 83 0 0 20 0 10 0 779961443 855359488 26747 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26747 13086 16 0 208812 0
vsize: 835312
[startup+1300.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) S 12645 31399 31398 0 -1 0 18004 0 1 0 119388 83 0 0 23 0 10 0 779961443 855359488 26777 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26777 13086 16 0 208812 0
vsize: 835312
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12655
Raw data (stat): 12646 (java) R 12645 31399 31398 0 -1 0 18004 0 1 0 120294 84 0 0 22 0 10 0 779961443 855359488 26801 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208828 26801 13086 16 0 208812 0
vsize: 835312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12657
Raw data (stat): 12646 (java) Z 12645 31399 31398 0 -1 1036 18004 8135 1 0 120299 84 10556 41 23 0 1 0 779961443 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.24
CPU time (s): 1309.82
CPU user time (s): 1308.56
CPU system time (s): 1.26381
CPU usage (%): 99.9681
Max. virtual memory (Kb): 835312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####